APRON is a library designed for static analysis of numerical variables using Abstract Interpretation. It deduces invariants about these variables to improve the program's reliability and efficiency.
Downloading APRON ...
If the download does not start automatically, please click here.
Our system has scanned the download for viruses, and we suggest that you also check the files before installation. The version of APRON you are about to download is 0.9.10, and the download will be provided as is, with no modifications or changes made on our end.