|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
APRON makes use of a global manager for:
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.