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

Class SourcePathNode

Import path

import semmle.code.csharp.dataflow.Nullness

Direct supertypes

Indirect supertypes

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.

getMessage
getReason
getSsaDefinition

Gets the SSA definition.

toString

Gets a textual representation of this node.

Charpred