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

Class MustFlowPathNode

A Node that is in a path from a source to a sink.

Import path

import semmle.code.cpp.ir.dataflow.MustFlow

Direct supertypes

Known direct subtypes

Fields

Predicates

getASuccessor

Gets a successor node, if any.

getConfiguration

Gets the associated configuration.

getInstruction

Gets the underlying node.

getLocation

Gets the location of this element.

toString

Gets a textual representation of this node.

Charpred