Скачать или смотреть Binary Ninja Automation with Jupyter

Binary Ninja Automation with Jupyter

Topics covered and learning goals

Automation with Binary Ninja (commercial) and Jupyterlab
How to extract binary features and search for potential vulnerabilities

Tools used

Binary Ninja 4.0 (commercial): https://binary.ninja/
Jupyterlab: https://jupyter.org/
Pwntools: https://docs.pwntools.com/en/stable/

Installation

Binary Ninja 4.0 Commercial: https://docs.binary.ninja/getting-sta...

Download and install Jupyterlab and dependencies using

https://github.com/meerkatone/binary_...
pip3 install -r requirements.txt

Jupyter Notebook Modification

You will need to modify any code that points to a path with the correct path for your binaries, and pwntools install

Reference Material

10 Minutes to Pandas: https://pandas.pydata.org/docs/user_g...
Pandas Cookbook: https://pandas.pydata.org/docs/user_g...
Binary Ninja Python API Reference: https://api.binary.ninja/
Binary Ninja Intermediate Language Overview: https://docs.binary.ninja/dev/bnil-ov...
Batch Processing and Other Automation Tips: https://docs.binary.ninja/dev/batch.html
User Informed Data Flow: https://docs.binary.ninja/dev/uidf.html
SSA Explained: https://carstein.github.io/2020/10/22...
Hunting Format String Vulnerabilities:    • Hunting Format String Vulnerabilities  
Auditing system calls for command injection vulnerabilities using Binary Ninja's HLIL:    • Auditing system calls for command injectio...  
cetfor/SystemCallAuditorBinja.py: https://gist.github.com/cetfor/67cbd7...
Learning Binary Ninja for Reverse Engineering - Scripting Basics and More Part 1:    • Learning Binary Ninja for Reverse Engineer...  
Learning Binary Ninja for Reverse Engineering - Scripting Basics and More Part 2:    • Learning Binary Ninja for Reverse Engineer...  
EMUX - Using Docker and QEMU to emulate ARM and MIPS IoT devices, to facilitate security research: https://github.com/therealsaumil/emux/