FYI: Bug#266474: ITP: cinterlang -- C program analysis and transformation (C Intermediate Language, CIL)
I'm pakaging this for Debian, since I need it for other package
(sampler, still in early stages, not even ITP'd). Among other problems,
there is one with name: most natural name should be "cil", but it is
already booked in Debian.
For those willing to comment, I have an early version of the package in
http://people.debian.org/~jgb/soft/debian/
The ITP information:
--------------------------------
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.
----------------------
Saludos,
Jesus.
--
Contribute to keep Europe free of software patents!
EuropeSwPatentFree - http://EuropeSwPatentFree.hispalinux.es
-----
Jesus M. Gonzalez Barahona | Grupo de Sistemas y Comunicaciones
jgb@gsyc.escet.urjc.es / jgb@computer.org | ESCET, Universidad Rey Juan Carlos
tel: +34 91 664 74 67 | c/ Tulipan s/n
fax: +34 91 488 70 49 | 28933 Mostoles, Spain
Reply to: