Managers and Abstract Domains ¶

APRON makes use of a global manager for:

• selecting an effective underlying library/abstract domain;
• controlling various options;
• managing exceptions and flags;
• and also managing internal workspace needed for some library.

In a multithreaded program, both managers and abstract values should not be shared between threads (make copies to transmit information).

Managers are allocated by the underlying libraries/abstract domains, but are freed via an APRON function.

• Managers (ap_manager.h)
• Box (box.h): intervals abstract domain
• Oct: octagon abstract domain
• NewPolka (pk.h): convex polyhedra and linear equalities abstract domains
• PPL (ap_ppl.h): convex polyhedra and linear congruences abstract domains
• pkgrid (ap_pkgrid.h): reduced product of NewPolka convex polyhedra and PPL linear congruences abstract domains
• PPLite (ap_pplite.h): convex polyhedra abstract domains