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/ |