clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/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.
|
override |
Definition at line 39 of file AnalysisManager.cpp.
References FlushDiagnostics().
|
inline |
Definition at line 60 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::clear().
void AnalysisManager::FlushDiagnostics | ( | ) |
Definition at line 47 of file AnalysisManager.cpp.
Referenced by getPathDiagnosticConsumers(), and ~AnalysisManager().
Definition at line 118 of file AnalysisManager.h.
References clang::AnalysisDeclContext::getAnalysis(), clang::AnalysisDeclContextManager::getContext(), and clang::T.
|
inline |
Definition at line 126 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::getContext().
Referenced by isIdenticalStmt().
|
inline |
Definition at line 64 of file AnalysisManager.h.
Referenced by mayInlineDecl().
|
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::ProgramStateTrait< SymbolSet >::GDMIndex(), 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::ProgramStateTrait< SymbolSet >::GDMIndex().
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.
References FlushDiagnostics().
|
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(), and clang::IPAK_None.
Referenced by mayInlineDecl().
|
inline |
Definition at line 104 of file AnalysisManager.h.
References clang::AnalyzerOptions::visualizeExplodedGraphWithGraphViz, and clang::AnalyzerOptions::visualizeExplodedGraphWithUbiGraph.
AnalyzerOptions& clang::ento::AnalysisManager::options |
Definition at line 47 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::ExprEngine(), getAnalyzerOptions(), mayInlineDecl(), clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::ProcessNewAllocator().