Registry for all domains that can be instantiated given a Project
, ClassFile
and
Method
object.
Key to get the result of the abstract interpreation of a method using a configured domain factory.
Key to get the result of the abstract interpreation of a method using a configured domain factory.
To get the index use the org.opalj.br.analyses.Project's get
method and
pass in this
object.
Several utility methods to facilitate the development of the abstract interpreter/ new domains for the abstract interpreter, by creating various kinds of dumps of the state of the interpreter.
Several utility methods to facilitate the development of the abstract interpreter/ new domains for the abstract interpreter, by creating various kinds of dumps of the state of the interpreter.
This object is thread-safe.
Registry for all domains that can be instantiated given a
Project
,ClassFile
andMethod
object.The registry was developed to support tools for debugging purposes that let the user/developer choose between different domains. After choosing a domain, an abstract interpretation can be performed.
The compatible domains that are part of OPAL are already registered.
Thread Safety
The registry is thread safe.