S2E

icon indicating a website link http://s2e.systems icon indicating an email [email protected]

icon location A Platform for In-Vivo Analysis of Software Systems

Results 8 repositories owned by S2E

s2e

409
Stars
87
Forks
Watchers

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

verified publisher icon S2E

s2e-old

312
Stars
173
Forks
Watchers

This is the archived S2E 1.0 repo. We do not maintain it anymore.

verified publisher icon S2E

libs2e

20
Stars
8
Forks
Watchers

libs2e.so

verified publisher icon S2E

libtcg

41
Stars
23
Forks
Watchers

Tiny Code Generator Library

verified publisher icon S2E

PyKVM

65
Stars
7
Forks
Watchers

A tiny KVM hypervisor written in Python

verified publisher icon S2E

qemu

23
Stars
17
Forks
Watchers

QEMU VM with generic KVM extensions for symbolic execution

verified publisher icon S2E

s2e-env

90
Stars
53
Forks
Watchers

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

verified publisher icon S2E

s2e-linux-kernel

23
Stars
8
Forks
Watchers

Linux kernels (CGC DECREE and vanilla) with S2E extensions

verified publisher icon S2E