From 30b3a5fbf44f78eaa7c9f212cdef1d59db834df8 Mon Sep 17 00:00:00 2001
From: Theodor <39669467+m4drat@users.noreply.github.com>
Date: Tue, 23 Mar 2021 11:52:36 +0300
Subject: [PATCH] Added SymCC to the list.

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e42832f..d306400 100644
--- a/README.md
+++ b/README.md
@@ -53,7 +53,7 @@
 * [KLEE](http://klee.github.io/) - Symbolic execution engine built on LLVM.
 * [Cloud9](http://cloud9.epfl.ch/) - Parallel symbolic execution engine built on KLEE.
 * [Kite](http://www.cs.ubc.ca/labs/isd/Projects/Kite/) - Based on KLEE and LLVM.
-
+* [SymCC](https://github.com/eurecom-s3/symcc) - A compiler wrapper which embeds symbolic execution into the program during compilation, and an associated run-time support library.
 
 ### .NET