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

by George C Necula, Scott McPeak, Westley Weimer
Venue:In Proceedings of the Principles of Programming Languages