Navigation:
devel cil
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) |
|
| 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 |