| Package | Description |
|---|---|
| com.ibm.wala.demandpa.flowgraph |
| Modifier and Type | Method and Description |
|---|---|
protected SimpleDemandPointerFlowGraph.StatementVisitor |
SimpleDemandPointerFlowGraph.makeVisitor(ExplicitCallGraph.ExplicitNode node,
IR ir,
DefUse du) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
SimpleDemandPointerFlowGraph.addBlockInstructionConstraints(CGNode node,
ControlFlowGraph<SSAInstruction,ISSABasicBlock> cfg,
ISSABasicBlock b,
SimpleDemandPointerFlowGraph.StatementVisitor v)
Add constraints for a particular basic block.
|
Copyright © 2015. All rights reserved.