cil - Infrastructure for C Program Analysis and Transformation

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest i386
Package filename cil-1.7.3_2.txz
Package name cil
Package version 1.7.3
Package release 2
Package architecture i386
Package type txz
Category devel lang
Download size 1.17 MB
Installed size 3.99 MB
Infrastructure for C Program Analysis and Transformation
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.
- DOCS: on
===>   NOTICE:
The cil port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
More information about port maintainership is available at:


Package Version Architecture Repository
cil-1.7.3_2.txz 1.7.3 i386 FreeBSD Ports Quarterly
cil-1.7.3_2.txz 1.7.3 amd64 FreeBSD Ports Quarterly
cil-1.7.3_2.txz 1.7.3 amd64 FreeBSD Ports Latest
cil - - -


Name Value
ocaml = 4.02.3
ocaml-findlib = 1.7.1
perl5 = 5.28.1_1


Type URL
Binary Package cil-1.7.3_2.txz
Source Package devel/cil

Install Howto

Install cil txz package:

# pkg install cil

See Also

Package Description
cim-3.37_2.txz Compiler for the SIMULA programming language
cimg-2.7.5,3.txz C++ Template Image Processing Library
cinc-2.1.3_1.txz Bell Laboratories cardiac computer emulator
cingb-0.32.txz Yet another Nintendo Game Boy emulator
cinnamon-2.4.6_13.txz Fork of GNOME Shell with layout similar to GNOME 2
cinnamon-control-center-2.4.2_8.txz Control center for Cinnamon
cinnamon-desktop-2.4.2_3.txz Additional UI API for cinnamon
cinnamon-menus-2.4.1_1.txz Additional UI API for cinnamon
cinnamon-screensaver-2.4.1_1.txz GNOME screen saver and locker
cinnamon-session-2.4.3_3.txz Session component for the cinnamon desktop
cinnamon-settings-daemon-2.4.3_6.txz GNOME 3 settings daemon
cinnamon-translations-2.4.2.txz Translations for the cinnamon desktop
circuslinux-1.0.3_14.txz "Circus Linux!" is a clone of the Atari 2600 game "Circus Atari"
cisco-torch-0.4.txz Mass Cisco Vulnerability Scanner
ciscoconf-1.1.txz Fetches configuration from Cisco routers and stores them under RCS