https://github.com/crytic/damn-vulnerable-defi-echidna
Science Score: 26.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (4.2%) to scientific vocabulary
Repository
Basic Info
- Host: GitHub
- Owner: crytic
- License: mit
- Language: Solidity
- Default Branch: master
- Size: 441 KB
Statistics
- Stars: 13
- Watchers: 2
- Forks: 19
- Open Issues: 2
- Releases: 0
Metadata Files
README.md
Damn-vulnerable-defi - Echidna edition
This repo is meant to be used with exercises 5 and 6 of Building-secure-contracts/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

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
Play
Visit 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.
Owner
- Name: Crytic
- Login: crytic
- Kind: organization
- Email: opensource@trailofbits.com
- Location: New York, NY
- Website: https://www.trailofbits.com/
- Repositories: 66
- Profile: https://github.com/crytic
Blockchain Security, by @trailofbits
GitHub Events
Total
- Watch event: 1
- Issue comment event: 1
- Pull request event: 2
- Fork event: 2
Last Year
- Watch event: 1
- Issue comment event: 1
- Pull request event: 2
- Fork event: 2
Committers
Last synced: about 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| tincho | t****e | 4 |
| Feist Josselin | j****t@g****m | 2 |
| Matias Petrone | 7****e | 1 |
Issues and Pull Requests
Last synced: about 1 year ago
All Time
- Total issues: 0
- Total pull requests: 8
- Average time to close issues: N/A
- Average time to close pull requests: 7 days
- Total issue authors: 0
- Total pull request authors: 6
- Average comments per issue: 0
- Average comments per pull request: 0.63
- Merged pull requests: 5
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 1
- Average time to close issues: N/A
- Average time to close pull requests: 1 minute
- Issue authors: 0
- Pull request authors: 1
- Average comments per issue: 0
- Average comments per pull request: 1.0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
Pull Request Authors
- thelostone-mc (2)
- glarregay-tob (2)
- 0xharold (2)
- elopez (1)
- aroralanuk (1)
- bart1e (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- @gnosis.pm/safe-contracts 1.3.0 development
- @nomiclabs/hardhat-ethers 2.0.2 development
- @nomiclabs/hardhat-waffle 2.0.1 development
- @openzeppelin/contracts 4.3.2 development
- @openzeppelin/contracts-upgradeable 4.3.2 development
- @openzeppelin/hardhat-upgrades 1.10.0 development
- @uniswap/v2-core 1.0.1 development
- @uniswap/v2-periphery 1.1.0-beta.0 development
- chai 4.3.4 development
- ethereum-waffle 3.4.0 development
- ethers 5.4.7 development
- hardhat 2.6.4 development
- hardhat-dependency-compiler 1.1.1 development
- 1008 dependencies