clang  6.0.0svn
Classes | Namespaces | Functions
BugReporterVisitor.h File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "llvm/ADT/FoldingSet.h"
Include dependency graph for BugReporterVisitor.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  clang::ento::BugReporterVisitor
 BugReporterVisitors are used to add custom diagnostics along a path. More...
 
class  clang::ento::BugReporterVisitorImpl< DERIVED >
 This class provides a convenience implementation for clone() using the Curiously-Recurring Template Pattern. More...
 
class  clang::ento::FindLastStoreBRVisitor
 
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::CXXSelfAssignmentBRVisitor
 

Namespaces

 clang
 Dataflow Directional Tag Classes.
 
 clang::ento
 
 clang::ento::bugreporter
 

Functions

bool clang::ento::bugreporter::trackNullOrUndefValue (const ExplodedNode *N, const Stmt *S, BugReport &R, bool IsArg=false, bool EnableNullFPSuppression=true)
 Attempts to add visitors to trace a null or undefined value back to its point of origin, whether it is a symbol constrained to null or an explicit assignment. More...
 
const Exprclang::ento::bugreporter::getDerefExpr (const Stmt *S)
 Given that expression S represents a pointer that would be dereferenced, try to find a sub-expression from which the pointer came from. More...
 
const Stmtclang::ento::bugreporter::GetDenomExpr (const ExplodedNode *N)
 
const Stmtclang::ento::bugreporter::GetRetValExpr (const ExplodedNode *N)
 
bool clang::ento::bugreporter::isDeclRefExprToReference (const Expr *E)