Modular checking for buffer overflows in the large (2006)

by B Hackett, M Das, D Wang, Z Yang
Venue:In ICSE