clang
8.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
Static Public Member Functions | |
static bool | isInCodeFile (SourceLocation SL, const SourceManager &SM) |
Public Attributes | |
AnalyzerOptions & | options |
Definition at line 31 of file AnalysisManager.h.
AnalysisManager::AnalysisManager | ( | ASTContext & | ctx, |
DiagnosticsEngine & | diags, | ||
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 47 of file AnalysisManager.cpp.
References FlushDiagnostics().
|
inline |
Definition at line 58 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::clear().
void AnalysisManager::FlushDiagnostics | ( | ) |
Definition at line 55 of file AnalysisManager.cpp.
Referenced by getPathDiagnosticConsumers(), and ~AnalysisManager().
|
inline |
Definition at line 115 of file AnalysisManager.h.
References clang::AnalysisDeclContext::getAnalysis(), and clang::AnalysisDeclContextManager::getContext().
|
inline |
Definition at line 123 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::getContext().
Referenced by clang::ento::ExprEngine::processCallExit().
|
inline |
Definition at line 62 of file AnalysisManager.h.
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 70 of file AnalysisManager.h.
References options.
Referenced by clang::ento::ExprEngine::CreateCXXTemporaryObject(), clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::VisitCXXNewExpr().
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 80 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::getContext(), getSourceManager(), and isInCodeFile().
Definition at line 110 of file AnalysisManager.h.
References clang::AnalysisDeclContext::getCFG(), and clang::AnalysisDeclContextManager::getContext().
|
inline |
Definition at line 78 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::getCheckerManager().
|
inline |
Definition at line 74 of file AnalysisManager.h.
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 88 of file AnalysisManager.h.
|
inline |
Definition at line 92 of file AnalysisManager.h.
Definition at line 119 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::getContext(), and clang::AnalysisDeclContext::getParentMap().
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 96 of file AnalysisManager.h.
References FlushDiagnostics().
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 84 of file AnalysisManager.h.
References getASTContext(), and clang::ASTContext::getSourceManager().
|
inline |
Definition at line 66 of file AnalysisManager.h.
|
inlinestatic |
Definition at line 127 of file AnalysisManager.h.
References clang::SourceManager::getFileID(), clang::SourceManager::getFilename(), clang::SourceManager::getIncludeLoc(), clang::SourceManager::isInMainFile(), and clang::SourceLocation::isValid().
Referenced by getFirstStackedCallToHeaderFile(), and isInCodeFile().
|
inline |
Definition at line 152 of file AnalysisManager.h.
References getASTContext(), clang::ASTContext::getSourceManager(), isInCodeFile(), and SM.
|
inline |
Definition at line 106 of file AnalysisManager.h.
References clang::AnalyzerOptions::getIPAMode(), and clang::IPAK_None.
|
inline |
Definition at line 102 of file AnalysisManager.h.
References clang::AnalyzerOptions::visualizeExplodedGraphWithGraphViz.
AnalyzerOptions& clang::ento::AnalysisManager::options |
Definition at line 47 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::ExprEngine(), getAnalyzerOptions(), clang::ento::AnyFunctionCall::getRuntimeDefinition(), clang::ento::SValBuilder::makeSymExprValNN(), clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::ProcessNewAllocator().