NSErrorChecker.cpp File Reference

#include "ClangSACheckers.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 "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Decl.h"
#include "llvm/ADT/SmallVector.h"

Include dependency graph for NSErrorChecker.cpp:

Go to the source code of this file.

Classes
struct	clang::ento::ProgramStateTrait< NSErrorOut >
struct	clang::ento::ProgramStateTrait< CFErrorOut >
Namespaces
namespace	clang
namespace	clang::ento
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 185 of file NSErrorChecker.cpp.

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

Definition at line 312 of file NSErrorChecker.cpp.

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

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

Definition at line 291 of file NSErrorChecker.cpp.

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

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

Definition at line 199 of file NSErrorChecker.cpp.

References clang::LocationContext::getCurrentStackFrame().

template<typename T >

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

Definition at line 193 of file NSErrorChecker.cpp.