S2E / s2e

git clone https://github.com/S2E/s2e.git

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

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

526

★ total

96

forks · 3 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageC++

License—

Created2020-01-07 (6y ago)

Last push2d ago

OwnerOrganization

GitHub topics

analysis automated cgc coverage device drivers execution kvm linux llvm pov qemu reverse-engineering s2e symbolic testing vm vulnerabilities windows x86

Links

GitHub: github.com/S2E/s2e
Homepage: https://s2e.systems/docs
Releases · Issues · Hacker News mentions