Skip to content

@secureweb secureweb

Change the repository type filter

All

    Repositories list

    6 repositories

    • fuzzcache

      Public
      PHP
      •2•18•0•0•Updated Nov 6, 2024Nov 6, 2024

    • symphp

      Public
      Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
      phpsymbolic-executionconcolic-executionphp-symbolic-execution
      C
      •
      Apache License 2.0
      •0•13•0•0•Updated Oct 3, 2024Oct 3, 2024

    • s2e-guest-images

      Public
      Scripts to automatically create VM images
      PowerShell
      •
      Other
      •20•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • s2e-env

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

    • s2e

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

    • s2e-manifest

      Public
      Contains the Google repo manifests to manage S2E sources
      15•0•0•0•Updated Oct 3, 2024Oct 3, 2024