| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.demandpa.util |
| Modifier and Type | Field and Description |
|---|---|
protected MemoryAccessMap |
AbstractDemandPointsTo.mam |
| 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
|
| 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) |
| Modifier and Type | Field and Description |
|---|---|
protected MemoryAccessMap |
AbstractFlowGraph.mam |
| 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) |
| 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 |
Copyright © 2015. All rights reserved.