From d230a58db082d9be74d600a7d62156bc2e8afe74 Mon Sep 17 00:00:00 2001
From: autistic-symposium-helper
 <138340846+autistic-symposium-helper@users.noreply.github.com>
Date: Thu, 7 Nov 2024 14:03:33 +0700
Subject: [PATCH] tutorial to use echidna to automatically test smart contracts

---
 hacking_tools/dynamic_analysis/README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hacking_tools/dynamic_analysis/README.md b/hacking_tools/dynamic_analysis/README.md
index d4a5eb8..3434176 100644
--- a/hacking_tools/dynamic_analysis/README.md
+++ b/hacking_tools/dynamic_analysis/README.md
@@ -7,6 +7,7 @@
 <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)**
 
 <br>