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

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

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

;

:

<eval::Call, check::DeadSymbols, check::RegionChanges,

ModelSmartPtrDereference =

;

*Sep)

;

std::pair<SVal, ProgramStateRef>

SmartPtrMethodHandlerFn =

{{CDM::CXXMethod, {

}}, &SmartPtrModeling::handleReset},

{{CDM::CXXMethod, {

}}, &SmartPtrModeling::handleRelease},

{{CDM::CXXMethod, {

}, 1}, &SmartPtrModeling::handleSwapMethod},

{{CDM::CXXMethod, {

}}, &SmartPtrModeling::handleGet}};

StdSwapCall{CDM::SimpleFunc, {

,

}, 2};

{CDM::SimpleFunc, {

,

}},

{CDM::SimpleFunc, {

,

}}};

(!RD || !RD->getDeclContext()->isStdNamespace())

(RD->getDeclName().isIdentifier())

llvm::is_contained(Names, RD->getName());

llvm::StringLiteral

[] = {

,

,

*MethodDecl = dyn_cast_or_null<CXXMethodDecl>(

.getDecl());

(!MethodDecl || !MethodDecl->getParent())

StringRef Name = RD->

();

Name ==

|| Name ==

|| Name ==

;

*InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);

InnerPointVal &&

TrackedRegionMapTy

TrackedRegionMapTy::Factory &RegionMapFactory,

(

&

: RegionMap) {

(

.first->isSubRegionOf(Region))

RegionMap = RegionMapFactory.remove(RegionMap,

.first);

*RegionInnerPointerVal) {

(RegionInnerPointerVal) {

State = State->set<TrackedRegionMap>(Region, *RegionInnerPointerVal);

State = State->remove<TrackedRegionMap>(Region);

*TSD = dyn_cast<ClassTemplateSpecializationDecl>(RD);

TemplateArgs = TSD->getTemplateArgs().asArray();

(TemplateArgs.empty())

InnerValueType = TemplateArgs[0].getAsType();

.getASTContext().getPointerType(InnerValueType.getCanonicalType());

*FD = dyn_cast_or_null<FunctionDecl>(

.getDecl());

(!FD || !FD->getPrimaryTemplate())

&TemplateArgs = FD->getTemplateSpecializationArgs()->asArray();

(TemplateArgs.size() == 0)

ValueType = TemplateArgs[0].getAsType();

.getASTContext().getPointerType(ValueType.getCanonicalType());

*MethodDecl = dyn_cast_or_null<CXXMethodDecl>(

.getDecl());

(!MethodDecl || !MethodDecl->getParent())

SmartPtrModeling::isBoolConversionMethod(

&

)

{

*CD = dyn_cast_or_null<CXXConversionDecl>(

.getDecl());

CD && CD->getConversionType()->isBooleanType();

.getDecl() &&

.getDecl()->getDeclContext()->isStdNamespace();

*FC = dyn_cast<SimpleFunctionCall>(&

);

(OOK != clang::OO_LessLess)

(handleComparisionOp(

,

))

handleOstreamOperator(

,

);

(StdSwapCall.matches(

)) {

assert(

.getNumArgs() == 2 &&

);

*FirstArg =

.getArgExpr(0);

handleSwap(State,

.getArgSVal(0),

.getArgSVal(1),

);

(MakeUniqueVariants.contains(

)) {

(!ModelSmartPtrDereference)

std::optional<SVal> ThisRegionOpt =

.getReturnValueUnderConstruction();

PtrVal =

.getSValBuilder().getConjuredHeapSymbolVal(

.getOriginExpr(),

.getLocationContext(),

*ThisRegion = ThisRegionOpt->getAsRegion();

State = State->set<TrackedRegionMap>(ThisRegion, PtrVal);

State = State->assume(PtrVal,

);

&Engine = State->getStateManager().getOwningEngine();

State = Engine.updateObjectsUnderConstruction(

*ThisRegionOpt,

, State,

.getLocationContext(),

.getConstructionContext(), {});

.addTransition(State);

(isBoolConversionMethod(

)) {

cast<CXXInstanceCall>(&

)->getCXXThisVal().getAsRegion();

(ModelSmartPtrDereference) {

handleBoolConversion(

,

);

.addTransition(State->BindExpr(

.getOriginExpr(),

.getLocationContext(),

.getSValBuilder().makeZeroVal(

.getResultType())));

(!ModelSmartPtrDereference)

(

*CC = dyn_cast<CXXConstructorCall>(&

)) {

(CC->getDecl()->isCopyConstructor())

*ThisRegion = CC->getCXXThisVal().getAsRegion();

ThisType = cast<CXXMethodDecl>(

.getDecl())->getThisType();

(CC->getDecl()->isMoveConstructor())

handleMoveCtr(

,

, ThisRegion);

(

.getNumArgs() == 0) {

NullVal =

.getSValBuilder().makeNullWithType(ThisType);

State = State->set<TrackedRegionMap>(ThisRegion, NullVal);

llvm::raw_ostream &OS) {

if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||

!BR.isInteresting(ThisRegion))

OS <<

;

checkAndPrettyPrintRegion(OS, ThisRegion);

*TrackingExpr =

.getArgExpr(0);

assert(TrackingExpr->getType()->isPointerType() &&

);

ArgVal =

.getArgSVal(0);

State = State->set<TrackedRegionMap>(ThisRegion, ArgVal);

.addTransition(State,

.getNoteTag([ThisRegion, TrackingExpr,

llvm::raw_ostream &OS) {

if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||

!BR.isInteresting(ThisRegion))

bugreporter::trackExpressionValue(BR.getErrorNode(), TrackingExpr, BR);

OS <<

;

checkAndPrettyPrintRegion(OS, ThisRegion);

if (ArgVal.isZeroConstant())

OS <<

;

OS <<

;

(handleAssignOp(

,

))

SmartPtrMethodHandlerFn *Handler = SmartPtrMethodHandlers.lookup(

);

(this->**Handler)(

,

);

.isDifferent();

std::pair<SVal, ProgramStateRef> SmartPtrModeling::retrieveOrConjureInnerPtrVal(

*Ptr = State->get<TrackedRegionMap>(ThisRegion);

{*Ptr, State};

Val =

.getSValBuilder().conjureSymbolVal(

,

.getLocationContext(),

,

.blockCount());

State = State->set<TrackedRegionMap>(ThisRegion, Val);

SmartPtrModeling::handleComparisionOp(

&

,

*FC = dyn_cast<SimpleFunctionCall>(&

);

(!(OOK == OO_EqualEqual || OOK == OO_ExclaimEqual || OOK == OO_Less ||

OOK == OO_LessEqual || OOK == OO_Greater || OOK == OO_GreaterEqual ||

OOK == OO_Spaceship))

S) -> std::pair<SVal, ProgramStateRef> {

(S.isZeroConstant()) {

);

retrieveOrConjureInnerPtrVal(State, Reg,

,

,

);

*FirstExpr =

.getArgExpr(0);

*SecondExpr =

.getArgExpr(1);

*ResultExpr =

.getOriginExpr();

*LCtx =

.getLocationContext();

&Bldr =

.getSValBuilder();

FirstPtrVal, SecondPtrVal;

std::tie(FirstPtrVal, State) = makeSValFor(State, FirstExpr,

);

std::tie(SecondPtrVal, State) = makeSValFor(State, SecondExpr, Second);

RetVal = Bldr.evalBinOp(State, BOK, FirstPtrVal, SecondPtrVal,

.getResultType());

(OOK != OO_Spaceship) {

std::tie(TrueState, FalseState) =

TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(

)));

FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(

)));

.addTransition(State->BindExpr(ResultExpr, LCtx, RetVal));

SmartPtrModeling::handleOstreamOperator(

&

,

StreamVal =

.getArgSVal(0);

*StreamThisRegion = StreamVal.getAsRegion();

(!StreamThisRegion)

State->invalidateRegions({StreamThisRegion},

.getOriginExpr(),

.blockCount(),

.getLocationContext(),

);

State->BindExpr(

.getOriginExpr(),

.getLocationContext(), StreamVal);

.addTransition(State);

SmartPtrModeling::checkDeadSymbols(

&SymReaper,

TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>();

(

: TrackedRegions) {

State = State->remove<TrackedRegionMap>(Region);

.addTransition(State);

SmartPtrModeling::printState(raw_ostream &Out,

State,

*NL,

*Sep)

{

TrackedRegionMapTy RS = State->get<TrackedRegionMap>();

Out << Sep <<

<< NL;

I.first->dumpToStream(Out);

Out <<

;

TrackedRegionMapTy RegionMap = State->get<TrackedRegionMap>();

TrackedRegionMapTy::Factory &RegionMapFactory =

State->get_context<TrackedRegionMap>();

(

*Region : Regions)

State->set<TrackedRegionMap>(RegionMap);

TrackedRegionMapTy TrackedRegions = State->get<TrackedRegionMap>();

(

Val : llvm::make_second_range(TrackedRegions)) {

*IC = dyn_cast<CXXInstanceCall>(&

);

*ThisRegion = IC->getCXXThisVal().getAsRegion();

assert(

.getArgExpr(0)->getType()->isPointerType() &&

);

State = State->set<TrackedRegionMap>(ThisRegion,

.getArgSVal(0));

*TrackingExpr =

.getArgExpr(0);

llvm::raw_ostream &OS) {

if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||

!BR.isInteresting(ThisRegion))

bugreporter::trackExpressionValue(BR.getErrorNode(), TrackingExpr, BR);

OS <<

;

checkAndPrettyPrintRegion(OS, ThisRegion);

OS <<

;

SmartPtrModeling::handleRelease(

&

,

*IC = dyn_cast<CXXInstanceCall>(&

);

*ThisRegion = IC->getCXXThisVal().getAsRegion();

*InnerPointVal = State->get<TrackedRegionMap>(ThisRegion);

State = State->BindExpr(

.getOriginExpr(),

.getLocationContext(),

ThisType = cast<CXXMethodDecl>(

.getDecl())->getThisType();

ValueToUpdate =

.getSValBuilder().makeNullWithType(ThisType);

State = State->set<TrackedRegionMap>(ThisRegion, ValueToUpdate);

llvm::raw_ostream &OS) {

if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||

!BR.isInteresting(ThisRegion))

OS <<

;

checkAndPrettyPrintRegion(OS, ThisRegion);

OS <<

;

SmartPtrModeling::handleSwapMethod(

&

,

*IC = dyn_cast<CXXInstanceCall>(&

);

State =

.getState();

handleSwap(State, IC->getCXXThisVal(),

.getArgSVal(0),

);

(!FirstThisRegion)

(!SecondThisRegion)

*FirstInnerPtrVal = State->get<TrackedRegionMap>(FirstThisRegion);

*SecondInnerPtrVal =

State->get<TrackedRegionMap>(SecondThisRegion);

.addTransition(State,

.getNoteTag([FirstThisRegion, SecondThisRegion](

llvm::raw_ostream &OS) {

if (&BR.getBugType() != smartptr::getNullDereferenceBugType())

if (BR.isInteresting(FirstThisRegion) &&

!BR.isInteresting(SecondThisRegion)) {

BR.markInteresting(SecondThisRegion);

BR.markNotInteresting(FirstThisRegion);

BR.markInteresting(FirstThisRegion);

BR.markNotInteresting(SecondThisRegion);

*IC = dyn_cast<CXXInstanceCall>(&

);

*ThisRegion = IC->getCXXThisVal().getAsRegion();

InnerPointerVal;

std::tie(InnerPointerVal, State) = retrieveOrConjureInnerPtrVal(

State, ThisRegion,

.getOriginExpr(),

.getResultType(),

);

State = State->BindExpr(

.getOriginExpr(),

.getLocationContext(),

.addTransition(State);

SmartPtrModeling::handleAssignOp(

&

,

*OC = dyn_cast<CXXMemberOperatorCall>(&

);

*ThisRegion = OC->getCXXThisVal().getAsRegion();

ThisType = cast<CXXMethodDecl>(

.getDecl())->getThisType();

*OtherSmartPtrRegion = OC->getArgSVal(0).getAsRegion();

(!OtherSmartPtrRegion) {

AssignedNull =

.getArgSVal(0).isZeroConstant();

NullVal =

.getSValBuilder().makeNullWithType(ThisType);

State = State->set<TrackedRegionMap>(ThisRegion, NullVal);

llvm::raw_ostream &OS) {

if (&BR.getBugType() != smartptr::getNullDereferenceBugType() ||

!BR.isInteresting(ThisRegion))

OS <<

;

checkAndPrettyPrintRegion(OS, ThisRegion);

OS <<

;

updateMovedSmartPointers(

, ThisRegion, OtherSmartPtrRegion,

);

*OtherSmartPtrRegion =

.getArgSVal(0).getAsRegion();

(!OtherSmartPtrRegion)

updateMovedSmartPointers(

, ThisRegion, OtherSmartPtrRegion,

);

SmartPtrModeling::updateMovedSmartPointers(

ThisType = cast<CXXMethodDecl>(

.getDecl())->getThisType();

*OtherInnerPtr = State->get<TrackedRegionMap>(OtherSmartPtrRegion);

State = State->set<TrackedRegionMap>(ThisRegion, *OtherInnerPtr);

NullVal =

.getSValBuilder().makeNullWithType(ThisType);

State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);

IsArgValNull = OtherInnerPtr->isZeroConstant();

.getNoteTag([ThisRegion, OtherSmartPtrRegion, IsArgValNull](

OS <<

;

OS <<

;

OS <<

;

NullVal =

.getSValBuilder().makeNullWithType(ThisType);

State = State->remove<TrackedRegionMap>(ThisRegion);

State = State->set<TrackedRegionMap>(OtherSmartPtrRegion, NullVal);

.addTransition(State,

.getNoteTag([OtherSmartPtrRegion,

llvm::raw_ostream &OS) {

OS <<

;

OS <<

;

SmartPtrModeling::handleBoolConversion(

&

,

cast<CXXInstanceCall>(&

)->getCXXThisVal().getAsRegion();

ThisType = cast<CXXMethodDecl>(

.getDecl())->getThisType();

InnerPointerVal;

(

*InnerValPtr = State->get<TrackedRegionMap>(ThisRegion)) {

InnerPointerVal = *InnerValPtr;

(InnerPointerType.isNull())

InnerPointerVal =

.getSValBuilder().conjureSymbolVal(

, LC, InnerPointerType,

.blockCount());

State = State->set<TrackedRegionMap>(ThisRegion, InnerPointerVal);

(State->isNull(InnerPointerVal).isConstrainedTrue()) {

State = State->BindExpr(

,

.getLocationContext(),

.getSValBuilder().makeTruthVal(

));

.addTransition(State);

}

(State->isNonNull(InnerPointerVal).isConstrainedTrue()) {

State = State->BindExpr(

,

.getLocationContext(),

.getSValBuilder().makeTruthVal(

));

.addTransition(State);

State->BindExpr(

,

.getLocationContext(),

.getSValBuilder().makeZeroVal(

.getResultType())));

std::tie(NotNullState, NullState) =

NullVal =

.getSValBuilder().makeNullWithType(ThisType);

NullState = NullState->set<TrackedRegionMap>(ThisRegion, NullVal);

NullState = NullState->BindExpr(

,

.getLocationContext(),

.getSValBuilder().makeTruthVal(

));

.addTransition(NullState,

.getNoteTag(

llvm::raw_ostream &OS) {

OS <<

;

checkAndPrettyPrintRegion(OS, ThisRegion);

NotNullState->BindExpr(

,

.getLocationContext(),

.getSValBuilder().makeTruthVal(

));

OS <<

;

checkAndPrettyPrintRegion(OS, ThisRegion);

OS <<

;

->ModelSmartPtrDereference =

,

);

ento::shouldRegisterSmartPtrModeling(

&mgr) {

Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....

Defines the clang::Expr interface and subclasses for C++ expressions.

Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.

#define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value)

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

static bool isStdFunctionCall(const CallEvent &Call)

static bool isStdBasicOstream(const Expr *E)

static void checkAndPrettyPrintRegion(llvm::raw_ostream &OS, const MemRegion *Region)

static QualType getInnerPointerType(CheckerContext C, const CXXRecordDecl *RD)

static ProgramStateRef updateSwappedRegion(ProgramStateRef State, const MemRegion *Region, const SVal *RegionInnerPointerVal)

static bool isStdOstreamOperatorCall(const CallEvent &Call)

static TrackedRegionMapTy removeTrackedSubregions(TrackedRegionMapTy RegionMap, TrackedRegionMapTy::Factory &RegionMapFactory, const MemRegion *Region)

static bool isPotentiallyComparisionOpCall(const CallEvent &Call)

static QualType getPointerTypeFromTemplateArg(const CallEvent &Call, CheckerContext &C)

static bool hasStdClassWithName(const CXXRecordDecl *RD, ArrayRef< llvm::StringLiteral > Names)

static bool isStdSmartPtr(const CXXRecordDecl *RD)

constexpr llvm::StringLiteral BASIC_OSTREAM_NAMES[]

constexpr llvm::StringLiteral STD_PTR_NAMES[]

C Language Family Type Representation.

bool getCheckerBooleanOption(StringRef CheckerName, StringRef OptionName, bool SearchInParents=false) const

Interprets an option's string value as a boolean.

Represents a C++ struct/union/class.

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

DeclContext * getParent()

getParent - Returns the containing DeclContext.

bool isStdNamespace() const

bool isInStdNamespace() const

DeclContext * getDeclContext()

bool isIdentifier() const

Predicate functions for querying what type of name this is.

This represents one expression.

Represents a function declaration or definition.

bool isOverloadedOperator() const

Whether this function declaration represents an C++ overloaded operator, e.g., "operator+".

OverloadedOperatorKind getOverloadedOperator() const

getOverloadedOperator - Which C++ overloaded operator this function represents, if any.

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

StringRef getName() const

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

DeclarationName getDeclName() const

Get the actual, stored name of the declaration, which may be a special name.

A (possibly-)qualified type.

Represents a struct/union/class.

StringLiteral - This represents a string literal expression, e.g.

The base class of the type hierarchy.

CXXRecordDecl * getAsCXXRecordDecl() const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...

const BugType & getBugType() const

An immutable map from CallDescriptions to arbitrary data.

An immutable set of CallDescriptions.

A CallDescription is a pattern that can be used to match calls based on the qualified name and the ar...

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

virtual void printState(raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const

See CheckerManager::runCheckersForPrintState.

const AnalyzerOptions & getAnalyzerOptions() const

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

Used to register checkers.

const LangOptions & getLangOpts() const

MemRegion - The root abstract class for all memory regions.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * getBaseRegion() const

virtual void printPretty(raw_ostream &os) const

Print the region for use in diagnostics.

virtual bool canPrintPretty() const

Returns true if this region can be printed in a user-friendly way.

BinaryOperatorKind GetBinaryOpUnsafe() const

void markInteresting(SymbolRef sym, bugreporter::TrackingKind TKind=bugreporter::TrackingKind::Thorough)

Marks a symbol as interesting.

bool isInteresting(SymbolRef sym) const

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

const MemRegion * getAsRegion() const

T castAs() const

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

llvm::iterator_range< symbol_iterator > symbols() const

A class responsible for cleaning up unused symbols.

void markLive(SymbolRef sym)

Unconditionally marks a symbol as live.

bool isLiveRegion(const MemRegion *region)

bool isMovedFrom(ProgramStateRef State, const MemRegion *Region)

Returns true if the object is known to have been recently std::moved.

const BugType * getNullDereferenceBugType()

bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion)

Returns whether the smart pointer is null or not.

bool isStdSmartPtr(const CXXRecordDecl *RD)

bool isStdSmartPtrCall(const CallEvent &Call)

Returns true if the event call is on smart pointer.

OperatorKind operationKindFromOverloadedOperator(OverloadedOperatorKind OOK, bool IsBinary)

llvm::DenseSet< SymbolRef > InvalidatedSymbols

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

OverloadedOperatorKind

Enumeration specifying the different kinds of C++ overloaded operators.

if(T->getSizeExpr()) TRY_TO(TraverseStmt(const_cast< Expr * >(T -> getSizeExpr())))

Diagnostic wrappers for TextAPI types for error reporting.

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