Member predicate AnalysedExpr::isNullCheck
Holds if v is null when this expression evaluates to a true value.
predicate isNullCheck(LocalScopeVariable v)Holds if v is null when this expression evaluates to a true value.
predicate isNullCheck(LocalScopeVariable v)