Searched defs:CMgr (Results 1 – 6 of 6) sorted by relevance
128 CallEventManager &CMgr = C.getStateManager().getCallEventManager(); in checkEndFunction() local
167 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked() local
557 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols() local
296 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex() local
1617 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail() local2870 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local2881 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local
309 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt() local1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume() local