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

by George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer
Venue:In International Conference on Compiler Construction