Package: wnpp Severity: wishlist * Package name : cinterlang Version : 1.2.5 Upstream Author : George C. Necula <[EMAIL PROTECTED]>, Scott McPeak <[EMAIL PROTECTED]>, Wes Weimer <[EMAIL PROTECTED]>, Ben Liblit <[EMAIL PROTECTED]> * URL : http://manju.cs.berkeley.edu/cil/ * License : BSD-like Description : C program analysis and transformation (C Intermediate Language, 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. It is written in OCaml. . CIL is both lower-level than abstract-syntax trees, by clarifying ambiguous constructs and removing redundant ones, and also higher-level than typical intermediate languages designed for compilation, by maintaining types and a close relationship with the source program. The main advantage of CIL is that it compiles all valid C programs into a few core constructs with a very clean semantics. Also CIL has a syntax-directed type system that makes it easy to analyze and manipulate C programs. Furthermore, the CIL front-end is able to process not only ANSI-C programs but also those using Microsoft C or GNU C extensions. -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Kernel: Linux 2.6.3-1-686 Locale: LANG=C, LC_CTYPE=C
