NSErrorChecker.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclObjC.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/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/Support/raw_ostream.h"
#include <optional>

Go to the source code of this file.

Macros
#define	REGISTER_CHECKER(NAME, ADDITIONAL_PART)

Typedefs
typedef llvm::ImmutableMap< SymbolRef, unsigned >	ErrorOutFlag

Functions
static bool	IsNSError (QualType T, IdentifierInfo *II)
static bool	IsCFError (QualType T, IdentifierInfo *II)
static bool	hasReservedReturnType (const FunctionDecl *D)
template<typename T>
static bool	hasFlag (SVal val, ProgramStateRef state)
template<typename T>
static void	setFlag (ProgramStateRef state, SVal val, CheckerContext &C)
static QualType	parameterTypeFromSVal (SVal val, CheckerContext &C)

Macro Definition Documentation

REGISTER_CHECKER

#define REGISTER_CHECKER	(		NAME,
			ADDITIONAL_PART )

Value:

  void ento::register##NAME##Checker(CheckerManager &Mgr) {                    \
    Mgr.getChecker<NSOrCFErrorDerefChecker>()->NAME.enable(Mgr);               \
    Mgr.registerChecker<ADDITIONAL_PART>();                                    \
  }                                                                            \
                                                                               \
  bool ento::shouldRegister##NAME##Checker(const CheckerManager &) {           \
    return true;                                                               \
  }

Definition at line 304 of file NSErrorChecker.cpp.

Typedef Documentation

ErrorOutFlag

typedef llvm::ImmutableMap<SymbolRef, unsigned> ErrorOutFlag

Definition at line 165 of file NSErrorChecker.cpp.

Function Documentation

hasFlag()

template<typename T>

bool hasFlag ( SVal val, ProgramStateRef state )

static

Definition at line 170 of file NSErrorChecker.cpp.

References clang::ento::SVal::getAsSymbol(), and clang::T.

Referenced by clang::driver::Driver::CreateOffloadingDeviceToolChains().

hasReservedReturnType()

bool hasReservedReturnType ( const FunctionDecl * D )

static

Definition at line 99 of file NSErrorChecker.cpp.

References clang::FunctionDecl::getOverloadedOperator(), and clang::isa().

IsCFError()

bool IsCFError ( QualType T, IdentifierInfo * II )

static

Definition at line 288 of file NSErrorChecker.cpp.

References clang::Type::getAs(), clang::TypedefType::getDecl(), clang::NamedDecl::getIdentifier(), clang::PointerType::getPointeeType(), and clang::T.

IsNSError()

bool IsNSError ( QualType T, IdentifierInfo * II )

static

Definition at line 267 of file NSErrorChecker.cpp.

References clang::Type::getAs(), clang::ObjCObjectPointerType::getInterfaceDecl(), clang::PointerType::getPointeeType(), and clang::T.

parameterTypeFromSVal()

QualType parameterTypeFromSVal ( SVal val, CheckerContext & C )

static

Definition at line 184 of file NSErrorChecker.cpp.

References clang::C, clang::ento::MemRegion::getAs(), clang::ento::SVal::getAs(), and X.

setFlag()

template<typename T>

void setFlag ( ProgramStateRef state, SVal val, CheckerContext & C )

static

Definition at line 178 of file NSErrorChecker.cpp.

References clang::C, clang::ento::SVal::getAsSymbol(), and clang::T.