Class PathNode

A Node augmented with a call context (except for sinks), an access path, and a configuration. Only those PathNodes that are reachable from a source, and which can reach a sink, are generated.

Import path

import semmle.code.cpp.dataflow.internal.DataFlowImpl3

Predicates

getASuccessor	Gets a successor of this node, if any.
getConfiguration	Gets the associated configuration.
getNode	Gets the underlying `Node`.
getState	Gets the `FlowState` of this node.
hasLocationInfo	Holds if this element 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.
isSinkGroup	Holds if this node is a grouping of sink nodes.
isSource	Holds if this node is a source.
isSourceGroup	Holds if this node is a grouping of source nodes.
toString	Gets a textual representation of this element.
toStringWithContext	Gets a textual representation of this element, including a textual representation of the call context.