Module Nullness
Provides classes and predicates for working with null values and checks for nullness.
Import path
import semmle.code.cpp.controlflow.Nullness
Imports
DefinitionsAndUses |
Provides classes and predicates for reasoning about definitions and uses of variables. |
cpp |
Provides classes and predicates for working with C/C++ code. |
Predicates
callMayReturnNull |
Holds if |
checkedNull |
Holds if |
checkedValid |
Holds if |
mayReturnNull |
Holds if |
nullCheckExpr |
Holds if |
nullInit |
Holds if the evaluation of |
nullValue |
Holds if |
validCheckExpr |
Holds if |
Classes
AnalysedExpr |
An expression that has been extended with member predicates that provide information about the role of this expression in nullness checks. |
NullValue |
A C/C++ literal whose value is considered null. |
Zero |
A C/C++ literal whose value is zero. |