Modular checking for buffer overflows in the large (2006)

by Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang
Venue:In International Conference on Software Engineering (ICSE