clang
6.0.0
|
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 Expr * | clang::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 Stmt * | clang::ento::bugreporter::GetDenomExpr (const ExplodedNode *N) |
const Stmt * | clang::ento::bugreporter::GetRetValExpr (const ExplodedNode *N) |
bool | clang::ento::bugreporter::isDeclRefExprToReference (const Expr *E) |