Category Archives: Program Analysis

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