From 3f3734113e84f1fd9062ed3dff5c6fd84c15c24b Mon Sep 17 00:00:00 2001 From: BubblyOrca <30714266+BubblyOrca@users.noreply.github.com> Date: Mon, 17 Jul 2023 02:37:23 +0200 Subject: [PATCH] Adding Amarna and Caracal Amarna and Caracal are static analysis tools for Cairo smart contracts on built on Snarknet --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 2fa9465..57a6acd 100644 --- a/README.md +++ b/README.md @@ -146,6 +146,8 @@ Xmind Link: https://xmind.works/share/zfdeD07U - [smartcheck](https://github.com/smartdec/smartcheck) - [solidityscan.com](https://solidityscan.com/) - [Fuzzinglab’s Octopus](https://github.com/FuzzingLabs/octopus) +- [Caracal](https://github.com/crytic/caracal) +- [Amarna](https://github.com/crytic/amarna) ### Auditing Books and Guides: