Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: CIL

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
Version:1.3.7
Development status:Stable
Kind: Applications written in Caml :: Scientific software
Topic: Programming languages :: Program analysis
Homepage:http://www.cs.berkeley.edu/~necula/cil/