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.
Namespaces | |
---|---|
namespace | clang |
The JSON file list parser is used to communicate input to InstallAPI. | |
namespace | clang::ento |
namespace | clang::ento::retaincountchecker |
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 373 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()
◆ describeRegion()
static std::optional< std::string > describeRegion ( const MemRegion * MR) | static |
---|
◆ findAllocatedObjectName()
static std::string findAllocatedObjectName ( const Stmt * S, QualType QT ) | static |
---|
◆ findArgIdxOfSymbol()
◆ findMetaClassAlloc()
static std::optional< std::string > findMetaClassAlloc ( const Expr * Callee) | static |
---|
◆ generateDiagnosticsForCallLike()
Definition at line 210 of file RetainCountDiagnostics.cpp.
References clang::Call, clang::ento::CF, findAllocatedObjectName(), findArgIdxOfSymbol(), clang::ento::Generalized, 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::ento::retaincountchecker::RefVal::isNotOwned(), clang::QualType::isNull(), clang::ento::retaincountchecker::RefVal::isOwned(), clang::Type::isVoidType(), clang::ento::ObjC, clang::ento::OCM_Message, clang::ento::OCM_PropertyAccess, clang::ento::OCM_Subscript, clang::ento::OS, clang::T, and X.
Referenced by clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().
◆ GetAllocationSite()
Definition at line 668 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::getMemorySpace(), 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()
static std::string getPrettyTypeName ( QualType QT) | static |
---|
◆ isNumericLiteralExpression()
static bool isNumericLiteralExpression ( const Expr * E) | static |
---|
◆ shouldGenerateNote()
static 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 94 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::ReleasedAfterDirectAccess, clang::ento::retaincountchecker::RefVal::ReturnedNotOwned, and clang::ento::retaincountchecker::RefVal::ReturnedOwned.
Referenced by clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().