Searched defs:StateMgr (Results 1 – 8 of 8) sorted by relevance
43 ProgramStateManager &StateMgr; variable
45 ProgramStateManager &StateMgr; variable
69 ProgramStateManager StateMgr; variable
356 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local512 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local847 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local1123 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls() local
490 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
191 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local1325 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, in RecoverCastedSymbol()
682 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
2142 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite()