A data-flow node on an inter-procedural path from a source to a sink.
A path node wraps a data-flow node
nd and a data-flow configuration
cfg such that
on a path from a source to a sink under
There are three kinds of path nodes:
- source nodes: wrapping a source node and a configuration such that there is a path from that source to some sink under the configuration;
- sink nodes: wrapping a sink node and a configuration such that there is a path from some source to that sink under the configuration;
- mid nodes: wrapping a node, a configuration and a path summary such that there is a path from some source to the node with the given summary that can be extended to a path to some sink node, all under the configuration.
Gets a successor node of this path node.
Gets the underlying configuration of this path node.
Gets a flow label for the path node.
Gets the underlying data-flow node of this path node.
Gets a summary for the path node.
Holds if this path node is at the specified location. The location spans column
Gets a textual representation of this path node.
Holds if this path node wraps data-flow node