Modular Checking for Buffer Overflows (2006)

by B Hackett, M Das, D Wang, Z Yang
Venue:in the Large. International Conference on Software Engineering