clang  12.0.0git
Classes | Namespaces | Enumerations | Functions
BugReporterVisitors.h File Reference
#include "clang/Analysis/ProgramPoint.h"
#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringRef.h"
#include <memory>
Include dependency graph for BugReporterVisitors.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  clang::ento::BugReporterVisitor
 BugReporterVisitors are used to add custom diagnostics along a path. More...
class  clang::ento::FindLastStoreBRVisitor
 Finds last store into the given region, which is different from a given symbolic value. More...
class  clang::ento::TrackConstraintBRVisitor
class  clang::ento::NilReceiverBRVisitor
 Prints path notes when a message is sent to a nil receiver. More...
class  clang::ento::ConditionBRVisitor
 Visitor that tries to report interesting diagnostics from conditions. More...
class  clang::ento::LikelyFalsePositiveSuppressionBRVisitor
 Suppress reports that might lead to known false positives. More...
class  clang::ento::UndefOrNullArgVisitor
 When a region containing undefined value or '0' value is passed as an argument in a call, marks the call as interesting. More...
class  clang::ento::SuppressInlineDefensiveChecksVisitor
class  clang::ento::FalsePositiveRefutationBRVisitor
 The bug visitor will walk all the nodes in a path and collect all the constraints. More...
class  clang::ento::TagVisitor
 The visitor detects NoteTags and displays the event notes they contain. More...


 Dataflow Directional Tag Classes.


enum  clang::ento::bugreporter::TrackingKind { clang::ento::bugreporter::TrackingKind::Thorough, clang::ento::bugreporter::TrackingKind::Condition }
 Specifies the type of tracking for an expression. More...


bool clang::ento::bugreporter::trackExpressionValue (const ExplodedNode *N, const Expr *E, PathSensitiveBugReport &R, TrackingKind TKind=TrackingKind::Thorough, bool EnableNullFPSuppression=true)
 Attempts to add visitors to track expression value back to its point of origin. More...
const Expr * clang::ento::bugreporter::getDerefExpr (const Stmt *S)