|
clang
5.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 | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| 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) |
| 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) |
1.8.6