| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 67 DefinedOrUnknownSVal Size =
68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
71 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder);
72 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 | 137 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty);
168 DefinedOrUnknownSVal Extent =
170 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>();
171 DefinedOrUnknownSVal sizeIsKnown =
|
| ReturnUndefChecker.cpp | 33 DefinedOrUnknownSVal RetVal) const;
76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>());
104 DefinedOrUnknownSVal RetVal) const {
|
| CStringChecker.cpp | 227 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
300 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();
303 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
476 Optional<DefinedOrUnknownSVal> reverseTest =
477 reverse.getAs<DefinedOrUnknownSVal>();
521 Optional<DefinedOrUnknownSVal> OverlapTest =
522 Overlap.getAs<DefinedOrUnknownSVal>();
597 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
[all...] |
| DereferenceChecker.cpp | 207 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>();
259 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
|
| VforkChecker.cpp | 156 Optional<DefinedOrUnknownSVal> DVal =
157 VforkRetVal.getAs<DefinedOrUnknownSVal>();
|
| NullabilityChecker.cpp | 278 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val,
371 State->getSVal(RegionVal->getRegion()).getAs<DefinedOrUnknownSVal>();
564 State->getSVal(S, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();
688 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>();
819 if (auto DefOrUnknown = Receiver.getAs<DefinedOrUnknownSVal>()) {
[all...] |
| ArrayBoundCheckerV2.cpp | 140 DefinedOrUnknownSVal extentVal =
|
| ExprInspectionChecker.cpp | 86 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
| CallAndMessageChecker.cpp | 322 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
378 State->assume(V.castAs<DefinedOrUnknownSVal>());
|
| MacOSKeychainAPIChecker.cpp | 234 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr,
236 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
|
| BasicObjCFoundationChecks.cpp | 584 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
936 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true);
[all...] |
| MallocChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SValBuilder.h | 123 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs,
124 DefinedOrUnknownSVal rhs);
166 DefinedOrUnknownSVal makeZeroVal(QualType type);
169 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region);
177 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
181 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag,
187 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt,
194 DefinedOrUnknownSVal getConjuredHeapSymbolVal(const Expr *E,
198 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(UnknownValKind) {}
235 class DefinedSVal : public DefinedOrUnknownSVal {
245 : DefinedOrUnknownSVal(d, isLoc, ValKind) {}
|
| ProgramState.h | 180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
188 assume(DefinedOrUnknownSVal cond) const;
190 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
191 DefinedOrUnknownSVal upperBound,
201 ProgramStateRef assumeWithinInclusiveRange(DefinedOrUnknownSVal Val,
212 assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From,
643 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond,
653 ProgramState::assume(DefinedOrUnknownSVal Cond) const {
662 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val,
676 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val
[all...] |
| MemRegion.h | 422 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const {
457 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
517 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
721 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
757 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
937 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
[all...] |
| Store.h | 106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SValBuilder.cpp | 32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) {
94 DefinedOrUnknownSVal
112 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag,
130 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag,
150 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt,
168 DefinedOrUnknownSVal
197 DefinedOrUnknownSVal
395 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state,
396 DefinedOrUnknownSVal lhs,
397 DefinedOrUnknownSVal rhs)
[all...] |
| ExprEngineObjC.cpp | 175 DefinedOrUnknownSVal receiverVal =
176 recVal.castAs<DefinedOrUnknownSVal>();
|
| ExprEngineC.cpp | 403 DefinedOrUnknownSVal NewSym =
599 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>();
[all...] |
| MemRegion.cpp | 179 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const {
193 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const {
198 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder);
212 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const {
216 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
220 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const {
[all...] |
| RegionStore.cpp | 566 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
[all...] |
