GeezerVison is showing github.com — S2E
Pinned
Loading
Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Python
97
56
S2E: A platform for multi-path program analysis with selective symbolic execution.
C++
529
96
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C++
CSS
Makefile
PowerShell
Python
Shell
Sort
Showing 10 of 25 repositories
s2e
Public
S2E: A platform for multi-path program analysis with selective symbolic execution.
S2E/s2e's past year of commit activity
guest-images
Public
Scripts to automatically create VM images
S2E/guest-images's past year of commit activity
PowerShell
15
22
0
0
Updated Nov 7, 2026
scripts
Public
Various build scripts
S2E/scripts's past year of commit activity
Makefile
1
7
0
0
Updated Nov 7, 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 Nov 7, 2026
S2E/s2e-env's past year of commit activity
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 Oct 31, 2026
s2e-linux-kernel
Public
Linux kernels (CGC DECREE and vanilla) with S2E extensions
S2E/s2e-linux-kernel's past year of commit activity
S2E/systemtap's past year of commit activity
C++
0
GPL-2.0
1
0
0
Updated Jun 9, 2024
S2E/pyelftools's past year of commit activity
Python
3
581
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
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.