S2E

Repositories

• build-scripts Archived
  Makefile 5 2 0 1 Updated May 25, 2020

• libs2e Archived

  libs2e.so
  C++ 8 17 0 1 Updated May 25, 2020

• libcpu Archived

  x86 Dynamic Binary Translator Library
  C 12 25 0 1 Updated May 25, 2020

• s2e-env

  Your S2E project management tools. Visit https://s2e.systems/docs to get started.
  Python 28 62 127 (1 issue needs help) 1 Updated May 22, 2020

• guest-images

  Scripts to automatically create VM images
  PowerShell 7 8 0 1 Updated May 22, 2020

• libtcg Archived

  Tiny Code Generator Library
  C 14 22 0 1 Updated May 19, 2020

• s2e

  This is the main S2E repository. Visit https://s2e.systems/docs to get started.
  C++ 11 39 0 0 Updated May 13, 2020

• ci

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

• qemu

  QEMU VM with generic KVM extensions for symbolic execution
  C 8 16 0 1 Updated May 1, 2020

• scripts

  Various build scripts
  Dockerfile 0 0 0 0 Updated Feb 17, 2020

• pyelftools

  Forked from eliben/pyelftools

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

• manifest

  Contains the Google repo manifests to manage S2E sources
  5 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++ 10 16 0 1 Updated Jan 7, 2020

• klee Archived

  Stripped down version of KLEE (original on https://klee.github.com)
  C++ 11 8 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 8 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 6 8 0 0 Updated Feb 3, 2019

• PyKVM

  A tiny KVM hypervisor written in Python
  Python MIT 3 44 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,392 1 0 0 Updated Nov 19, 2018

• pytrie

  Forked from gsakkis/pytrie
  Python 7 1 0 0 Updated Jul 3, 2018

• s2e.github.io

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

• s2e-old Archived

  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  C 170 303 24 0 Updated Jan 29, 2017