| Package | Description |
|---|---|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.alg.refinepolicy | |
| com.ibm.wala.demandpa.flowgraph |
| Class and Description |
|---|
| IFlowGraph |
| IFlowLabel
An edge label in a flow graph
|
| Class and Description |
|---|
| IFlowLabel
An edge label in a flow graph
|
| Class and Description |
|---|
| AbstractDemandFlowGraph
A graph representing program flow, constructed method-by-method on demand
|
| AbstractDemandFlowGraph.FlowStatementVisitor |
| AbstractFlowGraph
A graph whose edges are labeled with
IFlowLabels. |
| AssignBarLabel |
| AssignGlobalBarLabel |
| AssignGlobalLabel |
| AssignLabel |
| CallLabel |
| DemandPointerFlowGraph.NewMultiDimInfo |
| GetFieldBarLabel |
| GetFieldLabel |
| IFlowGraph |
| IFlowLabel
An edge label in a flow graph
|
| IFlowLabel.IFlowLabelVisitor |
| IFlowLabelWithFilter |
| MatchBarLabel |
| MatchLabel |
| NewBarLabel |
| NewLabel |
| ParamBarLabel |
| ParamLabel |
| PointerKeyAndCallSite |
| PutFieldBarLabel |
| PutFieldLabel |
| ReturnBarLabel |
| ReturnLabel |
| SimpleDemandPointerFlowGraph.StatementVisitor
A visitor that generates graph nodes and edges for an IR.
|
Copyright © 2015. All rights reserved.