| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 47 const StoreManager &getStoreManager() const { return mgr; }
|
| CheckerContext.h | 110 StoreManager &getStoreManager() {
111 return Eng.getStoreManager();
|
| ExprEngine.h | 291 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
|
| ProgramState.h | 508 StoreManager& getStoreManager() { return *StoreMgr; }
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| ReturnPointerRangeChecker.cpp | 59 = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
|
| BuiltinFunctionChecker.cpp | 57 MemRegionManager& RM = C.getStoreManager().getRegionManager();
|
| CallAndMessageChecker.cpp | 256 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(),
|
| MacOSKeychainAPIChecker.cpp | 222 StoreManager& SM = C.getStoreManager();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ProgramState.cpp | 52 stateMgr->getStoreManager().incrementReferenceCount(store);
62 stateMgr->getStoreManager().incrementReferenceCount(store);
67 stateMgr->getStoreManager().decrementReferenceCount(store);
412 stateMgr->getStoreManager().incrementReferenceCount(newStoreStore);
414 stateMgr->getStoreManager().decrementReferenceCount(store);
426 Mgr.getStoreManager().print(getStore(), Out, NL, Sep);
513 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
606 StoreManager &StoreMgr = state->getStateManager().getStoreManager();
|
| ExprEngineCXX.cpp | 226 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(),
438 getStoreManager().GetElementZeroRegion(NewReg, ObjTy);
|
| SValBuilder.cpp | 442 StoreManager &storeMgr = StateMgr.getStoreManager();
518 StoreManager &storeMgr = StateMgr.getStoreManager();
|
| ExprEngineC.cpp | 334 val = getStoreManager().evalDerivedToBase(val, CastE);
355 val = getStoreManager().evalDynamicCast(val, T, Failed);
[all...] |
| SymbolManager.cpp | 539 reapedStore.getStoreManager().includedInBindings(store, VR);
|
| ExprEngine.cpp | 193 StoreManager &StoreMgr = StateMgr.getStoreManager();
360 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager());
635 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy,
[all...] |
| CallEvent.cpp | 505 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
[all...] |
| ExprEngineCallAndReturn.cpp | 256 getStoreManager());
[all...] |
