S2E

A Platform for In-Vivo Analysis of Software Systems

Pinned Loading

s2e-env s2e-env Public

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

Python 96 55
s2e s2e Public

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

C++ 524 96

Type Language Sort

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

S2E/s2e's past year of commit activity

C++ 524 96 0 2 Updated Aug 24, 2026
s2e-env Public
Your S2E project management tools. Visit https://s2e.systems/docs to get started.

S2E/s2e-env's past year of commit activity

Python 96 55 123 (1 issue needs help) 3 Updated May 24, 2026
scripts Public
Various build scripts

S2E/scripts's past year of commit activity

Makefile 1 6 0 0 Updated May 24, 2026
guest-images Public
Scripts to automatically create VM images

S2E/guest-images's past year of commit activity

PowerShell 15 21 0 0 Updated May 10, 2026
manifest Public
Contains the Google repo manifests to manage S2E sources

S2E/manifest's past year of commit activity

3 15 0 0 Updated May 10, 2026
qemu Public
QEMU VM with generic KVM extensions for symbolic execution

S2E/qemu's past year of commit activity

C 27 20 0 1 Updated May 9, 2026
s2e-linux-kernel Public
Linux kernels (CGC DECREE and vanilla) with S2E extensions

S2E/s2e-linux-kernel's past year of commit activity

24 11 1 4 Updated Jul 6, 2024
systemtap Public

S2E/systemtap's past year of commit activity

C++ 0 GPL-2.0 1 0 0 Updated Jun 9, 2024
pyelftools Public Forked from eliben/pyelftools
Parsing ELF and DWARF in Python

S2E/pyelftools's past year of commit activity

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

S2E/libtcg's past year of commit activity

C 47 24 0 1 Updated Jan 16, 2021