Searched defs:StateMgr (Results 1 – 8 of 8) sorted by relevance
43 ProgramStateManager &StateMgr; variable
46 ProgramStateManager &StateMgr; variable
69 ProgramStateManager StateMgr; variable
356 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local512 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local892 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local1173 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls() local
540 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
202 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local1480 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, in RecoverCastedSymbol()
669 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
2214 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite()