CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.

George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer

Browse the full CC paper archive.