
JSAnalyzer
Burp Suite extension for JavaScript static analysis: extracts API endpoints, URLs, secrets, and emails with noise filtering for web security testing.

Burp Suite extension for JavaScript static analysis: extracts API endpoints, URLs, secrets, and emails with noise filtering for web security testing.

Static binary vulnerability scanner using abstract interpretation on Ghidra Pcode. Detects CWE classes like buffer overflows, use-after-free, and…

An Interactive Binary Patching Plugin for IDA Pro

A reverse engineering framework written in Python.

Research runtime for differentiable neural computers, GPU-based CPU emulation, and program synthesis. Features neural ALU, constant-time crypto, JEPA…

DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers

CLI tool that audits OpenAPI specifications, validates them against best practices, and runs automated security tests to detect vulnerabilities and…

Modular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…

A tool that is used to hunt vulnerabilities in x64 WDM drivers

Multi-engine framework for unpacking and analyzing VM-protected binaries using dynamic taint tracking, symbolic execution, pattern classification,…


Documentation and reverse engineering of reCAPTCHA

Droidefense: Advance Android Malware Analysis Framework

Build and query a graph database representation of source code

Static analysis framework that identifies fuzzable function targets in source code and binaries, generates harness templates, and integrates with…

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

pyREtic is an extensible framework for in-memory Python 2.x bytecode reverse engineering

Given JSON-like content, The JSON Sanitizer converts it to valid JSON.