https://github.com/crytic/damn-vulnerable-defi-echidna

https://github.com/crytic/damn-vulnerable-defi-echidna

Last synced: about 1 year ago
JSON representation

• Host: GitHub
• URL: https://github.com/crytic/damn-vulnerable-defi-echidna
• Owner: crytic
• License: mit
• Created: 2022-10-09T22:31:24.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2023-07-11T16:48:58.000Z (almost 3 years ago)
• Last Synced: 2025-05-01T15:40:16.053Z (about 1 year ago)
• Language: Solidity
• Size: 441 KB
• Stars: 13
• Watchers: 2
• Forks: 18
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Damn-vulnerable-defi - Echidna edition

This repo is meant to be used with exercises 5 and 6 of [Building-secure-contracts/Echidna](https://github.com/crytic/building-secure-contracts/tree/master/program-analysis/echidna).

Only two challenges are currently supported (naive receiver, and unstoppable).

The changes made to the original repo:

- Remove the `dependencyCompiler` section in `hardhat.config.js`

- Enable transfers of tokens in `contracts/the-rewarder/AccountingToken.sol` (the original mock token does not allow transfers, limiting the fuzzer exploration)

Below is the original readme

![](cover.png)

**A set of challenges to hack implementations of DeFi in Ethereum.**

Featuring flash loans, price oracles, governance, NFTs, lending pools, smart contract wallets, timelocks, and more!

Created by [@tinchoabbate](https://twitter.com/tinchoabbate)

## Play

Visit [damnvulnerabledefi.xyz](https://damnvulnerabledefi.xyz)

## Disclaimer

All Solidity code, practices and patterns in this repository are DAMN VULNERABLE and for educational purposes only.

DO NOT USE IN PRODUCTION.