From cca7e39fab48270775f18ef9e13a2de7591cf84a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ylie=CC=80s=20Falcone?= Date: Thu, 7 Dec 2023 18:09:52 +0100 Subject: [PATCH] Add ERCx as an tool in the arsenal --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 93ec252..d941766 100644 --- a/README.md +++ b/README.md @@ -95,6 +95,8 @@ PDF: [Smart_Contract_Auditor_PDF.pdf](https://github.com/razzorsec/AuditorsRoadm * [Scribble](https://github.com/ConsenSys/scribble) * [BlockSec ETH/BSC Tx Analysis](https://versatile.blocksecteam.com/tx) * [ethtx ETH Tx Analysis](https://ethtx.info/) +* [ERCx Token Analysis](https://ercx.runtimeverification.com) + #### 18) Continuous Learning and Research * [Ethereum Magicians](https://ethereum-magicians.org/) * [Ethereum Yellow Paper](https://github.com/ethereum/yellowpaper)