Bug#266474: ITP: cinterlang -- C program analysis and transformation (C Intermediate Language, CIL)
Package: wnpp
Severity: wishlist
* Package name : cinterlang
Version : 1.2.5
Upstream Author : George C. Necula <necula@cs.berkeley.edu>, Scott McPeak <smcpeak@cs.berkeley.edu>, Wes Weimer <weimer@cs.berkeley.edu>, Ben Liblit <liblit@cs.berkeley.edu>
* 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
Reply to: