Buffer overrun detection using linear programming and static analysis (2003)

by V Ganapathy, S Jha, D Chandler, D Melski, D Vitek
Venue:In Proc. ACM Conference on Computer Security (CCS’03). ACM