Up

Obsolete, modified and renamed in Fixpoint

Analyzer

About

Analyzer is an OCaml library implementing a generic fixpoint engine. The interface is parameterized by the abstract domain on which fixpoint computations are performed.

The main module of the library is MkFixpoint.

The interface includes also some modules of general use that are needed for MkFixpoint:

License

Modules SHGraph and MkFixpoint are under LGPL license (GNU Library General Public License).

Modules Sette and Hashhe inherit the LGPL license of their original version in the OCaml system.

Download

Documentation