From 40e8cc30542212f87e161152b192a163cec03cec Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Tempel?= Date: Wed, 12 Jul 2023 17:30:29 +0200 Subject: [PATCH] Add SymEx-VP engine --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 260f112..818f1ab 100644 --- a/README.md +++ b/README.md @@ -115,6 +115,7 @@ * [MAAT](https://github.com/trailofbits/maat) - Low-level symbolic execution tool, uses Ghidra's p-code. * [BinCAT](https://github.com/airbus-seclab/bincat) - Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection. * [Sydr-Fuzz](https://sydr-fuzz.github.io/) - Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle. +* [SymEx-VP](https://github.com/agra-uni-bremen/symex-vp) - Symbolic execution for RISC-V embedded firmware with accurate SystemC peripheral models. ### Misc