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

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

No changes have been submitted for this release.

Screenshot

Project Spotlight

x0

An HTTP Web server and framework.

Screenshot

Project Spotlight

Spare Deck

Provides virtual AR cards from popular mobile platforms in one Android app.