/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 | 307 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
|
ProgramState.h | 517 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 | 60 MemRegionManager& RM = C.getStoreManager().getRegionManager();
|
VforkChecker.cpp | 168 MemRegionManager &M = C.getStoreManager().getRegionManager();
|
CallAndMessageChecker.cpp | 263 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(),
|
MacOSKeychainAPIChecker.cpp | 216 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 | 282 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(), 494 getStoreManager().GetElementZeroRegion(NewReg, ObjTy);
|
SValBuilder.cpp | 514 StoreManager &storeMgr = StateMgr.getStoreManager(); 590 StoreManager &storeMgr = StateMgr.getStoreManager();
|
SymbolManager.cpp | 551 reapedStore.getStoreManager().includedInBindings(store, VR);
|
ExprEngineC.cpp | 367 val = getStoreManager().evalDerivedToBase(val, CastE); 388 val = getStoreManager().evalDynamicCast(val, T, Failed); [all...] |
CallEvent.cpp | 555 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); [all...] |
ExprEngineCallAndReturn.cpp | 259 getStoreManager()); [all...] |
ExprEngine.cpp | 204 StoreManager &StoreMgr = StateMgr.getStoreManager(); 371 SymbolReaper SymReaper(SFC, ReferenceStmt, SymMgr, getStoreManager()); 650 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, BaseTy, [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
MPIChecker.cpp | 164 const auto &Size = Ctx.getStoreManager().getSizeInElements(
|