Searched defs:StateMgr (Results 1 – 8 of 8) sorted by relevance
43 ProgramStateManager &StateMgr; variable
45 ProgramStateManager &StateMgr; variable
69 ProgramStateManager StateMgr; variable
352 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local508 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local843 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local1115 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls() local
530 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
201 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local1464 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, in RecoverCastedSymbol()
667 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
2213 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite()