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

Module PathGraph

Provides the query predicates needed to include a graph in a path-problem query for Dereference::is[First]MaybeNull().

Import path

import semmle.code.csharp.dataflow.Nullness

Predicates