InterprocStack

Bertrand Jeannet

About

InterprocStack extends the Interproc interprocedural analyzer in two directions:

1. it adds finite-type variables (Boolean, enumerated types, bounded integer types) to the small language of Interproc,
2. it enables a more precise (and costly) analysis based on lattice automata [].

It it intended as an experimental tool. It demonstrates the features of the APRON library and the use of the Fixpoint and lattice automata libraries.

It is implemented in OCaml.

License

InterprocStack itself is released under LGPL license (GNU General Public License).

Try it online

You can play with InterprocStack online.

Download

• Subversion repository (see Up for the organisation of the repository)

Documentation

• On-line
• PDF