Class SimpleDemandPointerFlowGraph.StatementVisitor

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

protected class SimpleDemandPointerFlowGraph.StatementVisitor extends SSAInstruction.Visitor
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.