| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.flowgraph |
| Modifier and Type | Field and Description |
|---|---|
protected IFlowGraph |
DemandRefinementPointsTo.g |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractDemandFlowGraph
A graph representing program flow, constructed method-by-method on demand
|
class |
AbstractFlowGraph
A graph whose edges are labeled with
IFlowLabels. |
class |
DemandPointerFlowGraph
A graph representation of statements flowing pointer values, but not primitive values.
|
class |
DemandValueFlowGraph
A flow graph including both pointer and primitive values.
|
| Constructor and Description |
|---|
DemandPointerFlowGraph.StatementVisitor(HeapModel heapModel,
IFlowGraph g,
IClassHierarchy cha,
CallGraph cg,
CGNode node) |
Copyright © 2015. All rights reserved.