Awesome Open Source
Awesome Open Source

S2E Library

This repository contains all the necessary components to build This shared library is preloaded in QEMU to enable symbolic execution.

Please refer to the documentation in the docs directory for build and usage instructions. You can also find it online on

Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
c-plus-plus (17,930
linux (2,401
windows (1,406
testing (937
reverse-engineering (464
analysis (214
llvm (195
x86 (127
coverage (103
vulnerabilities (95
vm (83
qemu (74
kvm (59
device (31
drivers (30
automated (28

Find Open Source By Browsing 7,000 Topics Across 59 Categories