Vinod Ganapathy Somesh Jha David Chandler David Melski David Vitek Buffer overrun detection using linear programming and static analysis. 345-354 2003 conf/ccs/2003 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/948109.948155 db/conf/ccs/ccs2003.html#GanapathyJCMV03