Home
last modified time | relevance | path

Searched refs:ConstraintManager (Results 1 – 22 of 22) 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
DAndroid.mk28 ConstraintManager.cpp \
DSimpleConstraintManager.h24 class SimpleConstraintManager : public ConstraintManager {
DProgramState.cpp346 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()
DRangeConstraintManager.cpp362 std::unique_ptr<ConstraintManager>
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.h42 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
114 ConstraintManager &getConstraintManager() const;
453 std::unique_ptr<ConstraintManager> ConstraintMgr;
517 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()
632 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager()
DCheckerContext.h106 ConstraintManager &getConstraintManager() { in getConstraintManager()
DExprEngine.h302 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.cpp143 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.cpp177 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
DTestAfterDivZeroChecker.cpp144 ConstraintManager &CM = C.getConstraintManager(); in isZero()
DMacOSKeychainAPIChecker.cpp573 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
DMallocChecker.cpp1183 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
2341 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
2352 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
DRetainCountChecker.cpp2867 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
3689 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
/external/clang/lib/StaticAnalyzer/
DREADME.txt43 ConstraintManager). If assuming the conditions of a branch would