Projects / APRON numerical abstract do...

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

RSS Recent releases

  •  12 Oct 2009 15:24

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.

Links

Heartbeat

Google Chart
Popularity Score
26.42
Vitality Score
1.74
Subscriptions
1
Voting Score: 0 (0 votes)
Screenshot

Project Spotlight

FSVS

A backup/archival/versioning system using a Subversion backend.

Screenshot

Project Spotlight

Wolf Software jpecrga

A jQuery plug-in that asks the user for consent before applying Google Analytics.