| Package | Description |
|---|---|
| com.ibm.wala.demandpa.flowgraph |
| Modifier and Type | Class and Description |
|---|---|
static class |
DemandPointerFlowGraph.StatementVisitor
A visitor that generates graph nodes and edges for an IR.
|
| Modifier and Type | Method and Description |
|---|---|
protected AbstractDemandFlowGraph.FlowStatementVisitor |
DemandValueFlowGraph.makeVisitor(CGNode node) |
protected AbstractDemandFlowGraph.FlowStatementVisitor |
DemandPointerFlowGraph.makeVisitor(CGNode node) |
protected abstract AbstractDemandFlowGraph.FlowStatementVisitor |
AbstractDemandFlowGraph.makeVisitor(CGNode node) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
AbstractDemandFlowGraph.addBlockInstructionConstraints(CGNode node,
ControlFlowGraph<SSAInstruction,ISSABasicBlock> cfg,
ISSABasicBlock b,
AbstractDemandFlowGraph.FlowStatementVisitor v)
Add constraints for a particular basic block.
|
Copyright © 2015. All rights reserved.