Searched defs:StateMgr (Results 1 – 8 of 8) sorted by relevance
43 ProgramStateManager &StateMgr; variable
45 ProgramStateManager &StateMgr; variable
70 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() local1121 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls() local
498 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
189 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local1294 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, in RecoverCastedSymbol()
685 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
2077 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite()