clang API Documentation
| ArrayToPointer(Loc Array, QualType ElementTy)=0 | clang::ento::StoreManager | [pure virtual] |
| Bind(Store store, Loc loc, SVal val)=0 | clang::ento::StoreManager | [pure virtual] |
| BindDefault(Store store, const MemRegion *R, SVal V) | clang::ento::StoreManager | [virtual] |
| castRegion(const MemRegion *region, QualType CastToTy) | clang::ento::StoreManager | |
| CastRetrievedVal(SVal val, const TypedValueRegion *region, QualType castTy, bool performTestOnly=true) | clang::ento::StoreManager | [protected] |
| Ctx | clang::ento::StoreManager | [protected] |
| decrementReferenceCount(Store store) | clang::ento::StoreManager | [inline, virtual] |
| enterStackFrame(Store store, const CallEvent &Call, const StackFrameContext *CalleeCtx) | clang::ento::StoreManager | |
| evalDerivedToBase(SVal Derived, const CastExpr *Cast) | clang::ento::StoreManager | |
| evalDerivedToBase(SVal Derived, const CXXBasePath &CastPath) | clang::ento::StoreManager | |
| evalDerivedToBase(SVal Derived, QualType DerivedPtrType, bool IsVirtual) | clang::ento::StoreManager | |
| evalDynamicCast(SVal Base, QualType DerivedPtrType, bool &Failed) | clang::ento::StoreManager | |
| getBinding(Store store, Loc loc, QualType T=QualType())=0 | clang::ento::StoreManager | [pure virtual] |
| GetElementZeroRegion(const MemRegion *R, QualType T) | clang::ento::StoreManager | |
| getInitialStore(const LocationContext *InitLoc)=0 | clang::ento::StoreManager | [pure virtual] |
| getLValueCompoundLiteral(const CompoundLiteralExpr *CL, const LocationContext *LC) | clang::ento::StoreManager | [inline] |
| getLValueElement(QualType elementType, NonLoc offset, SVal Base) | clang::ento::StoreManager | [virtual] |
| getLValueField(const FieldDecl *D, SVal Base) | clang::ento::StoreManager | [inline, virtual] |
| getLValueIvar(const ObjCIvarDecl *decl, SVal base) | clang::ento::StoreManager | [virtual] |
| getLValueVar(const VarDecl *VD, const LocationContext *LC) | clang::ento::StoreManager | [inline, virtual] |
| getRegionManager() | clang::ento::StoreManager | [inline] |
| getSizeInElements(ProgramStateRef state, const MemRegion *region, QualType EleTy) | clang::ento::StoreManager | [inline, virtual] |
| includedInBindings(Store store, const MemRegion *region) const =0 | clang::ento::StoreManager | [pure virtual] |
| incrementReferenceCount(Store store) | clang::ento::StoreManager | [inline, virtual] |
| InvalidatedRegions typedef | clang::ento::StoreManager | |
| invalidateRegions(Store store, ArrayRef< SVal > Values, const Expr *E, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *InvalidatedTopLevel, InvalidatedRegions *Invalidated)=0 | clang::ento::StoreManager | [pure virtual] |
| iterBindings(Store store, BindingsHandler &f)=0 | clang::ento::StoreManager | [pure virtual] |
| killBinding(Store ST, Loc L)=0 | clang::ento::StoreManager | [pure virtual] |
| MakeElementRegion(const MemRegion *baseRegion, QualType pointeeTy, uint64_t index=0) | clang::ento::StoreManager | [protected] |
| MRMgr | clang::ento::StoreManager | [protected] |
| print(Store store, raw_ostream &Out, const char *nl, const char *sep)=0 | clang::ento::StoreManager | [pure virtual] |
| removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper &SymReaper)=0 | clang::ento::StoreManager | [pure virtual] |
| scanReachableSymbols(Store S, const MemRegion *R, ScanReachableSymbols &Visitor)=0 | clang::ento::StoreManager | [pure virtual] |
| StateMgr | clang::ento::StoreManager | [protected] |
| StoreManager(ProgramStateManager &stateMgr) | clang::ento::StoreManager | [protected] |
| svalBuilder | clang::ento::StoreManager | [protected] |
| ~StoreManager() | clang::ento::StoreManager | [inline, virtual] |