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

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

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

;

NSErrorMethodChecker

:

< check::ASTDecl<ObjCMethodDecl> > {

NSErrorMethodChecker() =

;

(!

->isThisDeclarationADefinition())

(!

->getReturnType()->isVoidType())

hasNSError =

;

(

*I :

->parameters()) {

*err =

, err, L);

CFErrorFunctionChecker

:

< check::ASTDecl<FunctionDecl> > {

CFErrorFunctionChecker() : II(nullptr) {}

(isa<CXXConstructorDecl>(

))

CFErrorFunctionChecker::checkASTDecl(

*

,

(!

->doesThisDeclarationHaveABody())

(!

->getReturnType()->isVoidType())

hasCFError =

;

(

*I :

->parameters()) {

*err =

BR.

(

,

,

,

, err, L);

NSErrorDerefBug :

{

) {}

CFErrorDerefBug :

{

) {}

NSOrCFErrorDerefChecker

:

< check::Location,

check::Event<ImplicitNullDerefEvent> > {

std::unique_ptr<NSErrorDerefBug> NSBT;

std::unique_ptr<CFErrorDerefBug> CFBT;

ShouldCheckNSError =

, ShouldCheckCFError =

;

NSOrCFErrorDerefChecker() : NSErrorII(nullptr), CFErrorII(nullptr) {}

checkLocation(

loc,

isLoad,

*S,

<

T>

(

*attachedFlags = state->get<

>(sym))

*attachedFlags;

<

T>

.addTransition(state->set<

>(sym,

));

stackReg = dyn_cast<StackArgumentsSpaceRegion>(VR->getMemorySpace()))

(stackReg->getStackFrame() == SFC)

VR->getValueType();

NSOrCFErrorDerefChecker::checkLocation(

loc,

isLoad,

(loc.

() || !isa<Loc>(loc))

NSErrorII = &Ctx.

.

(

);

CFErrorII = &Ctx.

.

(

);

(ShouldCheckNSError &&

(parmT, NSErrorII)) {

setFlag<NSErrorOut>(state, state->getSVal(loc.

<

>()),

);

(ShouldCheckCFError &&

(parmT, CFErrorII)) {

setFlag<CFErrorOut>(state, state->getSVal(loc.

<

>()),

);

loc =

.Location;

isNSError = hasFlag<NSErrorOut>(loc, state);

isCFError =

;

isCFError = hasFlag<CFErrorOut>(loc, state);

(!(isNSError || isCFError))

llvm::raw_svector_ostream os(Buf);

os <<

;

?

:

);

os <<

;

NSBT.reset(

NSErrorDerefBug(NSErrorName));

CFBT.reset(

CFErrorDerefBug(CFErrorName));

std::make_unique<PathSensitiveBugReport>(*bug, os.str(), event.

));

II == ID->getIdentifier();

(!PPT)

;

(!TT)

;

ento::shouldRegisterNSOrCFErrorDerefChecker(

&mgr) {

NSOrCFErrorDerefChecker *checker = mgr.

<NSOrCFErrorDerefChecker>();

checker->ShouldCheckNSError =

;

ento::shouldRegisterNSErrorChecker(

&mgr) {

NSOrCFErrorDerefChecker *checker = mgr.

<NSOrCFErrorDerefChecker>();

checker->ShouldCheckCFError =

;

ento::shouldRegisterCFErrorChecker(

&mgr) {

static bool hasFlag(SVal val, ProgramStateRef state)

static bool IsCFError(QualType T, IdentifierInfo *II)

static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C)

static QualType parameterTypeFromSVal(SVal val, CheckerContext &C)

static bool IsNSError(QualType T, IdentifierInfo *II)

static bool hasReservedReturnType(const FunctionDecl *D)

llvm::ImmutableMap< SymbolRef, unsigned > ErrorOutFlag

#define REGISTER_TRAIT_WITH_PROGRAMSTATE(Name, Type)

Declares a program state trait for type Type called Name, and introduce a type named NameTy.

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

ASTContext & getASTContext() const LLVM_READONLY

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.

IdentifierInfo * getIdentifier() const

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

Represents an ObjC class declaration.

ObjCMethodDecl - Represents an instance or class method declaration.

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.

PointerType - C99 6.7.5.1 - Pointer Declarators.

QualType getPointeeType() const

A (possibly-)qualified type.

bool isNull() const

Return true if this QualType doesn't point to a type yet.

It represents a stack frame of the call stack (based on CallEvent).

Stmt - This represents one statement.

const T * getAs() const

Member-template getAs<specific type>'.

TypedefNameDecl * getDecl() const

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={})

virtual void emitReport(std::unique_ptr< BugReport > R)

Add the given report to the set of reports tracked by BugReporter.

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

Used to register checkers.

CheckerNameRef getCurrentCheckerName() const

This wrapper is used to ensure that only StringRefs originating from the CheckerRegistry are used as ...

MemRegion - The root abstract class for all memory regions.

const RegionTy * getAs() const

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

Create a location corresponding to the given 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.

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

const FunctionProtoType * T

We dereferenced a location that may be null.

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