Ccured: type-safe retrofitting of legacy code. (2002)

by G C Necula, S McPeak, W Weimer
Venue:In POPL ’02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,