Predicate maybeNullDeref
Import path
import semmle.code.csharp.dataflow.Nullnesspredicate maybeNullDeref(Dereference d, SourceVariable v, string msg, Element reason)import semmle.code.csharp.dataflow.Nullnesspredicate maybeNullDeref(Dereference d, SourceVariable v, string msg, Element reason)