Modular checking for buffer overflows (0)

by B Hackett, M Das, D Wang, Z Yang
Venue:in the large,” in International Conference on Software Engineering (ICSE