## dynamic analysis tools

<br>

### [echidna](https://github.com/crytic/echidna/)

<br>

* fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing.
* **[tutorial to use echidna to automatically test smart contracts](https://secure-contracts.com/program-analysis/echidna/index.html)**
* **[medusa, mutational solidity smart contract fuzzing, powered by go-ethereum, inspired by echidna](https://github.com/crytic/medusa)**

<br>

---

### [harvey](https://consensys.net/diligence/fuzzing/)

<br>

* automated fuzzing tool useful for detecting property violations in smart contract code.

<br>

---

### [manticore](https://github.com/trailofbits/manticore)

<br>

* dynamic symbolic execution framework for analyzing EVM bytecode.

<br>

---

### cool references

<br>

* **[fuzzi defi](https://github.com/0xNazgul/fuzzydefi/tree/main)**