Class DemandPointerFlowGraph.StatementVisitor

java.lang.Object
com.ibm.wala.ssa.SSAInstruction.Visitor
com.ibm.wala.demandpa.flowgraph.DemandPointerFlowGraph.StatementVisitor
All Implemented Interfaces:
AbstractDemandFlowGraph.FlowStatementVisitor, SSAInstruction.IVisitor
Enclosing class:
DemandPointerFlowGraph

public static class DemandPointerFlowGraph.StatementVisitor extends SSAInstruction.Visitor implements AbstractDemandFlowGraph.FlowStatementVisitor
A visitor that generates graph nodes and edges for an IR.

strategy: when visiting a statement, for each use of that statement, add a graph edge from def to use.

TODO: special treatment for parameter passing, etc.