CIL: Intermediate language and tools for analysis and transformation of C programs. (2002)

by G C Necula, S McPeak, S Rahul, W Weimer
Venue:In CC’02,