From 7894fd975342367189d812df282d308ea6743ba3 Mon Sep 17 00:00:00 2001 From: bt3gl <1130416+bt3gl@users.noreply.github.com> Date: Sat, 24 Sep 2022 00:30:24 -0700 Subject: [PATCH] =?UTF-8?q?=F0=9F=A5=93=20notes=20on=20foundry?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f924d70..26427a9 100644 --- a/README.md +++ b/README.md @@ -168,7 +168,7 @@ #### analysis tools -* [Manticor, symbolic execution tool](https://github.com/trailofbits/manticore) +* [Manticore, symbolic execution tool](https://github.com/trailofbits/manticore) * [Echidna, smart contract fuzzer](https://github.com/crytic/echidna) * [Mythril, security analysis tool for EVM bytecode](https://github.com/ConsenSys/mythril) * [Oyente, analysis Tool for Smart Contracts](https://github.com/enzymefinance/oyente)