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

by D WAGNER, J S FOSTER, E A BREWER, A AIKEN
Venue:In NDSS