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 12 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

docs

76
Stars
24
Forks
Watchers

Documentation and Quick Start Guides for the S2E Symbolic Execution Platform

verified publisher icon S2E

libcpu

33
Stars
15
Forks
Watchers

x86 Dynamic Binary Translator Library

verified publisher icon S2E

libs2e

20
Stars
8
Forks
Watchers

libs2e.so

verified publisher icon S2E

libs2ecore

15
Stars
10
Forks
Watchers

S2E Core Engine Library

verified publisher icon S2E

libs2eplugins

17
Stars
9
Forks
Watchers

S2E plugins library

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