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
I can see some haskellers grinding their teeth and hurrying to make
their own rewrite of CIL itself in haskell.
On Mon, Nov 8, 2010 at 3:07 PM, Tom Hawkins
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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
participants (2)
-
namekuseijin -
Tom Hawkins