">

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().