Interface | Description |
---|---|
MemoryAccessMap |
Class | Description |
---|---|
ArrayContents |
Pseudo-field modelling the contents of an array of reference type.
|
CallGraphMapUtil |
utility methods for mapping various program entities from one call graph to the corresponding entity in another one
|
MemoryAccess |
*
represents a single static occurrence of a memory access (i.e., an access to a field
or to the contents of an array) in the code
|
PABasedMemoryAccessMap |
A
MemoryAccessMap that makes use of a pre-computed
PointerAnalysis to reduce the number of considered accesses. |
PointerParamValueNumIterator |
Iterates over the value numbers of the pointer parameters of
a method.
|
SimpleMemoryAccessMap |