CodeQL library for Java/Kotlin
codeql/java-all 0.11.0 (changelog, source)

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

Guard nullGuard(SsaVariable v, boolean branch, boolean isnull)