Modular checking for buffer overflows in the large.

Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang

Browse the full ICSE paper archive.