
ablation
Reverse engineering framework with disassembly, decompilation, taint analysis, version diffing and semantic search, plus LLM-driven autonomous binary…

Reverse engineering framework with disassembly, decompilation, taint analysis, version diffing and semantic search, plus LLM-driven autonomous binary…

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

Vulnerability research assistant that locates calls to potentially insecure API functions in a binary file.

Reverse engineering assistant that uses a locally running LLM to aid with pseudocode analysis.

Rust cryptography w/ zero required deps: hashes, checksums, MACs, KDFs, password hashing, AEADs, signatures, RSA, key exchange, ML-KEM, and ML-DSA.…

Static analysis tool for CI/CD systems that detects and fixes security issues in GitHub Actions, Dependabot, and pre-commit configurations, including…

An interactive disassembler for the CPU 6502, focused on Commodore 8-bit computers. Features a TUI with modern features like x-ref, undo/redo, flow…

A Python pickling decompiler and static analyzer

opensource repo for validating agentic AI applications: redteam, behavior, supply-chain, static analysis

Gixy-Next: NGINX Configuration Security Scanner & Performance Checker

Automated mobile application security testing framework for Android, iOS, and Windows. Performs static and dynamic analysis, malware detection, and…

High-performance secrets scanner. CLI, Go library, Burp Suite extension, and Chrome extension. 487 detection rules with live credential validation.

Portable Executable reversing tool with a friendly GUI

A powerful and user-friendly binary analysis platform!

A security focused static analysis tool for Android and Java applications.

Program for determining types of files for Windows, Linux and MacOS.

An extensible multilanguage static code analyzer.

MCP server bridging Ghidra's reverse engineering with AI tools: 256 tools for decompilation, P-code emulation, live debugging, data flow analysis,…