blob: 3ad5d81702a64a0f468c42674f0a7c6916759d3a [file] [log] [blame]
Eugene Zelenko88f40cf2018-04-03 21:31:50 +00001//===- CheckerRegistry.cpp - Maintains all available checkers -------------===//
Jordy Rose59cce712011-08-16 21:24:21 +00002//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Jordy Rose59cce712011-08-16 21:24:21 +00006//
7//===----------------------------------------------------------------------===//
8
Kristof Umann76a21502018-12-15 16:23:51 +00009#include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h"
Gabor Horvathfc4c4d42015-07-09 21:43:45 +000010#include "clang/Basic/Diagnostic.h"
Eugene Zelenko88f40cf2018-04-03 21:31:50 +000011#include "clang/Basic/LLVM.h"
Kristof Umannb0be2ab2018-12-15 18:11:49 +000012#include "clang/Frontend/FrontendDiagnostic.h"
13#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
Eugene Zelenko88f40cf2018-04-03 21:31:50 +000014#include "clang/StaticAnalyzer/Core/CheckerManager.h"
Gabor Horvathfc4c4d42015-07-09 21:43:45 +000015#include "clang/StaticAnalyzer/Core/AnalyzerOptions.h"
Eugene Zelenko88f40cf2018-04-03 21:31:50 +000016#include "llvm/ADT/STLExtras.h"
Anna Zaks30373152011-12-15 01:36:04 +000017#include "llvm/ADT/SetVector.h"
Eugene Zelenko88f40cf2018-04-03 21:31:50 +000018#include "llvm/ADT/StringMap.h"
19#include "llvm/ADT/StringRef.h"
Kristof Umannb0be2ab2018-12-15 18:11:49 +000020#include "llvm/Support/DynamicLibrary.h"
21#include "llvm/Support/Path.h"
Benjamin Kramer444a1302012-12-01 17:12:56 +000022#include "llvm/Support/raw_ostream.h"
Eugene Zelenko88f40cf2018-04-03 21:31:50 +000023#include <algorithm>
Jordy Rose59cce712011-08-16 21:24:21 +000024
25using namespace clang;
26using namespace ento;
Kristof Umannb0be2ab2018-12-15 18:11:49 +000027using llvm::sys::DynamicLibrary;
28
29using RegisterCheckersFn = void (*)(CheckerRegistry &);
30
31static bool isCompatibleAPIVersion(const char *versionString) {
32 // If the version string is null, it's not an analyzer plugin.
33 if (!versionString)
34 return false;
35
36 // For now, none of the static analyzer API is considered stable.
37 // Versions must match exactly.
38 return strcmp(versionString, CLANG_ANALYZER_API_VERSION_STRING) == 0;
39}
40
41CheckerRegistry::CheckerRegistry(ArrayRef<std::string> plugins,
Kristof Umann058a7a42019-01-26 14:23:08 +000042 DiagnosticsEngine &diags,
43 const LangOptions &LangOpts)
44 : Diags(diags), LangOpts(LangOpts) {
45
Kristof Umannb0be2ab2018-12-15 18:11:49 +000046#define GET_CHECKERS
Aaron Ballman2f234cb2018-12-20 20:20:20 +000047#define CHECKER(FULLNAME, CLASS, HELPTEXT, DOC_URI) \
Kristof Umann058a7a42019-01-26 14:23:08 +000048 addChecker(register##CLASS, shouldRegister##CLASS, FULLNAME, HELPTEXT, \
49 DOC_URI);
Kristof Umannb0be2ab2018-12-15 18:11:49 +000050#include "clang/StaticAnalyzer/Checkers/Checkers.inc"
51#undef CHECKER
52#undef GET_CHECKERS
53
54 for (ArrayRef<std::string>::iterator i = plugins.begin(), e = plugins.end();
55 i != e; ++i) {
56 // Get access to the plugin.
57 std::string err;
58 DynamicLibrary lib = DynamicLibrary::getPermanentLibrary(i->c_str(), &err);
59 if (!lib.isValid()) {
60 diags.Report(diag::err_fe_unable_to_load_plugin) << *i << err;
61 continue;
62 }
63
64 // See if it's compatible with this build of clang.
65 const char *pluginAPIVersion =
66 (const char *) lib.getAddressOfSymbol("clang_analyzerAPIVersionString");
67 if (!isCompatibleAPIVersion(pluginAPIVersion)) {
68 Diags.Report(diag::warn_incompatible_analyzer_plugin_api)
69 << llvm::sys::path::filename(*i);
70 Diags.Report(diag::note_incompatible_analyzer_plugin_api)
71 << CLANG_ANALYZER_API_VERSION_STRING
72 << pluginAPIVersion;
73 continue;
74 }
75
76 // Register its checkers.
77 RegisterCheckersFn registerPluginCheckers =
78 (RegisterCheckersFn) (intptr_t) lib.getAddressOfSymbol(
79 "clang_registerCheckers");
80 if (registerPluginCheckers)
81 registerPluginCheckers(*this);
82 }
83}
Jordy Rose59cce712011-08-16 21:24:21 +000084
Kristof Umannf282d272018-12-15 15:44:05 +000085static constexpr char PackageSeparator = '.';
Kristof Umann45beaa02018-11-18 12:47:03 +000086
Jordy Rose59cce712011-08-16 21:24:21 +000087static bool checkerNameLT(const CheckerRegistry::CheckerInfo &a,
88 const CheckerRegistry::CheckerInfo &b) {
89 return a.FullName < b.FullName;
90}
91
92static bool isInPackage(const CheckerRegistry::CheckerInfo &checker,
93 StringRef packageName) {
94 // Does the checker's full name have the package as a prefix?
95 if (!checker.FullName.startswith(packageName))
96 return false;
97
98 // Is the package actually just the name of a specific checker?
99 if (checker.FullName.size() == packageName.size())
100 return true;
101
102 // Is the checker in the package (or a subpackage)?
103 if (checker.FullName[packageName.size()] == PackageSeparator)
104 return true;
105
106 return false;
107}
108
Kristof Umannf282d272018-12-15 15:44:05 +0000109CheckerRegistry::CheckerInfoSet CheckerRegistry::getEnabledCheckers(
Kristof Umannb0be2ab2018-12-15 18:11:49 +0000110 const AnalyzerOptions &Opts) const {
Jordy Rose59cce712011-08-16 21:24:21 +0000111
Kristof Umannf282d272018-12-15 15:44:05 +0000112 assert(std::is_sorted(Checkers.begin(), Checkers.end(), checkerNameLT) &&
113 "In order to efficiently gather checkers, this function expects them "
114 "to be already sorted!");
Jordy Rose59cce712011-08-16 21:24:21 +0000115
Kristof Umannf282d272018-12-15 15:44:05 +0000116 CheckerInfoSet enabledCheckers;
117 const auto end = Checkers.cend();
Jordy Rose59cce712011-08-16 21:24:21 +0000118
Kristof Umannf282d272018-12-15 15:44:05 +0000119 for (const std::pair<std::string, bool> &opt : Opts.CheckersControlList) {
120 // Use a binary search to find the possible start of the package.
Kristof Umann058a7a42019-01-26 14:23:08 +0000121 CheckerRegistry::CheckerInfo
122 packageInfo(nullptr, nullptr, opt.first, "", "");
Kristof Umannf282d272018-12-15 15:44:05 +0000123 auto firstRelatedChecker =
124 std::lower_bound(Checkers.cbegin(), end, packageInfo, checkerNameLT);
Jordy Rose59cce712011-08-16 21:24:21 +0000125
Kristof Umannf282d272018-12-15 15:44:05 +0000126 if (firstRelatedChecker == end ||
127 !isInPackage(*firstRelatedChecker, opt.first)) {
Kristof Umannb0be2ab2018-12-15 18:11:49 +0000128 Diags.Report(diag::err_unknown_analyzer_checker) << opt.first;
129 Diags.Report(diag::note_suggest_disabling_all_checkers);
Kristof Umannf282d272018-12-15 15:44:05 +0000130 return {};
131 }
Jordy Rose59cce712011-08-16 21:24:21 +0000132
Kristof Umannf282d272018-12-15 15:44:05 +0000133 // See how large the package is.
134 // If the package doesn't exist, assume the option refers to a single
135 // checker.
136 size_t size = 1;
137 llvm::StringMap<size_t>::const_iterator packageSize =
138 Packages.find(opt.first);
139 if (packageSize != Packages.end())
140 size = packageSize->getValue();
141
142 // Step through all the checkers in the package.
143 for (auto lastRelatedChecker = firstRelatedChecker+size;
144 firstRelatedChecker != lastRelatedChecker; ++firstRelatedChecker)
Kristof Umann058a7a42019-01-26 14:23:08 +0000145 if (opt.second) {
146 if (firstRelatedChecker->ShouldRegister(LangOpts))
147 enabledCheckers.insert(&*firstRelatedChecker);
148 } else {
Kristof Umannf282d272018-12-15 15:44:05 +0000149 enabledCheckers.remove(&*firstRelatedChecker);
Kristof Umann058a7a42019-01-26 14:23:08 +0000150 }
Kristof Umannf282d272018-12-15 15:44:05 +0000151 }
152
153 return enabledCheckers;
Jordy Rose59cce712011-08-16 21:24:21 +0000154}
155
Kristof Umann058a7a42019-01-26 14:23:08 +0000156void CheckerRegistry::addChecker(InitializationFunction Rfn,
157 ShouldRegisterFunction Sfn, StringRef Name,
Aaron Ballman2f234cb2018-12-20 20:20:20 +0000158 StringRef Desc, StringRef DocsUri) {
Kristof Umann058a7a42019-01-26 14:23:08 +0000159 Checkers.emplace_back(Rfn, Sfn, Name, Desc, DocsUri);
Jordy Rose59cce712011-08-16 21:24:21 +0000160
161 // Record the presence of the checker in its packages.
162 StringRef packageName, leafName;
Aaron Ballman2f234cb2018-12-20 20:20:20 +0000163 std::tie(packageName, leafName) = Name.rsplit(PackageSeparator);
Jordy Rose59cce712011-08-16 21:24:21 +0000164 while (!leafName.empty()) {
165 Packages[packageName] += 1;
Benjamin Kramer867ea1d2014-03-02 13:01:17 +0000166 std::tie(packageName, leafName) = packageName.rsplit(PackageSeparator);
Jordy Rose59cce712011-08-16 21:24:21 +0000167 }
168}
169
Ted Kremenek3a0678e2015-09-08 03:50:52 +0000170void CheckerRegistry::initializeManager(CheckerManager &checkerMgr,
Kristof Umannb0be2ab2018-12-15 18:11:49 +0000171 const AnalyzerOptions &Opts) const {
Jordy Rose59cce712011-08-16 21:24:21 +0000172 // Sort checkers for efficient collection.
Fangrui Song55fab262018-09-26 22:16:28 +0000173 llvm::sort(Checkers, checkerNameLT);
Jordy Rose59cce712011-08-16 21:24:21 +0000174
175 // Collect checkers enabled by the options.
Kristof Umannb0be2ab2018-12-15 18:11:49 +0000176 CheckerInfoSet enabledCheckers = getEnabledCheckers(Opts);
Jordy Rose59cce712011-08-16 21:24:21 +0000177
178 // Initialize the CheckerManager with all enabled checkers.
Kristof Umannf282d272018-12-15 15:44:05 +0000179 for (const auto *i : enabledCheckers) {
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000180 checkerMgr.setCurrentCheckName(CheckName(i->FullName));
181 i->Initialize(checkerMgr);
Jordy Rose59cce712011-08-16 21:24:21 +0000182 }
183}
184
Kristof Umannb0be2ab2018-12-15 18:11:49 +0000185void CheckerRegistry::validateCheckerOptions(
186 const AnalyzerOptions &opts) const {
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000187 for (const auto &config : opts.Config) {
Gabor Horvathfc4c4d42015-07-09 21:43:45 +0000188 size_t pos = config.getKey().find(':');
189 if (pos == StringRef::npos)
190 continue;
191
192 bool hasChecker = false;
193 StringRef checkerName = config.getKey().substr(0, pos);
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000194 for (const auto &checker : Checkers) {
Gabor Horvathfc4c4d42015-07-09 21:43:45 +0000195 if (checker.FullName.startswith(checkerName) &&
196 (checker.FullName.size() == pos || checker.FullName[pos] == '.')) {
197 hasChecker = true;
198 break;
199 }
200 }
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000201 if (!hasChecker)
Kristof Umannb0be2ab2018-12-15 18:11:49 +0000202 Diags.Report(diag::err_unknown_analyzer_checker) << checkerName;
Gabor Horvathfc4c4d42015-07-09 21:43:45 +0000203 }
204}
205
Dmitri Gribenkof8579502013-01-12 19:30:44 +0000206void CheckerRegistry::printHelp(raw_ostream &out,
Jordy Rose59cce712011-08-16 21:24:21 +0000207 size_t maxNameChars) const {
208 // FIXME: Alphabetical sort puts 'experimental' in the middle.
209 // Would it be better to name it '~experimental' or something else
210 // that's ASCIIbetically last?
Fangrui Song55fab262018-09-26 22:16:28 +0000211 llvm::sort(Checkers, checkerNameLT);
Jordy Rose59cce712011-08-16 21:24:21 +0000212
213 // FIXME: Print available packages.
214
215 out << "CHECKERS:\n";
216
217 // Find the maximum option length.
218 size_t optionFieldWidth = 0;
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000219 for (const auto &i : Checkers) {
Jordy Rose59cce712011-08-16 21:24:21 +0000220 // Limit the amount of padding we are willing to give up for alignment.
221 // Package.Name Description [Hidden]
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000222 size_t nameLength = i.FullName.size();
Jordy Rose59cce712011-08-16 21:24:21 +0000223 if (nameLength <= maxNameChars)
224 optionFieldWidth = std::max(optionFieldWidth, nameLength);
225 }
226
227 const size_t initialPad = 2;
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000228 for (const auto &i : Checkers) {
229 out.indent(initialPad) << i.FullName;
Jordy Rose59cce712011-08-16 21:24:21 +0000230
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000231 int pad = optionFieldWidth - i.FullName.size();
Jordy Rose59cce712011-08-16 21:24:21 +0000232
233 // Break on long option names.
234 if (pad < 0) {
235 out << '\n';
236 pad = optionFieldWidth + initialPad;
237 }
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000238 out.indent(pad + 2) << i.Desc;
Jordy Rose59cce712011-08-16 21:24:21 +0000239
240 out << '\n';
241 }
242}
Gabor Horvathc4309902016-08-08 13:41:04 +0000243
Kristof Umann45beaa02018-11-18 12:47:03 +0000244void CheckerRegistry::printList(raw_ostream &out,
Kristof Umannb0be2ab2018-12-15 18:11:49 +0000245 const AnalyzerOptions &opts) const {
Kristof Umannf282d272018-12-15 15:44:05 +0000246 // Sort checkers for efficient collection.
Fangrui Song55fab262018-09-26 22:16:28 +0000247 llvm::sort(Checkers, checkerNameLT);
Gabor Horvathc4309902016-08-08 13:41:04 +0000248
249 // Collect checkers enabled by the options.
Kristof Umannb0be2ab2018-12-15 18:11:49 +0000250 CheckerInfoSet enabledCheckers = getEnabledCheckers(opts);
Gabor Horvathc4309902016-08-08 13:41:04 +0000251
Eugene Zelenko88f40cf2018-04-03 21:31:50 +0000252 for (const auto *i : enabledCheckers)
253 out << i->FullName << '\n';
Gabor Horvathc4309902016-08-08 13:41:04 +0000254}