Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/CheckObjCDealloc_8cpp_source.html below:

clang: lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp Source File

;

ObjCDeallocChecker

:

<check::ASTDecl<ObjCImplementationDecl>,

check::PreObjCMessage, check::PostObjCMessage,

check::BeginFunction, check::EndFunction,

check::PreStmt<ReturnStmt>> {

MissingReleaseBugType{

,

,

ExtraReleaseBugType{

,

,

MistakenDeallocBugType{

,

,

Assumption)

;

diagnoseMistakenDealloc(

DeallocedValue,

findPropertyOnDeallocatingInstance(

IvarSym,

&SelfValOut)

;

&InstanceValOut)

;

initIdentifierInfoAndSelectors(

&Ctx)

;

assert(Mgr.

().getGC() != LangOptions::GCOnly);

(classHasSeparateTeardown(ID))

HasOthers =

;

(

*I :

->property_impls()) {

(!PropImplRequiringRelease)

PropImplRequiringRelease = I;

(!PropImplRequiringRelease)

(

*I :

->instance_methods()) {

(I->getSelector() == DeallocSel) {

* Name =

;

llvm::raw_string_ostream OS(Buf);

OS <<

<< *

<<

OS <<

;

ObjCDeallocChecker::checkBeginFunction(

initIdentifierInfoAndSelectors(

.getASTContext());

(!isInInstanceDealloc(

, SelfVal))

SymbolSet::Factory &F = State->getStateManager().get_context<

>();

RequiredReleases = F.getEmptySet();

(

*CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol))

RequiredReleases = *CurrSet;

(

*PropImpl : getContainingObjCImpl(LCtx)->property_impls()) {

LVal = State->getLValue(PropImpl->getPropertyIvarDecl(), SelfVal);

std::optional<Loc> LValLoc = LVal.

<

>();

InitialVal = State->getSVal(*LValLoc);

(!Symbol || !isa<SymbolRegionValue>(Symbol))

RequiredReleases = F.add(RequiredReleases, Symbol);

(!RequiredReleases.isEmpty()) {

State = State->set<UnreleasedIvarMap>(SelfSymbol, RequiredReleases);

(State != InitialState) {

.addTransition(State);

ObjCDeallocChecker::getIvarRegionForIvarSymbol(

IvarSym)

{

ObjCDeallocChecker::getInstanceSymbolFromIvarSymbol(

IvarSym)

{

*IvarRegion = getIvarRegionForIvarSymbol(IvarSym);

assert(SR &&

);

ObjCDeallocChecker::checkPreObjCMessage(

DeallocedInstance;

(!instanceDeallocIsOnStack(

, DeallocedInstance))

(diagnoseExtraRelease(ReleasedValue,M,

))

ReleasedValue = getValueReleasedByNillingOut(M,

);

transitionToReleaseValue(

, ReleasedValue);

ObjCDeallocChecker::checkPreCall(

&

,

(II != Block_releaseII)

(

.getNumArgs() != 1)

transitionToReleaseValue(

, ReleasedValue);

ObjCDeallocChecker::checkPostObjCMessage(

(isSuperDeallocMessage(M))

diagnoseMissingReleases(

);

ObjCDeallocChecker::checkEndFunction(

diagnoseMissingReleases(

);

ObjCDeallocChecker::checkPreStmt(

diagnoseMissingReleases(

);

Assumption)

{

(State->get<UnreleasedIvarMap>().isEmpty())

*CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.

());

(

*SIE = dyn_cast<SymIntExpr>(CondBSE)) {

llvm::APInt &RHS = SIE->getRHS();

NullSymbol = SIE->getLHS();

}

(

*SIE = dyn_cast<IntSymExpr>(CondBSE)) {

llvm::APInt &LHS = SIE->getLHS();

NullSymbol = SIE->getRHS();

InstanceSymbol = getInstanceSymbolFromIvarSymbol(NullSymbol);

State = removeValueRequiringRelease(State, InstanceSymbol, NullSymbol);

(State->get<UnreleasedIvarMap>().isEmpty())

*OMC = dyn_cast_or_null<ObjCMethodCall>(

);

(OMC && isSuperDeallocMessage(*OMC))

(

&Sym : Escaped) {

State = State->remove<UnreleasedIvarMap>(Sym);

InstanceSymbol = getInstanceSymbolFromIvarSymbol(Sym);

State = removeValueRequiringRelease(State, InstanceSymbol, Sym);

ObjCDeallocChecker::diagnoseMissingReleases(

&

)

{

(!isInInstanceDealloc(

, SelfVal))

*OldUnreleased = State->get<UnreleasedIvarMap>(SelfSym);

NewUnreleased = *OldUnreleased;

SymbolSet::Factory &F = State->getStateManager().get_context<

>();

(

*IvarSymbol : *OldUnreleased) {

cast<SymbolRegionValue>(IvarSymbol)->getRegion();

cast<ObjCMethodDecl>(LCtx->

())->getClassInterface())

NewUnreleased = F.remove(NewUnreleased, IvarSymbol);

(State->getStateManager()

.getConstraintManager()

.isNull(State, IvarSymbol)

.isConstrainedTrue()) {

ErrNode =

.generateNonFatalErrorNode();

llvm::raw_string_ostream OS(Buf);

(classHasSeparateTeardown(

))

OS <<

<< *IvarDecl <<

<< *ImplDecl

OS <<

;

BR = std::make_unique<PathSensitiveBugReport>(MissingReleaseBugType,

.emitReport(std::move(BR));

(NewUnreleased.isEmpty()) {

State = State->remove<UnreleasedIvarMap>(SelfSym);

State = State->set<UnreleasedIvarMap>(SelfSym, NewUnreleased);

.addTransition(State, ErrNode);

}

(State != InitialState) {

.addTransition(State);

assert(!LCtx->

() || State->get<UnreleasedIvarMap>().isEmpty());

ObjCDeallocChecker::findPropertyOnDeallocatingInstance(

DeallocedInstance;

(!isInInstanceDealloc(

, DeallocedInstance))

*IvarRegion = getIvarRegionForIvarSymbol(IvarSym);

*Container = getContainingObjCImpl(LCtx);

Container->FindPropertyImplIvarDecl(IvarDecl->

());

ObjCDeallocChecker::diagnoseExtraRelease(

ReleasedValue,

findPropertyOnDeallocatingInstance(ReleasedValue,

);

(getDeallocReleaseRequirement(PropImpl) !=

llvm::raw_string_ostream OS(Buf);

isReleasedByCIFilterDealloc(PropImpl)

*Container = getContainingObjCImpl(

.getLocationContext());

<<

<< *Container;

(isReleasedByCIFilterDealloc(PropImpl)) {

OS <<

;

OS <<

;

OS <<

;

OS <<

;

BR = std::make_unique<PathSensitiveBugReport>(ExtraReleaseBugType, Buf,

.emitReport(std::move(BR));

ObjCDeallocChecker::diagnoseMistakenDealloc(

DeallocedValue,

findPropertyOnDeallocatingInstance(DeallocedValue,

);

(getDeallocReleaseRequirement(PropImpl) !=

llvm::raw_string_ostream OS(Buf);

<<

;

BR = std::make_unique<PathSensitiveBugReport>(MistakenDeallocBugType,

.emitReport(std::move(BR));

ObjCDeallocChecker::initIdentifierInfoAndSelectors(

NSObjectII = &Ctx.

.

(

);

SenTestCaseII = &Ctx.

.

(

);

XCTestCaseII = &Ctx.

.

(

);

Block_releaseII = &Ctx.

.

(

);

CIFilterII = &Ctx.

.

(

);

ObjCDeallocChecker::isSuperDeallocMessage(

ObjCDeallocChecker::getContainingObjCImpl(

*LCtx)

{

*MD = cast<ObjCMethodDecl>(LCtx->

());

*CatDecl = dyn_cast<ObjCCategoryDecl>(PropDecl->

());

(!CatDecl || !CatDecl->IsClassExtension())

*ShadowedPropDecl = dyn_cast<ObjCPropertyDecl>(

);

(!ShadowedPropDecl)

(ShadowedPropDecl->isInstanceProperty()) {

assert(ShadowedPropDecl->isReadOnly());

ShadowedPropDecl;

removeValueRequiringRelease(InitialState, InstanceSym,

);

(ReleasedState != InitialState) {

.addTransition(ReleasedState);

*Unreleased = State->get<UnreleasedIvarMap>(Instance);

SymbolSet::Factory &F = State->getStateManager().get_context<

>();

(

&Sym : *Unreleased) {

*UnreleasedRegion = getIvarRegionForIvarSymbol(Sym);

assert(UnreleasedRegion);

(RemovedRegion->

() == UnreleasedRegion->

()) {

NewUnreleased = F.remove(NewUnreleased, Sym);

(NewUnreleased.isEmpty()) {

State->remove<UnreleasedIvarMap>(Instance);

State->set<UnreleasedIvarMap>(Instance, NewUnreleased);

(isReleasedByCIFilterDealloc(PropImpl))

(isNibLoadedIvarWithoutRetain(PropImpl))

llvm_unreachable(

);

ObjCDeallocChecker::getValueReleasedByNillingOut(

&M,

std::tie(notNilState, nilState) =

(!(nilState && !notNilState))

LVal = State->getLValue(PropIvarDecl, ReceiverVal);

std::optional<Loc> LValLoc = LVal.

<

>();

CurrentValInIvar = State->getSVal(*LValLoc);

ObjCDeallocChecker::isInInstanceDealloc(

&

,

&SelfValOut)

{

isInInstanceDealloc(

,

.getLocationContext(), SelfValOut);

ObjCDeallocChecker::isInInstanceDealloc(

&

,

&SelfValOut)

{

*MD = dyn_cast<ObjCMethodDecl>(LCtx->

());

assert(SelfDecl &&

);

SelfValOut = State->getSVal(State->getRegion(SelfDecl, LCtx));

ObjCDeallocChecker::instanceDeallocIsOnStack(

&

,

&InstanceValOut)

{

(isInInstanceDealloc(

, LCtx, InstanceValOut))

ObjCDeallocChecker::classHasSeparateTeardown(

( ;

;

=

->getSuperClass()) {

(II == NSObjectII)

(II == XCTestCaseII || II == SenTestCaseII)

ObjCDeallocChecker::isReleasedByCIFilterDealloc(

*ReleasePrefix =

;

(!(PropName.starts_with(ReleasePrefix) ||

IvarName.starts_with(ReleasePrefix))) {

( ;

;

=

->getSuperClass()) {

(II == CIFilterII)

ObjCDeallocChecker::isNibLoadedIvarWithoutRetain(

(!IvarDecl->

<IBOutletAttr>())

llvm::Triple &

=

(!

.isMacOSX())

ento::shouldRegisterObjCDeallocChecker(

&mgr) {

LO.getGC() != LangOptions::GCOnly && !LO.ObjCAutoRefCount;

static const MemRegion * getRegion(const CallEvent &Call, const MutexDescriptor &Descriptor, bool IsLock)

ReleaseRequirement

Indicates whether an instance variable is required to be released in -dealloc.

@ MustNotReleaseDirectly

The instance variable must not be directly released with -release.

@ Unknown

The requirement for the instance variable could not be determined.

@ MustRelease

The instance variable must be released, either by calling -release on it directly or by nilling it ou...

static bool isSynthesizedRetainableProperty(const ObjCPropertyImplDecl *I, const ObjCIvarDecl **ID, const ObjCPropertyDecl **PD)

Returns true if the property implementation is synthesized and the type of the property is retainable...

Defines the clang::LangOptions interface.

llvm::MachO::SymbolSet SymbolSet

llvm::MachO::Target Target

#define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value)

Declares an immutable map of type NameTy, suitable for placement into the ProgramState.

#define REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(Name, Elem)

Declares an immutable set type Name and registers the factory for such sets in the program state,...

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

SelectorTable & Selectors

const TargetInfo & getTargetInfo() const

The results of name lookup within a DeclContext.

ASTContext & getASTContext() const LLVM_READONLY

DeclContext * getDeclContext()

One of these records is kept for each identifier that is lexed.

IdentifierInfo & get(StringRef Name)

Return the identifier token info for the specified named identifier.

Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...

It wraps the AnalysisDeclContext to represent both the call stack with the help of StackFrameContext ...

const Decl * getDecl() const

const LocationContext * getParent() const

It might return null.

virtual bool inTopFrame() const

const ImplicitParamDecl * getSelfDecl() const

This represents a decl that may have a name.

IdentifierInfo * getIdentifier() const

Get the identifier that names this declaration, if there is one.

StringRef getName() const

Get the name of identifier for this declaration as a StringRef.

ObjCPropertyImplDecl * FindPropertyImplIvarDecl(IdentifierInfo *ivarId) const

FindPropertyImplIvarDecl - This method lookup the ivar in the list of properties implemented in this ...

ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...

Represents an ObjC class declaration.

ObjCIvarDecl - Represents an ObjC instance variable.

ObjCInterfaceDecl * getContainingInterface()

Return the class interface that this ivar is logically contained in; this is either the interface whe...

@ SuperInstance

The receiver is the instance of the superclass object.

ReceiverKind getReceiverKind() const

Determine the kind of receiver that this message is being sent to.

ObjCMethodDecl - Represents an instance or class method declaration.

Selector getSelector() const

bool isInstanceMethod() const

Represents one property declaration in an Objective-C interface.

ObjCMethodDecl * getSetterMethodDecl() const

bool isReadOnly() const

isReadOnly - Return true iff the property has a setter.

ObjCIvarDecl * getPropertyIvarDecl() const

SetterKind getSetterKind() const

getSetterKind - Return the method used for doing assignment in the property setter.

ObjCPropertyImplDecl - Represents implementation declaration of a property in a class or category imp...

ObjCIvarDecl * getPropertyIvarDecl() const

Kind getPropertyImplementation() const

ObjCPropertyDecl * getPropertyDecl() const

A (possibly-)qualified type.

ReturnStmt - This represents a return, optionally of an expression: return; return 4;.

Selector getSelector(unsigned NumArgs, const IdentifierInfo **IIV)

Can create any sort of selector.

Smart pointer class that efficiently represents Objective-C method names.

SourceRange getSourceRange() const LLVM_READONLY

SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...

const llvm::Triple & getTriple() const

Returns the target triple of the primary target.

bool isObjCRetainableType() const

const LangOptions & getLangOpts() const

ASTContext & getASTContext() override

BugReporter is a utility class for generating PathDiagnostics for analysis.

const SourceManager & getSourceManager()

void EmitBasicReport(const Decl *DeclWithIssue, const CheckerBase *Checker, StringRef BugName, StringRef BugCategory, StringRef BugStr, PathDiagnosticLocation Loc, ArrayRef< SourceRange > Ranges={}, ArrayRef< FixItHint > Fixits={})

Represents an abstract call to a function or method along a particular path.

const ProgramStateRef & getState() const

The state in which the call is being evaluated.

virtual SVal getArgSVal(unsigned Index) const

Returns the value of a given argument at the time of the call.

CHECKER * registerChecker(AT &&... Args)

Used to register checkers.

const LangOptions & getLangOpts() const

MemRegion - The root abstract class for all memory regions.

const SymbolicRegion * getSymbolicBase() const

If this is a symbolic region, returns the region.

LLVM_ATTRIBUTE_RETURNS_NONNULL const ObjCIvarDecl * getDecl() const override

Represents any expression that calls an Objective-C method.

const Expr * getArgExpr(unsigned Index) const override

Returns the expression associated with a given argument.

unsigned getNumArgs() const override

Returns the number of arguments (explicit and implicit).

const ObjCMessageExpr * getOriginExpr() const override

Returns the expression whose value will be the result of this call.

SVal getReceiverSVal() const

Returns the value of the receiver at the time of this call.

bool isReceiverSelfOrSuper() const

Checks if the receiver refers to 'self' or 'super'.

Selector getSelector() const

const ObjCPropertyDecl * getAccessedProperty() const

static PathDiagnosticLocation createBegin(const Decl *D, const SourceManager &SM)

Create a location for the beginning of the declaration.

SVal - This represents a symbolic expression, which can be either an L-value or an R-value.

SymbolRef getAsSymbol(bool IncludeBaseRegions=false) const

If this SVal wraps a symbol return that SymbolRef.

std::optional< T > getAs() const

Convert to the specified SVal type, returning std::nullopt if this SVal is not of the desired type.

T castAs() const

Convert to the specified SVal type, asserting that this SVal is of the desired type.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getSuperRegion() const

virtual const MemRegion * getOriginRegion() const

Find the region from which this symbol originates.

SymbolicRegion - A special, "non-concrete" region.

SymbolRef getSymbol() const

It might return null.

TypedValueRegion - An abstract class representing regions having a typed value.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getRegion() const

Get the underlining region.

Defines the clang::TargetInfo interface.

const char *const CoreFoundationObjectiveC

const char *const MemoryRefCount

PointerEscapeKind

Describes the different reasons a pointer escapes during analysis.

llvm::DenseSet< SymbolRef > InvalidatedSymbols

The JSON file list parser is used to communicate input to InstallAPI.

const FunctionProtoType * T

@ Interface

The "__interface" keyword introduces the elaborated-type-specifier.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4