|
clang
5.0.0
|
#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"
Public Member Functions | |
| BugReporterContext (GRBugReporter &br) | |
| virtual | ~BugReporterContext () |
| GRBugReporter & | getBugReporter () |
| ExplodedGraph & | getGraph () |
| ProgramStateManager & | getStateManager () |
| SValBuilder & | getSValBuilder () |
| ASTContext & | getASTContext () |
| SourceManager & | getSourceManager () |
| virtual BugReport::NodeResolver & | getNodeResolver ()=0 |
Definition at line 541 of file BugReporter.h.
|
inline |
Definition at line 545 of file BugReporter.h.
|
inlinevirtual |
Definition at line 547 of file BugReporter.h.
|
inline |
Definition at line 561 of file BugReporter.h.
References clang::ento::BugReporter::getContext().
Referenced by clang::ento::ConditionBRVisitor::patternMatch().
|
inline |
Definition at line 549 of file BugReporter.h.
Referenced by clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getEndPath(), and clang::ento::ConditionBRVisitor::VisitNodeImpl().
|
inline |
Definition at line 551 of file BugReporter.h.
References clang::ento::GRBugReporter::getGraph().
|
pure virtual |
|
inline |
Definition at line 565 of file BugReporter.h.
References clang::ento::BugReporter::getSourceManager().
Referenced by clang::ento::BugReporterVisitor::getDefaultEndPath(), clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getEndPath(), clang::ento::ConditionBRVisitor::patternMatch(), clang::ento::ConditionBRVisitor::VisitConditionVariable(), clang::ento::FindLastStoreBRVisitor::VisitNode(), clang::ento::TrackConstraintBRVisitor::VisitNode(), clang::ento::NilReceiverBRVisitor::VisitNode(), clang::ento::SuppressInlineDefensiveChecksVisitor::VisitNode(), clang::ento::CXXSelfAssignmentBRVisitor::VisitNode(), and clang::ento::ConditionBRVisitor::VisitTrueTest().
|
inline |
Definition at line 553 of file BugReporter.h.
References clang::ento::GRBugReporter::getStateManager().
Referenced by getSValBuilder(), clang::ento::FindLastStoreBRVisitor::VisitNode(), and clang::ento::UndefOrNullArgVisitor::VisitNode().
|
inline |
Definition at line 557 of file BugReporter.h.
References getStateManager(), and clang::ento::ProgramStateManager::getSValBuilder().
1.8.6