| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 66 DefinedOrUnknownSVal Size =
67 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
71 DefinedOrUnknownSVal extentMatchesSizeArg =
|
| ArrayBoundChecker.cpp | 48 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
58 DefinedOrUnknownSVal NumElements
|
| ReturnPointerRangeChecker.cpp | 50 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
58 DefinedOrUnknownSVal NumElements
|
| VLASizeChecker.cpp | 138 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty);
169 DefinedOrUnknownSVal Extent =
171 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>();
172 DefinedOrUnknownSVal sizeIsKnown =
|
| ReturnUndefChecker.cpp | 33 DefinedOrUnknownSVal RetVal) const;
76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>());
104 DefinedOrUnknownSVal RetVal) const {
|
| CStringChecker.cpp | 214 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
287 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();
290 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
463 Optional<DefinedOrUnknownSVal> reverseTest =
464 reverse.getAs<DefinedOrUnknownSVal>();
508 Optional<DefinedOrUnknownSVal> OverlapTest =
509 Overlap.getAs<DefinedOrUnknownSVal>();
585 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
[all...] |
| DereferenceChecker.cpp | 195 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>();
243 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
|
| ExprInspectionChecker.cpp | 72 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
| CallAndMessageChecker.cpp | 315 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
371 State->assume(V.castAs<DefinedOrUnknownSVal>());
476 DefinedOrUnknownSVal receiverVal = recVal.castAs<DefinedOrUnknownSVal>();
|
| ArrayBoundCheckerV2.cpp | 140 DefinedOrUnknownSVal extentVal =
|
| MacOSKeychainAPIChecker.cpp | 240 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr,
242 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
|
| BasicObjCFoundationChecks.cpp | 585 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
938 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true);
[all...] |
| MallocChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 118 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
119 DefinedOrUnknownSVal rhs);
161 DefinedOrUnknownSVal makeZeroVal(QualType type);
164 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
172 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
176 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
182 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
189 DefinedOrUnknownSVal getConjuredHeapSymbolVal(const Expr *E,
193 DefinedOrUnknownSVal getDerivedRegionValueSymbolVal
[all...] |
| SVals.h | 202 class DefinedOrUnknownSVal : public SVal {
210 DefinedOrUnknownSVal() {}
211 explicit DefinedOrUnknownSVal(const void *d, bool isLoc, unsigned ValKind)
214 explicit DefinedOrUnknownSVal(BaseKind k, void *D = nullptr)
224 class UnknownVal : public DefinedOrUnknownSVal {
226 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownKind) {}
235 class DefinedSVal : public DefinedOrUnknownSVal {
245 : DefinedOrUnknownSVal(d, isLoc, ValKind) {}
|
| MemRegion.h | 426 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const {
461 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
521 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
725 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
761 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
941 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
[all...] |
| ProgramState.h | 179 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
187 assume(DefinedOrUnknownSVal cond) const;
189 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
190 DefinedOrUnknownSVal upperBound,
635 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond,
645 ProgramState::assume(DefinedOrUnknownSVal Cond) const {
|
| Store.h | 106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SValBuilder.cpp | 32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) {
94 DefinedOrUnknownSVal
109 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag,
124 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag,
141 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt,
156 DefinedOrUnknownSVal
183 DefinedOrUnknownSVal
362 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state,
363 DefinedOrUnknownSVal lhs,
364 DefinedOrUnknownSVal rhs)
[all...] |
| ExprEngineObjC.cpp | 164 DefinedOrUnknownSVal receiverVal =
165 recVal.castAs<DefinedOrUnknownSVal>();
|
| ExprEngineC.cpp | 370 DefinedOrUnknownSVal NewSym =
563 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>();
[all...] |
| MemRegion.cpp | 183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const {
197 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const {
202 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder);
216 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const {
220 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
224 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const {
[all...] |
| ExprEngine.cpp | 134 Optional<DefinedOrUnknownSVal> Constraint =
135 Constraint_untested.getAs<DefinedOrUnknownSVal>();
[all...] |
| RegionStore.cpp | 570 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
[all...] |
| ProgramState.cpp | 304 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx,
305 DefinedOrUnknownSVal UpperBound,
|
