clang 8.0.0

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
attemptDownCast(SVal Base, QualType DerivedPtrType, bool &Failed) | clang::ento::StoreManager |
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 |
CastRetrievedVal(SVal val, const TypedValueRegion *region, QualType castTy) | 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 |
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 | 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
getSValBuilder() | clang::ento::StoreManager | inline
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 SubRegion *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)=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