Details of Link
 
 
TITLE
  CIL 
SUBTITLE
  Infrastructure and tools for C program analysis and transformations 
DESCRIPTION
  CIL includes a complete parser and pretty-printer for the C language (along with the GCC and MSVC extensions). After parsing the program is converted into an intermediate language that is very easy to manipulate yet close to source. The most important feature of the CIL intermediate language is that it hides all of the dark corners of the C language, allowing for example the implementation of Stackguard instrumentation in 80 lines of code. The tool also includes a whole-program merger that will combine all of the source files in your project into a single file. The infrastructure has been tested on several millions of line of code, including the Linux kernel, and the GIMP suite. 
AUTHOR
  George Necula 
AUTHOR'S LINK
  http://www.cs.berkeley.edu/~necula 
COAUTHOR
  Scott McPeak, Westley Weimer 
COAUTHOR'S LINK
   
CLASSIFICATION
  OCaml compiler tools, Parsing and pretty printing 
RELEASE
   
STABILITY
  stable code 
STABLE RELEASE
   
RECENT CHANGES
   
DEPENDS ON OCAML VERSION
  3.04 
DEPENDS ON OPERATING SYSTEM
   
DEPENDS ON OTHER SOFTWARE
  Linux or cygwin with gcc version 2.95.3 or 3.04, or Windows with Visial C 6.0. 
INFO LINK
  http://www.cs.berkeley.edu/~necula/cil 
DOWNLOAD LINK
  http://www.cs.berkeley.edu/~necula/cil 
DATE OF LAST MODIFICATION
  20 Aug 2002 


Navigation: [Sort by date] [Sort by author] [Sort by title] [Sort by classification] [New author] [Login]