About:
The APRON library is dedicated to the static analysis of the numerical variables of a program by abstract interpretation. The aim of such an analysis is to infer invariants about these variables.

Author:
Bertrand Jeannet <Bertrand (dot) Jeannet (at) inrialpes (dot) fr> [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://apron.cri.ensmp.fr/
Tar/GZ:
http://apron.cri.ensmp.fr/library/
Changelog:
http://apron.cri.ensmp.fr/library/Changes
CVS tree (cvsweb):
http://svn.cri.ensmp.fr/svn/apron/

Trove categories: [change]

[Development Status]		4 - Beta
[Intended Audience]		Developers, Quality Engineers
[License]		OSI Approved :: GNU Lesser General Public License (LGPL)
[Operating System]		MacOS X, Microsoft :: Windows :: Windows NT/2000/XP, POSIX, Unix
[Programming Language]		C, C++, OCaml
[Topic]		Software Development

Dependencies: [change]
The Parma Polyhedra Library (Default branch) (recommended)
[download links]

 Branches

Branch	Version	Last release	License	URLs
Default	0.9.9	24-Jul-2008	GNU Lesser General Public License (LGPL)