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

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 1.5.1, Package name: cil-1.5.1
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: 1750.695 KB
Version History (View Complete History)
  • (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:

   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: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-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
   2009-03-11 15:20:27 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to cil-1.3.6
   2009-03-11 15:20:27 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to cil-1.3.6
   2009-03-11 15:20:27 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to cil-1.3.6
   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


   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


   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


   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


   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


   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


   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


   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


   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


   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


   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


   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


   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-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-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-10-08 02:06:52 by Peter Valchev | Files touched by this commit (3)
Log message:
sync patches (linenumbers)


   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-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 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 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 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 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-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-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-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-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-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-05-09 07:52:38 by Anil Madhavapeddy | Files touched by this commit (6)
Log message:
update to cil-1.3.2


   2005-05-09 07:52:38 by Anil Madhavapeddy | Files touched by this commit (6)
Log message:
update to cil-1.3.2


   2005-05-09 07:52:38 by Anil Madhavapeddy | Files touched by this commit (6)
Log message:
update to cil-1.3.2


   2005-05-09 07:52:38 by Anil Madhavapeddy | Files touched by this commit (6)
Log message:
update to cil-1.3.2


   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-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


   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


   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


   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


   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