CodeQL library for C#
codeql/csharp-all 0.8.12 (changelog, source)
Search

Class PathNode

An SSA definition, which may be null, augmented with at basic block which can be reached without passing through a null check.

Import path

import semmle.code.csharp.dataflow.Nullness

Direct supertypes

Known direct subtypes

    Predicates

    getASuccessor

    Gets another node that can be reached from this node.

    getBasicBlock

    Gets the basic block that can be reached without passing through a null check.

    getLocation

    Gets the location of this node.

    getSsaDefinition

    Gets the SSA definition.

    toString

    Gets a textual representation of this node.