clang
15.0.0git
|
Manages a set of available checkers for running a static analysis. More...
#include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
Public Member Functions | |
CheckerRegistry (CheckerRegistryData &Data, ArrayRef< std::string > Plugins, DiagnosticsEngine &Diags, AnalyzerOptions &AnOpts, ArrayRef< std::function< void(CheckerRegistry &)>> CheckerRegistrationFns={}) | |
void | initializeRegistry (const CheckerManager &Mgr) |
Collects all enabled checkers in the field EnabledCheckers. More... | |
void | addChecker (RegisterCheckerFn Fn, ShouldRegisterFunction sfn, StringRef FullName, StringRef Desc, StringRef DocsUri, bool IsHidden) |
Adds a checker to the registry. More... | |
template<class T > | |
void | addChecker (StringRef FullName, StringRef Desc, StringRef DocsUri, bool IsHidden=false) |
Adds a checker to the registry. More... | |
void | addDependency (StringRef FullName, StringRef Dependency) |
Makes the checker with the full name fullName depend on the checker called dependency . More... | |
void | addWeakDependency (StringRef FullName, StringRef Dependency) |
Makes the checker with the full name fullName weak depend on the checker called dependency . More... | |
void | addCheckerOption (StringRef OptionType, StringRef CheckerFullName, StringRef OptionName, StringRef DefaultValStr, StringRef Description, StringRef DevelopmentStatus, bool IsHidden=false) |
Registers an option to a given checker. More... | |
void | addPackage (StringRef FullName) |
Adds a package to the registry. More... | |
void | addPackageOption (StringRef OptionType, StringRef PackageFullName, StringRef OptionName, StringRef DefaultValStr, StringRef Description, StringRef DevelopmentStatus, bool IsHidden=false) |
Registers an option to a given package. More... | |
void | initializeManager (CheckerManager &CheckerMgr) const |
Initializes a CheckerManager by calling the initialization functions for all checkers specified by the given CheckerOptInfo list. More... | |
void | validateCheckerOptions () const |
Check if every option corresponds to a specific checker or package. More... | |
template<bool IsWeak> | |
void | resolveDependencies () |
Manages a set of available checkers for running a static analysis.
The checkers are organized into packages by full name, where including a package will recursively include all subpackages and checkers within it. For example, the checker "core.builtin.NoReturnFunctionChecker" will be included if initializeManager() is called with an option of "core", "core.builtin", or the full name "core.builtin.NoReturnFunctionChecker".
Definition at line 89 of file CheckerRegistry.h.
CheckerRegistry::CheckerRegistry | ( | CheckerRegistryData & | Data, |
ArrayRef< std::string > | Plugins, | ||
DiagnosticsEngine & | Diags, | ||
AnalyzerOptions & | AnOpts, | ||
ArrayRef< std::function< void(CheckerRegistry &)>> | CheckerRegistrationFns = {} |
||
) |
Definition at line 51 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::Checkers, clang::AnalyzerOptions::CheckersAndPackages, CLANG_ANALYZER_API_VERSION_STRING, clang::ento::CheckerRegistryData::Dependencies, clang::ento::CheckerRegistryData::getMutableCheckersForCmdLineArg(), isCompatibleAPIVersion(), clang::ento::CheckerRegistryData::Packages, clang::DiagnosticsEngine::Report(), clang::ento::CheckerInfo::State_Disabled, clang::ento::CheckerInfo::State_Enabled, string(), validateCheckerOptions(), and clang::ento::CheckerRegistryData::WeakDependencies.
void clang::ento::CheckerRegistry::addChecker | ( | RegisterCheckerFn | Fn, |
ShouldRegisterFunction | sfn, | ||
StringRef | FullName, | ||
StringRef | Desc, | ||
StringRef | DocsUri, | ||
bool | IsHidden | ||
) |
Adds a checker to the registry.
Use this non-templated overload when your checker requires custom initialization.
Referenced by addChecker(), and clang_registerCheckers().
|
inline |
Adds a checker to the registry.
Use this templated overload when your checker does not require any custom initialization. This function isn't really needed and probably causes more headaches than the tiny convenience that it provides, but external plugins might use it, and there isn't a strong incentive to remove it.
Definition at line 128 of file CheckerRegistry.h.
References addChecker().
void CheckerRegistry::addCheckerOption | ( | StringRef | OptionType, |
StringRef | CheckerFullName, | ||
StringRef | OptionName, | ||
StringRef | DefaultValStr, | ||
StringRef | Description, | ||
StringRef | DevelopmentStatus, | ||
bool | IsHidden = false |
||
) |
Registers an option to a given checker.
A checker option will always have the following format: CheckerFullName:OptionName=Value And can be specified from the command line like this: -analyzer-config CheckerFullName:OptionName=Value
Options for unknown checkers, or unknown options for a given checker, or invalid value types for that given option are reported as an error in non-compatibility mode.
Definition at line 450 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::CheckerOptions.
Referenced by clang_registerCheckers().
void CheckerRegistry::addDependency | ( | StringRef | FullName, |
StringRef | Dependency | ||
) |
Makes the checker with the full name fullName
depend on the checker called dependency
.
Definition at line 327 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::Dependencies.
Referenced by clang_registerCheckers().
void CheckerRegistry::addPackage | ( | StringRef | FullName | ) |
Adds a package to the registry.
Definition at line 419 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::Packages.
void CheckerRegistry::addPackageOption | ( | StringRef | OptionType, |
StringRef | PackageFullName, | ||
StringRef | OptionName, | ||
StringRef | DefaultValStr, | ||
StringRef | Description, | ||
StringRef | DevelopmentStatus, | ||
bool | IsHidden = false |
||
) |
Registers an option to a given package.
A package option will always have the following format: PackageFullName:OptionName=Value And can be specified from the command line like this: -analyzer-config PackageFullName:OptionName=Value
Options for unknown packages, or unknown options for a given package, or invalid value types for that given option are reported as an error in non-compatibility mode.
Definition at line 423 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::PackageOptions.
void CheckerRegistry::addWeakDependency | ( | StringRef | FullName, |
StringRef | Dependency | ||
) |
Makes the checker with the full name fullName
weak depend on the checker called dependency
.
Definition at line 331 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::WeakDependencies.
void CheckerRegistry::initializeManager | ( | CheckerManager & | CheckerMgr | ) | const |
Initializes a CheckerManager by calling the initialization functions for all checkers specified by the given CheckerOptInfo list.
The order of this list is significant; later options can be used to reverse earlier ones. This can be used to exclude certain checkers in an included package.
Definition at line 462 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::EnabledCheckers, and clang::ento::CheckerManager::setCurrentCheckerName().
void CheckerRegistry::initializeRegistry | ( | const CheckerManager & | Mgr | ) |
Collects all enabled checkers in the field EnabledCheckers.
It preserves the order of insertion, as dependencies have to be enabled before the checkers that depend on them.
Definition at line 206 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::Checkers, collectStrongDependencies(), collectWeakDependencies(), and clang::ento::CheckerRegistryData::EnabledCheckers.
void clang::ento::CheckerRegistry::resolveDependencies | ( | ) |
Definition at line 298 of file CheckerRegistry.cpp.
References clang::ento::checker_registry::binaryFind(), clang::ento::CheckerRegistryData::Checkers, clang::ento::CheckerRegistryData::Dependencies, and clang::ento::CheckerRegistryData::WeakDependencies.
void CheckerRegistry::validateCheckerOptions | ( | ) | const |
Check if every option corresponds to a specific checker or package.
Definition at line 492 of file CheckerRegistry.cpp.
References clang::ento::CheckerRegistryData::Checkers, clang::AnalyzerOptions::Config, isOptionContainedIn(), clang::ento::CheckerRegistryData::Packages, and clang::DiagnosticsEngine::Report().
Referenced by CheckerRegistry().