Registry for all domains that can be instantiated given a
Project, and a
Method with a
Key to get the result of the abstract interpretation of a method using a configured domain factory.
To get the index use the org.opalj.br.analyses.Project's
get method and
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.