Home
last modified time | relevance | path

Searched refs:ConstraintManager (Results 1 – 21 of 21) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DConstraintManager.cpp19 ConstraintManager::~ConstraintManager() {} in ~ConstraintManager()
28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
DCMakeLists.txt19 ConstraintManager.cpp
DSimpleConstraintManager.h24 class SimpleConstraintManager : public ConstraintManager {
DRangeConstraintManager.cpp362 std::unique_ptr<ConstraintManager>
DProgramState.cpp346 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()
DSimpleSValBuilder.cpp519 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h62 class ConstraintManager {
64 ConstraintManager() : NotifyAssumeClients(true) {} in ConstraintManager() function
66 virtual ~ConstraintManager();
180 std::unique_ptr<ConstraintManager>
DProgramState.h43 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
115 ConstraintManager &getConstraintManager() const;
454 std::unique_ptr<ConstraintManager> ConstraintMgr;
518 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()
633 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
DCheckerContext.h106 ConstraintManager &getConstraintManager() { in getConstraintManager()
DExprEngine.h309 ConstraintManager& getConstraintManager() { in getConstraintManager()
/external/clang/lib/StaticAnalyzer/Checkers/
DDivZeroChecker.cpp69 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
DBoolAssignmentChecker.cpp81 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
DVLASizeChecker.cpp142 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
DNonNullParamChecker.cpp138 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
DStreamChecker.cpp220 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux()
347 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream()
DSimpleStreamChecker.cpp168 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
DTestAfterDivZeroChecker.cpp144 ConstraintManager &CM = C.getConstraintManager(); in isZero()
DMacOSKeychainAPIChecker.cpp565 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
DMallocChecker.cpp1191 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
2349 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
2360 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
DRetainCountChecker.cpp2860 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
3682 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
/external/clang/lib/StaticAnalyzer/
DREADME.txt43 ConstraintManager). If assuming the conditions of a branch would