clang
7.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 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 42 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 50 of file AnalysisManager.cpp.
Referenced by getPathDiagnosticConsumers(), and ~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().
Referenced by emitDiagnostics(), isIdenticalStmt(), and seenBeforeRec().
|
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.
Referenced by mayInlineDecl(), tryRearrange(), and clang::ento::ExprEngine::VisitCXXNewExpr().
|
inlineoverridevirtual |
Implements clang::ento::BugReporterData.
Definition at line 82 of file AnalysisManager.h.
Referenced by clang::ento::ProgramStateTrait< SymbolSet >::GDMIndex(), clang::ento::ExprEngine::getContext(), getSourceManager(), and isInCodeFile().
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.
|
inlinestatic |
Definition at line 130 of file AnalysisManager.h.
References clang::SourceManager::getFileID(), clang::SourceManager::getFilename(), clang::SourceManager::getIncludeLoc(), clang::SourceManager::isInMainFile(), and clang::SourceLocation::isValid().
Referenced by clang::ObjCMethodCall::canBeOverridenInSubclass(), getFirstStackedCallToHeaderFile(), isInCodeFile(), and mayInlineDecl().
|
inline |
Definition at line 155 of file AnalysisManager.h.
References getASTContext(), clang::ASTContext::getSourceManager(), isInCodeFile(), and SM.
|
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(), clang::ento::AnyFunctionCall::getRuntimeDefinition(), clang::ento::SValBuilder::makeSymExprValNN(), mayInlineDecl(), clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::ProcessNewAllocator().