| /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 | 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 | 223 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
296 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>();
299 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>();
472 Optional<DefinedOrUnknownSVal> reverseTest =
473 reverse.getAs<DefinedOrUnknownSVal>();
517 Optional<DefinedOrUnknownSVal> OverlapTest =
518 Overlap.getAs<DefinedOrUnknownSVal>();
593 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
[all...] |
| DereferenceChecker.cpp | 198 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>();
247 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
|
| VforkChecker.cpp | 156 Optional<DefinedOrUnknownSVal> DVal =
157 VforkRetVal.getAs<DefinedOrUnknownSVal>();
|
| NullabilityChecker.cpp | 249 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val,
348 .template getAs<DefinedOrUnknownSVal>();
483 State->getSVal(S, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();
557 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>();
672 if (auto DefOrUnknown = Receiver.getAs<DefinedOrUnknownSVal>()) {
831 State->getSVal(CE, C.getLocationContext()).getAs<DefinedOrUnknownSVal>();
[all...] |
| ExprInspectionChecker.cpp | 79 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
| ArrayBoundCheckerV2.cpp | 140 DefinedOrUnknownSVal extentVal =
|
| CallAndMessageChecker.cpp | 322 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
378 State->assume(V.castAs<DefinedOrUnknownSVal>());
|
| MacOSKeychainAPIChecker.cpp | 238 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr,
240 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) {}
|
| ProgramState.h | 179 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
187 assume(DefinedOrUnknownSVal cond) const;
189 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
190 DefinedOrUnknownSVal upperBound,
200 ProgramStateRef assumeWithinInclusiveRange(DefinedOrUnknownSVal Val,
211 assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From,
642 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond,
652 ProgramState::assume(DefinedOrUnknownSVal Cond) const {
661 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val,
675 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val
[all...] |
| 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...] |
| 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
390 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state,
391 DefinedOrUnknownSVal lhs,
392 DefinedOrUnknownSVal rhs)
[all...] |
| ExprEngineObjC.cpp | 175 DefinedOrUnknownSVal receiverVal =
176 recVal.castAs<DefinedOrUnknownSVal>();
|
| 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...] |
| ExprEngineC.cpp | 392 DefinedOrUnknownSVal NewSym =
588 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>();
[all...] |
| RegionStore.cpp | 564 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
[all...] |
