Package com.ibm.wala.demandpa.util
-
Interface Summary Interface Description MemoryAccessMap -
Class Summary 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 oneMemoryAccess * 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 codePABasedMemoryAccessMap AMemoryAccessMap
that makes use of a pre-computedPointerAnalysis
to reduce the number of considered accesses.PointerParamValueNumIterator Iterates over the value numbers of the pointer parameters of a method.SimpleMemoryAccessMap