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
490 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
200 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local1417 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, in RecoverCastedSymbol()
683 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
2189 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite()