BinaryAnalysisPlatform/bap

Health v2 · maintenance only

Adoption not part of the score

2253 stars · 285 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

CMU Binary Analysis Platform (BAP) is a suite of OCaml libraries and a plugin-extensible CLI tool for analyzing binary programs. It lifts binaries for x86, x86-64, ARM, MIPS, and PowerPC into a semantic IR and provides interpreters, a symbolic executor, taint analysis, and a domain-specific language (Primus Lisp) for writing custom analyses.

Use cases

• analyze binary programs statically
• disassemble and lift binaries to an intermediate representation
• run symbolic execution on binaries
• perform taint analysis on executables
• write custom binary analysis tools in OCaml
• verify properties of binary code with SMT solvers
• emulate and microexecute binary code

When to choose

• you need semantically precise binary analysis rather than just disassembly
• you want to build custom program analyses on top of a well-defined IR
• you work in OCaml or can use C/Python bindings
• you need support for x86, ARM, MIPS, or PowerPC architectures

When to avoid

• you only need a GUI disassembler for quick reverse engineering
• you need decompilation to high-level source code
• you require architectures outside BAP's supported set without writing plugins
• you prefer Python-first analysis frameworks like angr

Facets

framework · maturity active

reverse-engineering parser interpreter security plugin-system sdk reverse-engineering security programming-languages developer-tools cli python binary-analysis disassembler lifter symbolic-execution taint-analysis static-analysis program-verification ocaml x86 arm mips powerpc primus-lisp smt linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="BinaryAnalysisPlatform/bap")