CodeQL library for C/C++
codeql/cpp-all 0.12.8-dev (changelog, source)
Search

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.ir.dataflow.internal.DataFlowImpl4

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.