programa-stic/barf-project

Health v2 · maintenance only

Flags: no_releases

Adoption not part of the score

1452 stars · 171 forks observed · 2026-08-28

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

BARF is an open-source Python framework for binary analysis and reverse engineering. It lifts instructions from x86 and ARM binaries into a REIL intermediate representation and integrates with debuggers, SMT solvers (Z3), and instrumentation tools for scriptable, architecture-agnostic code analysis.

Use cases

• analyze binary code for security research
• find and verify ROP gadgets in a binary
• recover control-flow graphs of functions in an executable
• build a call graph from a binary program
• lift x86 or ARM instructions to an intermediate representation
• script automated binary analysis with SMT solver support
• reverse engineer malware or closed-source software

When to choose

• you need a scriptable Python framework for multi-architecture binary analysis
• you want architecture-agnostic analysis via an intermediate representation like REIL
• you need ROP gadget search, CFG recovery, or call graph recovery tools
• you want open-source integration with Z3 and debuggers for security research

When to avoid

• you need a polished interactive GUI disassembler like IDA Pro or Ghidra
• you require support for architectures beyond x86 and ARM
• you need actively maintained software with recent releases
• you want a pure static analysis pipeline without writing Python scripts

Facets

library · maturity maintenance

reverse-engineering parser security sdk security reverse-engineering developer-tools programming-languages python cross-platform binary-analysis disassembly reil rop-gadgets smt-solver x86 arm control-flow-graph linux

Member repositories

For agents

markdown · JSON · MCP: product_card(name="programa-stic/barf-project")