Module NullGuards

Provides classes and predicates for null guards.

Import path

semmle.code.java.dataflow.NullGuards

Imports

SSA

Provides classes and predicates for SSA representation (Static Single Assignment form).

java

Provides all default Java QL imports.

Predicates

alwaysNullExpr

Gets an expression that is always null.

basicNullGuard

Gets an expression that directly tests whether a given expression, e, is null or not.

basicOrCustomNullGuard

Gets an expression that directly tests whether a given expression, e, is null or not.

clearlyNotNull

Holds if v is an SSA variable that is provably not null.

clearlyNotNull

Holds if v is an SSA variable that is provably not null.

clearlyNotNullExpr

Gets an expression that is provably not null.

clearlyNotNullExpr

Gets an expression that is provably not null.

directNullGuard

Gets an expression that directly tests whether a given SSA variable is null or not.

enumConstEquality

Gets an equality test between an expression e and an enum constant c.

guardSuggestsVarMaybeNull

guard is a guard expression that suggests that v might be null.

nullGuard

Gets a Guard that tests (possibly indirectly) whether a given SSA variable is null or not.