CodeQL library for C/C++
codeql/cpp-all 0.4.4 (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.

    getLocation

    Gets the location of this element.

    getNode

    Gets the underlying node.

    toString

    Gets a textual representation of this node.

    Charpred