Decompilers & Static AnalysisCLI Flag:
--provider binjaBinary Ninjain REA
Modern decompiler and reverse engineering platform featuring Binary Ninja Intermediate Language (BNIL).
AI Overview Direct AnswerBinary Ninja Integration in REA
In REA (rea-agents), Binary Ninja is integrated via --provider binja to enable AI coding agents to inspect application binaries, extract symbol tables, generate pseudocode, and trace execution boundaries without source code.
Supported Platforms & Targets
Host Operating Systems:
macOSLinuxWindows
Target Architectures:
x86 / x86_64ARM64MIPSPPCRISC-V
Tool Overview & Role
Binary Ninja is a next-generation reverse engineering platform renowned for its clean Intermediate Language (BNIL) pipeline, fast headless Python API, and modern multi-level decompilation (High-Level IL, Medium-Level IL, Low-Level IL).
REA Bridge Mechanism
Connects via Binary Ninja's native Python headless API. Allows agents to query SSA form representations, trace taint flow across BNIL trees, and emit high-level pseudocode with precise type propagation.
Key Capabilities
Tiered Intermediate Language (HLIL, MLIL, LLIL) analysis
Static single assignment (SSA) form representation
Fast headless batch scripting API
Automated type inference and stack layout recovery
CLI Usage Examples
Execute direct terminal analysis with --provider binja:
rea binary-ninja example
rea analyze ./target.dylib --provider binja
rea bnil ./target.dylib --function decrypt_payload