#include <BugReporter.h>
Public Member Functions | |
| GRBugReporter (BugReporterData &d, ExprEngine &eng) | |
| virtual | ~GRBugReporter () |
| ExprEngine & | getEngine () |
| ExplodedGraph & | getGraph () |
| ProgramStateManager & | getStateManager () |
| bool | generatePathDiagnostic (PathDiagnostic &PD, PathDiagnosticConsumer &PC, ArrayRef< BugReport * > &bugReports) override |
Static Public Member Functions | |
| static bool | classof (const BugReporter *R) |
| classof - Used by isa<>, cast<>, and dyn_cast<>. | |
Detailed Description
Definition at line 489 of file BugReporter.h.
Constructor & Destructor Documentation
| clang::ento::GRBugReporter::GRBugReporter | ( | BugReporterData & | d, |
| ExprEngine & | eng | ||
| ) | [inline] |
Definition at line 492 of file BugReporter.h.
| GRBugReporter::~GRBugReporter | ( | ) | [virtual] |
Definition at line 2739 of file BugReporter.cpp.
Member Function Documentation
| static bool clang::ento::GRBugReporter::classof | ( | const BugReporter * | R | ) | [inline, static] |
classof - Used by isa<>, cast<>, and dyn_cast<>.
Definition at line 521 of file BugReporter.h.
References clang::ento::BugReporter::getKind(), and clang::ento::BugReporter::GRBugReporterKind.
| bool GRBugReporter::generatePathDiagnostic | ( | PathDiagnostic & | PD, |
| PathDiagnosticConsumer & | PC, | ||
| ArrayRef< BugReport * > & | bugReports | ||
| ) | [override, virtual] |
Generates a path corresponding to one of the given bug reports.
Which report is used for path generation is not specified. The bug reporter will try to pick the shortest path, but this is not guaranteed.
- Returns:
- True if the report was valid and a path was generated, false if the reports should be considered invalid.
Reimplemented from clang::ento::BugReporter.
Definition at line 3062 of file BugReporter.cpp.
References adjustCallLocations(), clang::ento::PathDiagnosticConsumer::AlternateExtensive, dropFunctionEntryEdge(), clang::ento::PathDiagnosticConsumer::Extensive, GenerateAlternateExtensivePathDiagnostic(), GenerateExtensivePathDiagnostic(), GenerateMinimalPathDiagnostic(), GenerateVisitorsOnlyPathDiagnostic(), clang::AnalyzerOptions::getBooleanOption(), clang::ento::BugReporterVisitor::getDefaultEndPath(), clang::ento::PathDiagnosticConsumer::getGenerationScheme(), clang::ento::PathDiagnostic::getMutablePieces(), clang::ento::PathDiagnosticConsumer::Minimal, clang::ento::PathDiagnosticConsumer::None, optimizeEdges(), clang::ento::PathDiagnostic::path, removeEdgesToDefaultInitializers(), removePiecesWithInvalidLocations(), removeRedundantMsgs(), removeUnneededCalls(), clang::ento::PathDiagnostic::resetPath(), clang::ento::PathDiagnostic::setEndOfPath(), and SM.
| ExprEngine& clang::ento::GRBugReporter::getEngine | ( | ) | [inline] |
getEngine - Return the analysis engine used to analyze a given function or method.
Definition at line 499 of file BugReporter.h.
Referenced by clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getEndPath().
getGraph - Get the exploded graph created by the analysis engine for the analyzed method or function.
Definition at line 2742 of file BugReporter.cpp.
Referenced by clang::ento::BugReporterContext::getGraph().
getStateManager - Return the state manager used by the analysis engine.
Definition at line 2745 of file BugReporter.cpp.
Referenced by clang::ento::BugReporterContext::getStateManager().
The documentation for this class was generated from the following files: