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

by V Ganapathy
Venue:In 10th ACM Conference on Computer and Communications Security