Searched refs:ConstraintManager (Results 1 – 22 of 22) sorted by relevance
78 class ConstraintManager {80 ConstraintManager() = default;81 virtual ~ConstraintManager();199 std::unique_ptr<ConstraintManager>203 std::unique_ptr<ConstraintManager>
43 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(120 ConstraintManager &getConstraintManager() const;500 std::unique_ptr<ConstraintManager> ConstraintMgr;565 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()680 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
24 class SimpleConstraintManager : public ConstraintManager {
60 ConstraintManager &getConstraintManager() { in getConstraintManager()
78 class ConstraintManager; variable381 ConstraintManager &getConstraintManager() { in getConstraintManager()
24 ConstraintManager::~ConstraintManager() = default;33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
310 std::unique_ptr<ConstraintManager>
358 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()
831 std::unique_ptr<ConstraintManager>
77 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
81 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
219 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux()335 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream()
143 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
136 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
168 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
141 ConstraintManager &CM = C.getConstraintManager(); in isZero()
246 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsOutOfRange()274 ConstraintManager &CM = Mgr.getConstraintManager(); in applyAsWithinRange()
168 ConstraintManager &CMgr = state->getConstraintManager(); in resolvePossiblyDestroyedMutex()
554 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
1359 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()2585 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()2596 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
364 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()1202 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
585 SRCS_FUL+= StaticAnalyzer/Core/ConstraintManager.cpp