Predicate guardSuggestsVarMaybeNull
guard
is a guard expression that suggests that v
might be null.
This is equivalent to guard = basicNullGuard(sameValue(v, _), _, true)
.
Import path
import semmle.code.java.dataflow.NullGuards
predicate
guardSuggestsVarMaybeNull
(
Expr
guard
,
SsaVariable
v
)