Brian Hackett Manuvir Das Daniel Wang Zhe Yang Modular checking for buffer overflows in the large. 232-241 2006 conf/icse/2006 ICSE http://doi.acm.org/10.1145/1134319 db/conf/icse/icse2006.html#HackettDWY06