C INTERMEDIATE LANGUAGE (CIL)

Summary from the TLDR newsletter

CIL facilitates program analysis and transformation by parsing and type-checking programs and compiling them into a simplified subset of C.