#include <BugReporterVisitor.h>
Public Member Functions | |
| FindLastStoreBRVisitor (SVal v, const MemRegion *r) | |
| void | Profile (llvm::FoldingSetNodeID &ID) const |
| PathDiagnosticPiece * | VisitNode (const ExplodedNode *N, const ExplodedNode *PrevN, BugReporterContext &BRC, BugReport &BR) |
| Return a diagnostic piece which should be associated with the given node. | |
Static Public Member Functions | |
| static BugReporterVisitor * | createVisitorObject (const ExplodedNode *N, const MemRegion *R) |
| Convenience method to create a visitor given only the MemRegion. Returns NULL if the visitor cannot be created. For example, when the corresponding value is unknown. | |
| static void | registerStatementVarDecls (BugReport &BR, const Stmt *S) |
Detailed Description
Definition at line 97 of file BugReporterVisitor.h.
Constructor & Destructor Documentation
| clang::ento::FindLastStoreBRVisitor::FindLastStoreBRVisitor | ( | SVal | v, |
| const MemRegion * | r | ||
| ) | [inline] |
Definition at line 116 of file BugReporterVisitor.h.
References clang::ento::SVal::isUnknown().
Referenced by createVisitorObject(), and registerStatementVarDecls().
Member Function Documentation
| BugReporterVisitor * FindLastStoreBRVisitor::createVisitorObject | ( | const ExplodedNode * | N, |
| const MemRegion * | R | ||
| ) | [static] |
Convenience method to create a visitor given only the MemRegion. Returns NULL if the visitor cannot be created. For example, when the corresponding value is unknown.
Definition at line 362 of file BugReporterVisitors.cpp.
References FindLastStoreBRVisitor(), clang::ento::ExplodedNode::getState(), and clang::ento::SVal::isUnknown().
| void clang::ento::FindLastStoreBRVisitor::Profile | ( | llvm::FoldingSetNodeID & | ID | ) | const [virtual] |
Implements clang::ento::BugReporterVisitor.
Creates a visitor for every VarDecl inside a Stmt and registers it with the BugReport.
Definition at line 409 of file BugReporterVisitors.cpp.
References clang::ento::BugReport::addVisitor(), clang::Stmt::child_begin(), clang::Stmt::child_end(), FindLastStoreBRVisitor(), clang::ento::BugReport::getErrorNode(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::ProgramStateManager::getRegionManager(), clang::ento::ExplodedNode::getState(), and clang::ento::MemRegionManager::getVarRegion().
| PathDiagnosticPiece* clang::ento::FindLastStoreBRVisitor::VisitNode | ( | const ExplodedNode * | N, |
| const ExplodedNode * | PrevN, | ||
| BugReporterContext & | BRC, | ||
| BugReport & | BR | ||
| ) | [virtual] |
Return a diagnostic piece which should be associated with the given node.
The last parameter can be used to register a new visitor with the given BugReport while processing a node.
Implements clang::ento::BugReporterVisitor.
The documentation for this class was generated from the following files: