Skip to content

crytic/damn-vulnerable-defi-echidna

Repository files navigation

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.

About

No description, website, or topics provided.

Resources

License

Security policy

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published