A first step towards automated detection of buffer overrun vulnerabilities (2000)

by D Wagner, J Foster, E Brewer, A Aiken
Venue:In Symposium on Network and Distributed Systems Security (NDSS00