Skip to content
Change the repository type filter

All

    Repositories list

    • fuzzcache

      Public
      PHP
      21800Updated Nov 6, 2024Nov 6, 2024
    • symphp

      Public
      Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
      C
      01300Updated Oct 3, 2024Oct 3, 2024
    • Scripts to automatically create VM images
      PowerShell
      20000Updated Oct 3, 2024Oct 3, 2024
    • s2e-env

      Public
      Your S2E project management tools. Visit https://s2e.systems/docs to get started.
      Python
      54000Updated Oct 3, 2024Oct 3, 2024
    • s2e

      Public
      S2E: A platform for multi-path program analysis with selective symbolic execution.
      C++
      97000Updated Oct 3, 2024Oct 3, 2024
    • Contains the Google repo manifests to manage S2E sources
      15000Updated Oct 3, 2024Oct 3, 2024