Predicate guardSuggestsVarMaybeNull
Holds if guard is a guard expression that suggests that v might be null.
Import path
import semmle.code.java.dataflow.NullGuardspredicate guardSuggestsVarMaybeNull(Expr guard, SsaDefinition v)Holds if guard is a guard expression that suggests that v might be null.
import semmle.code.java.dataflow.NullGuardspredicate guardSuggestsVarMaybeNull(Expr guard, SsaDefinition v)