FTP Search

Directory

Content Search

cil

/Main/OpenBSD/3.9/amd64/

framework for analysis and transformation of C 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.

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. If you do not use CIL and want instead to use just a C parser and analyze programs expressed as abstract-syntax trees then your analysis will have to handle a lot of ugly corners of the language (let alone the fact that parsing C itself is not a trivial task).

Maintainer: Anil Madhavapeddy <avsm@openbsd.org>

WWW: http://manju.cs.berkeley.edu/cil/

Info:

Homepage:	-
Package version:	-
Architecture:	amd64
Distribution:	OpenBSD 3.9
Filename:	cil-1.3.3p0.tgz

Browse inside cil-1.3.3p0.tgz:

pkg://cil-1.3.3p0.tgz:3049845/  downloads

[DIR]libexec/  29013+ twin directories
[DIR]libdata/  16480+ twin directories
[DIR]lib/  65535+ twin directories
[DIR]bin/  65535+ twin directories
1.16 KB  2005-03-02+DESC  view  69 mirrors
3.30 KB  2005-03-02+CONTENTS  view  10 mirrors

Download cil-1.3.3p0.tgz:

2005-03-04  ftp://ftp.kd85.com/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2005-03-04  ftp://ftp.krokus.ru/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2005-03-04  ftp://ftp.calyx.nl/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2005-03-04  ftp://ftp.uni-wuppertal.de/pub/unix/openbsd/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://ftp.estpak.ee/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://ftp.su.se/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://ftp.usa.openbsd.org/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-04  ftp://ftp.tw.openbsd.org/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://ftp.in2p3.fr/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://ftp.twaren.net/pub/BSD/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://na.mirror.garr.it/pub/1/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://ftp.nrc.ca/pub/systems/bsd/openbsd/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://130.237.164.232/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://ftp.it.su.se/pub/OpenBSD/3.9/packages/amd64/cil-1.3.3p0.tgz
2006-03-03  ftp://ftp.udc.es/mirror/openbsd/3.9/packages/amd64/cil-1.3.3p0.tgz