Lines Matching refs:Checker
1 //=== MallocChecker.cpp - A malloc/free checker -------------------*- C++ -*--//
10 // This file defines malloc/free checker, which checks for potential memory
22 #include "clang/StaticAnalyzer/Core/Checker.h"
158 class MallocChecker : public Checker<check::DeadSymbols,
180 /// In pessimistic mode, the checker assumes that it does not know which
342 /// not handled by this checker.
355 /// Tells if a given family/call/symbol is tracked by the current checker.
356 /// Sets CheckKind to the kind of the checker responsible for this
2258 // Scan the BlockDecRefExprs for any object the retain count checker
2512 // but the Malloc checker cannot differentiate between them. The right way
2731 MallocChecker *checker = mgr.registerChecker<MallocChecker>();
2732 checker->IsOptimistic = mgr.getAnalyzerOptions().getBooleanOption(
2733 "Optimistic", false, checker);
2734 checker->ChecksEnabled[MallocChecker::CK_NewDeleteLeaksChecker] = true;
2735 checker->CheckNames[MallocChecker::CK_NewDeleteLeaksChecker] =
2737 // We currently treat NewDeleteLeaks checker as a subchecker of NewDelete
2738 // checker.
2739 if (!checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker])
2740 checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker] = true;
2746 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); \
2747 checker->IsOptimistic = mgr.getAnalyzerOptions().getBooleanOption( \
2748 "Optimistic", false, checker); \
2749 checker->ChecksEnabled[MallocChecker::CK_##name] = true; \
2750 checker->CheckNames[MallocChecker::CK_##name] = mgr.getCurrentCheckName(); \
