S2E

A Platform for In-Vivo Analysis of Software Systems

Pinned Repositories

docs
Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
Language:Python76 11 024
libcpu
x86 Dynamic Binary Translator Library
Language:C34 13 115
libs2e
libs2e.so
Language:C++20 9 08
libtcg
Tiny Code Generator Library
Language:C46 11 024
PyKVM
A tiny KVM hypervisor written in Python
Language:Python66 4 07
qemu
QEMU VM with generic KVM extensions for symbolic execution
Language:C23 10 018
s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
Language:C++458 12 091
s2e-env
Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Language:Python94 13 36152
s2e-linux-kernel
Linux kernels (CGC DECREE and vanilla) with S2E extensions
23 8 09
s2e-old
This is the archived S2E 1.0 repo. We do not maintain it anymore.
Language:C314 65 0169

S2E's Repositories

S2E/s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
Language:C++458 12 091
S2E/s2e-old
This is the archived S2E 1.0 repo. We do not maintain it anymore.
Language:C314 65 0169
S2E/s2e-env
Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Language:Python94 13 36152
S2E/docs
Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
Language:Python76 11 024
S2E/PyKVM
A tiny KVM hypervisor written in Python
Language:Python66 4 07
S2E/libtcg
Tiny Code Generator Library
Language:C46 11 024
S2E/libcpu
x86 Dynamic Binary Translator Library
Language:C34 13 115
S2E/qemu
QEMU VM with generic KVM extensions for symbolic execution
Language:C23 10 018
S2E/s2e-linux-kernel
Linux kernels (CGC DECREE and vanilla) with S2E extensions
23 8 09
S2E/libs2e
libs2e.so
Language:C++20 9 08
S2E/libs2eplugins
S2E plugins library
Language:C++17 8 49
S2E/libs2ecore
S2E Core Engine Library
Language:C++15 9 010
S2E/guest-images
Scripts to automatically create VM images
Language:PowerShell14 8 019
S2E/guest-tools
Tools that run inside the guest
Language:C12 7 011
S2E/klee
Stripped down version of KLEE (original on https://klee.github.com)
Language:C++10 8 011
S2E/decree
Language:Shell8 4 011
S2E/manifest
Contains the Google repo manifests to manage S2E sources
4 5 015
S2E/pyelftools
Parsing ELF and DWARF in Python
Language:Python3 3 02
S2E/build-scripts
Language:Makefile2 6 06
S2E/scripts
Various build scripts
Language:Makefile1 1 06
S2E/Windows-driver-samples
This repo contains Windows driver samples, some of them are adapted for use with S2E
Language:C1 3 0
S2E/ci
Continous integration for S2E
Language:Shell1 0
S2E/s2e.github.io
S2E website
Language:CSS10 03
S2E/systemtap
Language:C++0 0
S2E/testsuite
S2E testsuite and various benchmarks
Language:C3 01