| 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 |