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.