CodeQL library for JavaScript
codeql/javascript-all 0.3.0-dev (changelog, source)
Search

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.

    getFlowLabel

    Gets a flow label for the path node.

    getNode

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

    getPathSummary

    Gets a summary for the 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 n and configuration c.

    Charpred