Category Archives: Program Analysis

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