Libraries & frameworks
bap
BinaryAnalysisPlatform/bap
BAP is a binary analysis platform and framework offering multi-architecture disassembly, intermediate representations, symbolic execution and extensible plugin-based analyses.
Topics
Related projects
ghidra-mcp6.2kAn MCP server exposing Ghidra’s reverse-engineering power as hundreds of tools for AI agents.
cwe_checker1.4kcwe_checker is a static analysis suite that scans binary executables for common vulnerability classes such as buffer overflows and null pointer dereferences, built on Ghidra's intermediate representation.
radare225.4kA libre reverse engineering framework and command-line toolset for analyzing, disassembling, debugging, and patching binaries across many architectures and formats.
rizin4.1kA reverse-engineering framework and command-line toolkit, forked from radare2, for disassembling, debugging and analyzing binaries, used directly by security researchers and forensic analysts.
reverify1.3kAn MCP server and CLI that checks an AI agent's claims about binaries and code against deterministic tools, returning verified or refuted verdicts with evidence and a durable fact ledger.
semgrep-rules1.3kSemgrep Rules is the community-maintained collection of Semgrep static analysis rules used to scan code for security and correctness issues.