CCured: Type-safe retrofitting of legacy code (2002)

by George C Necula, Scott McPeak, Westley Weimer
Venue:In Proceedings of the 29th ACM Symposium on Principles of Programming Languages