clang::ento::SValBuilder Member List
This is the complete list of members for clang::ento::SValBuilder, including all inherited members.
| AnOpts | clang::ento::SValBuilder | protected |
| areEqual(ProgramStateRef state, SVal lhs, SVal rhs) | clang::ento::SValBuilder | |
| ArrayIndexTy | clang::ento::SValBuilder | protected |
| ArrayIndexWidth | clang::ento::SValBuilder | protected |
| BasicVals | clang::ento::SValBuilder | protected |
| conjureSymbol(ConstCFGElementRef Elem, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag=nullptr) | clang::ento::SValBuilder | inline |
| conjureSymbolVal(const void *symbolTag, ConstCFGElementRef elem, const LocationContext *LCtx, unsigned count) | clang::ento::SValBuilder | |
| conjureSymbolVal(const void *symbolTag, ConstCFGElementRef elem, const LocationContext *LCtx, QualType type, unsigned count) | clang::ento::SValBuilder | |
| conjureSymbolVal(ConstCFGElementRef elem, const LocationContext *LCtx, QualType type, unsigned visitCount) | clang::ento::SValBuilder | |
| conjureSymbolVal(const CallEvent &call, QualType type, unsigned visitCount, const void *symbolTag=nullptr) | clang::ento::SValBuilder | |
| conjureSymbolVal(const CallEvent &call, unsigned visitCount, const void *symbolTag=nullptr) | clang::ento::SValBuilder | |
| Context | clang::ento::SValBuilder | protected |
| convertToArrayIndex(SVal val) | clang::ento::SValBuilder | |
| evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, SVal lhs, SVal rhs, QualType type) | clang::ento::SValBuilder | |
| evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op, Loc lhs, Loc rhs, QualType resultTy)=0 | clang::ento::SValBuilder | pure virtual |
| evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op, Loc lhs, NonLoc rhs, QualType resultTy)=0 | clang::ento::SValBuilder | pure virtual |
| evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy)=0 | clang::ento::SValBuilder | pure virtual |
| evalCast(SVal V, QualType CastTy, QualType OriginalTy) | clang::ento::SValBuilder | |
| evalComplement(NonLoc val) | clang::ento::SValBuilder | |
| evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) | clang::ento::SValBuilder | |
| evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs, DefinedOrUnknownSVal rhs) | clang::ento::SValBuilder | |
| evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy, QualType originalType) | clang::ento::SValBuilder | |
| evalMinus(NonLoc val) | clang::ento::SValBuilder | |
| evalUnaryOp(ProgramStateRef state, UnaryOperator::Opcode opc, SVal operand, QualType type) | clang::ento::SValBuilder | |
| getAllocaRegionVal(const Expr *E, const LocationContext *LCtx, unsigned Count) | clang::ento::SValBuilder | |
| getAnalyzerOptions() const | clang::ento::SValBuilder | inline |
| getArrayIndexType() const | clang::ento::SValBuilder | inline |
| getBasicValueFactory() | clang::ento::SValBuilder | inline |
| getBasicValueFactory() const | clang::ento::SValBuilder | inline |
| getBlockPointer(const BlockDecl *block, CanQualType locTy, const LocationContext *locContext, unsigned blockCount) | clang::ento::SValBuilder | |
| getCastedMemRegionVal(const MemRegion *region, QualType type) | clang::ento::SValBuilder | |
| getConditionType() const | clang::ento::SValBuilder | inline |
| getConjuredHeapSymbolVal(ConstCFGElementRef elem, const LocationContext *LCtx, QualType type, unsigned Count) | clang::ento::SValBuilder | |
| getConstantVal(const Expr *E) | clang::ento::SValBuilder | |
| getContext() | clang::ento::SValBuilder | inline |
| getContext() const | clang::ento::SValBuilder | inline |
| getCXXThis(const CXXMethodDecl *D, const StackFrameContext *SFC) | clang::ento::SValBuilder | |
| getCXXThis(const CXXRecordDecl *D, const StackFrameContext *SFC) | clang::ento::SValBuilder | |
| getDerivedRegionValueSymbolVal(SymbolRef parentSymbol, const TypedValueRegion *region) | clang::ento::SValBuilder | |
| getFunctionPointer(const FunctionDecl *func) | clang::ento::SValBuilder | |
| getKnownValue(ProgramStateRef state, SVal val)=0 | clang::ento::SValBuilder | pure virtual |
| getMaxValue(ProgramStateRef state, SVal val)=0 | clang::ento::SValBuilder | pure virtual |
| getMemberPointer(const NamedDecl *ND) | clang::ento::SValBuilder | |
| getMetadataSymbolVal(const void *symbolTag, const MemRegion *region, const Expr *expr, QualType type, const LocationContext *LCtx, unsigned count) | clang::ento::SValBuilder | |
| getMinValue(ProgramStateRef state, SVal val)=0 | clang::ento::SValBuilder | pure virtual |
| getRegionManager() | clang::ento::SValBuilder | inline |
| getRegionManager() const | clang::ento::SValBuilder | inline |
| getRegionValueSymbolVal(const TypedValueRegion *region) | clang::ento::SValBuilder | |
| getStateManager() | clang::ento::SValBuilder | inline |
| getSymbolManager() | clang::ento::SValBuilder | inline |
| getSymbolManager() const | clang::ento::SValBuilder | inline |
| makeArrayIndex(uint64_t idx) | clang::ento::SValBuilder | inline |
| makeBoolVal(const ObjCBoolLiteralExpr *boolean) | clang::ento::SValBuilder | inline |
| makeBoolVal(const CXXBoolLiteralExpr *boolean) | clang::ento::SValBuilder | |
| makeCompoundVal(QualType type, llvm::ImmutableList< SVal > vals) | clang::ento::SValBuilder | inline |
| makeIntLocVal(const llvm::APSInt &integer) | clang::ento::SValBuilder | inline |
| makeIntVal(const IntegerLiteral *integer) | clang::ento::SValBuilder | inline |
| makeIntVal(const llvm::APSInt &integer) | clang::ento::SValBuilder | inline |
| makeIntVal(const llvm::APInt &integer, bool isUnsigned) | clang::ento::SValBuilder | inline |
| makeIntVal(uint64_t integer, QualType type) | clang::ento::SValBuilder | inline |
| makeIntVal(uint64_t integer, bool isUnsigned) | clang::ento::SValBuilder | inline |
| makeIntValWithWidth(QualType ptrType, uint64_t integer) | clang::ento::SValBuilder | inline |
| makeLazyCompoundVal(const StoreRef &store, const TypedValueRegion *region) | clang::ento::SValBuilder | inline |
| makeLoc(SymbolRef sym) | clang::ento::SValBuilder | inline |
| makeLoc(const MemRegion *region) | clang::ento::SValBuilder | inline |
| makeLoc(const AddrLabelExpr *expr) | clang::ento::SValBuilder | inline |
| makeLoc(const llvm::APSInt &integer) | clang::ento::SValBuilder | inline |
| makeLocAsInteger(Loc loc, unsigned bits) | clang::ento::SValBuilder | inline |
| makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, APSIntPtr rhs, QualType type) | clang::ento::SValBuilder | |
| makeNonLoc(APSIntPtr rhs, BinaryOperator::Opcode op, const SymExpr *lhs, QualType type) | clang::ento::SValBuilder | |
| makeNonLoc(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, QualType type) | clang::ento::SValBuilder | |
| makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op, QualType type) | clang::ento::SValBuilder | |
| makeNonLoc(const SymExpr *operand, QualType fromTy, QualType toTy) | clang::ento::SValBuilder | |
| makeNullWithType(QualType type) | clang::ento::SValBuilder | inline |
| makePointerToMember(const DeclaratorDecl *DD) | clang::ento::SValBuilder | inline |
| makePointerToMember(const PointerToMemberData *PTMD) | clang::ento::SValBuilder | inline |
| makeSymbolVal(SymbolRef Sym) | clang::ento::SValBuilder | inline |
| makeSymExprValNN(BinaryOperator::Opcode op, NonLoc lhs, NonLoc rhs, QualType resultTy) | clang::ento::SValBuilder | |
| makeTruthVal(bool b, QualType type) | clang::ento::SValBuilder | inline |
| makeTruthVal(bool b) | clang::ento::SValBuilder | inline |
| makeZeroArrayIndex() | clang::ento::SValBuilder | inline |
| makeZeroVal(QualType type) | clang::ento::SValBuilder | |
| MemMgr | clang::ento::SValBuilder | protected |
| simplifySVal(ProgramStateRef State, SVal Val)=0 | clang::ento::SValBuilder | pure virtual |
| StateMgr | clang::ento::SValBuilder | protected |
| SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) | clang::ento::SValBuilder | |
| SymMgr | clang::ento::SValBuilder | protected |
| ~SValBuilder()=default | clang::ento::SValBuilder | virtual |
Generated on for clang by
1.14.0