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