Projects / APRON numerical abstract domain library

APRON numerical abstract domain library

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.

Tags
Licenses
Operating Systems
Implementation

Recent releases

  •  12 Oct 2009 14:22

    Release Notes: Octagon domain now supports hashing. Support for shared libraries was added. Minor API changes were made.

    •  24 Jul 2008 01:06

      No changes have been submitted for this release.

      Screenshot

      Project Spotlight

      OpenStack4j

      A Fluent OpenStack client API for Java.

      Screenshot

      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.