Updated

Tool List
Amrita-TIFAC-Cyber-Blockchain · Nov 8, 2023 · 1224b51 · 1224b51
1 parent 4f5e963
commit 1224b51
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Tools/README.md b/Tools/README.md
@@ -41,6 +41,9 @@
 | Halmos | | Symbolic Execution | | | 
 | Pyrometer | | Symbolic Execution | | | 
 | solstat | | Static Analyser |  | | 
+| HFCCT | CLI | Symbolic Execution | | ![](https://img.shields.io/badge/-Fabric-brown) |
+| Harvey |     | Fuzzer | |  ![](https://img.shields.io/badge/-Ethereum-gold) |
+| reviveCC |   | | SA | ![](https://img.shields.io/badge/-Fabric-brown) |
 
 ### Patching