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

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

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

;

APIMisuse :

{

APIMisuse(

*checker,

*name)

ID->getIdentifier()->getName();

IncludeSuperclasses =

) {

llvm::StringMap<FoundationClass> Classes;

(Classes.empty()) {

result = Classes.lookup(ID->getIdentifier()->getName());

(result ==

&& IncludeSuperclasses)

NilArgChecker :

<check::PreObjCMessage,

check::PostStmt<ObjCDictionaryLiteral>,

check::PostStmt<ObjCArrayLiteral>,

EventDispatcher<ImplicitNullDerefEvent>> {

std::unique_ptr<APIMisuse> BT;

llvm::SmallDenseMap<Selector, unsigned, 16> StringSelectors;

ArrayWithObjectSel;

InsertObjectAtIndexSel;

ReplaceObjectAtIndexWithObjectSel;

SetObjectAtIndexedSubscriptSel;

ArrayByAddingObjectSel;

DictionaryWithObjectForKeySel;

SetObjectForKeySel;

SetObjectForKeyedSubscriptSel;

RemoveObjectForKeySel;

NilArgChecker::warnIfNilExpr(

*

,

Location =

.getSVal(

).getAs<

>();

[

,

] =

.getState()->assume(*Location);

(

*N =

.generateSink(Null,

.getPredecessor())) {

dispatchEvent({*Location,

, N, &

.getBugReporter(),

CanBeSubscript)

{

(!State->isNull(msg.

(Arg)).isConstrainedTrue())

llvm::raw_svector_ostream os(sbuf);

os <<

;

os <<

;

llvm_unreachable(

);

os <<

;

os <<

;

os <<

;

os <<

;

BT.reset(

APIMisuse(

,

));

R = std::make_unique<PathSensitiveBugReport>(*BT, Msg, N);

R->addRange(

);

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

NilArgChecker::checkPreObjCMessage(

&msg,

InvalidArgIndex =

;

Arg = InvalidArgIndex;

CanBeSubscript =

;

(S.isUnarySelector())

(StringSelectors.empty()) {

StringSelectors[KnownSel] = 0;

I = StringSelectors.find(S);

(I == StringSelectors.end())

(S.isUnarySelector())

(ArrayWithObjectSel.isNull()) {

InsertObjectAtIndexSel =

ReplaceObjectAtIndexWithObjectSel =

SetObjectAtIndexedSubscriptSel =

(S == ArrayWithObjectSel || S == AddObjectSel ||

S == InsertObjectAtIndexSel || S == ArrayByAddingObjectSel) {

}

(S == SetObjectAtIndexedSubscriptSel) {

CanBeSubscript =

;

}

(S == ReplaceObjectAtIndexWithObjectSel) {

(S.isUnarySelector())

(DictionaryWithObjectForKeySel.isNull()) {

DictionaryWithObjectForKeySel =

SetObjectForKeyedSubscriptSel =

(S == DictionaryWithObjectForKeySel || S == SetObjectForKeySel) {

warnIfNilArg(

, msg,

1, Class);

}

(S == SetObjectForKeyedSubscriptSel) {

CanBeSubscript =

;

}

(S == RemoveObjectForKeySel) {

((Arg != InvalidArgIndex))

warnIfNilArg(

, msg, Arg, Class, CanBeSubscript);

(

i = 0; i < NumOfElements; ++i) {

warnIfNilExpr(AL->

(i),

,

);

(

i = 0; i < NumOfElements; ++i) {

warnIfNilExpr(Element.Key,

,

);

warnIfNilExpr(Element.Value,

,

);

CFNumberChecker :

< check::PreStmt<CallExpr> > {

std::unique_ptr<APIMisuse> BT;

*ICreate =

, *IGetValue =

;

CFNumberChecker() =

;

FixedSize[] = { 8, 16, 32, 64, 32, 64 };

FixedSize[i-1];

* GetCFNumberTypeStr(uint64_t i) {

* Names[] = {

,

,

,

,

,

,

,

,

,

,

,

,

,

,

CFNumberChecker::checkPreStmt(

*CE,

ICreate = &Ctx.

.

(

);

IGetValue = &Ctx.

.

(

);

std::optional<nonloc::ConcreteInt>

=

dyn_cast<nonloc::ConcreteInt>(TheTypeVal);

NumberKind =

->getValue()->getLimitedValue();

std::optional<uint64_t> OptCFNumberSize =

(Ctx, NumberKind);

(!OptCFNumberSize)

CFNumberSize = *OptCFNumberSize;

(PrimitiveTypeSize == CFNumberSize)

llvm::raw_svector_ostream os(sbuf);

os << (PrimitiveTypeSize == 8 ?

:

)

<< PrimitiveTypeSize <<

<<

<< (CFNumberSize == 8 ?

:

)

<< CFNumberSize <<

;

os <<

<< (CFNumberSize == 8 ?

:

)

<< CFNumberSize <<

<< (PrimitiveTypeSize == 8 ?

:

)

<< PrimitiveTypeSize <<

;

(PrimitiveTypeSize < CFNumberSize)

os << (CFNumberSize - PrimitiveTypeSize)

<<

<< (isCreate ?

:

);

os << (PrimitiveTypeSize - CFNumberSize)

<<

<< (isCreate ?

:

);

BT.reset(

APIMisuse(

,

));

report = std::make_unique<PathSensitiveBugReport>(*BT, os.str(), N);

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

CFRetainReleaseChecker :

<check::PreCall> {

APIMisuse BT{

,

};

{CDM::CLibrary, {

}, 1},

{CDM::CLibrary, {

}, 1},

{CDM::CLibrary, {

}, 1},

{CDM::CLibrary, {

}, 1},

CFRetainReleaseChecker::checkPreCall(

&

,

(!ModelledCalls.contains(

))

std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal);

raw_svector_ostream OS(Str);

OS <<

<< cast<FunctionDecl>(

.getDecl())->getName();

report = std::make_unique<PathSensitiveBugReport>(BT, OS.str(), N);

report->addRange(

.getArgSourceRange(0));

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

.addTransition(stateNonNull);

ClassReleaseChecker :

<check::PreObjCMessage> {

std::unique_ptr<BugType> BT;

ClassReleaseChecker::checkPreObjCMessage(

&msg,

BT.reset(

APIMisuse(

,

));

(!(S == releaseS || S == retainS || S == autoreleaseS || S == drainS))

llvm::raw_svector_ostream os(buf);

os <<

<<

->getName()

<<

;

report = std::make_unique<PathSensitiveBugReport>(*BT, os.str(), N);

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

VariadicMethodTypeChecker :

<check::PreObjCMessage> {

dictionaryWithObjectsAndKeysS;

orderedSetWithObjectsS;

initWithObjectsAndKeysS;

std::unique_ptr<BugType> BT;

VariadicMethodTypeChecker::isVariadicMessage(

&msg)

{

S == initWithObjectsS;

S == initWithObjectsAndKeysS;

S == arrayWithObjectsS;

S == orderedSetWithObjectsS;

S == setWithObjectsS;

S == dictionaryWithObjectsAndKeysS;

VariadicMethodTypeChecker::checkPreObjCMessage(

&msg,

BT.reset(

APIMisuse(

,

));

dictionaryWithObjectsAndKeysS =

initWithObjectsAndKeysS =

(

, Ctx);

(!isVariadicMessage(msg))

variadicArgsEnd = msg.

() - 1;

(variadicArgsEnd <= variadicArgsBegin)

std::optional<ExplodedNode *> errorNode;

(

I = variadicArgsBegin; I != variadicArgsEnd; ++I) {

(isa<loc::ConcreteInt>(msg.

(I)))

(

.getASTContext().isObjCNSObjectType(ArgTy))

errorNode =

.generateNonFatalErrorNode();

llvm::raw_svector_ostream os(sbuf);

os <<

<<

<<

;

os <<

;

os <<

;

ArgTy.

(os,

.getLangOpts());

std::make_unique<PathSensitiveBugReport>(*BT, os.str(), *errorNode);

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

:

<check::PostStmt<ObjCForCollectionStmt>,

check::PostObjCMessage,

check::PointerEscape > {

ObjCLoopChecker() =

;

std::optional<DefinedSVal> KnownCollection =

(!KnownCollection)

std::tie(StNonNil, StNil) = State->assume(*KnownCollection);

(StNil && !StNonNil) {

std::optional<Loc> ElementLoc;

(

*DS = dyn_cast<DeclStmt>(Element)) {

*ElemDecl = cast<VarDecl>(DS->getSingleDecl());

assert(ElemDecl->

() ==

);

ElementLoc = State->getLValue(ElemDecl, LCtx);

ElementLoc = State->getSVal(Element, LCtx).getAs<

>();

Val = State->getSVal(*ElementLoc);

State->assume(cast<DefinedOrUnknownSVal>(Val),

);

CollectionS,

Assumption) {

(!State || !CollectionS)

*CountS = State->get<ContainerCountMap>(CollectionS);

*KnownNonEmpty = State->get<ContainerNonEmptyMap>(CollectionS);

State->set<ContainerNonEmptyMap>(CollectionS, Assumption);

(Assumption == *KnownNonEmpty) ? State :

;

CountGreaterThanZeroVal =

SvalBuilder.

(0, (*CountS)->getType()),

std::optional<DefinedSVal> CountGreaterThanZero =

(!CountGreaterThanZero) {

State->assume(*CountGreaterThanZero, Assumption);

(std::optional<BlockEdge> BE =

.getAs<

>()) {

BE->getSrc()->getLoopTarget() == FCS;

.generateSink(

.getState(),

.getPredecessor());

(State !=

.getState())

.addTransition(State);

ObjCLoopChecker::isCollectionCountMethod(

&M,

(!CountSelectorII)

CountSelectorII = &

.getASTContext().Idents.get(

);

S.isUnarySelector() &&

(S.getIdentifierInfoForSlot(0) == CountSelectorII);

ObjCLoopChecker::checkPostObjCMessage(

&M,

(!isCollectionCountMethod(M,

))

CountS =

.getSVal(MsgExpr).getAsSymbol();

.getSymbolManager().addSymbolDependency(ContainerS, CountS);

State = State->set<ContainerCountMap>(ContainerS, CountS);

(

*NonEmpty = State->get<ContainerNonEmptyMap>(ContainerS)) {

State = State->remove<ContainerNonEmptyMap>(ContainerS);

.addTransition(State);

StaticClass = Message->getOriginExpr()->getReceiverInterface();

Message->getReceiverSVal().getAsSymbol();

(Sym == ImmutableReceiver)

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

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

ObjCLoopChecker::checkDeadSymbols(

&SymReaper,

ContainerCountMapTy Tracked = State->get<ContainerCountMap>();

(

Sym : llvm::make_first_range(Tracked)) {

(SymReaper.

(Sym)) {

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

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

.addTransition(State);

ObjCNonNilReturnValueChecker

:

<check::PostObjCMessage,

check::PostStmt<ObjCArrayLiteral>,

check::PostStmt<ObjCDictionaryLiteral>,

check::PostStmt<ObjCBoxedExpr> > {

ObjectAtIndexedSubscript;

ObjCNonNilReturnValueChecker() =

;

.addTransition(assumeExprIsNonNull(

,

.getState(),

));

assumeExprIsNonNull(

,

);

assumeExprIsNonNull(

,

);

assumeExprIsNonNull(

,

);

ObjCNonNilReturnValueChecker::assumeExprIsNonNull(

*NonNullExpr,

Val =

.getSVal(NonNullExpr);

(std::optional<DefinedOrUnknownSVal> DV =

State->assume(*DV,

);

ObjCNonNilReturnValueChecker::checkPostObjCMessage(

&M,

ObjectAtIndexedSubscript =

(

, Ctx);

(!

.inTopFrame() && M.

() &&

(Sel == ObjectAtIndex || Sel == ObjectAtIndexedSubscript) {

.addTransition(State);

ento::shouldRegisterNilArgChecker(

&mgr) {

ento::shouldRegisterCFNumberChecker(

&mgr) {

ento::shouldRegisterCFRetainReleaseChecker(

&mgr) {

ento::shouldRegisterClassReleaseChecker(

&mgr) {

ento::registerVariadicMethodTypeChecker(

&mgr) {

ento::shouldRegisterVariadicMethodTypeChecker(

&mgr) {

ento::shouldRegisterObjCLoopChecker(

&mgr) {

ento::registerObjCNonNilReturnValueChecker(

&mgr) {

ento::shouldRegisterObjCNonNilReturnValueChecker(

&mgr) {

Defines the clang::ASTContext interface.

static bool alreadyExecutedAtLeastOneLoopIteration(const ExplodedNode *N, const ObjCForCollectionStmt *FCS)

If the fist block edge is a back edge, we are reentering the loop.

static ProgramStateRef checkCollectionNonNil(CheckerContext &C, ProgramStateRef State, const ObjCForCollectionStmt *FCS)

Assumes that the collection is non-nil.

static FoundationClass findKnownClass(const ObjCInterfaceDecl *ID, bool IncludeSuperclasses=true)

static bool isKnownNonNilCollectionType(QualType T)

static ProgramStateRef assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, SymbolRef CollectionS, bool Assumption)

Returns NULL state if the collection is known to contain elements (or is known not to contain element...

static SymbolRef getMethodReceiverIfKnownImmutable(const CallEvent *Call)

static StringRef GetReceiverInterfaceName(const ObjCMethodCall &msg)

static std::optional< uint64_t > GetCFNumberSize(ASTContext &Ctx, uint64_t i)

static ProgramStateRef checkElementNonNil(CheckerContext &C, ProgramStateRef State, const ObjCForCollectionStmt *FCS)

Assumes that the collection elements are non-nil.

#define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value)

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

Defines the Objective-C statement AST node classes.

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

CanQualType getCanonicalType(QualType T) const

Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...

uint64_t getTypeSize(QualType T) const

Return the size of the specified (complete) type T, in bits.

CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).

Expr * getArg(unsigned Arg)

getArg - Return the specified argument.

unsigned getNumArgs() const

getNumArgs - Return the number of actual arguments to this call.

DeclStmt - Adaptor class for mixing declarations with statements and expressions.

DeclContext * getDeclContext()

The return type of classify().

This represents one expression.

Represents a function declaration or definition.

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.

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

IdentifierInfo * getIdentifier() const

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

ObjCArrayLiteral - used for objective-c array containers; as in: @["Hello", NSApp,...

Expr * getElement(unsigned Index)

getElement - Return the Element at the specified index.

unsigned getNumElements() const

getNumElements - Return number of elements of objective-c array literal.

ObjCBoxedExpr - used for generalized expression boxing.

ObjCDictionaryLiteral - AST node to represent objective-c dictionary literals; as in:"name" : NSUserN...

unsigned getNumElements() const

getNumElements - Return number of elements of objective-c dictionary literal.

ObjCDictionaryElement getKeyValueElement(unsigned Index) const

Represents Objective-C's collection statement.

Represents an ObjC class declaration.

ObjCMethodDecl - Represents an instance or class method declaration.

ObjCMethodFamily getMethodFamily() const

Determines the family of this method.

ObjCInterfaceDecl * getClassInterface()

Represents a pointer to an Objective C object.

ObjCInterfaceDecl * getInterfaceDecl() const

If this pointer points to an Objective @interface type, gets the declaration for that interface.

A (possibly-)qualified type.

void print(raw_ostream &OS, const PrintingPolicy &Policy, const Twine &PlaceHolder=Twine(), unsigned Indentation=0) const

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

void print(llvm::raw_ostream &OS) const

Prints the full selector name (e.g. "foo:bar:").

unsigned getNumArgs() const

A trivial tuple used to represent a source range.

Stmt - This represents one statement.

SourceRange getSourceRange() const LLVM_READONLY

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

bool isBlockPointerType() const

bool isIntegralOrEnumerationType() const

Determine whether this type is an integral or enumeration type.

bool isObjCObjectPointerType() const

const T * getAs() const

Member-template getAs<specific type>'.

Represents a variable declaration or definition.

const Expr * getInit() const

An immutable set of CallDescriptions.

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

virtual SourceRange getArgSourceRange(unsigned Index) const

Returns the source range for errors associated with this argument.

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.

ProgramPoint getLocation() const

getLocation - Returns the edge associated with the given node.

static bool hasMoreIteration(ProgramStateRef State, const ObjCForCollectionStmt *O, const LocationContext *LC)

Represents any expression that calls an Objective-C method.

const ObjCMethodDecl * getDecl() const override

Returns the declaration of the function or method that will be called.

bool isInstanceMessage() const

const Expr * getArgExpr(unsigned Index) const override

Returns the expression associated with a given argument.

ObjCMessageKind getMessageKind() const

Returns how the message was written in the source (property access, subscript, or explicit message se...

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.

SourceRange getSourceRange() const override

Returns a source range for the entire call, suitable for outputting in diagnostics.

SVal getReceiverSVal() const

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

const ObjCInterfaceDecl * getReceiverInterface() const

Get the interface for the receiver.

bool isReceiverSelfOrSuper() const

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

Selector getSelector() const

A Range represents the closed range [from, to].

nonloc::ConcreteInt makeIntVal(const IntegerLiteral *integer)

QualType getConditionType() const

SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, SVal lhs, SVal rhs, QualType type)

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.

A class responsible for cleaning up unused symbols.

bool isDead(SymbolRef sym)

Returns whether or not a symbol has been confirmed dead.

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

virtual QualType getValueType() const =0

Represents symbolic expression that isn't a location.

bool trackExpressionValue(const ExplodedNode *N, const Expr *E, PathSensitiveBugReport &R, TrackingOptions Opts={})

Attempts to add visitors to track expression value back to its point of origin.

const char *const AppleAPIMisuse

bool isCFObjectRef(QualType T)

PointerEscapeKind

Describes the different reasons a pointer escapes during analysis.

llvm::DenseSet< SymbolRef > InvalidatedSymbols

bool Null(InterpState &S, CodePtr OpPC, uint64_t Value, const Descriptor *Desc)

RangeSelector name(std::string ID)

Given a node with a "name", (like NamedDecl, DeclRefExpr, CxxCtorInitializer, and TypeLoc) selects th...

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

static Selector getKeywordSelector(ASTContext &Ctx, const IdentifierInfos *...IIs)

@ NonNull

Values of this type can never be null.

Selector GetUnarySelector(StringRef name, ASTContext &Ctx)

Utility function for constructing an unary selector.

Selector GetNullarySelector(StringRef name, ASTContext &Ctx)

Utility function for constructing a nullary selector.

const FunctionProtoType * T

@ Interface

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

@ Class

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

Diagnostic wrappers for TextAPI types for error reporting.

An element in an Objective-C dictionary literal.

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