Skip to content
Change the repository type filter

All

    Repositories list

    • drmemory

      Public
      Memory Debugger for Windows, Linux, Mac, and Android
      C
      288000Updated Oct 14, 2025Oct 14, 2025
    • drltrace

      Public
      Drltrace is a library calls tracer for Windows and Linux applications.
      HTML
      72000Updated Sep 30, 2025Sep 30, 2025
    • s2e

      Public
      S2E: A platform for multi-path program analysis with selective symbolic execution.
      C++
      96001Updated Oct 17, 2024Oct 17, 2024
    • capa

      Public
      The FLARE team's open-source tool to identify capabilities in executable files.
      Python
      636000Updated Aug 20, 2024Aug 20, 2024
    • Standard collection of rules for capa: the tool for enumerating the capabilities of programs
      204000Updated Aug 16, 2024Aug 16, 2024
    • s2e-env

      Public
      Your S2E project management tools. Visit https://s2e.systems/docs to get started.
      Python
      52000Updated Apr 10, 2024Apr 10, 2024
    • manifest

      Public
      Contains the Google repo manifests to manage S2E sources
      15000Updated Apr 10, 2024Apr 10, 2024
    • al-khaser

      Public
      Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.
      C++
      1.2k000Updated Mar 18, 2024Mar 18, 2024
    • qemu

      Public
      QEMU VM with generic KVM extensions for symbolic execution
      C
      20000Updated Feb 24, 2023Feb 24, 2023
    • Linux kernels (CGC DECREE and vanilla) with S2E extensions
      10000Updated Jan 22, 2023Jan 22, 2023
    • Scripts to automatically create VM images
      PowerShell
      20000Updated Sep 19, 2022Sep 19, 2022
    • scripts

      Public
      Various build scripts
      Makefile
      6000Updated Jul 24, 2022Jul 24, 2022
    • decree

      Public
      Shell
      11000Updated Feb 3, 2019Feb 3, 2019