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