Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/s2e/s2e

S2E: A platform for multi-path program analysis with selective symbolic execution.
https://github.com/s2e/s2e

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

Last synced: 1 day ago
JSON representation

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

Awesome Lists containing this project

README

        

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 .