airbus-seclab/bincat

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1872 stars · 167 forks observed · 2026-08-28

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

BinCAT is a static binary code analysis toolkit that performs value analysis, taint analysis, type reconstruction, and use-after-free/double-free detection on x86, ARM, and PowerPC binaries. It integrates as an IDA plugin and can also be driven via Python or a remote web service for automation.

Use cases

• analyze register and memory values in a binary from IDA
• perform taint analysis on disassembled code
• detect use-after-free and double-free bugs in binaries
• reconstruct and propagate types in stripped binaries
• automate static binary analysis with Python
• run backward and forward analysis on x86 or ARM code

When to choose

• you work in IDA and need automated value or taint analysis of binaries
• you need to detect memory-safety bugs like UAF and double-free statically
• you analyze x86, ARM, or PowerPC binaries and want type reconstruction
• you want scriptable or remote binary analysis for reverse engineering workflows

When to avoid

• you need dynamic analysis or emulation rather than static analysis
• you don't use IDA and need a standalone GUI disassembler
• you need architectures beyond x86, ARM, and PowerPC
• you require a permissively licensed tool - the license is unspecified

Facets

plugin · maturity active

reverse-engineering security linter parser reverse-engineering security developer-tools windows python cpp ida-plugin taint-analysis value-analysis disassembly binary-analysis use-after-free-detection type-reconstruction ocaml linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="airbus-seclab/bincat")