From 1224b512221a90a91d39f77ea04304727a7713cb Mon Sep 17 00:00:00 2001
From: Ramaguru Radhakrishnan
 <7790256+ramagururadhakrishnan@users.noreply.github.com>
Date: Wed, 8 Nov 2023 16:34:44 +0530
Subject: [PATCH] Updated

Tool List
---
 Tools/README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Tools/README.md b/Tools/README.md
index a950557..bf4f866 100644
--- 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