Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.546.735 Times

CIL 1.4.0

Company: Gabriel Kerneis
Date Added: November 24, 2012  |  Visits: 281

CIL

Report Broken Link
Printer Friendly Version



Download (28 downloads)



CIL, also knows as the C Intermediate Language was built as a front-end for the C programming language. It was designed in order to facilitate program analysis and transformation.

CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL all looping constructs are given a single form and expressions have no side-effects.

This reduces the number of cases that must be considered when manipulating a C program. CIL has been used for a variety of projects, including CCured, a tool that makes C programs memory safe.

CIL supports ANSI C as well as most of the extensions of the GNU C and Microsoft C compilers. A Perl script acts as a drop in replacement for either gcc or Microsoft's cl, and allows merging of the source files in your project. Other features include support for control-flow and points-to analyses.

Requirements: No special requirements
Release Date: November 24, 2012
Platforms: Windows All
Keyword: Analysis C Front-end Cil Front-end Program Analysis Program Transformation
Users rating: 0/10

License: Freeware
USER REVIEWS
More Reviews or Write Review


CIL RELATED
Programming  -  PSF 1.0
PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.
4.61 MB  
3D Graphic Tools  -  KeyJnoteGUI 0.4.3.1
KeyJnoteGUI is a KDE front end to the eye-candy presentation program KeyJnote by Martin Fiedler. KeyJnote uses OpenGL to render presentations with unique visual effects. Binary packages are provided for Ubuntu Edgy. They should work with other...
25.6 KB  
Shell & Desktop  -  BoardGame Tool 0.1.1
BoardGame Tool provides a C++ front-end/Python back-end for running board games. It features an easy and flexible interface to interact with the players and has transparent support for network or AI-controlled games. Through a clear XML...
 
Programming  -  Fenris 0.07-m2 build 3245
Fenris is a suite of tools suitable for code analysis, debugging, protocol analysis, reverse engineering, forensics, diagnostics, security audits, vulnerability research and many other purposes. The main logical components are: - Fenris:...
1.1 MB  
Database Tools  -  Poupine Web Application Server rc
Porcupine is an open-source Python based web application server that provides front-end and back-end revolutionary technologies for building modern data-centric Web 2.0 applications.
532.3 KB  
Benchmark Tools  -  EOL 1.1
EOL (End-Of-Line) is a Windows program that converts English language text files among Windows, Macintosh and Unix (Linux) formats. It detects the format of each text file automatically. Use EOL's graphical user interface to select a drive and...
1.2 MB  
Libraries  -  Active Query Builder VCL Free Edition 1.17.11.0
Active Query Builder VCL Edition is a visual query builder component suite for Borland Delphi and C++ Builder that allows your end-users to build SQL queries with unions and subqueries via an intuitive visual interface. Active Query Builder VCL...
 
Programming  -  RECODER 0.95b
RECODER is a Java framework for Java program analysis and source code transformation. RECODER computes an easy to use syntactic and semantic program model containing cross references and also supports transformation rollbacks and...
3.9 MB  
Development Tools  -  ncc compiler 1.1
ncc is a compiler that produces program analysis information. ncc is a decent replacement of cflow and cscope able to analyse any program using the gcc compiler. The program also includes a graphical call-graph navigator and source browser which...
102.4 KB  
Programming  -  ncc 2.6
ncc application is a compiler that produces program analysis information. ncc is a decent replacement of cflow and cscope able to analyse any program using the gcc compiler. The program also incliudes a graphical call-graph navigator and source...
81.92 KB  
NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS
Programming  -  Bat To Exe Converter 2.2
Bat To Exe Converter converts BAT (.bat) script files to the EXE (.exe) format Features - Visible and invisible applications - Inclusion of additional files, icon and version information - Creation of 32-Bit and 64-Bit EXE files -...
4.04 MB  
Programming  -  SmartBuilder 1.0.4.7
SmartBuilderâ„¢Fast & Easy Making SmartBuilderâ„¢ is a combination of making Boost-up Apps easily and quickly and editing or distributing as well. You don't have to make apps separately by O/S because the apps you made are operated in both IOS...
10 B  
Programming  -  FileMaker Barcode Font Encoder Plugin 13.09
The FileMaker Pro Barcode Plug-In for Windows and Macintosh easily integrates into forms and reports to add barcodes. Code 128 (sets A, B and C), Postnet, Planet, Interleaved 2 of 5, ITF, UPC-A, EAN-13, EAN-8, Codabar and MSI are supported. This...
1.53 MB  
Programming  -  Subbee 32
User friendly Subtitles Editor/Translator. Can open, convert, modify and save subtitle files in Subrip(.srt), MicroDVD(.sub) and Subviewer format. It has built-in translator for quick translation. Can change FPS, charset (Unicode, UTF8), and much...
4.19 MB  
Programming  -  Metty Meta Tag Maker 1.31
Metty allows easy creation of over 30 different meta tags that can help your web pages to be properly indexed by search engines. Metty can insert tags into an HTML file that has been imported locally or directly from a web site. No knowledge of...
2.43 MB  
Development Editors  -  Altova MobileTogether Designer 3.2
MobileTogether is a revolutionary RMAD framework for building data-centric apps for all platforms: iOS, Android, Windows, and others. Use a combination of visual design and functional programming to build your cross-platform mobile apps....
130.3 MB  
Development Editors  -  App Developer 2.16
If you could look 1 year ahead of competition, would you want to see? - we'll give you 4 years. SocialMedia driven App Developer will help you to find new solutions for your 21st century Startup. Fine-tune cost-driving, reach, efficiency and...
4.17 MB  
Development Editors  -  Comm Tunnel 2.2.0.78
Comm Tunnel is a free tool to connect endpoints. It builds a tunnel between endpoints. The endpoints can be any of serial port, TCP/IP server, TCP/IP client or UDP. The data received on one endpoint will be forward to anther fourt endpoints. It...
44.52 KB  
Development Editors  -  PilotEdit Lite 9.3.0
PilotEdit is an amazing file editor capable of editing large files. PilotEdit Lite works on both 32-bit and 64-bit Windows Operating System. 1. The file size supported by PilotEdit is unlimited Edit files larger than 10GB. 2. Support UNICODE...
9.54 MB  
Development Editors  -  KnownColorLister 1.0
KnownColorLister is a tiny portable program that helps .NET Framework and Windows developers use system-defined colors in their programs. It lists the system colors and their actual values on the current PC, and all the predefined named colors in...
8 KB