Archive for June 2015

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

Abstract  We present a new technique and system, DIODE, for automatically generating inputs that trigger overflows at memory allocation si...
Read More