A Haskell interface to CIL.
Homepage Repository Hackage OCaml Download
cabal install cil-0.1.1
A Haskell interface to CIL; a simplified, intermediate language for C. CIL makes a great frontend for C analysis, instrumentation, and compilation tools. http://hackage.haskell.org/package/cil http://cil.sourceforge.net/ Release Notes cil 0.1.1 11/9/10 - Bugfix: typedef of function pointers. - Replaced ExprApply and Assign with AssignExpr and AssignApply. - Separated types into different modules. - New simplified program type (StmtGoto). cil 0.1.0 11/8/10 - First release using (language-c . cilly) flow.