-
class
Type based context element in the points to analysis.
ContextElements.get(int i)
boolean
Compose a new context by a given context and a heap.
-
class
Represents an allocation site node in the pointer assignment graph.
class
callsite based context element in the points to analysis.
class
Represents an allocation site node the represents a known java.lang.Class object.
class
class
class
Represents an allocation site node the represents a constant string.
class
Holds relevant information about a particular virtual call site.