/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | 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(
|
D | SVals.h | 202 class DefinedOrUnknownSVal : public SVal { 210 DefinedOrUnknownSVal() {} in DefinedOrUnknownSVal() function 211 explicit DefinedOrUnknownSVal(const void *d, bool isLoc, unsigned ValKind) in DefinedOrUnknownSVal() function 214 explicit DefinedOrUnknownSVal(BaseKind k, void *D = nullptr) 224 class UnknownVal : public DefinedOrUnknownSVal { 226 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownValKind) {} in UnknownVal() 235 class DefinedSVal : public DefinedOrUnknownSVal { 245 : DefinedOrUnknownSVal(d, isLoc, ValKind) {} in DefinedSVal()
|
D | 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, in assume() 653 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() 662 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, in assumeWithinInclusiveRange() 676 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, in assumeWithinInclusiveRange()
|
D | SVals.def | 56 ABSTRACT_SVAL(DefinedOrUnknownSVal, SVal) 57 BASIC_SVAL(UnknownVal, DefinedOrUnknownSVal) 58 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
|
D | MemRegion.h | 422 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent() 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;
|
D | Store.h | 106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, in getSizeInElements()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | BuiltinFunctionChecker.cpp | 67 DefinedOrUnknownSVal Size = in evalCall() 68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); in evalCall() 71 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); in evalCall() 72 DefinedOrUnknownSVal extentMatchesSizeArg = in evalCall()
|
D | CStringChecker.cpp | 227 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE() 300 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>(); in CheckLocation() 303 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in CheckLocation() 476 Optional<DefinedOrUnknownSVal> reverseTest = in CheckOverlap() 477 reverse.getAs<DefinedOrUnknownSVal>(); in CheckOverlap() 521 Optional<DefinedOrUnknownSVal> OverlapTest = in CheckOverlap() 522 Overlap.getAs<DefinedOrUnknownSVal>(); in CheckOverlap() 597 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); in checkAdditionOverflow() 702 state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true); in getCStringLengthForRegion() 883 DefinedOrUnknownSVal ExtentSize = Extent.castAs<DefinedOrUnknownSVal>(); in IsFirstBufInBound() [all …]
|
D | VLASizeChecker.cpp | 137 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty); in checkPreStmt() 168 DefinedOrUnknownSVal Extent = in checkPreStmt() 170 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>(); in checkPreStmt() 171 DefinedOrUnknownSVal sizeIsKnown = in checkPreStmt()
|
D | ArrayBoundChecker.cpp | 48 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in checkLocation() 58 DefinedOrUnknownSVal NumElements in checkLocation()
|
D | ReturnPointerRangeChecker.cpp | 50 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in checkPreStmt() 58 DefinedOrUnknownSVal NumElements in checkPreStmt()
|
D | ReturnUndefChecker.cpp | 33 DefinedOrUnknownSVal RetVal) const; 76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>()); in checkPreStmt() 104 DefinedOrUnknownSVal RetVal) const { in checkReference()
|
D | DereferenceChecker.cpp | 207 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>(); in checkLocation() 259 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()
|
D | VforkChecker.cpp | 156 Optional<DefinedOrUnknownSVal> DVal = in checkPostCall() 157 VforkRetVal.getAs<DefinedOrUnknownSVal>(); in checkPostCall()
|
D | NullabilityChecker.cpp | 278 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val, in getNullConstraint() 371 State->getSVal(RegionVal->getRegion()).getAs<DefinedOrUnknownSVal>(); in checkValueAtLValForInvariantViolation() 564 State->getSVal(S, C.getLocationContext()).getAs<DefinedOrUnknownSVal>(); in checkPreStmt() 688 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); in checkPreCall() 819 if (auto DefOrUnknown = Receiver.getAs<DefinedOrUnknownSVal>()) { in getReceiverNullability() 978 State->getSVal(CE, C.getLocationContext()).getAs<DefinedOrUnknownSVal>(); in checkPostStmt() 1095 auto ValDefOrUnknown = V.getAs<DefinedOrUnknownSVal>(); in checkBind()
|
D | MallocChecker.cpp | 1110 if (Optional<DefinedOrUnknownSVal> DefinedSize = in MallocMemAux() 1111 Size.getAs<DefinedOrUnknownSVal>()) { in MallocMemAux() 1113 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); in MallocMemAux() 1114 DefinedOrUnknownSVal extentMatchesSize = in MallocMemAux() 1322 if (!ArgVal.getAs<DefinedOrUnknownSVal>()) in FreeMemAux() 1324 DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>(); in FreeMemAux() 1905 if (!Arg0Val.getAs<DefinedOrUnknownSVal>()) in ReallocMem() 1907 DefinedOrUnknownSVal arg0Val = Arg0Val.castAs<DefinedOrUnknownSVal>(); in ReallocMem() 1911 DefinedOrUnknownSVal PtrEQ = in ReallocMem() 1921 if (!Arg1ValG.getAs<DefinedOrUnknownSVal>()) in ReallocMem() [all …]
|
D | BasicObjCFoundationChecks.cpp | 584 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); in checkPreStmt() 936 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true); in checkElementNonNil() 1209 if (Optional<DefinedOrUnknownSVal> DV = Val.getAs<DefinedOrUnknownSVal>()) in assumeExprIsNonNull()
|
D | ExprInspectionChecker.cpp | 86 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in getArgumentValueString()
|
D | MacOSKeychainAPIChecker.cpp | 234 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr, in definitelyReturnedError() 236 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal, in definitelyReturnedError()
|
D | CallAndMessageChecker.cpp | 322 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>()); in checkPreStmt() 378 State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkPreCall()
|
D | ArrayBoundCheckerV2.cpp | 140 DefinedOrUnknownSVal extentVal = in checkLocation()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | SValBuilder.cpp | 32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal() 94 DefinedOrUnknownSVal 112 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, in conjureSymbolVal() 130 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, in conjureSymbolVal() 150 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, in conjureSymbolVal() 168 DefinedOrUnknownSVal 197 DefinedOrUnknownSVal 395 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ() 396 DefinedOrUnknownSVal lhs, in evalEQ() 397 DefinedOrUnknownSVal rhs) { in evalEQ() [all …]
|
D | ExprEngineObjC.cpp | 175 DefinedOrUnknownSVal receiverVal = in VisitObjCMessage() 176 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()
|
D | ExprEngineC.cpp | 403 DefinedOrUnknownSVal NewSym = in VisitCast() 599 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>(); in VisitLogicalExpr() 973 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator() 982 DefinedOrUnknownSVal Constraint = in VisitIncrementDecrementOperator()
|
D | MemRegion.cpp | 179 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() 193 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() 198 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); in getExtent() 212 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() 216 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() 220 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
|