reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  553     StoreMgr->iterBindings(state->getStore(), F);
  777   return getStateManager().StoreMgr->getBinding(getStore(), LV, T);
  781   return getStateManager().StoreMgr->getBinding(getStore(),

tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp

  215     SymbolRef sym = SM.getBinding(State->getStore(), *X).getAsLocSymbol();

tools/clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp

  323   State->getStateManager().getStoreManager().iterBindings(State->getStore(),

tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp

  179     LLCV->getStore() == LeftNode->getState()->getStore() &&
  180     RLCV->getStore() == RightNode->getState()->getStore();

tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp

  107     LHSVal = Mgr.getStoreManager().getBinding(State->getStore(),

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  110   StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
  124   ProgramStateRef newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
  138   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultInitial(getStore(), R, V);
  147   const StoreRef &newStore = Mgr.StoreMgr->BindDefaultZero(getStore(), R);
  207   = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
  227   Store OldStore = getStore();
  241     getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);
  453   Mgr.getStoreManager().printJson(Out, getStore(), NL, Space, IsDot);
  614       if (!StoreMgr.scanReachableSymbols(state->getStore(), SR, *this))