Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: CIL


CIL (C Intermediate Language) is a high-level representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs.
Homepage ]
Author:Westley Weimer, Scott McPeak, and George Necula.
Last modification date:21-Aug-2002
Development status:Stable
Kind: Applications written in Caml :: Scientific software
Topic: Programming languages :: Program analysis