clang
6.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 GetAllocationSite(), and 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 |
Referenced by isSynthesizedAccessor().
|
inline |
Definition at line 565 of file BugReporter.h.
References clang::ento::BugReporter::getSourceManager().
Referenced by GetAllocationSite(), clang::ento::BugReporterVisitor::getDefaultEndPath(), isSynthesizedAccessor(), clang::ento::ConditionBRVisitor::patternMatch(), clang::ento::mpi::MPIBugReporter::reportUnmatchedWait(), clang::ento::ConditionBRVisitor::VisitConditionVariable(), clang::ento::TrackConstraintBRVisitor::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 GetAllocationSite(), clang::ento::FindLastStoreBRVisitor::VisitNode(), and clang::ento::UndefOrNullArgVisitor::VisitNode().
|
inline |
Definition at line 557 of file BugReporter.h.