Class DemandPointerFlowGraph

All Implemented Interfaces:
IFlowGraph, EdgeManager<Object>, Graph<Object>, LabeledEdgeManager<Object,IFlowLabel>, LabeledGraph<Object,IFlowLabel>, NumberedLabeledEdgeManager<Object,IFlowLabel>, NumberedLabeledGraph<Object,IFlowLabel>, NodeManager<Object>, NumberedEdgeManager<Object>, NumberedGraph<Object>, NumberedNodeManager<Object>, Serializable, Iterable<Object>

public class DemandPointerFlowGraph extends AbstractDemandFlowGraph implements IFlowGraph
A graph representation of statements flowing pointer values, but not primitive values. Nodes are variables, and edges are against value flow; assignment x = y yields edge from x to y with label AssignLabel.noFilter()
See Also: