Lines Matching full: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"
157 class MallocChecker : public Checker<check::DeadSymbols,
178 /// In pessimistic mode, the checker assumes that it does not know which
339 /// not handled by this checker.
352 /// Tells if a given family/call/symbol is tracked by the current checker.
353 /// Sets CheckKind to the kind of the checker responsible for this
2250 // Scan the BlockDecRefExprs for any object the retain count checker
2504 // but the Malloc checker cannot differentiate between them. The right way
2713 MallocChecker *checker = mgr.registerChecker<MallocChecker>();
2714 checker->IsOptimistic = mgr.getAnalyzerOptions().getBooleanOption(
2715 "Optimistic", false, checker);
2716 checker->ChecksEnabled[MallocChecker::CK_NewDeleteLeaksChecker] = true;
2717 checker->CheckNames[MallocChecker::CK_NewDeleteLeaksChecker] =
2719 // We currently treat NewDeleteLeaks checker as a subchecker of NewDelete
2720 // checker.
2721 if (!checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker])
2722 checker->ChecksEnabled[MallocChecker::CK_NewDeleteChecker] = true;
2728 MallocChecker *checker = mgr.registerChecker<MallocChecker>(); \
2729 checker->IsOptimistic = mgr.getAnalyzerOptions().getBooleanOption( \
2730 "Optimistic", false, checker); \
2731 checker->ChecksEnabled[MallocChecker::CK_##name] = true; \
2732 checker->CheckNames[MallocChecker::CK_##name] = mgr.getCurrentCheckName(); \
