clang
3.9.0
|
#include <AnalysisManager.h>
Public Attributes | |
AnalyzerOptions & | options |
Definition at line 31 of file AnalysisManager.h.
AnalysisManager::AnalysisManager | ( | ASTContext & | ctx, |
DiagnosticsEngine & | diags, | ||
const LangOptions & | lang, | ||
const PathDiagnosticConsumers & | Consumers, | ||
StoreManagerCreator | storemgr, | ||
ConstraintManagerCreator | constraintmgr, | ||
CheckerManager * | checkerMgr, | ||
AnalyzerOptions & | Options, | ||
CodeInjector * | injector = nullptr |
||
) |
Definition at line 17 of file AnalysisManager.cpp.
References clang::AnalysisDeclContextManager::getCFGBuildOptions(), and clang::CFG::BuildOptions::setAllAlwaysAdd().
|
override |
Definition at line 43 of file AnalysisManager.cpp.
References E, FlushDiagnostics(), and I.
|
inline |
Definition at line 60 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::clear().
void AnalysisManager::FlushDiagnostics | ( | ) |
Definition at line 51 of file AnalysisManager.cpp.
Referenced by ~AnalysisManager().
|
inline |
Definition at line 118 of file AnalysisManager.h.
References clang::AnalysisDeclContext::getAnalysis(), and clang::AnalysisDeclContextManager::getContext().
|
inline |
Definition at line 126 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::getContext().
|
inline |
Definition at line 64 of file AnalysisManager.h.
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 72 of file AnalysisManager.h.
References options.
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 82 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::getContext(), and getSourceManager().
Definition at line 113 of file AnalysisManager.h.
References clang::AnalysisDeclContext::getCFG(), and clang::AnalysisDeclContextManager::getContext().
|
inline |
Definition at line 80 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::getCheckerManager().
|
inline |
Definition at line 76 of file AnalysisManager.h.
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 90 of file AnalysisManager.h.
|
inline |
Definition at line 94 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::VisitDeclStmt(), and clang::ento::ExprEngine::VisitLvalArraySubscriptExpr().
Definition at line 122 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::getContext(), and clang::AnalysisDeclContext::getParentMap().
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 98 of file AnalysisManager.h.
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 86 of file AnalysisManager.h.
References getASTContext(), and clang::ASTContext::getSourceManager().
|
inline |
Definition at line 68 of file AnalysisManager.h.
|
inline |
Definition at line 109 of file AnalysisManager.h.
References clang::AnalyzerOptions::getIPAMode(), clang::IPAK_None, and options.
|
inline |
Definition at line 104 of file AnalysisManager.h.
References options, clang::AnalyzerOptions::visualizeExplodedGraphWithGraphViz, and clang::AnalyzerOptions::visualizeExplodedGraphWithUbiGraph.
AnalyzerOptions& clang::ento::AnalysisManager::options |
Definition at line 47 of file AnalysisManager.h.
Referenced by getAnalyzerOptions(), clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getEndPath(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::ProcessNewAllocator(), shouldInlineCall(), shouldRemoveDeadBindings(), shouldVisualize(), clang::ento::SuppressInlineDefensiveChecksVisitor::SuppressInlineDefensiveChecksVisitor(), clang::ento::ExprEngine::Visit(), and clang::ento::ExprEngine::VisitCommonDeclRefExpr().