#include "ClangSACheckers.h"
#include "InterCheckerAPI.h"
#include "clang/AST/Attr.h"
#include "clang/AST/ParentMap.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/TargetInfo.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/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
#include "llvm/ADT/ImmutableMap.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringExtras.h"
#include <climits>

Include dependency graph for MallocChecker.cpp:

Defines
#define	CASE(ID) case ID: OS << #ID; break;
#define	REGISTER_CHECKER(name)
Enumerations
enum	AllocationFamily
enum	ReallocPairKind
Functions
static QualType	getDeepPointeeType (QualType T)
static bool	treatUnusedNewEscaped (const CXXNewExpr *NE)
static bool	isKnownDeallocObjCMethodName (const ObjCMethodCall &Call)
static Optional< bool >	getFreeWhenDoneArg (const ObjCMethodCall &Call)
static bool	didPreviousFreeFail (ProgramStateRef State, SymbolRef Sym, SymbolRef &RetStatusSymbol)
static bool	retTrue (const RefState *RS)
static bool	checkIfNewOrNewArrayFamily (const RefState *RS)
static SymbolRef	findFailedReallocSymbol (ProgramStateRef currState, ProgramStateRef prevState)

Define Documentation

#define CASE ( ID ) case ID: OS << #ID; break;

#define REGISTER_CHECKER ( name )

Value:

void ento::register##name(CheckerManager &mgr) {                             \
    registerCStringCheckerBasic(mgr);                                          \
    MallocChecker *checker = mgr.registerChecker<MallocChecker>();             \
    checker->ChecksEnabled[MallocChecker::CK_##name] = true;                   \
    checker->CheckNames[MallocChecker::CK_##name] = mgr.getCurrentCheckName(); \
  }

Definition at line 2469 of file MallocChecker.cpp.