S2E

A Platform for In-Vivo Analysis of Software Systems

Pinned

s2e-env Public

Your S2E project management tools. Visit https://s2e.systems/docs to get started.

Python 85 45
s2e Public

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

C++ 302 76

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

C++ 302 76 0 7 Updated Mar 5, 2023
s2e-env Public
Your S2E project management tools. Visit https://s2e.systems/docs to get started.

Python 85 45 128 (1 issue needs help) 2 Updated Feb 28, 2023
qemu Public
QEMU VM with generic KVM extensions for symbolic execution

C 22 14 0 2 Updated Feb 24, 2023
s2e-linux-kernel Public
Linux kernels (CGC DECREE and vanilla) with S2E extensions

18 6 0 0 Updated Jan 22, 2023
guest-images Public
Scripts to automatically create VM images

PowerShell 13 17 0 0 Updated Sep 19, 2022
scripts Public
Various build scripts

Makefile 1 4 0 1 Updated Jul 24, 2022
pyelftools Public
Parsing ELF and DWARF in Python

Python 3 468 0 1 Updated May 23, 2022
libtcg Public archive
Tiny Code Generator Library

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

C 31 15 0 1 Updated Dec 19, 2020
libs2e Public archive
libs2e.so

C++ 19 8 0 1 Updated Dec 19, 2020

Loading…