Predicate basicNullGuard
Gets an expression that directly tests whether a given expression, e
, is null or not.
If result
evaluates to branch
, then e
is guaranteed to be null if isnull
is true, and non-null if isnull
is false.
Import path
import semmle.code.java.dataflow.NullGuards
Expr basicNullGuard(Expr e, boolean branch, boolean isnull)