Uses of Interface
com.ibm.wala.demandpa.util.MemoryAccessMap

Packages that use MemoryAccessMap

Package	Description
com.ibm.wala.demandpa.alg
com.ibm.wala.demandpa.flowgraph
com.ibm.wala.demandpa.util

Uses of MemoryAccessMap in com.ibm.wala.demandpa.alg

Fields in com.ibm.wala.demandpa.alg declared as MemoryAccessMap

Modifier and Type	Field and Description
protected MemoryAccessMap	AbstractDemandPointsTo.mam

Methods in com.ibm.wala.demandpa.alg with parameters of type MemoryAccessMap

Modifier and Type	Method and Description
static DemandRefinementPointsTo	DemandRefinementPointsTo.makeWithDefaultFlowGraph(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options, StateMachineFactory<IFlowLabel> stateMachineFactory) create a demand points-to analysis runner

Constructors in com.ibm.wala.demandpa.alg with parameters of type MemoryAccessMap

Constructor and Description
AbstractDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options)
SimpleDemandPointsTo(CallGraph cg, HeapModel model, MemoryAccessMap fam, IClassHierarchy cha, AnalysisOptions options)

Uses of MemoryAccessMap in com.ibm.wala.demandpa.flowgraph

Fields in com.ibm.wala.demandpa.flowgraph declared as MemoryAccessMap

Modifier and Type	Field and Description
protected MemoryAccessMap	AbstractFlowGraph.mam

Constructors in com.ibm.wala.demandpa.flowgraph with parameters of type MemoryAccessMap

Constructor and Description
AbstractDemandFlowGraph(CallGraph cg, HeapModel heapModel, MemoryAccessMap mam, IClassHierarchy cha)
AbstractFlowGraph(MemoryAccessMap mam, HeapModel heapModel, IClassHierarchy cha, CallGraph cg)
DemandPointerFlowGraph(CallGraph cg, HeapModel heapModel, MemoryAccessMap mam, IClassHierarchy cha)
DemandValueFlowGraph(CallGraph cg, HeapModel heapModel, MemoryAccessMap mam, ClassHierarchy cha)
SimpleDemandPointerFlowGraph(CallGraph cg, HeapModel heapModel, MemoryAccessMap fam, IClassHierarchy cha)

Uses of MemoryAccessMap in com.ibm.wala.demandpa.util

Classes in com.ibm.wala.demandpa.util that implement MemoryAccessMap

Modifier and Type	Class and Description
class	PABasedMemoryAccessMap A MemoryAccessMap that makes use of a pre-computed PointerAnalysis to reduce the number of considered accesses.
class	SimpleMemoryAccessMap