Class DataFlow::PathNode

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 nd is on a path from a source to a sink under cfg.

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.

Import path

import javascript

Direct supertypes

Known direct subtypes

Fields

Predicates

getASuccessor

Gets a successor node of this path node.

getConfiguration

Gets the underlying configuration of this path node.

getNode

Gets the underlying data-flow node of this path node.

hasLocationInfo

Holds if this path node is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

toString

Gets a textual representation of this path node.

wraps

Holds if this path node wraps data-flow node nd and configuration c.

Charpred