Recomp / RE tooling / Multi
Binary Analysis Platform
OCaml framework for lifting and analysing machine code across architectures, used in program verification and security research.
Tool Human-led releasedFacts
- Original
- Binary programs (multi-architecture)
- Platform
- Multi
- Method
- Tool
- Provenance
- Human-led · Repo created 2014, predates AI coding tools (GitHub) what this means
- Status
- released
- Licence
- MIT
- Team
- BinaryAnalysisPlatform
- Started
- 2014-10
- Runs on
- Linux, macOS
- Needs the original
- No
How to get it legally
Download it from the official repository. No original files are needed.
This project was rebuilt by BinaryAnalysisPlatform. Facts last checked 2026-10-14.
Sources
Related
All re tooling →0xdea ghidra-scripts
Ghidra scripting
Ghidra scripts for reverse engineering and vulnerability research.
6502bench
6502, 65C02 and 65816 code
Workbench for disassembling and annotating 6502-family code, producing source output for retro projects.
ABCDE
OpenHarmony ABC bytecode
Kotlin toolkit for reverse engineering OpenHarmony apps, with an ABC file parser library and early decompilation support.
agsutils
Adventure Game Studio games
Utilities for AGS games: extractor, repacker, disassembler and assembler.
alicedbg
native processes
Cross-platform debugger toolkit and library.
AlphaGolang
Go binaries
Collection of IDAPython scripts for analysing Go binaries, split into steps for malware reverse engineers.