Package com.ibm.wala.demandpa.flowgraph
package com.ibm.wala.demandpa.flowgraph
-
ClassDescriptionA graph representing program flow, constructed method-by-method on demandA graph whose edges are labeled with
IFlowLabel
s.AnIFlowLabel.IFlowLabelVisitor
that does nothing.A graph representation of statements flowing pointer values, but not primitive values.A visitor that generates graph nodes and edges for an IR.A flow graph including both pointer and primitive values.An edge label in a flow graphThe nodes in this graph are PointerKeys corresponding to local variables and static fields, InstanceKeys, and FieldRefs (see below).