← All repos

bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

GitHub
disassemblyida-pluginreverse-engineeringtaint-analysis
Browse cluster: Cosmos blockchain and smart contract languages →
4,584commits
12contributors
9languages

Tech stack & purpose

BinCAT is a static binary code analysis toolkit designed to assist reverse engineers through IDA integration or Python automation. It performs value analysis on registers and memory, taint analysis, type reconstruction and propagation, and detects use-after-free and double-free vulnerabilities across x86-32, x86-64, ARMv7, ARMv8, and PowerPC architectures. The project is built with OCaml for the analyzer component and Python for the IDA plugin (supporting IDA v7.4 or later), and is maintained by Airbus SecLab. It is released under the GNU Affero General Public Licence.

Community & reference links

Languages

OCaml
71.4%
Python
25.0%
C
2.3%
Makefile
0.8%
Standard ML
0.4%
Dockerfile
0.1%
Dune
0.0%
Shell
0.0%
Emacs Lisp
0.0%

Contributors