[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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

Reply to: