CodeQL library for Java
codeql/java-all 0.7.5 ( changelog , source )
Search

Predicate directNullGuard

Gets an expression that directly tests 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
Expr directNullGuard ( SsaVariable v , boolean branch , boolean isnull )