clang  14.0.0git
Public Member Functions | List of all members
clang::ento::FalsePositiveRefutationBRVisitor Class Referencefinal

The bug visitor will walk all the nodes in a path and collect all the constraints. More...

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

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

Public Member Functions

 FalsePositiveRefutationBRVisitor ()
 
void Profile (llvm::FoldingSetNodeID &ID) const override
 
PathDiagnosticPieceRef VisitNode (const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &BR) override
 Return a diagnostic piece which should be associated with the given node. More...
 
void finalizeVisitor (BugReporterContext &BRC, const ExplodedNode *EndPathNode, PathSensitiveBugReport &BR) override
 Last function called on the visitor, no further calls to VisitNode would follow. More...
 
void addConstraints (const ExplodedNode *N, bool OverwriteConstraintsOnExistingSyms)
 
- Public Member Functions inherited from clang::ento::BugReporterVisitor
 BugReporterVisitor ()=default
 
 BugReporterVisitor (const BugReporterVisitor &)=default
 
 BugReporterVisitor (BugReporterVisitor &&)
 
virtual ~BugReporterVisitor ()
 
virtual PathDiagnosticPieceRef getEndPath (BugReporterContext &BRC, const ExplodedNode *N, PathSensitiveBugReport &BR)
 Provide custom definition for the final diagnostic piece on the path - the piece, which is displayed before the path is expanded. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from clang::ento::BugReporterVisitor
static PathDiagnosticPieceRef getDefaultEndPath (const BugReporterContext &BRC, const ExplodedNode *N, const PathSensitiveBugReport &BR)
 Generates the default final diagnostic piece. More...
 

Detailed Description

The bug visitor will walk all the nodes in a path and collect all the constraints.

When it reaches the root node, will create a refutation manager and check if the constraints are satisfiable

Definition at line 596 of file BugReporterVisitors.h.

Constructor & Destructor Documentation

◆ FalsePositiveRefutationBRVisitor()

FalsePositiveRefutationBRVisitor::FalsePositiveRefutationBRVisitor ( )

Definition at line 3225 of file BugReporterVisitors.cpp.

Member Function Documentation

◆ addConstraints()

void FalsePositiveRefutationBRVisitor::addConstraints ( const ExplodedNode N,
bool  OverwriteConstraintsOnExistingSyms 
)

◆ finalizeVisitor()

void FalsePositiveRefutationBRVisitor::finalizeVisitor ( BugReporterContext BRC,
const ExplodedNode EndPathNode,
PathSensitiveBugReport BR 
)
overridevirtual

◆ Profile()

void FalsePositiveRefutationBRVisitor::Profile ( llvm::FoldingSetNodeID &  ID) const
overridevirtual

Implements clang::ento::BugReporterVisitor.

Definition at line 3291 of file BugReporterVisitors.cpp.

◆ VisitNode()

PathDiagnosticPieceRef FalsePositiveRefutationBRVisitor::VisitNode ( const ExplodedNode Succ,
BugReporterContext BRC,
PathSensitiveBugReport BR 
)
overridevirtual

Return a diagnostic piece which should be associated with the given node.

Note that this function does not get run on the very last node of the report, as the PathDiagnosticPiece associated with the last node should be unique. Use getEndPath to customize the note associated with the report end instead.

The last parameter can be used to register a new visitor with the given BugReport while processing a node.

Implements clang::ento::BugReporterVisitor.

Definition at line 3285 of file BugReporterVisitors.cpp.

References addConstraints().


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