Category Archives: Static Analysis

An extra bit of analysis for Clemency July 30, 2017

Devirtualizing C++ with Binary Ninja February 13, 2017

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

Automated Code Audit’s First Customer October 4, 2016

2000 cuts with Binary Ninja June 3, 2016

The Problem with Dynamic Program Analysis March 9, 2016

Using Static Analysis and Clang To Find Heartbleed April 27, 2014