FrontC provides a C parser and an OCaml definition of an abstract syntax treee for the C language. It also includes AST pretty-printers in plain and XML formats.
FrontC is C language front-end. It provides the program in "C Abstract Form", a tree representation of the original C source. It may be used for many source works including:
and so on.
It provides also an XML back-end making easier to transform the C program using XML tools like XSLT (it was my first goal when I perform this task).
ctoxml package provides a
calipso package provides a program analysis tool that removes non-structural control-flow from C programs. See https://dblp.org/rec/journals/tsi/CasseFRS02 for more details. The tool provides two binaries,
FrontC v3.0 (stable)
The stable branch supports only ANSI C (C89) with partial support for some GNU extensions. This branch is using ocamlyacc as a parser generator and doesn't accept new features, only occasional bug fixes.
Building and Installing
The easiest option is to install using opam, e.g.,
opam install FrontC # or calipso, or ctoxml
The command above will install the latest version of the package from the ocaml.org opam-repositor. To get the current development (not yet released to ocaml.org) version of a package, you can use the
opam pin command, e.g.,
opam pin FrontC --dev-repo
You can also just clone this repo and do
make && make install # translates to `dune build && dune install`
If you change anything do not forget to run tests with
You can easily get the documentation using odig,
odig doc FrontC