clang API Documentation
| ArrayIndexTy | clang::ento::SValBuilder | [protected] |
| ArrayIndexWidth | clang::ento::SValBuilder | [protected] |
| BasicVals | clang::ento::SValBuilder | [protected] |
| conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag=nullptr) | clang::ento::SValBuilder | [inline] |
| conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag=nullptr) | clang::ento::SValBuilder | [inline] |
| conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, unsigned count) | clang::ento::SValBuilder | |
| conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) | clang::ento::SValBuilder | |
| conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) | clang::ento::SValBuilder | |
| Context | clang::ento::SValBuilder | [protected] |
| convertToArrayIndex(SVal val) | clang::ento::SValBuilder | |
| dispatchCast(SVal val, QualType castTy)=0 | clang::ento::SValBuilder | [pure virtual] |
| 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 val, QualType castTy, QualType originalType) | clang::ento::SValBuilder | |
| evalCastFromLoc(Loc val, QualType castTy)=0 | clang::ento::SValBuilder | [protected, pure virtual] |
| evalCastFromNonLoc(NonLoc val, QualType castTy)=0 | clang::ento::SValBuilder | [protected, pure virtual] |
| evalComplement(NonLoc val)=0 | clang::ento::SValBuilder | [pure virtual] |
| evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs, DefinedOrUnknownSVal rhs) | clang::ento::SValBuilder | |
| evalMinus(NonLoc val)=0 | clang::ento::SValBuilder | [pure virtual] |
| 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 | |
| getConditionType() const | clang::ento::SValBuilder | [inline] |
| getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, 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] |
| getMetadataSymbolVal(const void *symbolTag, const MemRegion *region, const Expr *expr, QualType type, unsigned count) | clang::ento::SValBuilder | |
| 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] |
| haveSameType(const SymExpr *Sym1, const SymExpr *Sym2) | clang::ento::SValBuilder | [inline] |
| haveSameType(QualType Ty1, QualType Ty2) | 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] |
| makeIntValWithPtrWidth(uint64_t integer, bool isUnsigned) | 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, const llvm::APSInt &rhs, QualType type) | clang::ento::SValBuilder | |
| makeNonLoc(const llvm::APSInt &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, QualType fromTy, QualType toTy) | clang::ento::SValBuilder | |
| makeNull() | clang::ento::SValBuilder | [inline] |
| makeSymExprValNN(ProgramStateRef state, 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] |
| StateMgr | clang::ento::SValBuilder | [protected] |
| SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, ProgramStateManager &stateMgr) | clang::ento::SValBuilder | [inline] |
| SymMgr | clang::ento::SValBuilder | [protected] |
| ~SValBuilder() | clang::ento::SValBuilder | [inline, virtual] |