Package com.ibm.wala.demandpa.util

Interface Summary

MemoryAccessMap

Class Summary

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