George C. Necula Scott McPeak Westley Weimer CCured: type-safe retrofitting of legacy code. 128-139 2002 POPL http://doi.acm.org/10.1145/503272.503286 db/conf/popl/popl2002.html#NeculaMW02