diff --git a/dynamic_analysis_tools/README.md b/dynamic_analysis_tools/README.md new file mode 100644 index 0000000..374ad13 --- /dev/null +++ b/dynamic_analysis_tools/README.md @@ -0,0 +1,28 @@ +## 🍖 dynamic analysis tools + +
+ +#### [echidna](https://github.com/crytic/echidna/) + +
+ +* Fast contract fuzzer for detecting vulnerabilities in smart contracts through property-based testing. + +
+ +#### [harvey](https://consensys.net/diligence/fuzzing/) + +
+ +* Automated fuzzing tool useful for detecting property violations in smart contract code. + +
+ + +#### [manticore](https://github.com/trailofbits/manticore) + +
+ +* Dynamic symbolic execution framework for analyzing EVM bytecode. + +