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.
Ihr Bewertung für APRON numerical abstract domain library
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.