| /external/trappy/tests/ |
| D | test_constraint.py | 21 from trappy.plotter.Constraint import Constraint, ConstraintManager
43 c_mgr = ConstraintManager(dfr, "load", None, AttrConf.PIVOT, {})
55 c_mgr = ConstraintManager(self.dfrs, "load", None, AttrConf.PIVOT, {})
67 c_mgr = ConstraintManager(self.dfrs, self.cols, None, AttrConf.PIVOT, {})
79 c_mgr = ConstraintManager(self.dfrs, self.cols, None, AttrConf.PIVOT,
94 c_mgr = ConstraintManager(self.dfrs, "load", None, AttrConf.PIVOT,
111 c_mgr = ConstraintManager(self.dfrs[0], "load", None, "cpu", {})
124 c_mgr = ConstraintManager(self.dfrs, "load", None, "cpu", {})
138 c_mgr = ConstraintManager(self.dfrs, ["load", "freq"], None, "cpu", {})
152 c_mgr = ConstraintManager(self.dfrs[0], "freq", None, "cpu",
[all …]
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ConstraintManager.cpp | 19 ConstraintManager::~ConstraintManager() {} in ~ConstraintManager()
28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull()
|
| D | CMakeLists.txt | 19 ConstraintManager.cpp
|
| D | SimpleConstraintManager.h | 24 class SimpleConstraintManager : public ConstraintManager {
|
| D | RangeConstraintManager.cpp | 362 std::unique_ptr<ConstraintManager>
|
| D | ProgramState.cpp | 346 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()
|
| D | SimpleSValBuilder.cpp | 519 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ConstraintManager.h | 62 class ConstraintManager {
64 ConstraintManager() : NotifyAssumeClients(true) {} in ConstraintManager() function
66 virtual ~ConstraintManager();
180 std::unique_ptr<ConstraintManager>
|
| D | ProgramState.h | 43 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()
|
| D | CheckerContext.h | 106 ConstraintManager &getConstraintManager() { in getConstraintManager()
|
| D | ExprEngine.h | 309 ConstraintManager& getConstraintManager() { in getConstraintManager()
|
| /external/trappy/trappy/plotter/ |
| D | ILinePlot.py | 26 from trappy.plotter.Constraint import ConstraintManager
160 self.c_mgr = ConstraintManager(traces, self._attr["column"], self.templates,
|
| D | StaticPlot.py | 20 from trappy.plotter.Constraint import ConstraintManager
137 self.c_mgr = ConstraintManager(traces, self._attr["column"],
|
| D | Constraint.py | 208 class ConstraintManager(object): class
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DivZeroChecker.cpp | 69 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
|
| D | BoolAssignmentChecker.cpp | 81 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
|
| D | VLASizeChecker.cpp | 142 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
|
| D | NonNullParamChecker.cpp | 138 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
|
| D | StreamChecker.cpp | 220 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux()
347 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream()
|
| D | SimpleStreamChecker.cpp | 168 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
|
| D | TestAfterDivZeroChecker.cpp | 144 ConstraintManager &CM = C.getConstraintManager(); in isZero()
|
| D | MacOSKeychainAPIChecker.cpp | 565 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
|
| D | MallocChecker.cpp | 1191 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
2349 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
2360 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| D | RetainCountChecker.cpp | 2860 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
3682 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
|
| /external/clang/lib/StaticAnalyzer/ |
| D | README.txt | 43 ConstraintManager). If assuming the conditions of a branch would
|