Package com.ibm.wala.demandpa.util
package com.ibm.wala.demandpa.util
-
ClassDescriptionPseudo-field modelling the contents of an array of reference type.utility methods for mapping various program entities from one call graph to the corresponding entity in another one* 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 codeA
MemoryAccessMap
that makes use of a pre-computedPointerAnalysis
to reduce the number of considered accesses.Iterates over the value numbers of the pointer parameters of a method.