clang
10.0.0git
|
#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 30 of file AnalysisManager.h.
AnalysisManager::AnalysisManager | ( | ASTContext & | ctx, |
const PathDiagnosticConsumers & | Consumers, | ||
StoreManagerCreator | storemgr, | ||
ConstraintManagerCreator | constraintmgr, | ||
CheckerManager * | checkerMgr, | ||
AnalyzerOptions & | Options, | ||
CodeInjector * | injector = nullptr |
||
) |
Definition at line 16 of file AnalysisManager.cpp.
|
override |
Definition at line 51 of file AnalysisManager.cpp.
References FlushDiagnostics().
|
inline |
Definition at line 56 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::clear().
void AnalysisManager::FlushDiagnostics | ( | ) |
Definition at line 59 of file AnalysisManager.cpp.
Referenced by getPathDiagnosticConsumers(), and ~AnalysisManager().
|
inline |
Definition at line 109 of file AnalysisManager.h.
References clang::AnalysisDeclContext::getAnalysis(), and clang::AnalysisDeclContextManager::getContext().
|
inline |
Definition at line 117 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::getContext().
Referenced by clang::ento::ExprEngine::processCallExit().
|
inline |
Definition at line 60 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::getAnalysisDeclContextManager().
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 68 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 78 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::getContext(), getSourceManager(), and isInCodeFile().
Definition at line 104 of file AnalysisManager.h.
References clang::AnalysisDeclContext::getCFG(), and clang::AnalysisDeclContextManager::getContext().
|
inline |
Definition at line 76 of file AnalysisManager.h.
Referenced by clang::ento::ExprEngine::getCheckerManager().
|
inline |
Definition at line 72 of file AnalysisManager.h.
|
inline |
Definition at line 86 of file AnalysisManager.h.
Definition at line 113 of file AnalysisManager.h.
References clang::AnalysisDeclContextManager::getContext(), and clang::AnalysisDeclContext::getParentMap().
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 90 of file AnalysisManager.h.
References FlushDiagnostics().
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 82 of file AnalysisManager.h.
References getASTContext(), and clang::ASTContext::getSourceManager().
|
inline |
Definition at line 64 of file AnalysisManager.h.
|
inlinestatic |
Definition at line 121 of file AnalysisManager.h.
References clang::SourceManager::getFileID(), clang::SourceManager::getFilename(), clang::SourceManager::getIncludeLoc(), clang::SourceManager::isInMainFile(), and clang::SourceLocation::isValid().
Referenced by CompactMacroExpandedPieces(), and isInCodeFile().
|
inline |
Definition at line 146 of file AnalysisManager.h.
References getASTContext(), clang::ASTContext::getSourceManager(), isInCodeFile(), and SM.
|
inline |
Definition at line 100 of file AnalysisManager.h.
References clang::AnalyzerOptions::getIPAMode(), and clang::IPAK_None.
|
inline |
Definition at line 96 of file AnalysisManager.h.
References clang::AnalyzerOptions::visualizeExplodedGraphWithGraphViz.
AnalyzerOptions& clang::ento::AnalysisManager::options |
Definition at line 45 of file AnalysisManager.h.
Referenced by getAnalyzerOptions(), clang::ento::AnyFunctionCall::getRuntimeDefinition(), clang::ento::SValBuilder::makeSymExprValNN(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::ProcessLoopExit(), and clang::ento::ExprEngine::ProcessNewAllocator().