
raptor
Autonomous security research framework integrating static analysis, binary analysis, fuzzing, LLM-powered vulnerability validation, exploit…

Autonomous security research framework integrating static analysis, binary analysis, fuzzing, LLM-powered vulnerability validation, exploit…

Pishi is a code coverage tool like kcov for macOS.

A security-first MCP server that empowers AI agents to perform automated reverse engineering, malware analysis, forensics, vulnerability research,…

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

A pure Rust reimplementation of libxml2

CVE-Candidate: DoS in [email protected] via comma-separated brace expansion (CVE-2024-4068 incomplete fix)

Checker for Lifetimes and other Refinement types

Trail of Bits Testing Handbook - appsec.guide

Evidence-driven C/C++ vulnerability remediation pipeline + http-parser case study (CVE-2024-22019-class). Python core, React 19 console, 17-test…

a systems programming language prioritizing verifiable correctness, determinism, and performance

Build and query a graph database representation of source code

Educational repository documenting the analysis and exploitation of CVE-2025-5548 (FreeFloat FTP Server buffer overflow). Includes a reusable…

End-to-end exploitation lab for CVE-2025-5548 (FreeFloat FTP Server stack buffer overflow). Includes static analysis with IDA/Ghidra, binary fuzzing,…

A powerful static binary rewriting tool

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

Mutation testing on X.509 Certificate Validation IN OpenSSL v.1.1.1h, based on CVE-2021-3450.


BianryNinja plugin for identifying vulnerabilities in decompiled binaries with both programmatic scans and LLM support.