S2E / s2e

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

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

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.

About

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

https://s2e.systems/docs

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

Other

Languages

Language:C++ 46.3%Language:C 42.5%Language:Rich Text Format 5.1%Language:CMake 1.7%Language:Python 1.6%Language:Makefile 0.9%Language:Shell 0.8%Language:Assembly 0.8%Language:Smarty 0.1%Language:Dockerfile 0.1%Language:R 0.0%Language:Pawn 0.0%Language:PowerShell 0.0%Language:Batchfile 0.0%