./devel/cil [framework for analysis and transformation of C]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 1.7.3, Package name: cil-1.7.3
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
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).

Filesize: 1848.884 KB
Version History (View Complete History)
  • (2019-03-04) Updated to version: cil-1.7.3
  • (2012-08-20) Updated to version: cil-1.5.1
  • (2009-06-21) Updated to version: cil-1.3.6p1
  • (2009-04-04) Updated to version: cil-1.3.6p0
  • (2009-03-12) Updated to version: cil-1.3.6
  • (2006-12-27) Updated to version: cil-1.3.5p0
  • (2006-07-21) Package added to openports.se, version cil-1.3.5 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2020-06-09 11:34:15 by Christopher Zimmermann | Files touched by this commit (36)
Log message:
Update lang/ocaml to 4.10.0
tested on sparc64, update to lang/camlp4 and ok by jca@
ok daniel@
thanks.
   2019-09-26 03:46:11 by Christopher Zimmermann | Files touched by this commit (43)
Log message:
Update OCaml to 4.09
reviewed ports wise and help with @pkgpath, ok by sthen@
reviewed and help with bytecode-only plists, minor nits and ok by jca@
tested on sparc 64 by @jca
tested on aarch64 by Kurt Miller
tested on amd64 by me
Thanks for reviews and testing!
   2019-09-18 11:49:37 by Christopher Zimmermann | Files touched by this commit (42)
Log message:
Upgrade lang/ocaml to 4.08.1
* net unison needed some patchign to avoid deprecated library functions.
* all ports depending on the exact version of OCaml need revision bumps.
* net/unison needed some help to avoid deprecated library functions.
ok krw@, testing on i386 and ok daniel@
   2019-08-18 05:33:06 by Christian Weisgerber | Files touched by this commit (1)
Log message:
remove reference to /usr/bin/gcc that hasn't been used since 2012
   2019-07-12 14:44:13 by Stuart Henderson | Files touched by this commit (877)
Log message:
replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes
   2019-03-04 21:29:47 by Jeremie Courreges-Anglas | Files touched by this commit (68)
Log message:
Those files should have been removed in the ocaml-4.07.1+friends update
Noticed by krw@ and Adam Steen
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2017-03-03 13:26:41 by Jeremie Courreges-Anglas | Files touched by this commit (2)
Log message:
Honour CC
   2017-03-03 13:26:32 by Jeremie Courreges-Anglas | Files touched by this commit (1)
Log message:
regen patch
   2016-03-22 13:17:30 by Michael McConville | Files touched by this commit (1)
Log message:
replace broken HOMEPAGE
from Daniel Jakots
   2010-12-07 07:57:19 by David Coppa | Files touched by this commit (4)
Log message:
Fix build with upcoming ocaml update.
OK landry@
   2010-11-12 10:17:27 by David Coppa | Files touched by this commit (1)
Log message:
HOMEPAGE has been changed long ago.
   2009-06-20 16:05:11 by Anil Madhavapeddy | Files touched by this commit (23)
Log message:
update to ocaml-3.11.1 and bump dependent package PKGNAMEs
   2009-04-03 15:30:50 by Nikolay Sturm | Files touched by this commit (15)
Log message:
bump after ocaml update
   2009-03-11 15:20:27 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to cil-1.3.6
   2008-05-19 01:43:43 by Bernd Ahlers | Files touched by this commit (1)
Log message:
Build on powerpc and not just macppc now that we have socppc.
from brad@
   2007-09-15 20:53:14 by Michael Erdely | Files touched by this commit (599)
Log message:
Remove quotes surrounding COMMENT*/PERMIT_*/BROKEN
   2007-04-05 09:38:13 by Marc Espie | Files touched by this commit (1270)
Log message:
base64 distinfo with SHA256
   2006-12-26 15:39:32 by Anil Madhavapeddy | Files touched by this commit (14)
Log message:
bump PKGNAME on ocaml ports for recent ocaml-3.09.3 dependency change
   2006-05-28 09:44:14 by Anil Madhavapeddy | Files touched by this commit (13)
Log message:
update to cil-1.3.5, lots of nice fixes to parsing gcc/msvc code
   2005-10-18 13:09:46 by Marc Espie | Files touched by this commit (1)
Log message:
needless use of pre-fake
   2005-10-16 15:55:15 by Peter Valchev | Files touched by this commit (1)
Log message:
move #ifdef __i386__ to actually include the inline x86 asm too
so this compiles on other arches, no binary change; ok avsm
   2005-10-16 09:52:31 by Anil Madhavapeddy | Files touched by this commit (3)
Log message:
- remove patch that is duplicated in distro
- trim configure patch for dup
- bump PKGNAME
From <andreas@zzlevo.net>
   2005-10-08 02:06:52 by Peter Valchev | Files touched by this commit (3)
Log message:
sync patches (linenumbers)
   2005-09-22 06:53:16 by Anil Madhavapeddy | Files touched by this commit (2)
Log message:
update to cil-1.3.3
   2005-05-27 15:46:23 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
Add in a --dorandomvars which sets local variables to values other than
0 to try and find bugs which depend on them being initalized to 0.
Also turn off the other transformations by default (use --dokerneltrace
or --donullint)
Go get em Chad.
   2005-05-27 00:31:52 by Anil Madhavapeddy | Files touched by this commit (6)
Log message:
Add a 'kernel function call tracer' to automatically insert a call to
log() to certain functions in the kernel to help debugging.
An example use when building a kernel would be:
$ make CC='/usr/local/bin/cilly --trace-regexp=^cache_ --trace-level=0'
to instrument all functions starting with cache_* to notify syslog at
emergency log level.  The output also includes the contents of any
char/int/long arguments (pointers and structs not followed yet, too
verbose).
A full kernel build doesnt quite work with CIL yet so use selectively.
   2005-05-09 07:52:38 by Anil Madhavapeddy | Files touched by this commit (6)
Log message:
update to cil-1.3.2
   2005-01-05 09:22:44 by Christian Weisgerber | Files touched by this commit (366)
Log message:
SIZE
   2004-11-23 04:22:02 by Marc Espie | Files touched by this commit (43)
Log message:
WANTLIB markers
   2004-09-14 17:44:02 by Marc Espie | Files touched by this commit (206)
Log message:
switch to new plist, killing a few install scripts along the way.
   2004-08-10 14:41:47 by Xavier Santolaria | Files touched by this commit (9)
Log message:
more new-style MODULES.
   2004-06-22 14:57:25 by Anil Madhavapeddy | Files touched by this commit (2)
Log message:
CIL also works on macppc now, hurrah
   2004-06-21 12:53:12 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
add a simple NULL/int comparison checker to CIL