
Veridiff
Dynamic branch-divergence finder for native code -- traces two Frida executions and finds the exact instruction where they diverge.

Dynamic branch-divergence finder for native code -- traces two Frida executions and finds the exact instruction where they diverge.

Reproduces the CVE-2026-70638 integer overflow in llama.cpp Android JNI with a safe arithmetic demo, malicious GGUF generator, and Frida hook for…

C++ reimplementation of Ghidra's analytical core without JVM dependencies, providing embeddable binary analysis, Pcode/Sleigh foundations, and…

Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel



Automated Penetration Testing Framework - Open-Source Vulnerability Scanner - Vulnerability Management

Fast XSS scanner with parameter analysis, WAF fingerprinting, and DOM/AST verification. Supports reflected, stored, and DOM-based XSS detection via…

Automatic SSTI detection tool with interactive interface

Inject code into running Python processes

LLM powered fuzzing via OSS-Fuzz.

GraphQL server engine fingerprinting tool that sends benign and malformed queries to identify backend technology and assess security defenses via the…

Lightweight fuzzing of a memory snapshot using KVM

Time Travel Debugging IDA plugin

Windows NT ioctl bruteforcer and modular fuzzer

Detours implementation (x64/x86) which used only ntdll import

MCP-powered reverse engineering platform connecting WinDbg, IDA Pro & x64dbg with 160+ AI-accessible debugging and analysis tools.