From 92829f9331a1b6bf92f186543ee9c1d426525451 Mon Sep 17 00:00:00 2001 From: Guannan Wei Date: Wed, 26 Apr 2023 12:25:16 -0400 Subject: [PATCH] Add GenSym engine --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 5957153..260f112 100644 --- a/README.md +++ b/README.md @@ -61,6 +61,7 @@ * [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. +* [GenSym](https://github.com/Generative-Program-Analysis/GenSym) - A compiler for parallel fork-based symbolic execution. ### .NET