Giters
secureweb

secureweb

Organization data from Github https://github.com/secureweb

GitHub:@secureweb

secureweb's repositories

fuzzcache

FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache (ACM CCS 2024)

Language:PHPStargazers:17Issues:1Issues:1

symphp

Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)

Language:CLicense:Apache-2.0Stargazers:12Issues:1Issues:1

s2e

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

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

s2e-env

Your S2E project management tools. Visit https://s2e.systems/docs to get started.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

s2e-guest-images

Scripts to automatically create VM images

Language:PowerShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

s2e-manifest

Contains the Google repo manifests to manage S2E sources

Stargazers:0Issues:0Issues:0