Windows Software / Programming / Development Editors

CIL 1.4.0

Company: Gabriel Kerneis

Date Added: November 24, 2012 | Visits: 481

Report Broken Link
Printer Friendly Version

Product Homepage
Download (50 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

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...
Mathematics - FC Win 5.12.5 FC-Win (tm) is a front-end program for FortranCalculus (tm). The FortranCalculus (FC) language is for math modeling, simulation, and optimization. FC is based on Automatic Differentiation that simplifies computer code to an absolute minimum;...	3.66 MB
Puzzles - A Sudoku Solver in C 1.11 A Sudoku Solver in C is a console-based Linux program, written in C language, that solves Su Doku puzzles using deductive logic. It will only resort to trial-and-error and backtracking approaches upon exhausting its deductive moves. Puzzles must...	25.6 KB
Libraries - nobel 0.2 nobel is a small ANSI C boolean expression parsing library and program for projects that need boolean expression parsing support built in, but bigger tools are overkill in size or options.. Get nobel at SourceForge.net. Fast, secure and free...	13.31 KB
Web Browser Tools - Web Log Monitor 1.6 Free Web log analyzer, monitor for SEO, includes C++ source code, track ISP, referrers, program downloads, icon views.Measures unique visits, most commonly viewed pages. Tailored for a specific need, so must be modified for other web sites. Using...	822 KB
Automotive Information Databases - Free Online SQL Formatter 2. 8. 2003 Tidy your sql online instantly for free, In addition to beautifying SQL code, it can translate SQL code into C#, Java, PHP, DELPHI and other program languages. Converts monochrome SQL code into colorful HTML for easy placement in blogs and forums....
Libraries - B::C 5.8.8 B::C is Perl compilers C backend. SYNOPSIS perl -MO=C[,OPTIONS] foo.pl This compiler backend takes Perl source and generates C source code corresponding to the internal structures that perl uses to run your program. When the generated C...	12.2 MB
Simulation Games - FedTermX 1.1 FedTermX is the Mac front-end program for the free online space trading game Federation 2. Haul cargo around the Solar System, trade on the commodity markets, dabble in futures and own your own company - all this in a great social...	3.2 MB
Database Tools - C-Cramp 2DR1 C-Cramp project is an interface to MySQL for managing information for small radio stations. C-Cramp (the C-Cramp College Radio Audio Management Program) is a Web-based frontend to MySQL for managing the types of things that small radio stations...	952.32 KB
Networking Tools - post 4.7 post is a highly configurable Web traffic generator and Web server benchmarking tool. It has lots of features, and a command line interface. This program sends requests to a web server. It is made for benchmarking a web server or web...	14.34 KB

NEW DOWNLOADS IN PROGRAMMING, DEVELOPMENT EDITORS

Programming - ETAC Interpreter 2-0.1-6-ena The ETAC programming language is, arguably, the first of an evolutionary step of dictionary and stack based token activated programming languages, capable of full traditional high-level block structured syntax with the versatility and efficiency...	13.06 MB
Programming - Weather Forecast 1.0.0.0 With Weather Forecast add-in you will be able to provide your SharePoint users with simple and visually appealing tool. Any user can: 1) Add cities to the view 2) View weather forecast for 3, 5 and 7 days 3) Change temperature format 4)...	110 KB
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 - 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
Development Editors - Altova MobileTogether Designer 6.0 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....	221.52 MB
Development Editors - QTrace 0.2 A Powerful IDE for Android System Debug & Trace: 1.Fully Android IDE; 2.powerful logcat viewer, support search, highlight, bookmark. support analysing logcat by script, include memorygc, battery,keyaction etc. 3.support auto generate uml...	157.36 MB
Development Editors - SocialMedia driven App Developer 3.20 SocialMedia driven App Developer is an interactive business planner for the 21st century Freeware, Shareware or App developer. Fine-tune cost-driving, reach, efficiency and sales parameters as you want. See their combined effect on Downloads,...	3.9 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

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts