NSErrorChecker.cpp File Reference

#include "ClangSACheckers.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 dependency graph for NSErrorChecker.cpp:

Go to the source code of this file.

Typedefs
typedef llvm::ImmutableMap < SymbolRef, unsigned >	ErrorOutFlag
Functions
static bool	IsNSError (QualType T, IdentifierInfo *II)
static bool	IsCFError (QualType T, IdentifierInfo *II)
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)

---

Typedef Documentation

typedef llvm::ImmutableMap<SymbolRef, unsigned> ErrorOutFlag

Definition at line 169 of file NSErrorChecker.cpp.

---

Function Documentation

template<typename T >

static bool hasFlag	(	SVal	val,
		ProgramStateRef	state
	)		[static]

Definition at line 174 of file NSErrorChecker.cpp.

static bool IsCFError	(	QualType	T,
		IdentifierInfo *	II
	)		[static]

Definition at line 303 of file NSErrorChecker.cpp.

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

static bool IsNSError	(	QualType	T,
		IdentifierInfo *	II
	)		[static]

Definition at line 282 of file NSErrorChecker.cpp.

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

static QualType parameterTypeFromSVal	(	SVal	val,
		CheckerContext &	C
	)		[static]

Definition at line 188 of file NSErrorChecker.cpp.

References clang::ento::SVal::getAs(), clang::ento::MemRegion::getAs(), clang::LocationContext::getCurrentStackFrame(), clang::ento::CheckerContext::getLocationContext(), and X.

template<typename T >

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

Definition at line 182 of file NSErrorChecker.cpp.

References clang::ento::CheckerContext::addTransition(), and clang::ento::SVal::getAsSymbol().