clang::ento::StoreManager Member List
This is the complete list of members for clang::ento::StoreManager, including all inherited members.
| ArrayToPointer(Loc Array, QualType ElementTy)=0 | clang::ento::StoreManager | pure virtual |
| Bind(Store store, Loc loc, SVal val)=0 | clang::ento::StoreManager | pure virtual |
| BindDefaultInitial(Store store, const MemRegion *R, SVal V)=0 | clang::ento::StoreManager | pure virtual |
| BindDefaultZero(Store store, const MemRegion *R)=0 | clang::ento::StoreManager | pure virtual |
| castRegion(const MemRegion *region, QualType CastToTy) | clang::ento::StoreManager | |
| Ctx | clang::ento::StoreManager | protected |
| decrementReferenceCount(Store store) | clang::ento::StoreManager | inlinevirtual |
| enterStackFrame(Store store, const CallEvent &Call, const StackFrameContext *CalleeCtx) | clang::ento::StoreManager | |
| evalBaseToDerived(SVal Base, QualType DerivedPtrType) | 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 | |
| getBinding(Store store, Loc loc, QualType T=QualType())=0 | clang::ento::StoreManager | pure virtual |
| getDefaultBinding(Store store, const MemRegion *R)=0 | clang::ento::StoreManager | pure virtual |
| getDefaultBinding(nonloc::LazyCompoundVal lcv) | clang::ento::StoreManager | inline |
| GetElementZeroRegion(const SubRegion *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 | inlinevirtual |
| getLValueIvar(const ObjCIvarDecl *decl, SVal base) | clang::ento::StoreManager | virtual |
| getLValueVar(const VarDecl *VD, const LocationContext *LC) | clang::ento::StoreManager | inlinevirtual |
| getRegionManager() | clang::ento::StoreManager | inline |
| getSValBuilder() | clang::ento::StoreManager | inline |
| includedInBindings(Store store, const MemRegion *region) const =0 | clang::ento::StoreManager | pure virtual |
| incrementReferenceCount(Store store) | clang::ento::StoreManager | inlinevirtual |
| InvalidatedRegions typedef | clang::ento::StoreManager | |
| invalidateRegions(Store store, ArrayRef< SVal > Values, ConstCFGElementRef Elem, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *TopLevelRegions, 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 SubRegion *baseRegion, QualType pointeeTy, uint64_t index=0) | clang::ento::StoreManager | protected |
| MRMgr | clang::ento::StoreManager | protected |
| printJson(raw_ostream &Out, Store S, const char *NL, unsigned int Space, bool IsDot) const =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()=default | clang::ento::StoreManager | virtual |
Generated on for clang by
1.14.0