## dynamic analysis tools

<br>

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

<br>

* Fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing.

<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>