Category Archives: Binary Ninja

Manticore GUIs made easy December 13, 2022

Look out! Divergent representations are everywhere! November 10, 2022

MUI: Visualizing symbolic execution with Manticore and Binary Ninja November 17, 2021

Revisiting 2000 cuts using Binary Ninja’s new decompiler April 17, 2020

Reverse Taint Analysis Using Binary Ninja August 29, 2019

Announcing Automated Reverse Engineering Trainings May 30, 2019

Vulnerability Modeling with Binary Ninja April 4, 2018

Use our suite of Ethereum security tools March 23, 2018

Heavy lifting with McSema 2.0 January 23, 2018

An extra bit of analysis for Clemency July 30, 2017