Lines Matching refs:checker
1 //== Nullabilityhecker.cpp - Nullability checker ----------------*- C++ -*--==//
10 // This checker tries to find nullability violations. There are several kinds of
19 // This checker propagates the nullability information of the pointers and looks
21 // considered a way to suppress false positives for this checker. The other way
23 // code. In addition to the nullability propagation this checker also uses some
31 #include "clang/StaticAnalyzer/Core/Checker.h"
105 : public Checker<check::Bind, check::PreCall, check::PreStmt<ReturnStmt>,
171 /// path by this checker.
242 // precondition is not met on a path, this checker will be esentially turned off
244 // so this checker would not lead to reduced coverage.
714 // In order to reduce the noise in the diagnostics generated by this checker,
996 void ento::register##name##Checker(CheckerManager &mgr) { \
997 NullabilityChecker *checker = mgr.registerChecker<NullabilityChecker>(); \
998 checker->Filter.Check##name = true; \
999 checker->Filter.CheckName##name = mgr.getCurrentCheckName(); \
1000 checker->NeedTracking = checker->NeedTracking || trackingRequired; \
