clang  6.0.0svn
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::GRBugReporter Class Reference

#include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h"

Inheritance diagram for clang::ento::GRBugReporter:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::GRBugReporter:
Collaboration graph
[legend]

Public Member Functions

 GRBugReporter (BugReporterData &d, ExprEngine &eng)
 
 ~GRBugReporter () override
 
ExprEnginegetEngine ()
 getEngine - Return the analysis engine used to analyze a given function or method. More...
 
ExplodedGraphgetGraph ()
 getGraph - Get the exploded graph created by the analysis engine for the analyzed method or function. More...
 
ProgramStateManagergetStateManager ()
 getStateManager - Return the state manager used by the analysis engine. More...
 
bool generatePathDiagnostic (PathDiagnostic &PD, PathDiagnosticConsumer &PC, ArrayRef< BugReport *> &bugReports) override
 Generates a path corresponding to one of the given bug reports. More...
 
- Public Member Functions inherited from clang::ento::BugReporter
 BugReporter (BugReporterData &d)
 
virtual ~BugReporter ()
 
void FlushReports ()
 Generate and flush diagnostics for all bug reports. More...
 
Kind getKind () const
 
DiagnosticsEnginegetDiagnostic ()
 
ArrayRef< PathDiagnosticConsumer * > getPathDiagnosticConsumers ()
 
iterator begin ()
 
iterator end ()
 
EQClasses_iterator EQClasses_begin ()
 
EQClasses_iterator EQClasses_end ()
 
ASTContextgetContext ()
 
SourceManagergetSourceManager ()
 
AnalyzerOptionsgetAnalyzerOptions ()
 
bool RemoveUnneededCalls (PathPieces &pieces, BugReport *R)
 
void Register (BugType *BT)
 
void emitReport (std::unique_ptr< BugReport > R)
 Add the given report to the set of reports tracked by BugReporter. More...
 
void EmitBasicReport (const Decl *DeclWithIssue, const CheckerBase *Checker, StringRef BugName, StringRef BugCategory, StringRef BugStr, PathDiagnosticLocation Loc, ArrayRef< SourceRange > Ranges=None)
 
void EmitBasicReport (const Decl *DeclWithIssue, CheckName CheckName, StringRef BugName, StringRef BugCategory, StringRef BugStr, PathDiagnosticLocation Loc, ArrayRef< SourceRange > Ranges=None)
 

Static Public Member Functions

static bool classof (const BugReporter *R)
 classof - Used by isa<>, cast<>, and dyn_cast<>. More...
 

Additional Inherited Members

- Public Types inherited from clang::ento::BugReporter
enum  Kind { BaseBRKind, GRBugReporterKind }
 
typedef BugTypesTy::iterator iterator
 Iterator over the set of BugTypes tracked by the BugReporter. More...
 
typedef llvm::FoldingSet< BugReportEquivClass >::iterator EQClasses_iterator
 Iterator over the set of BugReports tracked by the BugReporter. More...
 
- Protected Member Functions inherited from clang::ento::BugReporter
 BugReporter (BugReporterData &d, Kind k)
 

Detailed Description

Definition at line 504 of file BugReporter.h.

Constructor & Destructor Documentation

◆ GRBugReporter()

clang::ento::GRBugReporter::GRBugReporter ( BugReporterData d,
ExprEngine eng 
)
inline

Definition at line 507 of file BugReporter.h.

◆ ~GRBugReporter()

GRBugReporter::~GRBugReporter ( )
override

Definition at line 2754 of file BugReporter.cpp.

Member Function Documentation

◆ classof()

static bool clang::ento::GRBugReporter::classof ( const BugReporter R)
inlinestatic

classof - Used by isa<>, cast<>, and dyn_cast<>.

Definition at line 536 of file BugReporter.h.

References clang::ento::BugReporter::getKind().

◆ generatePathDiagnostic()

bool GRBugReporter::generatePathDiagnostic ( PathDiagnostic PD,
PathDiagnosticConsumer PC,
ArrayRef< BugReport *> &  bugReports 
)
overridevirtual

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 3073 of file BugReporter.cpp.

◆ getEngine()

ExprEngine& clang::ento::GRBugReporter::getEngine ( )
inline

getEngine - Return the analysis engine used to analyze a given function or method.

Definition at line 514 of file BugReporter.h.

Referenced by clang::ento::LikelyFalsePositiveSuppressionBRVisitor::getEndPath().

◆ getGraph()

ExplodedGraph & GRBugReporter::getGraph ( )

getGraph - Get the exploded graph created by the analysis engine for the analyzed method or function.

Definition at line 2757 of file BugReporter.cpp.

Referenced by clang::ento::BugReporterContext::getGraph().

◆ getStateManager()

ProgramStateManager & GRBugReporter::getStateManager ( )

getStateManager - Return the state manager used by the analysis engine.

Definition at line 2760 of file BugReporter.cpp.

Referenced by clang::ento::BugReporterContext::getStateManager().


The documentation for this class was generated from the following files: