CCured: type-safe retrofitting of legacy software

George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer. CCured: type-safe retrofitting of legacy software. ACM Transactions on Programming Languages and Systems, 27(3):477-526, 2005. [doi]

Abstract

Abstract is missing.