Skip to content

Navigation Menu

Sign in
S2E

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@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 96 52

  2. s2e s2e Public

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

    C++ 473 95

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
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++ 473 95 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 96 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
    24 9 1 4 Updated Jul 6, 2024
  • guest-images Public

    Scripts to automatically create VM images

    S2E/guest-images’s past year of commit activity
    PowerShell 15 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 25 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 538 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…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.