S2E

S2E's repositories

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

Language:C++NOASSERTION450 120

s2e-old

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

Language:CNOASSERTION314 650

s2e-env

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

Language:PythonNOASSERTION93 12 360

docs

Documentation and Quick Start Guides for the S2E Symbolic Execution Platform

Language:Python76 110

PyKVM

A tiny KVM hypervisor written in Python

Language:PythonMIT65 40

libtcg

Tiny Code Generator Library

Language:CNOASSERTION46 110

libcpu

x86 Dynamic Binary Translator Library

Language:CNOASSERTION34 13 1

qemu

QEMU VM with generic KVM extensions for symbolic execution

Language:CNOASSERTION23 100

s2e-linux-kernel

Linux kernels (CGC DECREE and vanilla) with S2E extensions

23 80

libs2e

libs2e.so

Language:C++NOASSERTION20 90

libs2eplugins

S2E plugins library

Language:C++NOASSERTION17 8 4

libs2ecore

S2E Core Engine Library

Language:C++NOASSERTION15 90

guest-images

Scripts to automatically create VM images

Language:PowerShellNOASSERTION14 80

guest-tools

Tools that run inside the guest

Language:C12 70

klee

Stripped down version of KLEE (original on https://klee.github.com)

Language:C++NOASSERTION10 80

decree

Language:Shell8 40

manifest

Contains the Google repo manifests to manage S2E sources

4 50

pyelftools

Parsing ELF and DWARF in Python

Language:PythonNOASSERTION3 30

build-scripts

Language:Makefile2 60

scripts

Various build scripts

Language:Makefile1 10

Windows-driver-samples

This repo contains Windows driver samples, some of them are adapted for use with S2E

Language:CMS-PL1 30

ci

Continous integration for S2E

Language:Shell010

s2e.github.io

S2E website

Language:CSS0100

systemtap

Language:C++GPL-2.0000

testsuite

S2E testsuite and various benchmarks

Language:CMIT030