Back to home page

Tools and libraries for static analysis and verification

Libraries

Tools

Obsolete

Browsing subversion repository

You can browe directly the subversion repository. You can find more information about downloading from subversion repository.

Packages and distribution packages

The repository is organized as follows:

pkg/
pkg/camllib/
pkg/camllib/trunk/
pkg/camllib/branches/
pkg/camllib/branches/release-X.Y.Z
dist/
dist/interproc-dist/
dist/interproc-dist/trunk
dist/interproc-dist/branches/
...

The directory pkg contains the packages themselves, in isolation. Configuration is done using Makefile.config files (Makefile.config files belonging to different packages are compatible).

The directory dist contains distribution packages, that is, a main package together with the packages it requires to compile. Practically, these distribution packages are built from README and Makefile files, as well as external reference (in the sens of subversion) to packages themselves

Advice

If you have to compile from scratch a package like interproc that requires several libraries, the best is to check out interproc-dist which will in turn check out most needed libraries. Moreover, you'll have only one Makefile.config file to configure.

Otherwise, if you already have many required libraries installed, you may check out packages in isolation.

References

 [GJ07]
T. Le Gall and B. Jeannet. Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification. In Static Analysis Symposium, SAS'07, volume 4634 of LNCS, August 2007.