Package com.ibm.wala.demandpa.flowgraph
-
Interface Summary Interface Description AbstractDemandFlowGraph.FlowStatementVisitor IFlowGraph IFlowLabel An edge label in a flow graphIFlowLabel.IFlowLabelVisitor IFlowLabelWithFilter -
Class Summary Class Description AbstractDemandFlowGraph A graph representing program flow, constructed method-by-method on demandAbstractFlowGraph A graph whose edges are labeled withIFlowLabels.AbstractFlowLabelVisitor AnIFlowLabel.IFlowLabelVisitorthat does nothing.AssignBarLabel AssignGlobalBarLabel AssignGlobalLabel AssignLabel CallLabel DemandPointerFlowGraph A graph representation of statements flowing pointer values, but not primitive values.DemandPointerFlowGraph.NewMultiDimInfo 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).