7 open source projects by S2E

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

Documentation and Quick Start Guides for the S2E Symbolic Execution Platform

A tiny KVM hypervisor written in Python

Tiny Code Generator Library

This is the archived S2E 1.0 repo. We do not maintain it anymore.

libs2e.so

Your S2E project management tools. Visit https://s2e.systems/docs to get started.