Skip to content
@S2E

S2E

A Platform for In-Vivo Analysis of Software Systems

Pinned Loading

  1. s2e-env s2e-env Public

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

    Python 93 52

  2. s2e s2e Public

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

    C++ 456 90

Repositories

Showing 10 of 25 repositories
  • s2e Public

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

    S2E/s2e’s past year of commit activity
    C++ 456 90 0 2 Updated Dec 7, 2024
  • s2e-env Public

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

    S2E/s2e-env’s past year of commit activity
    Python 93 52 122 (1 issue needs help) 2 Updated Dec 7, 2024
  • s2e-linux-kernel Public

    Linux kernels (CGC DECREE and vanilla) with S2E extensions

    S2E/s2e-linux-kernel’s past year of commit activity
    23 9 0 4 Updated Jul 6, 2024
  • guest-images Public

    Scripts to automatically create VM images

    S2E/guest-images’s past year of commit activity
    PowerShell 14 19 0 1 Updated Jun 9, 2024
  • systemtap Public
    S2E/systemtap’s past year of commit activity
    C++ 0 GPL-2.0 0 0 0 Updated Jun 9, 2024
  • scripts Public

    Various build scripts

    S2E/scripts’s past year of commit activity
    Makefile 1 6 0 0 Updated Jun 9, 2024
  • qemu Public

    QEMU VM with generic KVM extensions for symbolic execution

    S2E/qemu’s past year of commit activity
    C 23 18 0 2 Updated Mar 17, 2024
  • pyelftools Public Forked from eliben/pyelftools

    Parsing ELF and DWARF in Python

    S2E/pyelftools’s past year of commit activity
    Python 3 530 0 1 Updated May 23, 2022
  • libtcg Public archive

    Tiny Code Generator Library

    S2E/libtcg’s past year of commit activity
    C 46 24 0 1 Updated Jan 16, 2021
  • libcpu Public archive

    x86 Dynamic Binary Translator Library

    S2E/libcpu’s past year of commit activity
    C 34 15 0 1 Updated Dec 19, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…