#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/Path.h"

Include dependency graph for NullabilityChecker.cpp:

Macros
#define	REGISTER_CHECKER(name, trackingRequired)

Enumerations
enum	NullConstraint { NullConstraint::IsNull, NullConstraint::IsNotNull, NullConstraint::Unknown }

Functions
	REGISTER_MAP_WITH_PROGRAMSTATE (NullabilityMap, const MemRegion *, NullabilityState) REGISTER_MAP_WITH_PROGRAMSTATE(PropertyAccessesMap

static NullConstraint	getNullConstraint (DefinedOrUnknownSVal Val, ProgramStateRef State)

static bool	checkValueAtLValForInvariantViolation (ProgramStateRef State, SVal LV, QualType T)
	Returns true when the value stored at the given location has been constrained to null after being passed through an object of nonnnull type. More...

static bool	checkParamsForPreconditionViolation (ArrayRef< ParmVarDecl * > Params, ProgramStateRef State, const LocationContext *LocCtxt)

static bool	checkSelfIvarsForInvariantViolation (ProgramStateRef State, const LocationContext *LocCtxt)

static bool	checkInvariantViolation (ProgramStateRef State, ExplodedNode *N, CheckerContext &C)

static const Expr *	lookThroughImplicitCasts (const Expr *E)
	Find the outermost subexpression of E that is not an implicit cast. More...

static Nullability	getReceiverNullability (const ObjCMethodCall &M, ProgramStateRef State)

static const Expr *	matchValueExprForBind (const Stmt *S)
	For a given statement performing a bind, attempt to syntactically match the expression resulting in the bound value. More...

static bool	isARCNilInitializedLocal (CheckerContext &C, const Stmt *S)
	Returns true if. More...

Variables
	ObjectPropPair

Macro Definition Documentation

◆ REGISTER_CHECKER

#define REGISTER_CHECKER	(	name,
		trackingRequired
	)

Value:

  void ento::register##name##Checker(CheckerManager &mgr) {                    \
    NullabilityChecker *checker = mgr.getChecker<NullabilityChecker>();        \
    checker->ChecksEnabled[NullabilityChecker::CK_##name] = true;              \
    checker->CheckNames[NullabilityChecker::CK_##name] =                       \
        mgr.getCurrentCheckerName();                                           \
    checker->NeedTracking = checker->NeedTracking || trackingRequired;         \
    checker->NoDiagnoseCallsToSystemHeaders =                                  \
        checker->NoDiagnoseCallsToSystemHeaders ||                             \
        mgr.getAnalyzerOptions().getCheckerBooleanOption(                      \
            checker, "NoDiagnoseCallsToSystemHeaders", true);                  \
  }                                                                            \
                                                                               \
  bool ento::shouldRegister##name##Checker(const CheckerManager &mgr) {        \
    return true;                                                               \
  }

Definition at line 1355 of file NullabilityChecker.cpp.

Enumeration Type Documentation

◆ NullConstraint

enum NullConstraint

strong

Enumerator
IsNull
IsNotNull
Unknown

Definition at line 297 of file NullabilityChecker.cpp.

Function Documentation

◆ checkInvariantViolation()

static bool checkInvariantViolation	(	ProgramStateRef	State,
		ExplodedNode *	N,
		CheckerContext &	C
	)

static

Definition at line 444 of file NullabilityChecker.cpp.

References checkParamsForPreconditionViolation(), checkSelfIvarsForInvariantViolation(), clang::LocationContext::getDecl(), and State.

◆ checkParamsForPreconditionViolation()

static bool checkParamsForPreconditionViolation	(	ArrayRef< ParmVarDecl * >	Params,
		ProgramStateRef	State,
		const LocationContext *	LocCtxt
	)

static

Definition at line 397 of file NullabilityChecker.cpp.

References checkValueAtLValForInvariantViolation(), and State.

Referenced by checkInvariantViolation().

◆ checkSelfIvarsForInvariantViolation()

static bool checkSelfIvarsForInvariantViolation	(	ProgramStateRef	State,
		const LocationContext *	LocCtxt
	)

static

Definition at line 414 of file NullabilityChecker.cpp.

References checkValueAtLValForInvariantViolation(), clang::LocationContext::getDecl(), clang::ObjCObjectPointerType::getInterfaceDecl(), clang::LocationContext::getSelfDecl(), clang::ValueDecl::getType(), and State.

Referenced by checkInvariantViolation().

◆ checkValueAtLValForInvariantViolation()

static bool checkValueAtLValForInvariantViolation	(	ProgramStateRef	State,
		SVal	LV,
		QualType	T
	)

static

Returns true when the value stored at the given location has been constrained to null after being passed through an object of nonnnull type.

Definition at line 371 of file NullabilityChecker.cpp.

References clang::ento::getNullabilityAnnotation(), getNullConstraint(), IsNull, clang::ento::Nonnull, and State.

Referenced by checkParamsForPreconditionViolation(), and checkSelfIvarsForInvariantViolation().

◆ getNullConstraint()

static NullConstraint getNullConstraint	(	DefinedOrUnknownSVal	Val,
		ProgramStateRef	State
	)

static

Definition at line 299 of file NullabilityChecker.cpp.

References IsNotNull, IsNull, State, and Unknown.

Referenced by checkValueAtLValForInvariantViolation(), and getReceiverNullability().

◆ getReceiverNullability()

static Nullability getReceiverNullability	(	const ObjCMethodCall &	M,
		ProgramStateRef	State
	)

static

Definition at line 874 of file NullabilityChecker.cpp.

References getNullConstraint(), IsNotNull, clang::ento::Nonnull, State, and clang::ento::Unspecified.

◆ isARCNilInitializedLocal()

static bool isARCNilInitializedLocal	(	CheckerContext &	C,
		const Stmt *	S
	)

static

Returns true if.

Parameters

S	is a DeclStmt for a local variable that ObjC automated reference counting initialized with zero.

Definition at line 1168 of file NullabilityChecker.cpp.

◆ lookThroughImplicitCasts()

static const Expr* lookThroughImplicitCasts ( const Expr * E )

static

Find the outermost subexpression of E that is not an implicit cast.

This looks through the implicit casts to _Nonnull that ARC adds to return expressions of ObjC types when the return type of the function or method is non-null but the express is not.

Definition at line 612 of file NullabilityChecker.cpp.

References clang::Expr::IgnoreImpCasts().

◆ matchValueExprForBind()

static const Expr* matchValueExprForBind ( const Stmt * S )

static

For a given statement performing a bind, attempt to syntactically match the expression resulting in the bound value.

Definition at line 1144 of file NullabilityChecker.cpp.

◆ REGISTER_MAP_WITH_PROGRAMSTATE()

REGISTER_MAP_WITH_PROGRAMSTATE	(	NullabilityMap	,
		const MemRegion *	,
		NullabilityState
	)

Variable Documentation

◆ ObjectPropPair

ObjectPropPair

Definition at line 268 of file NullabilityChecker.cpp.

Macros

Enumerations

Functions

Variables

Macro Definition Documentation

◆ REGISTER_CHECKER

Enumeration Type Documentation

◆ NullConstraint

Function Documentation

◆ checkInvariantViolation()

◆ checkParamsForPreconditionViolation()

◆ checkSelfIvarsForInvariantViolation()

◆ checkValueAtLValForInvariantViolation()

◆ getNullConstraint()

◆ getReceiverNullability()

◆ isARCNilInitializedLocal()

◆ lookThroughImplicitCasts()

◆ matchValueExprForBind()

◆ REGISTER_MAP_WITH_PROGRAMSTATE()

Variable Documentation

◆ ObjectPropPair