Home
last modified time | relevance | path

Searched refs:DefinedOrUnknownSVal (Results 1 – 25 of 30) sorted by relevance

12

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h123 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(
DSVals.h202 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()
DProgramState.h180 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()
DSVals.def56 ABSTRACT_SVAL(DefinedOrUnknownSVal, SVal)
57 BASIC_SVAL(UnknownVal, DefinedOrUnknownSVal)
58 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
DMemRegion.h422 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;
DStore.h106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, in getSizeInElements()
/external/clang/lib/StaticAnalyzer/Checkers/
DBuiltinFunctionChecker.cpp67 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()
DCStringChecker.cpp227 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 …]
DVLASizeChecker.cpp137 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()
DArrayBoundChecker.cpp48 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in checkLocation()
58 DefinedOrUnknownSVal NumElements in checkLocation()
DReturnPointerRangeChecker.cpp50 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in checkPreStmt()
58 DefinedOrUnknownSVal NumElements in checkPreStmt()
DReturnUndefChecker.cpp33 DefinedOrUnknownSVal RetVal) const;
76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
104 DefinedOrUnknownSVal RetVal) const { in checkReference()
DDereferenceChecker.cpp207 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>(); in checkLocation()
259 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()
DVforkChecker.cpp156 Optional<DefinedOrUnknownSVal> DVal = in checkPostCall()
157 VforkRetVal.getAs<DefinedOrUnknownSVal>(); in checkPostCall()
DNullabilityChecker.cpp278 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()
DMallocChecker.cpp1110 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 …]
DBasicObjCFoundationChecks.cpp584 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()
DExprInspectionChecker.cpp86 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in getArgumentValueString()
DMacOSKeychainAPIChecker.cpp234 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr, in definitelyReturnedError()
236 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal, in definitelyReturnedError()
DCallAndMessageChecker.cpp322 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
378 State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkPreCall()
DArrayBoundCheckerV2.cpp140 DefinedOrUnknownSVal extentVal = in checkLocation()
/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp32 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 …]
DExprEngineObjC.cpp175 DefinedOrUnknownSVal receiverVal = in VisitObjCMessage()
176 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()
DExprEngineC.cpp403 DefinedOrUnknownSVal NewSym = in VisitCast()
599 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>(); in VisitLogicalExpr()
973 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator()
982 DefinedOrUnknownSVal Constraint = in VisitIncrementDecrementOperator()
DMemRegion.cpp179 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()

12