CodeQL library for Java/Kotlin
codeql/java-all 4.1.2-dev (changelog, source)
Search

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)