Searched refs:ConstraintManager (Results 1 – 25 of 26) sorted by relevance
12
77 class ConstraintManager {79 ConstraintManager() = default;80 virtual ~ConstraintManager();194 std::unique_ptr<ConstraintManager>198 std::unique_ptr<ConstraintManager>
41 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(117 ConstraintManager &getConstraintManager() const;472 std::unique_ptr<ConstraintManager> ConstraintMgr;540 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()656 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
23 class SimpleConstraintManager : public ConstraintManager {
59 ConstraintManager &getConstraintManager() { in getConstraintManager()
84 class ConstraintManager; variable419 ConstraintManager &getConstraintManager() { in getConstraintManager()
23 ConstraintManager::~ConstraintManager() = default;32 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
15 std::unique_ptr<ConstraintManager>
21 ConstraintManager.cpp
362 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()
23 ConstraintManager.cpp \
30 "ConstraintManager.cpp",
83 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
78 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
167 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
173 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
197 ConstraintManager &CM = C.getConstraintManager(); in checkVLAIndexSize()
140 ConstraintManager &CM = C.getConstraintManager(); in isZero()
557 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
546 ConstraintManager &Cmr = State->getConstraintManager(); in evalAssume()
296 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
1617 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()2870 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()2881 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
823 ConstraintManager &CM = C.getConstraintManager(); in ensureStreamNonNull()
702 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsOutOfRange()731 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsWithinRange()
43 ConstraintManager). If assuming the conditions of a branch would
309 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()1166 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()