binsec/binsec

A powerful and user-friendly binary analysis platform!

The official angr GUI.

blint is a Binary Linter that checks the security properties and capabilities of your executables. It can also generate a Software Bill-of-Materials (SBOM) for supported binaries.

revng: the core repository of the rev.ng project

A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats

B2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering, program analysis, and binary-level inspection.

Vulnerability detection framework by Binarly's REsearch team

cwe_checker finds vulnerable patterns in binary executables

OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis through natural language. Interact with Ghidra using conversational queries and automate complex reverse engineering workflows.