From 78ccb4c80a26f587dbd94a971a769761459a5f38 Mon Sep 17 00:00:00 2001
From: bt3gl <1130416+bt3gl@users.noreply.github.com>
Date: Sat, 24 Sep 2022 21:43:10 -0700
Subject: [PATCH] =?UTF-8?q?=F0=9F=8D=96=20dynamic=20analysis=20tools?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 dynamic_analysis_tools/README.md | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 dynamic_analysis_tools/README.md

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