clang: lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp File Reference (original) (raw)
#include "[RetainCountDiagnostics.h](RetainCountDiagnostics%5F8h%5Fsource.html)"#include "[RetainCountChecker.h](RetainCountChecker%5F8h%5Fsource.html)"#include "llvm/ADT/STLExtras.h"#include "llvm/ADT/SmallVector.h"#include <optional>
Go to the source code of this file.
| Functions | |
|---|---|
| static bool | isNumericLiteralExpression (const Expr *E) |
| static std::string | getPrettyTypeName (QualType QT) |
| If type represents a pointer to CXXRecordDecl, and is not a typedef, return the decl name. | |
| static bool | shouldGenerateNote (llvm::raw_string_ostream &os, const RefVal *PrevT, const RefVal &CurrV, bool DeallocSent) |
| Write information about the type state change to os, return whether the note should be generated. | |
| static std::optional< unsigned > | findArgIdxOfSymbol (ProgramStateRef CurrSt, const LocationContext *LCtx, SymbolRef &Sym, std::optional< CallEventRef<> > CE) |
| Finds argument index of the out paramter in the call S corresponding to the symbol Sym. | |
| static std::optional< std::string > | findMetaClassAlloc (const Expr *Callee) |
| static std::string | findAllocatedObjectName (const Stmt *S, QualType QT) |
| static void | generateDiagnosticsForCallLike (ProgramStateRef CurrSt, const LocationContext *LCtx, const RefVal &CurrV, SymbolRef &Sym, const Stmt *S, llvm::raw_string_ostream &os) |
| static const ExplodedNode * | getCalleeNode (const ExplodedNode *Pred) |
| Find the first node with the parent stack frame. | |
| static std::shared_ptr< PathDiagnosticEventPiece > | annotateConsumedSummaryMismatch (const ExplodedNode *N, CallExitBegin &CallExitLoc, const SourceManager &SM, CallEventManager &CEMgr) |
| Insert a diagnostic piece at function exit if a function parameter is annotated as "os_consumed", but it does not actually consume the reference. | |
| static std::shared_ptr< PathDiagnosticEventPiece > | annotateStartParameter (const ExplodedNode *N, SymbolRef Sym, const SourceManager &SM) |
| Annotate the parameter at the analysis entry point. | |
| static std::optional< std::string > | describeRegion (const MemRegion *MR) |
| static Bindings | getAllVarBindingsForSymbol (ProgramStateManager &Manager, const ExplodedNode *Node, SymbolRef Sym) |
| static AllocationInfo | GetAllocationSite (ProgramStateManager &StateMgr, const ExplodedNode *N, SymbolRef Sym) |
◆ Bindings
◆ annotateConsumedSummaryMismatch()
Insert a diagnostic piece at function exit if a function parameter is annotated as "os_consumed", but it does not actually consume the reference.
Definition at line 325 of file RetainCountDiagnostics.cpp.
References clang::Call, clang::ento::PathDiagnosticLocation::create(), clang::Decl::getASTContext(), getCalleeNode(), clang::ento::CallEventManager::getCaller(), clang::ento::retaincountchecker::RefVal::getCount(), clang::NamedDecl::getNameForDiagnostic(), clang::ASTContext::getPrintingPolicy(), clang::ento::retaincountchecker::getRefBinding(), clang::ento::ExplodedNode::getStackFrame(), clang::ento::ExplodedNode::getState(), clang::Decl::hasAttr(), and SM.
Referenced by clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().
◆ annotateStartParameter()
Annotate the parameter at the analysis entry point.
Definition at line 375 of file RetainCountDiagnostics.cpp.
References clang::cast(), clang::ento::retaincountchecker::RefVal::getCount(), clang::CFG::getEntry(), clang::ento::ExplodedNode::getFirstPred(), clang::ento::ExplodedNode::getLocationAs(), clang::CFGBlock::getParent(), clang::ento::retaincountchecker::getRefBinding(), getRegion(), clang::ento::ExplodedNode::getState(), s, and SM.
Referenced by clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().
◆ describeRegion()
| std::optional< std::string > describeRegion ( const MemRegion * MR) | static |
|---|
◆ findAllocatedObjectName()
| std::string findAllocatedObjectName ( const Stmt * S, QualType QT ) | static |
|---|
◆ findArgIdxOfSymbol()
◆ findMetaClassAlloc()
| std::optional< std::string > findMetaClassAlloc ( const Expr * Callee) | static |
|---|
◆ generateDiagnosticsForCallLike()
Definition at line 159 of file RetainCountDiagnostics.cpp.
References clang::Call, clang::cast(), findAllocatedObjectName(), findArgIdxOfSymbol(), clang::Decl::getASTContext(), clang::ento::CallEventManager::getCall(), clang::NamedDecl::getNameForDiagnostic(), clang::ento::CallEventManager::getObjCMethodCall(), clang::ento::retaincountchecker::RefVal::getObjKind(), clang::ObjCObjectPointerType::getPointeeType(), clang::ASTContext::getPrintingPolicy(), clang::NamedDecl::getQualifiedNameAsString(), clang::ento::SymExpr::getType(), clang::isa(), clang::ento::retaincountchecker::RefVal::isNotOwned(), clang::QualType::isNull(), clang::ento::retaincountchecker::RefVal::isOwned(), clang::Type::isVoidType(), clang::ento::OCM_Message, clang::ento::OCM_PropertyAccess, clang::ento::OCM_Subscript, clang::T, and X.
Referenced by clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().
◆ GetAllocationSite()
Definition at line 614 of file RetainCountDiagnostics.cpp.
References clang::ProgramPoint::getAs(), clang::ento::SVal::getAsSymbol(), clang::ento::ExplodedNode::getFirstPred(), clang::ento::ExplodedNode::getLocation(), clang::ento::ExplodedNode::getLocationContext(), clang::ento::MemRegion::getMemorySpaceAs(), clang::ento::retaincountchecker::getRefBinding(), clang::ento::StoreManager::FindUniqueBinding::getRegion(), clang::LocationContext::getStackFrame(), clang::ento::ExplodedNode::getState(), clang::LocationContext::isParentOf(), clang::ento::ProgramStateManager::iterBindings(), clang::OMF_alloc, and clang::OMF_init.
◆ getAllVarBindingsForSymbol()
◆ getCalleeNode()
◆ getPrettyTypeName()
| std::string getPrettyTypeName ( QualType QT) | static |
|---|
◆ isNumericLiteralExpression()
| bool isNumericLiteralExpression ( const Expr * E) | static |
|---|
◆ shouldGenerateNote()
| bool shouldGenerateNote ( llvm::raw_string_ostream & os, const RefVal * PrevT, const RefVal & CurrV, bool DeallocSent ) | static |
|---|
Write information about the type state change to os, return whether the note should be generated.
Definition at line 43 of file RetainCountDiagnostics.cpp.
References clang::ento::retaincountchecker::RefVal::getAutoreleaseCount(), clang::ento::retaincountchecker::RefVal::getCombinedCounts(), clang::ento::retaincountchecker::RefVal::getCount(), clang::ento::retaincountchecker::RefVal::getIvarAccessHistory(), clang::ento::retaincountchecker::RefVal::getKind(), clang::ento::retaincountchecker::RefVal::hasSameState(), clang::ento::retaincountchecker::RefVal::NotOwned, clang::ento::retaincountchecker::RefVal::Owned, clang::ento::retaincountchecker::RefVal::Released, clang::ento::retaincountchecker::RefVal::ReturnedNotOwned, and clang::ento::retaincountchecker::RefVal::ReturnedOwned.
Referenced by clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().