PthreadLockChecker.cpp File Reference

#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/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "llvm/ADT/StringRef.h"

Go to the source code of this file.

Macros
#define	REGISTER_CHECKER(name)

Functions
static bool	isLockRelevant (const MemRegion *R, const PathSensitiveBugReport &BR)
static const NoteTag *	createMutexNote (CheckerContext &C, const MemRegion *R, StringRef MsgForNamed, StringRef MsgForUnnamed)

Variables
constexpr llvm::StringRef	LOCK_CHECKER_CATEGORY = "Lock checker"

Macro Definition Documentation

REGISTER_CHECKER

#define REGISTER_CHECKER

(

name

)

Value:

  void ento::register##name(CheckerManager &mgr) {                             \
    PthreadLockChecker *checker = mgr.getChecker<PthreadLockChecker>();        \
    checker->ChecksEnabled[PthreadLockChecker::CK_##name] = true;              \
    checker->CheckNames[PthreadLockChecker::CK_##name] =                       \
        mgr.getCurrentCheckerName();                                           \
  }                                                                            \
                                                                               \
  bool ento::shouldRegister##name(const CheckerManager &mgr) { return true; }

Definition at line 775 of file PthreadLockChecker.cpp.

Function Documentation

createMutexNote()

const NoteTag * createMutexNote ( CheckerContext & C, const MemRegion * R, StringRef MsgForNamed, StringRef MsgForUnnamed )

static

Definition at line 38 of file PthreadLockChecker.cpp.

References clang::C, and clang::ento::OS.

isLockRelevant()

bool isLockRelevant ( const MemRegion * R, const PathSensitiveBugReport & BR )

static

Definition at line 32 of file PthreadLockChecker.cpp.

References clang::ento::BugReport::getBugType(), clang::ento::BugType::getCategory(), clang::ento::PathSensitiveBugReport::isInteresting(), and LOCK_CHECKER_CATEGORY.

Variable Documentation

LOCK_CHECKER_CATEGORY

llvm::StringRef LOCK_CHECKER_CATEGORY = "Lock checker"

constexpr

Definition at line 30 of file PthreadLockChecker.cpp.

Referenced by isLockRelevant().