cil

Tech stack & purpose

CIL (C Intermediate Language) is a front-end for the C programming language that facilitates program analysis and transformation by parsing, typechecking, and compiling C code into a simplified subset. It supports ANSI C as well as extensions from GNU C and Microsoft C compilers, and includes support for control-flow and points-to analyses. CIL is built in OCaml and includes a Perl script that acts as a drop-in replacement for gcc or Microsoft's cl compiler. The project is maintained by Gabriel Kerneis.

Community & reference links

• cil-project.github.io/cil/doc/html/cil/
• bitbucket.org/zanderso/cil-template/downloads/ciltut.pdf
• Mailing list
• Bug tracker

Languages

Contributors (top 30 of 48)

• George Necula1,713 commits
• Matt Harren529 commits
• 
  Gabriel Kerneis369 commits · 84 followers
• Scott McPeak333 commits
• Westley Weimer306 commits
• Ben Liblit214 commits
• Jeremy Condit138 commits
• Zachary R. Anderson98 commits
• Aman Bhargava67 commits
• David Gay58 commits
• Daniel S. Wilkerson39 commits
• Shree P. Rahul33 commits
• Simon Goldsmith28 commits
• Winston Liaw27 commits
• Danny Antonetti26 commits
• Sumit Gulwani20 commits
• Bor-Yuh Evan Chang14 commits
• John Kodumal12 commits
• Rob Ennals11 commits
• Raymond To10 commits
• James Lee9 commits
• Robert R. Schneck7 commits
• 
  Prashanth Mundkur7 commits · 54 followers
• Andy Pang5 commits
• Pavel Shved4 commits
• Jim Grundy3 commits
• Samuel Colin3 commits
• Feng Zhou3 commits
• Adam Chlipala2 commits
• Oliver Schwahn2 commits