[analyzer] Overhauling of the checker registration mechanism.
commitb4caf4f89b944d7d411680177221bed8bfaa8ef9
authorArgiris Kirtzidis <akyrtzi@gmail.com>
Mon, 14 Feb 2011 18:13:31 +0000 (14 18:13 +0000)
committerArgiris Kirtzidis <akyrtzi@gmail.com>
Mon, 14 Feb 2011 18:13:31 +0000 (14 18:13 +0000)
tree58da397a333119178a2aacb3564397dd1b01ea20
parent1c8261bbbdb75d3b785f15fbabc08579b9d7390a
[analyzer] Overhauling of the checker registration mechanism.

-Checkers will be defined in the tablegen file 'Checkers.td'.
-Apart from checkers, we can define checker "packages" that will contain a collection of checkers.
-Checkers can be enabled with -analyzer-checker=<name> and disabled with -analyzer-disable-checker=<name> e.g:
Enable checkers from 'cocoa' and 'corefoundation' packages except the self-initialization checker:
-analyzer-checker=cocoa -analyzer-checker=corefoundation -analyzer-disable-checker=cocoa.SelfInit
-Introduces CheckerManager and CheckerProvider. CheckerProviders get the set of checker names to enable/disable and
 register them with the CheckerManager which will be the entry point for all checker-related functionality.

Currently only the self-initialization checker takes advantage of the new mechanism.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125503 91177308-0d34-0410-b5e6-96231b3b80d8
27 files changed:
include/clang/Basic/DiagnosticFrontendKinds.td
include/clang/Driver/CC1Options.td
include/clang/Frontend/AnalyzerOptions.h
include/clang/StaticAnalyzer/Checkers/CheckerBase.td [new file with mode: 0644]
include/clang/StaticAnalyzer/Core/CheckerManager.h [new file with mode: 0644]
include/clang/StaticAnalyzer/Core/CheckerProvider.h [new file with mode: 0644]
include/clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h
include/clang/StaticAnalyzer/Frontend/FrontendActions.h [moved from include/clang/StaticAnalyzer/Core/FrontendActions.h with 100% similarity]
lib/Driver/Tools.cpp
lib/Frontend/CompilerInvocation.cpp
lib/FrontendTool/ExecuteCompilerInvocation.cpp
lib/StaticAnalyzer/Checkers/CMakeLists.txt
lib/StaticAnalyzer/Checkers/Checkers.td [new file with mode: 0644]
lib/StaticAnalyzer/Checkers/ClangSACheckerProvider.cpp [new file with mode: 0644]
lib/StaticAnalyzer/Checkers/ClangSACheckerProvider.h [new file with mode: 0644]
lib/StaticAnalyzer/Checkers/ClangSACheckers.h [new file with mode: 0644]
lib/StaticAnalyzer/Checkers/ExprEngine.cpp
lib/StaticAnalyzer/Checkers/Makefile
lib/StaticAnalyzer/Core/CMakeLists.txt
lib/StaticAnalyzer/Core/CheckerManager.cpp [new file with mode: 0644]
lib/StaticAnalyzer/Core/CoreEngine.cpp
lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp
lib/StaticAnalyzer/Frontend/AnalysisConsumer.h
lib/StaticAnalyzer/Frontend/CMakeLists.txt
lib/StaticAnalyzer/Frontend/CheckerRegistration.cpp [new file with mode: 0644]
lib/StaticAnalyzer/Frontend/FrontendActions.cpp
test/Analysis/self-init.m