S2E

Login: S2E

Company: null

Location: null

email:

Blog: http://s2e.systems

Members

1. Volodymyr Kuznetsov

Repositories

build-scripts

null

decree

null

docs

Documentation and Quick Start Guides

guest-images

Scripts to automatically create VM images

guest-tools

Tools that run inside the guest

klee

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

libcoroutine

User-mode cooperative threading library

libcpu

x86 Dynamic Binary Translator Library

libfsigcxx

Fast drop-in replacement for libsigc++

libq

JSON serialization library based on QEMU QOM

libs2e

libs2e.so

libs2ecore

S2E Core Engine Library

libs2eplugins

S2E plugins library

libtcg

Tiny Code Generator Library

libvmi

VM Introspection and Binary File Parsing Library

manifest

Contains the Google repo manifests to manage S2E sources

pyelftools

Parsing ELF and DWARF in Python

qemu

QEMU VM with generic KVM extensions for symbolic execution

s2e-env

Your S2E project management tools

s2e.github.io

S2E website

s2e-linux-kernel

Linux kernels (CGC DECREE and vanilla) with S2E extensions

s2e-old

This is the archived S2E 1.0 repo. Please check out S2E 2.0 on https://github.com/s2e

tools

S2E analysis tools (trace analysis, Revgen, ...)

Windows-driver-samples

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