S2E

Repositories

• s2e-env

  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  Python 31 72 125 (1 issue needs help) 2 Updated Apr 20, 2021

• s2e

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

  testing windows linux coverage vm device analysis
  C++ 30 120 0 1 Updated Apr 1, 2021

• scripts

  Various build scripts
  Dockerfile 2 1 0 0 Updated Feb 20, 2021

• qemu

  QEMU VM with generic KVM extensions for symbolic execution
  C 10 19 0 1 Updated Feb 14, 2021

• guest-images

  Scripts to automatically create VM images
  PowerShell 10 9 0 0 Updated Feb 14, 2021

• libtcg Archived

  Tiny Code Generator Library
  C 19 29 0 1 Updated Jan 16, 2021

• libcpu Archived

  x86 Dynamic Binary Translator Library
  C 14 30 0 1 Updated Dec 19, 2020

• libs2e Archived

  libs2e.so
  C++ 8 18 0 1 Updated Dec 19, 2020

• build-scripts Archived
  Makefile 6 2 0 1 Updated Dec 8, 2020

• s2e-old Archived

  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  C 171 304 24 0 Updated Jun 25, 2020

• ci

  Continous integration for S2E
  Shell 0 0 0 0 Updated May 1, 2020

• pyelftools

  Forked from eliben/pyelftools

  Parsing ELF and DWARF in Python
  Python 397 2 0 0 Updated Jan 28, 2020

• manifest

  Contains the Google repo manifests to manage S2E sources
  7 3 0 0 Updated Jan 19, 2020

• libs2ecore Archived

  S2E Core Engine Library
  C++ 9 15 0 1 Updated Jan 7, 2020

• libs2eplugins Archived

  S2E plugins library
  C++ 9 16 0 1 Updated Jan 7, 2020

• klee Archived

  Stripped down version of KLEE (original on https://klee.github.com)
  C++ 12 9 0 2 Updated Jan 7, 2020

• testsuite Archived

  S2E testsuite and various benchmarks
  C MIT 1 0 0 0 Updated Jan 2, 2020

• docs Archived

  Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
  Python 26 76 0 0 Updated Jan 2, 2020

• guest-tools Archived

  Tools that run inside the guest
  C 13 9 0 1 Updated Jan 2, 2020

• s2e-linux-kernel

  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  4 14 0 0 Updated Jun 12, 2019

• decree
  Shell 8 9 0 0 Updated Feb 3, 2019

• PyKVM

  A tiny KVM hypervisor written in Python
  Python MIT 3 55 0 0 Updated Jan 7, 2019

• Windows-driver-samples

  Forked from microsoft/Windows-driver-samples

  This repo contains Windows driver samples, some of them are adapted for use with S2E
  C MS-PL 3,824 1 0 0 Updated Nov 19, 2018

• s2e.github.io

  S2E website
  CSS 3 0 0 0 Updated Oct 31, 2017