Package com.ibm.wala.demandpa.flowgraph

Interface Summary
AbstractDemandFlowGraph.FlowStatementVisitor  
IFlowGraph  
IFlowLabel An edge label in a flow graph
IFlowLabel.IFlowLabelVisitor  
IFlowLabelWithFilter  
 

Class Summary
AbstractDemandFlowGraph A graph representing program flow, constructed method-by-method on demand
AbstractFlowGraph A graph whose edges are labeled with IFlowLabels.
AbstractFlowLabelVisitor An IFlowLabel.IFlowLabelVisitor that does nothing.
AssignBarLabel  
AssignGlobalBarLabel  
AssignGlobalLabel  
AssignLabel  
CallLabel  
DemandPointerFlowGraph A graph representation of statements flowing pointer values, but not primitive values.
DemandPointerFlowGraph.StatementVisitor A visitor that generates graph nodes and edges for an IR.
DemandValueFlowGraph A flow graph including both pointer and primitive values.
GetFieldBarLabel  
GetFieldLabel  
MatchBarLabel  
MatchLabel  
NewBarLabel  
NewLabel  
ParamBarLabel  
ParamLabel  
PointerKeyAndCallSite  
PutFieldBarLabel  
PutFieldLabel  
ReturnBarLabel  
ReturnLabel  
SimpleDemandPointerFlowGraph The nodes in this graph are PointerKeys corresponding to local variables and static fields, InstanceKeys, and FieldRefs (see below).