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

by George C Necula, Scott Mcpeak, S P Rahul, Westley Weimer
Venue:In Proceedings of the International Conference on Compiler Construction (CC