8 Nov
2010
8 Nov
'10
12:07 p.m.
CIL (C Intermediate Language) [1], not to be confused with the Common Intermediate Language, is a mature OCaml library that parses and reduces C programs down to a simplified subset of the C language, making it easier to analyze and compile C programs. This library [2, 3] parses these results, providing a Haskell interface to CIL. -Tom [1] http://cil.sourceforge.net/ [2] http://hackage.haskell.org/package/cil [3] http://github.com/tomahawkins/cil