Stores information about how methods were called.
A basic Domain that is used to identify recursive calls.
Performs a simple invocation of the immediately called methods.
Mix in this trait if methods that are called by
invokeXYZ instructions should
actually be interpreted using a custom domain.
Enables to perform invocations.
The domain that is used to perform the abstract interpretations.
This domain is intended to be used for demo purposes only. Tests should create their own domains to make sure that the test results remain stable. The configuration of this domain just reflects a reasonable configuration that may change without further notice.
A common that defines a common reference frame for all subsequent domains.