Buffer Overrun Detection Using Linear Programming and Static Analysis

Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek.

University of Wisconsin-Madison, Computer Sciences Department Technical Report 1488; Madison, Wisconsin, August 2003.

This technical report accompanies our identically titled CCS 2003 paper.

Technical report: [ Postscript | PDF ]


Papers page