https://github.com/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

Last synced: 15 May 2025

https://github.com/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

Last synced: 12 May 2025

https://github.com/s2e/s2e-env

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

Last synced: 15 Apr 2025

https://github.com/s2e/pykvm

A tiny KVM hypervisor written in Python

Last synced: 02 Mar 2026

https://github.com/s2e/qemu

QEMU VM with generic KVM extensions for symbolic execution

Last synced: 15 Apr 2025

https://github.com/s2e/s2e-linux-kernel

Linux kernels (CGC DECREE and vanilla) with S2E extensions

Last synced: 14 Mar 2026

https://github.com/s2e/guest-images

Scripts to automatically create VM images

Last synced: 28 Jul 2025

https://github.com/s2e/decree

Last synced: 09 Oct 2025

https://github.com/s2e/manifest

Contains the Google repo manifests to manage S2E sources

Last synced: 14 Mar 2026

https://github.com/s2e/scripts

Various build scripts

Last synced: 26 Oct 2025

https://github.com/s2e/s2e.github.io

S2E website

Last synced: 21 Jun 2025

https://github.com/s2e/ci

Continous integration for S2E

Last synced: 14 Mar 2026