
Web3Bugs
Demystifying Exploitable Bugs in Smart Contracts

Demystifying Exploitable Bugs in Smart Contracts

A lightweight dynamic instrumentation library

Automatic SSTI detection tool with interactive interface

Build and query a graph database representation of source code

ATrace is a tool for tracing execution of binaries on Windows.

Edge-coverage-guided fuzzer for PHP libraries that detects bugs via crashes, timeouts, and warnings. Supports corpus management, crash minimization,…

Binary code coverage visualizer plugin for Ghidra

Pishi is a code coverage tool like kcov for macOS.

Coverage-based fuzzer for python applications

Proof of concept for CVE-2022-44318

Proof of Concept for CVE-2023-40296

Proof of concept for CVE-2022-34556


A generative test that would've caught CVE-2020-28052

A coverage-guided fuzzer for pure Ruby code and Ruby C extensions

Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.

Fuzzing Framework for Modules in Apache HTTPD Server

CVE-2022-3653 just the c++ component in Vulkan for later study