Description
Tracks development versions of the APRON numerical abstract domain library. It is useful for researchers and developers building analyzers for numeric program properties.
Formal-analysis libraries require correct domain choices and interpretation of results. Validate analyses against real programs before relying on them for safety claims.