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

by George C Necula, Scott McPeak, Westley Weimer
Venue:In Symposium on Principles of Programming Languages POPL