Skip to content
@S2E

S2E

A Platform for In-Vivo Analysis of Software Systems

Pinned Loading

  1. s2e-env Public

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

    Python 95 52

  2. s2e Public

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

    C++ 460 91

Repositories

Showing 10 of 25 repositories
  • s2e Public

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

    C++ 460 91 0 2 Updated Dec 7, 2024
  • s2e-env Public

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

    Python 95 52 122 (1 issue needs help) 2 Updated Dec 7, 2024
  • s2e-linux-kernel Public

    Linux kernels (CGC DECREE and vanilla) with S2E extensions

    24 9 1 4 Updated Jul 6, 2024
  • guest-images Public

    Scripts to automatically create VM images

    PowerShell 14 19 0 1 Updated Jun 9, 2024
  • systemtap Public
    C++ 0 GPL-2.0 0 0 0 Updated Jun 9, 2024
  • scripts Public

    Various build scripts

    Makefile 1 6 0 0 Updated Jun 9, 2024
  • qemu Public

    QEMU VM with generic KVM extensions for symbolic execution

    C 24 18 0 2 Updated Mar 17, 2024
  • pyelftools Public Forked from eliben/pyelftools

    Parsing ELF and DWARF in Python

    Python 3 534 0 1 Updated May 23, 2022
  • libtcg Public archive

    Tiny Code Generator Library

    C 46 24 0 1 Updated Jan 16, 2021
  • libcpu Public archive

    x86 Dynamic Binary Translator Library

    C 34 15 0 1 Updated Dec 19, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…