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.

Referenced by clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode().