Testing static analysis tools using exploitable buffer overflows from open source code. (2004)

by M Zitser, R Lippmann, T Leek
Venue:In Proceedings of the 12th ACM SIGSOFT symposium on Foundations of software engineering,