s2e
s2e copied to clipboard
S2E: A platform for multi-path program analysis with selective 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 execution.
Please refer to the documentation in the docs
directory for build and usage instructions.
You can also find it online on https://s2e.systems/docs.