Publisher's description
A library devoted to the static analysis of numerical variables. Apron is a library devoted to the static analysis of numerical variables of a program by abstract interpretation. The objective of this analysis is to infer invariants on these variables. as 1