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

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

clang: lib/StaticAnalyzer/Core/SValBuilder.cpp Source File

;

SValBuilder::anchor() {}

: Context(context), BasicVals(context, alloc),

SymMgr(context, BasicVals, alloc), MemMgr(context, alloc),

stateMgr.getOwningEngine().getAnalysisManager().getAnalyzerOptions()),

ArrayIndexTy(context.LongLongTy),

ArrayIndexWidth(context.getTypeSize(ArrayIndexTy)) {}

(

->isIntegralOrEnumerationType())

(

->isArrayType() ||

->isRecordType() ||

->isVectorType() ||

->isAnyComplexType())

(std::optional<nonloc::ConcreteInt> CI =

llvm::APSInt& I = CI->getValue();

(

->isNullPtrType())

visitCount) {

(

->isNullPtrType())

(

->isNullPtrType()) {

assert(!ND || (isa<CXXMethodDecl, FieldDecl, IndirectFieldDecl>(ND)));

(

*MD = dyn_cast_or_null<CXXMethodDecl>(ND)) {

(!MD->isImplicitObjectMemberFunction())

blockCount) {

std::optional<loc::MemRegionVal>

*

=

->getTypeForDecl();

Stmt::AddrLabelExprClass:

(cast<AddrLabelExpr>(

));

Stmt::CXXScalarValueInitExprClass:

Stmt::ImplicitValueInitExprClass:

Stmt::ObjCStringLiteralClass: {

*SL = cast<ObjCStringLiteral>(

);

Stmt::StringLiteralClass: {

*SL = cast<StringLiteral>(

);

Stmt::PredefinedExprClass: {

*PE = cast<PredefinedExpr>(

);

assert(PE->getFunctionName() &&

);

Stmt::CharacterLiteralClass: {

*

= cast<CharacterLiteral>(

);

Stmt::CXXBoolLiteralExprClass:

Stmt::TypeTraitExprClass: {

*TE = cast<TypeTraitExpr>(

);

Stmt::IntegerLiteralClass:

Stmt::ObjCBoolLiteralExprClass:

Stmt::CXXNullPtrLiteralExprClass:

Stmt::CStyleCastExprClass:

Stmt::CXXFunctionalCastExprClass:

Stmt::CXXConstCastExprClass:

Stmt::CXXReinterpretCastExprClass:

Stmt::CXXStaticCastExprClass:

Stmt::ImplicitCastExprClass: {

*CE = cast<CastExpr>(

);

(CE->getCastKind()) {

CK_ArrayToPointerDecay:

CK_IntegralToPointer:

*SE = CE->getSubExpr();

MaxComp =

.MaxSymbolComplexity;

(symLHS && symRHS &&

(symLHS, Op, symRHS, ResultTy);

(std::optional<nonloc::ConcreteInt> rInt =

(symLHS, Op, rInt->getValue(), ResultTy);

(std::optional<nonloc::ConcreteInt> lInt =

(lInt->getValue(), Op, symRHS, ResultTy);

(

.getKind()) {

nonloc::ConcreteIntKind:

nonloc::SymbolValKind:

(

.getKind()) {

nonloc::ConcreteIntKind:

nonloc::SymbolValKind:

llvm_unreachable(

);

(isa<nonloc::LazyCompoundVal>(lhs) || isa<nonloc::LazyCompoundVal>(rhs)) {

(op == BinaryOperatorKind::BO_Cmp) {

(std::optional<Loc> LV = lhs.

<

>()) {

(std::optional<Loc> RV = rhs.

<

>())

(

std::optional<Loc> RV = rhs.

<

>()) {

Op == BO_Mul || Op == BO_Add || Op == BO_And || Op == BO_Xor ||

(IsCommutative(op)) {

state->isNonNull(

(state, lhs, rhs));

(state,

(lhs),

(rhs))

(Quals1 != Quals2)

(val, castTy, originalTy);

(!AsSymbol || !AsNonLoc)

(val, castTy, originalTy);

std::tie(IsNotTruncated, IsTruncated) = state->assume(CompVal);

(!IsNotTruncated && IsTruncated) {

(AsSymbol, originalTy, castTy);

(val, castTy, originalTy);

EvalCastVisitor :

<EvalCastVisitor, SVal> {

: VB(VB), Context(VB.getContext()), CastTy(CastTy),

OriginalTy(OriginalTy) {}

IsUnknownOriginalType = OriginalTy.

();

(!IsUnknownOriginalType) {

(CastTy == OriginalTy)

VB.

(

.getValue()->getBoolValue(), CastTy);

llvm::APSInt

=

.getValue();

llvm::APSInt

=

.getValue();

BitWidth = Context.

(CastTy);

IsUnknownOriginalType = OriginalTy.

();

(!IsUnknownOriginalType) {

(isa<ArrayType>(OriginalTy))

(

*FD = dyn_cast<FunctionDecl>(FTR->getDecl()))

IsUnknownOriginalType = OriginalTy.

();

*ArrayTy =

IsUnknownOriginalType

ElemTy = ArrayTy->getElementType();

BitWidth = Context.

(CastTy);

(IsUnknownOriginalType) {

(

*SR = dyn_cast<SymbolicRegion>(R)) {

SRTy = SR->getSymbol()->getType();

HasSameUnqualifiedPointeeType = [](

ty1,

(!HasSameUnqualifiedPointeeType(SRTy, CastTy)) {

(

*ER = dyn_cast<ElementRegion>(R)) {

ElemTy = ArrayTy->getElementType();

CastedValue = [

,

]() {

llvm::APSInt

=

.getValue();

VB.

(

.getValue()->getBoolValue(), CastTy);

IsUnknownOriginalType = OriginalTy.

();

(!IsUnknownOriginalType && R) {

(IsUnknownOriginalType)

dyn_cast<SymbolicRegion>(R->

())) {

SE = SR->getSymbol();

CastSize = Context.

(CastTy);

(CastSize ==

.getNumBits())

IsUnknownOriginalType = OriginalTy.

();

(!Opts.ShouldSupportSymbolicIntegerCasts)

simplifySymbolCast(

, CastTy);

(!isa<SymbolCast>(SE))

RootSym = cast<SymbolCast>(SE)->getOperand();

isSameType = (RT == CastTy);

(((WT > WR) && (UR || !UT)) || ((WT == WR) && (UT == UR)))

EvalCastVisitor TRV{*

, CastTy, OriginalTy};

TRV.Visit(

);

Defines the clang::ASTContext interface.

This file defines AnalysisDeclContext, a class that manages the analysis context data for context sen...

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.

llvm::DenseMap< const CFGBlock *, unsigned > VisitCount

static bool shouldBeModeledWithNoOp(ASTContext &Context, QualType ToTy, QualType FromTy)

Recursively check if the pointer types are equal modulo const, volatile, and restrict qualifiers.

C Language Family Type Representation.

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

unsigned getIntWidth(QualType T) const

CanQualType getCanonicalType(QualType T) const

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

QualType getPointerType(QualType T) const

Return the uniqued reference to the type for a pointer to the specified type.

bool UnwrapSimilarTypes(QualType &T1, QualType &T2, bool AllowPiMismatch=true) const

Attempt to unwrap two types that may be similar (C++ [conv.qual]).

QualType getUnqualifiedArrayType(QualType T, Qualifiers &Quals) const

Return this type as a completely-unqualified array type, capturing the qualifiers in Quals.

ASTContext & getASTContext() const

Stores options for the analyzer from the command line.

Represents a block literal declaration, which is like an unnamed FunctionDecl.

A boolean literal, per ([C++ lex.bool] Boolean literals).

Represents a static or instance method of a struct/union/class.

Represents a C++ struct/union/class.

This represents one expression.

bool EvaluateAsInt(EvalResult &Result, const ASTContext &Ctx, SideEffectsKind AllowSideEffects=SE_NoSideEffects, bool InConstantContext=false) const

EvaluateAsInt - Return true if this is a constant which we can fold and convert to an integer,...

Expr * IgnoreParens() LLVM_READONLY

Skip past any parentheses which might surround this expression until reaching a fixed point.

@ NPC_ValueDependentIsNotNull

Specifies that a value-dependent expression should be considered to never be a null pointer constant.

NullPointerConstantKind isNullPointerConstant(ASTContext &Ctx, NullPointerConstantValueDependence NPC) const

isNullPointerConstant - C99 6.3.2.3p3 - Test if this reduces down to a Null pointer constant.

Represents a function declaration or definition.

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

LLVM_ATTRIBUTE_RETURNS_NONNULL AnalysisDeclContext * getAnalysisDeclContext() const

This represents a decl that may have a name.

A (possibly-)qualified type.

bool isNull() const

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

const Type * getTypePtr() const

Retrieves a pointer to the underlying (unqualified) type.

QualType getCanonicalType() const

The collection of all-type qualifiers we support.

void removeCVRQualifiers(unsigned mask)

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

Stmt - This represents one statement.

StmtClass getStmtClass() const

The base class of the type hierarchy.

bool isBlockPointerType() const

bool isBooleanType() const

bool isIntegralOrUnscopedEnumerationType() const

Determine whether this type is an integral or unscoped enumeration type.

bool isVoidPointerType() const

bool isFunctionPointerType() const

bool isPointerType() const

bool isReferenceType() const

bool isVariableArrayType() const

QualType getPointeeType() const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

bool isIntegralOrEnumerationType() const

Determine whether this type is an integral or enumeration type.

bool isMemberPointerType() const

bool isFunctionType() const

bool isFloatingType() const

bool isUnsignedIntegerType() const

Return true if this is an integer type that is unsigned, according to C99 6.2.5p6 [which returns true...

bool isNullPtrType() const

A safe wrapper around APSInt objects allocated and owned by BasicValueFactory.

A record of the "type" of an APSInt, used for conversions.

uint32_t getBitWidth() const

llvm::APSInt getMaxValue() const LLVM_READONLY

Returns the maximum value for this type.

void apply(llvm::APSInt &Value) const

Convert a given APSInt, in place, to match this type.

AllocaRegion - A region that represents an untyped blob of bytes created by a call to 'alloca'.

AnalyzerOptions & getAnalyzerOptions() override

APSIntPtr getZeroWithTypeSize(QualType T)

APSIntType getAPSIntType(QualType T) const

Returns the type of the APSInt used to store values of the given QualType.

llvm::ImmutableList< SVal > getEmptySValList()

Template implementation for all binary symbolic expressions.

BlockCodeRegion - A region that represents code texts of blocks (closures).

BlockDataRegion - A region that represents a block instance.

AnalysisManager & getAnalysisManager()

FunctionCodeRegion - A region that represents code texts of function.

static bool isLocType(QualType T)

const BlockCodeRegion * getBlockCodeRegion(const BlockDecl *BD, CanQualType locTy, AnalysisDeclContext *AC)

const AllocaRegion * getAllocaRegion(const Expr *Ex, unsigned Cnt, const LocationContext *LC)

getAllocaRegion - Retrieve a region associated with a call to alloca().

const SymbolicRegion * getSymbolicHeapRegion(SymbolRef sym)

Return a unique symbolic region belonging to heap memory space.

const SymbolicRegion * getSymbolicRegion(SymbolRef Sym, const MemSpaceRegion *MemSpace=nullptr)

Retrieve or create a "symbolic" memory region.

const FunctionCodeRegion * getFunctionCodeRegion(const NamedDecl *FD)

const BlockDataRegion * getBlockDataRegion(const BlockCodeRegion *bc, const LocationContext *lc, unsigned blockCount)

getBlockDataRegion - Get the memory region associated with an instance of a block.

MemRegion - The root abstract class for all memory regions.

LLVM_ATTRIBUTE_RETURNS_NONNULL const MemRegion * StripCasts(bool StripBaseAndDerivedCasts=true) const

const SymbolicRegion * getSymbolicBase() const

If this is a symbolic region, returns the region.

ExprEngine & getOwningEngine()

SVal ArrayToPointer(Loc Array, QualType ElementTy)

StoreManager & getStoreManager()

DefinedOrUnknownSVal makeZeroVal(QualType type)

Construct an SVal representing '0' for the specified type.

DefinedSVal getMemberPointer(const NamedDecl *ND)

SVal evalMinus(NonLoc val)

SVal evalComplement(NonLoc val)

BasicValueFactory & getBasicValueFactory()

NonLoc makeCompoundVal(QualType type, llvm::ImmutableList< SVal > vals)

SymbolManager SymMgr

Manages the creation of symbols.

virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op, Loc lhs, NonLoc rhs, QualType resultTy)=0

Create a new value which represents a binary expression with a memory location and non-location opera...

DefinedSVal getMetadataSymbolVal(const void *symbolTag, const MemRegion *region, const Expr *expr, QualType type, const LocationContext *LCtx, unsigned count)

MemRegionManager & getRegionManager()

ProgramStateManager & getStateManager()

SVal makeSymExprValNN(BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy)

Constructs a symbolic expression for two non-location values.

virtual SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op, Loc lhs, Loc rhs, QualType resultTy)=0

Create a new value which represents a binary expression with two memory location operands.

const unsigned ArrayIndexWidth

The width of the scalar type used for array indices.

DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy, const LocationContext *locContext, unsigned blockCount)

DefinedSVal getFunctionPointer(const FunctionDecl *func)

const QualType ArrayIndexTy

The scalar type to use for array indices.

ASTContext & getContext()

nonloc::ConcreteInt makeIntVal(const IntegerLiteral *integer)

SVal convertToArrayIndex(SVal val)

loc::MemRegionVal makeLoc(SymbolRef sym)

virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy)=0

Create a new value which represents a binary expression with two non- location operands.

SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy)

Cast a given SVal to another SVal using given QualType's.

DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count)

Create a new symbol with a unique 'name'.

BasicValueFactory BasicVals

Manager of APSInt values.

ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs)

QualType getConditionType() const

MemRegionManager MemMgr

Manages the creation of memory regions.

SVal evalEQ(ProgramStateRef state, SVal lhs, SVal rhs)

SVal evalUnaryOp(ProgramStateRef state, UnaryOperator::Opcode opc, SVal operand, QualType type)

DefinedOrUnknownSVal getDerivedRegionValueSymbolVal(SymbolRef parentSymbol, const TypedValueRegion *region)

loc::MemRegionVal getCXXThis(const CXXMethodDecl *D, const StackFrameContext *SFC)

Return a memory region for the 'this' object reference.

nonloc::ConcreteInt makeTruthVal(bool b, QualType type)

loc::ConcreteInt makeNullWithType(QualType type)

Create NULL pointer, with proper pointer bit-width for given address space.

ProgramStateManager & StateMgr

std::optional< SVal > getConstantVal(const Expr *E)

Returns the value of E, if it can be determined in a non-path-sensitive manner.

NonLoc makeLocAsInteger(Loc loc, unsigned bits)

SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy, QualType originalType)

SymbolManager & getSymbolManager()

DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region)

Make a unique symbol for value of region.

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

loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer)

nonloc::SymbolVal makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, APSIntPtr rhs, QualType type)

const AnalyzerOptions & AnOpts

DefinedSVal getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned Count)

Conjure a symbol representing heap allocated memory region.

std::optional< loc::MemRegionVal > getCastedMemRegionVal(const MemRegion *region, QualType type)

Return MemRegionVal on success cast, otherwise return std::nullopt.

loc::MemRegionVal getAllocaRegionVal(const Expr *E, const LocationContext *LCtx, unsigned Count)

Create an SVal representing the result of an alloca()-like call, that is, an AllocaRegion on the stac...

nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean)

SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr)

SValVisitor - this class implements a simple visitor for SVal subclasses.

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

bool isUnknownOrUndef() const

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.

const MemRegion * getAsRegion() const

T castAs() const

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

std::optional< const MemRegion * > castRegion(const MemRegion *region, QualType CastToTy)

castRegion - Used by ExprEngine::VisitCast to handle casts from a MemRegion* to a specific location t...

virtual QualType getType() const =0

virtual unsigned computeComplexity() const =0

Represents a cast expression.

A symbol representing the value of a MemRegion whose parent region has symbolic value.

SymbolExtent - Represents the extent (size in bytes) of a bounded region.

const SymExprT * acquire(Args &&...args)

Create or retrieve a SymExpr of type SymExprT for the given arguments.

const SymbolConjured * conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned VisitCount, const void *SymbolTag=nullptr)

static bool canSymbolicate(QualType T)

A symbol representing the value stored at a MemRegion.

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

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

virtual QualType getValueType() const =0

Represents a symbolic expression involving a unary operator.

The simplest example of a concrete compound value is nonloc::CompoundVal, which represents a concrete...

Value representing integer constant.

APSIntPtr getValue() const

While nonloc::CompoundVal covers a few simple use cases, nonloc::LazyCompoundVal is a more performant...

Value representing pointer-to-member.

Represents symbolic expression that isn't a location.

LLVM_ATTRIBUTE_RETURNS_NONNULL SymbolRef getSymbol() const

const internal::VariadicAllOfMatcher< Type > type

Matches Types in the clang AST.

const internal::VariadicAllOfMatcher< Stmt > stmt

Matches statements.

const internal::VariadicDynCastAllOfMatcher< Stmt, Expr > expr

Matches expressions.

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

@ Result

The result type of a method or function.

const FunctionProtoType * T

EvalResult is a struct with detailed info about an evaluated expression.

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