Get the latest tech news
CIL: C Intermediate Language
C Intermediate Language. Contribute to goblint/cil development by creating an account on GitHub.
CIL will parse and typecheck a program, and compile it into a simplified subset of C. Read the excellent CIL tutorial by Zachary Anderson, much of which still applies to goblint-cil. You can use cilly (installed in the opam switch) as a drop-in replacement for gcc to compile and link your programs.
Or read this on Hacker News