CCured: Type-Safe Retrofitting of Legacy Code (2002)

by George C. Necula, Scott McPeak, Westley Weimer
Venue:PRINCIPLES OF PROGRAMMING LANGUAGES