A First Step towards Automated Detection of Buffer Overrun Vulnerabilities (2000)

by David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken
Venue:In Network and Distributed System Security Symposium