Class Configuration::PathNode

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 cfg is a data flow tracking configuration such that nd is on a path from a source to a sink under cfg summarized by summary.

Direct supertypes

Known direct subtypes

Fields

Predicates

getASuccessor

Gets a successor node of this path node.

getConfiguration

Gets the underlying data flow tracking 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 LGTM locations.

toString

Gets a textual representation of this path node.

Charpred