CIL: Intermediate Language and Tools for Analysis and Transformation of C programs George C.Necula Scott McPeak S.P.Rahul Westley Weimer University of California, Berkeley…