Buffer overrun detection using linear programming and static analysis.

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

Browse the full CCS paper archive.