S2E

s2e Public
S2E: A platform for multi-path program analysis with selective symbolic execution.

C++ 215 51 0 2 Updated Apr 5, 2022
s2e-env Public
Your S2E project management tools. Visit https://s2e.systems/docs to get started.

Python 79 38 124 (1 issue needs help) 0 Updated Mar 5, 2022
scripts Public
Various build scripts

Makefile 1 2 0 0 Updated Mar 5, 2022
qemu Public
QEMU VM with generic KVM extensions for symbolic execution

C 20 12 0 1 Updated Jan 5, 2022
s2e-linux-kernel Public
Linux kernels (CGC DECREE and vanilla) with S2E extensions

17 5 0 0 Updated Dec 20, 2021
guest-images Public
Scripts to automatically create VM images

PowerShell 10 12 0 0 Updated Oct 16, 2021
libtcg Public archive
Tiny Code Generator Library

C 33 19 0 1 Updated Jan 16, 2021
libcpu Public archive
x86 Dynamic Binary Translator Library

C 32 14 0 1 Updated Dec 19, 2020
libs2e Public archive
libs2e.so

C++ 18 8 0 1 Updated Dec 19, 2020
build-scripts Public archive

Makefile 3 6 0 1 Updated Dec 8, 2020

Pinned