HomeSort by relevance Sort by last modified time
    Searched refs:ConstraintManager (Results 1 - 19 of 19) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp 1 //== ConstraintManager.cpp - Constraints on symbolic values -----*- C++ -*--==//
19 ConstraintManager::~ConstraintManager() {}
28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
Android.mk 28 ConstraintManager.cpp \
SimpleConstraintManager.h 17 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
24 class SimpleConstraintManager : public ConstraintManager {
33 // Common implementation for the interface provided by ConstraintManager.
ProgramState.cpp 346 ConstraintManager &CM = SM.getConstraintManager();
RangeConstraintManager.cpp 362 std::unique_ptr<ConstraintManager>
SimpleSValBuilder.cpp 519 ConstraintManager &CMgr = state->getConstraintManager();
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 1 //== ConstraintManager.h - Constraints on symbolic values.-------*- C++ -*--==//
62 class ConstraintManager {
64 ConstraintManager() : NotifyAssumeClients(true) {}
66 virtual ~ConstraintManager();
134 /// Note that a ConstraintManager is not obligated to return a concretized
162 /// to avoid infinite recursions within the ConstraintManager.
164 /// Note that this flag allows the ConstraintManager to be re-entrant,
169 /// all SVal values. This method returns true if the ConstraintManager can
180 std::unique_ptr<ConstraintManager>
ProgramState.h 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
42 typedef std::unique_ptr<ConstraintManager>(*ConstraintManagerCreator)(
113 /// Return the ConstraintManager.
114 ConstraintManager &getConstraintManager() const;
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
453 std::unique_ptr<ConstraintManager> ConstraintMgr;
517 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
632 inline ConstraintManager &ProgramState::getConstraintManager() const {
CheckerContext.h 106 ConstraintManager &getConstraintManager() {
ExprEngine.h 276 /// evalAssume - Callback function invoked by the ConstraintManager when
302 ConstraintManager& getConstraintManager() {
  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 69 ConstraintManager &CM = C.getConstraintManager();
BoolAssignmentChecker.cpp 81 ConstraintManager &CM = C.getConstraintManager();
VLASizeChecker.cpp 143 ConstraintManager &CM = C.getConstraintManager();
NonNullParamChecker.cpp 138 ConstraintManager &CM = C.getConstraintManager();
SimpleStreamChecker.cpp 177 ConstraintManager &CMgr = State->getConstraintManager();
StreamChecker.cpp 220 ConstraintManager &CM = C.getConstraintManager();
347 ConstraintManager &CM = C.getConstraintManager();
TestAfterDivZeroChecker.cpp 144 ConstraintManager &CM = C.getConstraintManager();
MacOSKeychainAPIChecker.cpp 573 ConstraintManager &CMgr = State->getConstraintManager();
MallocChecker.cpp     [all...]

Completed in 1499 milliseconds