CCured: type-safe retrofitting of legacy software (0)

by G C Necula, J Condit, M Harren, S McPeak, W Weimer
Venue:ACM Transactions on Programming Languages and Systems