Category Archives: Dynamic Analysis

Manticore: Symbolic execution for humans April 27, 2017

The Problem with Dynamic Program Analysis March 9, 2016