blob: 6792f89876cd8111783b3b20a94f9fc8cb84c506 [file] [log] [blame]
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +00001//===--- CheckerRegistration.cpp - Registration for the Analyzer Checkers -===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Defines the registration function for the analyzer checkers.
11//
12//===----------------------------------------------------------------------===//
13
Argyrios Kyrtzidis6fa0d202011-02-15 16:54:12 +000014#include "clang/StaticAnalyzer/Frontend/CheckerRegistration.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000015#include "clang/Basic/Diagnostic.h"
16#include "clang/Frontend/FrontendDiagnostic.h"
Jordy Rose59cce712011-08-16 21:24:21 +000017#include "clang/StaticAnalyzer/Checkers/ClangCheckers.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000018#include "clang/StaticAnalyzer/Core/AnalyzerOptions.h"
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +000019#include "clang/StaticAnalyzer/Core/CheckerManager.h"
Jordy Rose59cce712011-08-16 21:24:21 +000020#include "clang/StaticAnalyzer/Core/CheckerOptInfo.h"
21#include "clang/StaticAnalyzer/Core/CheckerRegistry.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000022#include "clang/StaticAnalyzer/Frontend/FrontendActions.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000023#include "llvm/ADT/SmallVector.h"
Jordy Rose93b86e42011-08-17 01:30:59 +000024#include "llvm/Support/DynamicLibrary.h"
Jordy Rose075d73b2011-08-17 04:56:03 +000025#include "llvm/Support/Path.h"
Argyrios Kyrtzidis17bee3e2011-02-25 00:09:51 +000026#include "llvm/Support/raw_ostream.h"
Ahmed Charlesdfca6f92014-03-09 11:36:40 +000027#include <memory>
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +000028
29using namespace clang;
30using namespace ento;
Jordy Rose93b86e42011-08-17 01:30:59 +000031using llvm::sys::DynamicLibrary;
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +000032
Jordy Rose93b86e42011-08-17 01:30:59 +000033namespace {
34class ClangCheckerRegistry : public CheckerRegistry {
35 typedef void (*RegisterCheckersFn)(CheckerRegistry &);
Jordy Rose59cce712011-08-16 21:24:21 +000036
Jordy Rose93b86e42011-08-17 01:30:59 +000037 static bool isCompatibleAPIVersion(const char *versionString);
David Blaikie9c902b52011-09-25 23:23:43 +000038 static void warnIncompatible(DiagnosticsEngine *diags, StringRef pluginPath,
Jordy Rose075d73b2011-08-17 04:56:03 +000039 const char *pluginAPIVersion);
40
41public:
David Blaikie9c902b52011-09-25 23:23:43 +000042 ClangCheckerRegistry(ArrayRef<std::string> plugins,
Craig Topper0dbb7832014-05-27 02:45:47 +000043 DiagnosticsEngine *diags = nullptr);
Jordy Rose93b86e42011-08-17 01:30:59 +000044};
Ted Kremenek3a0678e2015-09-08 03:50:52 +000045
Jordy Rose93b86e42011-08-17 01:30:59 +000046} // end anonymous namespace
47
Jordy Rose075d73b2011-08-17 04:56:03 +000048ClangCheckerRegistry::ClangCheckerRegistry(ArrayRef<std::string> plugins,
David Blaikie9c902b52011-09-25 23:23:43 +000049 DiagnosticsEngine *diags) {
Jordy Rose93b86e42011-08-17 01:30:59 +000050 registerBuiltinCheckers(*this);
51
52 for (ArrayRef<std::string>::iterator i = plugins.begin(), e = plugins.end();
53 i != e; ++i) {
54 // Get access to the plugin.
Gabor Horvatha61bb642015-07-15 20:32:07 +000055 std::string err;
56 DynamicLibrary lib = DynamicLibrary::getPermanentLibrary(i->c_str(), &err);
57 if (!lib.isValid()) {
58 diags->Report(diag::err_fe_unable_to_load_plugin) << *i << err;
59 continue;
60 }
Jordy Rose93b86e42011-08-17 01:30:59 +000061
62 // See if it's compatible with this build of clang.
63 const char *pluginAPIVersion =
64 (const char *) lib.getAddressOfSymbol("clang_analyzerAPIVersionString");
Jordy Rose075d73b2011-08-17 04:56:03 +000065 if (!isCompatibleAPIVersion(pluginAPIVersion)) {
66 warnIncompatible(diags, *i, pluginAPIVersion);
Jordy Rose93b86e42011-08-17 01:30:59 +000067 continue;
Jordy Rose075d73b2011-08-17 04:56:03 +000068 }
Jordy Rose93b86e42011-08-17 01:30:59 +000069
70 // Register its checkers.
71 RegisterCheckersFn registerPluginCheckers =
Benjamin Kramer8b3929d2011-08-17 04:22:25 +000072 (RegisterCheckersFn) (intptr_t) lib.getAddressOfSymbol(
73 "clang_registerCheckers");
Jordy Rose93b86e42011-08-17 01:30:59 +000074 if (registerPluginCheckers)
75 registerPluginCheckers(*this);
76 }
Jordy Rose59cce712011-08-16 21:24:21 +000077}
78
Jordy Rose93b86e42011-08-17 01:30:59 +000079bool ClangCheckerRegistry::isCompatibleAPIVersion(const char *versionString) {
80 // If the version string is null, it's not an analyzer plugin.
Craig Topper0dbb7832014-05-27 02:45:47 +000081 if (!versionString)
Jordy Rose93b86e42011-08-17 01:30:59 +000082 return false;
83
84 // For now, none of the static analyzer API is considered stable.
85 // Versions must match exactly.
Alexander Kornienko44a784f2015-12-28 15:19:39 +000086 return strcmp(versionString, CLANG_ANALYZER_API_VERSION_STRING) == 0;
Jordy Rose93b86e42011-08-17 01:30:59 +000087}
88
David Blaikie9c902b52011-09-25 23:23:43 +000089void ClangCheckerRegistry::warnIncompatible(DiagnosticsEngine *diags,
Jordy Rose075d73b2011-08-17 04:56:03 +000090 StringRef pluginPath,
91 const char *pluginAPIVersion) {
92 if (!diags)
93 return;
94 if (!pluginAPIVersion)
95 return;
96
97 diags->Report(diag::warn_incompatible_analyzer_plugin_api)
98 << llvm::sys::path::filename(pluginPath);
99 diags->Report(diag::note_incompatible_analyzer_plugin_api)
100 << CLANG_ANALYZER_API_VERSION_STRING
101 << pluginAPIVersion;
102}
103
Gabor Horvathc4309902016-08-08 13:41:04 +0000104static SmallVector<CheckerOptInfo, 8>
105getCheckerOptList(const AnalyzerOptions &opts) {
106 SmallVector<CheckerOptInfo, 8> checkerOpts;
107 for (unsigned i = 0, e = opts.CheckersControlList.size(); i != e; ++i) {
108 const std::pair<std::string, bool> &opt = opts.CheckersControlList[i];
Malcolm Parsonsf76f6502016-11-02 10:39:27 +0000109 checkerOpts.push_back(CheckerOptInfo(opt.first, opt.second));
Gabor Horvathc4309902016-08-08 13:41:04 +0000110 }
111 return checkerOpts;
112}
113
David Blaikie53dd8fe2014-08-29 20:11:03 +0000114std::unique_ptr<CheckerManager>
115ento::createCheckerManager(AnalyzerOptions &opts, const LangOptions &langOpts,
116 ArrayRef<std::string> plugins,
117 DiagnosticsEngine &diags) {
Ahmed Charlesb8984322014-03-07 20:03:18 +0000118 std::unique_ptr<CheckerManager> checkerMgr(
David Blaikie43a38452017-01-04 22:36:39 +0000119 new CheckerManager(langOpts, opts));
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +0000120
Gabor Horvathc4309902016-08-08 13:41:04 +0000121 SmallVector<CheckerOptInfo, 8> checkerOpts = getCheckerOptList(opts);
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +0000122
Jordy Rose075d73b2011-08-17 04:56:03 +0000123 ClangCheckerRegistry allCheckers(plugins, &diags);
124 allCheckers.initializeManager(*checkerMgr, checkerOpts);
Gabor Horvathfc4c4d42015-07-09 21:43:45 +0000125 allCheckers.validateCheckerOptions(opts, diags);
Argyrios Kyrtzidisa15dfec2011-02-28 17:36:09 +0000126 checkerMgr->finishedCheckerRegistration();
127
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +0000128 for (unsigned i = 0, e = checkerOpts.size(); i != e; ++i) {
Anna Zaksd5478fd2014-08-29 20:01:38 +0000129 if (checkerOpts[i].isUnclaimed()) {
Ted Kremenek2b619662012-07-25 07:12:13 +0000130 diags.Report(diag::err_unknown_analyzer_checker)
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +0000131 << checkerOpts[i].getName();
Anna Zaksd5478fd2014-08-29 20:01:38 +0000132 diags.Report(diag::note_suggest_disabling_all_checkers);
133 }
134
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +0000135 }
136
Richard Trieud4b05ce2015-01-17 00:46:55 +0000137 return checkerMgr;
Argyrios Kyrtzidis556c45e2011-02-14 18:13:31 +0000138}
Argyrios Kyrtzidis17bee3e2011-02-25 00:09:51 +0000139
Jordy Rose59cce712011-08-16 21:24:21 +0000140void ento::printCheckerHelp(raw_ostream &out, ArrayRef<std::string> plugins) {
141 out << "OVERVIEW: Clang Static Analyzer Checkers List\n\n";
142 out << "USAGE: -analyzer-checker <CHECKER or PACKAGE,...>\n\n";
Argyrios Kyrtzidis17bee3e2011-02-25 00:09:51 +0000143
Jordy Rose93b86e42011-08-17 01:30:59 +0000144 ClangCheckerRegistry(plugins).printHelp(out);
Argyrios Kyrtzidis17bee3e2011-02-25 00:09:51 +0000145}
Gabor Horvathc4309902016-08-08 13:41:04 +0000146
147void ento::printEnabledCheckerList(raw_ostream &out,
148 ArrayRef<std::string> plugins,
149 const AnalyzerOptions &opts) {
150 out << "OVERVIEW: Clang Static Analyzer Enabled Checkers List\n\n";
151
152 SmallVector<CheckerOptInfo, 8> checkerOpts = getCheckerOptList(opts);
153 ClangCheckerRegistry(plugins).printList(out, checkerOpts);
154}