codeql/csharp-all
5.1.4-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Provides the query predicates needed to include a graph in a path-problem query for Dereference::is[First]MaybeNull().
Dereference::is[First]MaybeNull()
import semmle.code.csharp.dataflow.Nullness