aboutsummaryrefslogtreecommitdiff
path: root/clang-tidy/ClangTidy.cpp
blob: dfd37d7df5195e6605d7296a5e59adbbbc804a13 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
//===--- tools/extra/clang-tidy/ClangTidy.cpp - Clang tidy tool -----------===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
///
///  \file This file implements a clang-tidy tool.
///
///  This tool uses the Clang Tooling infrastructure, see
///    http://clang.llvm.org/docs/HowToSetupToolingForLLVM.html
///  for details on setting it up with LLVM source tree.
///
//===----------------------------------------------------------------------===//

#include "ClangTidy.h"
#include "ClangTidyDiagnosticConsumer.h"
#include "ClangTidyModuleRegistry.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Decl.h"
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/Lex/PPCallbacks.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Frontend/ASTConsumers.h"
#include "clang/Frontend/CompilerInstance.h"
#include "clang/Frontend/FrontendActions.h"
#include "clang/Frontend/TextDiagnosticPrinter.h"
#include "clang/Rewrite/Frontend/FixItRewriter.h"
#include "clang/Rewrite/Frontend/FrontendActions.h"
#include "clang/StaticAnalyzer/Frontend/FrontendActions.h"
#include "clang/Tooling/Tooling.h"
#include "clang/Tooling/Refactoring.h"
#include "llvm/Support/Path.h"
#include "llvm/Support/Signals.h"
#include <vector>

using namespace clang::ast_matchers;
using namespace clang::driver;
using namespace clang::tooling;
using namespace llvm;

namespace clang {
namespace tidy {
namespace {

/// \brief A combined ASTConsumer that forwards calls to two different
/// consumers.
///
/// FIXME: This currently forwards just enough methods for the static analyzer
/// and the \c MatchFinder's consumer to work; expand this to all methods of
/// ASTConsumer and put it into a common location.
class CombiningASTConsumer : public ASTConsumer {
public:
  CombiningASTConsumer(ASTConsumer *Consumer1, ASTConsumer *Consumer2)
      : Consumer1(Consumer1), Consumer2(Consumer2) {}

  virtual void Initialize(ASTContext &Context) LLVM_OVERRIDE {
    Consumer1->Initialize(Context);
    Consumer2->Initialize(Context);
  }
  virtual bool HandleTopLevelDecl(DeclGroupRef D) LLVM_OVERRIDE {
    return Consumer1->HandleTopLevelDecl(D) && Consumer2->HandleTopLevelDecl(D);
  }
  virtual void HandleTopLevelDeclInObjCContainer(DeclGroupRef D) LLVM_OVERRIDE {
    Consumer1->HandleTopLevelDeclInObjCContainer(D);
    Consumer2->HandleTopLevelDeclInObjCContainer(D);
  }
  virtual void HandleTranslationUnit(ASTContext &Context) LLVM_OVERRIDE {
    Consumer1->HandleTranslationUnit(Context);
    Consumer2->HandleTranslationUnit(Context);
  }

private:
  llvm::OwningPtr<ASTConsumer> Consumer1;
  llvm::OwningPtr<ASTConsumer> Consumer2;
};

/// \brief Action that runs clang-tidy and static analyzer checks.
///
/// FIXME: Note that this inherits from \c AnalysisAction as this is the only
/// way we can currently get to AnalysisAction::CreateASTConsumer. Ideally
/// we'd want to build a more generic way to use \c FrontendAction based
/// checkers in clang-tidy, but that needs some preperation work first.
class ClangTidyAction : public ento::AnalysisAction {
public:
  ClangTidyAction(StringRef CheckRegexString,
                  SmallVectorImpl<ClangTidyCheck *> &Checks,
                  ClangTidyContext &Context, MatchFinder &Finder)
      : CheckRegexString(CheckRegexString), Checks(Checks), Context(Context),
        Finder(Finder) {}

private:
  clang::ASTConsumer *CreateASTConsumer(clang::CompilerInstance &Compiler,
                                        StringRef File) LLVM_OVERRIDE {
    AnalyzerOptionsRef Options = Compiler.getAnalyzerOpts();
    llvm::Regex CheckRegex(CheckRegexString);

    // Always add all core checkers if any other static analyzer checks are
    // enabled. This is currently necessary, as other path sensitive checks rely
    // on the core checkers.
    if (CheckRegex.match("clang-analyzer-"))
      Options->CheckersControlList.push_back(std::make_pair("core", true));

// Run our regex against all possible static analyzer checkers.
// Note that debug checkers print values / run programs to visualize the CFG
// and are thus not applicable to clang-tidy in general.
#define GET_CHECKERS
#define CHECKER(FULLNAME, CLASS, DESCFILE, HELPTEXT, GROUPINDEX, HIDDEN)       \
  if (!StringRef(FULLNAME).startswith("core") &&                               \
      !StringRef(FULLNAME).startswith("debug") &&                              \
      CheckRegex.match("clang-analyzer-" FULLNAME))                            \
    Options->CheckersControlList.push_back(std::make_pair(FULLNAME, true));
#include "../../../lib/StaticAnalyzer/Checkers/Checkers.inc"
#undef CHECKER
#undef GET_CHECKERS

    Options->AnalysisStoreOpt = RegionStoreModel;
    Options->AnalysisDiagOpt = PD_TEXT;
    Options->AnalyzeNestedBlocks = true;
    Options->eagerlyAssumeBinOpBifurcation = true;
    return new CombiningASTConsumer(
        Finder.newASTConsumer(),
        ento::AnalysisAction::CreateASTConsumer(Compiler, File));
  }

  virtual bool BeginSourceFileAction(CompilerInstance &Compiler,
                                     llvm::StringRef Filename) LLVM_OVERRIDE {
    if (!ento::AnalysisAction::BeginSourceFileAction(Compiler, Filename))
      return false;
    Context.setSourceManager(&Compiler.getSourceManager());
    for (SmallVectorImpl<ClangTidyCheck *>::iterator I = Checks.begin(),
                                                     E = Checks.end();
         I != E; ++I)
      (*I)->registerPPCallbacks(Compiler);
    return true;
  }

  std::string CheckRegexString;
  SmallVectorImpl<ClangTidyCheck *> &Checks;
  ClangTidyContext &Context;
  MatchFinder &Finder;
};

class ClangTidyActionFactory : public FrontendActionFactory {
public:
  ClangTidyActionFactory(StringRef CheckRegexString, ClangTidyContext &Context)
      : CheckRegexString(CheckRegexString), Context(Context) {
    ClangTidyCheckFactories CheckFactories;
    for (ClangTidyModuleRegistry::iterator I = ClangTidyModuleRegistry::begin(),
                                           E = ClangTidyModuleRegistry::end();
         I != E; ++I) {
      OwningPtr<ClangTidyModule> Module(I->instantiate());
      Module->addCheckFactories(CheckFactories);
    }

    SmallVector<ClangTidyCheck *, 16> Checks;
    CheckFactories.createChecks(CheckRegexString, Checks);

    for (SmallVectorImpl<ClangTidyCheck *>::iterator I = Checks.begin(),
                                                     E = Checks.end();
         I != E; ++I) {
      (*I)->setContext(&Context);
      (*I)->registerMatchers(&Finder);
    }
  }

  virtual FrontendAction *create() {
    return new ClangTidyAction(CheckRegexString, Checks, Context, Finder);
  }

private:
  std::string CheckRegexString;
  SmallVector<ClangTidyCheck *, 8> Checks;
  ClangTidyContext &Context;
  MatchFinder Finder;
};

} // namespace

ClangTidyMessage::ClangTidyMessage(StringRef Message) : Message(Message) {}

ClangTidyMessage::ClangTidyMessage(StringRef Message,
                                   const SourceManager &Sources,
                                   SourceLocation Loc)
    : Message(Message) {
  FilePath = Sources.getFilename(Loc);
  FileOffset = Sources.getFileOffset(Loc);
}

ClangTidyError::ClangTidyError(const ClangTidyMessage &Message)
    : Message(Message) {}

DiagnosticBuilder ClangTidyContext::Diag(SourceLocation Loc,
                                         StringRef Message) {
  return DiagEngine->Report(
      Loc, DiagEngine->getCustomDiagID(DiagnosticsEngine::Warning, Message));
}

void ClangTidyContext::setDiagnosticsEngine(DiagnosticsEngine *Engine) {
  DiagEngine = Engine;
}

void ClangTidyContext::setSourceManager(SourceManager *SourceMgr) {
  DiagEngine->setSourceManager(SourceMgr);
}

/// \brief Store a \c ClangTidyError.
void ClangTidyContext::storeError(const ClangTidyError &Error) {
  Errors->push_back(Error);
}

void ClangTidyCheck::run(const ast_matchers::MatchFinder::MatchResult &Result) {
  Context->setSourceManager(Result.SourceManager);
  check(Result);
}

FrontendActionFactory *createClangTidyActionFactory(StringRef CheckRegexString,
                                                    ClangTidyContext &Context) {
  return new ClangTidyActionFactory(CheckRegexString, Context);
}

void runClangTidy(StringRef CheckRegexString,
                  const tooling::CompilationDatabase &Compilations,
                  ArrayRef<std::string> Ranges,
                  SmallVectorImpl<ClangTidyError> *Errors) {
  // FIXME: Ranges are currently full files. Support selecting specific
  // (line-)ranges.
  ClangTool Tool(Compilations, Ranges);
  clang::tidy::ClangTidyContext Context(Errors);
  ClangTidyDiagnosticConsumer DiagConsumer(Context);

  Tool.setDiagnosticConsumer(&DiagConsumer);
  Tool.run(createClangTidyActionFactory(CheckRegexString, Context));
}

static void reportDiagnostic(const ClangTidyMessage &Message,
                             SourceManager &SourceMgr,
                             DiagnosticsEngine::Level Level,
                             DiagnosticsEngine &Diags) {
  SourceLocation Loc;
  if (!Message.FilePath.empty()) {
    const FileEntry *File =
        SourceMgr.getFileManager().getFile(Message.FilePath);
    FileID ID = SourceMgr.createFileID(File, SourceLocation(), SrcMgr::C_User);
    Loc = SourceMgr.getLocForStartOfFile(ID);
    Loc = Loc.getLocWithOffset(Message.FileOffset);
  }
  Diags.Report(Loc, Diags.getCustomDiagID(Level, Message.Message));
}

void handleErrors(SmallVectorImpl<ClangTidyError> &Errors, bool Fix) {
  FileManager Files((FileSystemOptions()));
  IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts = new DiagnosticOptions();
  DiagnosticConsumer *DiagPrinter =
      new TextDiagnosticPrinter(llvm::outs(), &*DiagOpts);
  DiagnosticsEngine Diags(IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs),
                          &*DiagOpts, DiagPrinter);
  DiagPrinter->BeginSourceFile(LangOptions());
  SourceManager SourceMgr(Diags, Files);
  Rewriter Rewrite(SourceMgr, LangOptions());
  for (SmallVectorImpl<ClangTidyError>::iterator I = Errors.begin(),
                                                 E = Errors.end();
       I != E; ++I) {
    reportDiagnostic(I->Message, SourceMgr, DiagnosticsEngine::Warning, Diags);
    for (unsigned i = 0, e = I->Notes.size(); i != e; ++i) {
      reportDiagnostic(I->Notes[i], SourceMgr, DiagnosticsEngine::Note, Diags);
    }
    tooling::applyAllReplacements(I->Fix, Rewrite);
  }
  // FIXME: Run clang-format on changes.
  if (Fix)
    Rewrite.overwriteChangedFiles();
}

} // namespace tidy
} // namespace clang