Predicate nullGuard
Gets a Guard
that tests (possibly indirectly) whether a given SSA variable is null or not.
If result
evaluates to branch
, then v
is guaranteed to be null if isnull
is true, and non-null if isnull
is false.
Import path
import semmle.code.java.dataflow.NullGuards
Guard
nullGuard
(
SsaVariable
v
,
boolean
branch
,
boolean
isnull
)