Module NullGuards
Provides classes and predicates for null guards.
Import path
import semmle.code.java.dataflow.NullGuards
Imports
Predicates
alwaysNullExpr |
Gets an expression that is always |
basicNullGuard |
Gets an expression that directly tests whether a given expression, |
basicOrCustomNullGuard |
Gets an expression that directly tests whether a given expression, |
clearlyNotNull |
Holds if |
clearlyNotNull |
Holds if |
clearlyNotNullExpr |
Gets an expression that is provably not |
clearlyNotNullExpr |
Gets an expression that is provably not |
directNullGuard |
Gets an expression that directly tests whether a given SSA variable is null or not. |
enumConstEquality |
Gets an equality test between an expression |
guardSuggestsVarMaybeNull |
|
instanceofExpr |
Gets an instanceof expression of |
nullCheckMethod |
Holds if the evaluation of a call to |
nullGuard |
Gets a |
varEqualityTestExpr |
Gets an expression of the form |