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 System Security