FrontC

Parses C programs to an abstract syntax tree
README

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:

  • compilation,

  • source pre-processing,

  • source beautification,

  • source analysis,

  • 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

The ctoxml package provides a

calipso

The 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, calipso and calipso_stat

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 make test.

Documentation

You can easily get the documentation using odig,

odig doc FrontC
Install
Published
26 May 2021
Sources
v4.1.0.tar.gz
md5=08e58fa6c9eb311b03c0b85d74d2e256
Dependencies
odoc
with-doc
menhir
>= "20180523"
dune
>= "2.7"
ocaml
>= "4.08.0"
Reverse Dependencies