Skip to content

@S2E S2E

Change the repository type filter

All

    Repositories list

    25 repositories

    • s2e

      Public
      S2E: A platform for multi-path program analysis with selective symbolic execution.
      testingwindowslinuxcoveragevmdeviceanalysisllvmreverse-engineeringkvm
      C++
      •
      Other
      •89•448•0•3•Updated Oct 27, 2024Oct 27, 2024

    • s2e-env

      Public
      Your S2E project management tools. Visit https://s2e.systems/docs to get started.
      Python
      •
      Other
      •51•93•121•2•Updated Jul 27, 2024Jul 27, 2024

    • s2e-linux-kernel

      Public
      Linux kernels (CGC DECREE and vanilla) with S2E extensions
      9•24•0•4•Updated Jul 6, 2024Jul 6, 2024

    • guest-images

      Public
      Scripts to automatically create VM images
      PowerShell
      •
      Other
      •18•14•0•0•Updated Jun 9, 2024Jun 9, 2024

    • systemtap

      Public
      C++
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jun 9, 2024Jun 9, 2024

    • scripts

      Public
      Various build scripts
      Makefile
      •6•1•0•0•Updated Jun 9, 2024Jun 9, 2024

    • qemu

      Public
      QEMU VM with generic KVM extensions for symbolic execution
      C
      •
      Other
      •18•23•0•2•Updated Mar 17, 2024Mar 17, 2024

    • pyelftools

      Public
      Parsing ELF and DWARF in Python
      Python
      •
      Other
      •511•3•0•1•Updated May 23, 2022May 23, 2022

    • libtcg

      Public archive
      Tiny Code Generator Library
      C
      •
      Other
      •24•45•0•1•Updated Jan 16, 2021Jan 16, 2021

    • libcpu

      Public archive
      x86 Dynamic Binary Translator Library
      C
      •
      Other
      •15•34•0•1•Updated Dec 19, 2020Dec 19, 2020

    • libs2e

      Public archive
      libs2e.so
      C++
      •
      Other
      •8•20•0•1•Updated Dec 19, 2020Dec 19, 2020

    • build-scripts

      Public archive
      Makefile
      •6•2•0•1•Updated Dec 8, 2020Dec 8, 2020

    • s2e-old

      Public archive
      This is the archived S2E 1.0 repo. We do not maintain it anymore.
      C
      •
      Other
      •168•314•24•0•Updated Jun 25, 2020Jun 25, 2020

    • ci

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

    • manifest

      Public
      Contains the Google repo manifests to manage S2E sources
      15•4•0•0•Updated Jan 19, 2020Jan 19, 2020

    • libs2ecore

      Public archive
      S2E Core Engine Library
      C++
      •
      Other
      •10•15•0•1•Updated Jan 7, 2020Jan 7, 2020

    • libs2eplugins

      Public archive
      S2E plugins library
      C++
      •
      Other
      •9•17•0•1•Updated Jan 7, 2020Jan 7, 2020

    • klee

      Public archive
      Stripped down version of KLEE (original on https://klee.github.com)
      C++
      •
      Other
      •11•10•0•2•Updated Jan 7, 2020Jan 7, 2020

    • testsuite

      Public archive
      S2E testsuite and various benchmarks
      C
      •
      MIT License
      •1•0•0•0•Updated Jan 2, 2020Jan 2, 2020

    • docs

      Public archive
      Documentation and Quick Start Guides for the S2E Symbolic Execution Platform
      Python
      •24•76•0•0•Updated Jan 2, 2020Jan 2, 2020

    • guest-tools

      Public archive
      Tools that run inside the guest
      C
      •11•12•0•1•Updated Jan 2, 2020Jan 2, 2020

    • decree

      Public
      Shell
      •11•8•0•0•Updated Feb 3, 2019Feb 3, 2019

    • PyKVM

      Public
      A tiny KVM hypervisor written in Python
      Python
      •
      MIT License
      •7•65•0•0•Updated Jan 7, 2019Jan 7, 2019

    • Windows-driver-samples

      Public
      This repo contains Windows driver samples, some of them are adapted for use with S2E
      C
      •
      Microsoft Public License
      •4.9k•1•0•0•Updated Nov 19, 2018Nov 19, 2018

    • s2e.github.io

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