1 Resources
C/C++ s2e Libraries
🎻 Automatic Exploit Generation using symbolic execution
S2E Library This repository contains all the necessary components to build libs2e.so. This shared library is preloaded in QEMU to enable symbolic exec
Jan 10, 2022