Buffer Overrun Detection using Linear Programming and Static Analysis (2003)

by Vinod Ganapathy , Somesh Jha
Venue:In Proceedings of the 10th ACM conference on Computer and communications security
Citations:44 - 0 self