Stripped down version of KLEE (original on https://klee.github.com)
Tools that run inside the guest
User-mode cooperative threading library
x86 Dynamic Binary Translator Library
Fast drop-in replacement for libsigc++
JSON serialization library based on QEMU QOM
Tiny Code Generator Library
VM Introspection and Binary File Parsing Library
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
SOCI - The C++ Database Access Library. This is official repository the SOCI project.
Parsing ELF and DWARF in Python
Linux kernels (CGC DECREE and vanilla) with S2E extensions
S2E analysis tools (trace analysis, Revgen, ...)
S2E testsuite and various benchmarks
Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
