A data flow node on an inter-procedural path from a source to a sink.
A path node is a triple
(nd, cfg, summary) where
nd is a data flow node and
is a data flow tracking configuration such that
nd is on a path from a source to a
cfg summarized by
Gets a successor node of this path node.
Gets the underlying data flow tracking configuration of this path node.
Gets the underlying data flow node of this path node.
Holds if this path node is at the specified location. The location spans column
Gets a textual representation of this path node.