codeql/csharp-all
3.1.2-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