Be a Binary Rockstar
summary
Binary Ninja loads binaries, lifts them to Binary Ninja IL, and exposes a headless Python API that allows automated analyses instead of manual IDA work. A command-line memcpy analyzer scans bin/bash and prints two stack-directed memcpy sites; a path‑sensitive sign analysis plugin recovers per‑variable sign ranges and exposes a PHP type‑confusion from sign/unsigned casting. Tools and demos are on GitHub, they work but lack built‑in DFS call‑path traversal and miss some register recoveries, so some cases remain unresolved.
AI-written summary · about
chapters (5)
- 0:00Start
- 5:52Binja: Tree Based Structure
- 15:51Binja API
- 18:56Symbolic Execution
- 22:02Abstraction Interpretation
related talks
51mReverse Engineering Binaries
21mDemystify Today's Binary Disassembling and How Modern ABI Makes it Easier
15mBin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary...
27mBinSim: Trace-based Semantic Binary Diffing...
40mDynamic Binary Instrumentation Techniques to Address Native Code Obfuscation
38mThere and Back Again: Reverse Engineering Python Binaries
45mFinding Vulnerabilities through Static Analysis and Scripting
24mUsing Python to Detect Vulnerabilities in Binaries