Next: Scalars & Intervals & coefficients, Previous: APRON Guidelines, Up: APRON
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.