Member predicate Dereference::isMaybeNull
Holds if this expression dereferences SSA definition def
, which may
be null
.
predicate isMaybeNull(Definition def, SourcePathNode source, SinkPathNode sink, string msg, Element reason)
Holds if this expression dereferences SSA definition def
, which may
be null
.
predicate isMaybeNull(Definition def, SourcePathNode source, SinkPathNode sink, string msg, Element reason)