Category Archives: Program Analysis

Optimizing Lifted Bitcode with Dead Store Elimination July 6, 2018

State Machine Testing with Echidna May 3, 2018

Vulnerability Modeling with Binary Ninja April 4, 2018

Use our suite of Ethereum security tools March 23, 2018

Manticore: Symbolic execution for humans April 27, 2017

Devirtualizing C++ with Binary Ninja February 13, 2017

Breaking Down Binary Ninja’s Low Level IL January 31, 2017

Semantic Analysis of Native Programs with CodeReason February 23, 2014