CIL: Infrastructure for C Program Analysis and Transformation George C. Necula, Scott McPeak, S. P. Rahul, Westley Weimer necula/cil.
CIL: Infrastructure for C Program Analysis and Transformation