Utilities/StaticAnalyzers/src/ESRecordGetChecker.h - master - githubmirror/cmssw

Utilities/StaticAnalyzers/src/ESRecordGetChecker.h

44 строки2 KB

Patrick Gartung

EventSetupRecord::get static analyzer: Add calls to get made in non-member functions

12 мар 2021, 22:01

12 мар 2021, 22:01e5efbd2

#ifndef Utilities_StaticAnalyzers_ESRGetChecker_h
#define Utilities_StaticAnalyzers_ESRGetChecker_h
#include <clang/AST/DeclCXX.h>
#include <clang/AST/Decl.h>
#include <clang/AST/DeclTemplate.h>
#include <clang/AST/StmtVisitor.h>
#include <clang/AST/ParentMap.h>
#include <clang/Analysis/CFGStmtMap.h>
#include <clang/Analysis/CallGraph.h>
#include <llvm/Support/SaveAndRestore.h>
#include <clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h>
#include <clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h>
#include <clang/StaticAnalyzer/Core/Checker.h>
#include <clang/StaticAnalyzer/Core/BugReporter/BugReporter.h>
#include <clang/StaticAnalyzer/Core/BugReporter/BugType.h>
#include <llvm/ADT/SmallString.h>

#include "CmsException.h"
#include "CmsSupport.h"

namespace clangcms {

  class ESRGetChecker : public clang::ento::Checker<clang::ento::check::ASTDecl<clang::CXXMethodDecl>,
                                                    clang::ento::check::ASTDecl<clang::FunctionTemplateDecl>,
                                                    clang::ento::check::ASTDecl<clang::FunctionDecl> > {
  public:
    void checkASTDecl(const clang::CXXMethodDecl *CMD,
                      clang::ento::AnalysisManager &mgr,
                      clang::ento::BugReporter &BR) const;

    void checkASTDecl(const clang::FunctionTemplateDecl *TD,
                      clang::ento::AnalysisManager &mgr,
                      clang::ento::BugReporter &BR) const;

    void checkASTDecl(const clang::FunctionDecl *CMD,
                      clang::ento::AnalysisManager &mgr,
                      clang::ento::BugReporter &BR) const;

  private:
    CmsException m_exception;
  };

}  // namespace clangcms
#endif