Skip to content
/ s2e Public

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

License

Notifications You must be signed in to change notification settings

S2E/s2e

Repository files navigation

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.