Home
last modified time | relevance | path

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

12

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h118 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(
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(UnknownKind) {} in UnknownVal()
235 class DefinedSVal : public DefinedOrUnknownSVal {
245 : DefinedOrUnknownSVal(d, isLoc, ValKind) {} in DefinedSVal()
DProgramState.h179 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, in assume()
645 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume()
DMemRegion.h426 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()
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;
DStore.h106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, in getSizeInElements()
/external/clang/lib/StaticAnalyzer/Checkers/
DBuiltinFunctionChecker.cpp66 DefinedOrUnknownSVal Size = in evalCall()
67 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); in evalCall()
70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); in evalCall()
71 DefinedOrUnknownSVal extentMatchesSizeArg = in evalCall()
DVLASizeChecker.cpp138 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty); in checkPreStmt()
169 DefinedOrUnknownSVal Extent = in checkPreStmt()
171 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>(); in checkPreStmt()
172 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()
DCStringChecker.cpp214 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
287 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>(); in CheckLocation()
290 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in CheckLocation()
463 Optional<DefinedOrUnknownSVal> reverseTest = in CheckOverlap()
464 reverse.getAs<DefinedOrUnknownSVal>(); in CheckOverlap()
508 Optional<DefinedOrUnknownSVal> OverlapTest = in CheckOverlap()
509 Overlap.getAs<DefinedOrUnknownSVal>(); in CheckOverlap()
585 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); in checkAdditionOverflow()
690 state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true); in getCStringLengthForRegion()
1100 DefinedOrUnknownSVal LV = in evalMemcmp()
[all …]
DReturnUndefChecker.cpp33 DefinedOrUnknownSVal RetVal) const;
76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
104 DefinedOrUnknownSVal RetVal) const { in checkReference()
DDereferenceChecker.cpp195 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>(); in checkLocation()
243 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()
DCallAndMessageChecker.cpp315 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
371 State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkPreCall()
476 DefinedOrUnknownSVal receiverVal = recVal.castAs<DefinedOrUnknownSVal>(); in checkPreObjCMessage()
DMallocChecker.cpp1098 if (Optional<DefinedOrUnknownSVal> DefinedSize = in MallocMemAux()
1099 Size.getAs<DefinedOrUnknownSVal>()) { in MallocMemAux()
1101 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); in MallocMemAux()
1102 DefinedOrUnknownSVal extentMatchesSize = in MallocMemAux()
1310 if (!ArgVal.getAs<DefinedOrUnknownSVal>()) in FreeMemAux()
1312 DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>(); in FreeMemAux()
1889 if (!Arg0Val.getAs<DefinedOrUnknownSVal>()) in ReallocMem()
1891 DefinedOrUnknownSVal arg0Val = Arg0Val.castAs<DefinedOrUnknownSVal>(); in ReallocMem()
1895 DefinedOrUnknownSVal PtrEQ = in ReallocMem()
1905 if (!Arg1ValG.getAs<DefinedOrUnknownSVal>()) in ReallocMem()
[all …]
DExprInspectionChecker.cpp72 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in getArgumentValueString()
DBasicObjCFoundationChecks.cpp585 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); in checkPreStmt()
938 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true); in checkElementNonNil()
1218 if (Optional<DefinedOrUnknownSVal> DV = Val.getAs<DefinedOrUnknownSVal>()) in assumeExprIsNonNull()
DMacOSKeychainAPIChecker.cpp240 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr, in definitelyReturnedError()
242 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal, in definitelyReturnedError()
DArrayBoundCheckerV2.cpp140 DefinedOrUnknownSVal extentVal = in checkLocation()
/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal()
94 DefinedOrUnknownSVal
109 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, in conjureSymbolVal()
124 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, in conjureSymbolVal()
141 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, in conjureSymbolVal()
156 DefinedOrUnknownSVal
183 DefinedOrUnknownSVal
362 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ()
363 DefinedOrUnknownSVal lhs, in evalEQ()
364 DefinedOrUnknownSVal rhs) { in evalEQ()
[all …]
DExprEngineObjC.cpp164 DefinedOrUnknownSVal receiverVal = in VisitObjCMessage()
165 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()
DMemRegion.cpp183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
197 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
202 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); in getExtent()
216 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
220 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
224 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent()
DExprEngineC.cpp370 DefinedOrUnknownSVal NewSym = in VisitCast()
563 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>(); in VisitLogicalExpr()
939 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator()
948 DefinedOrUnknownSVal Constraint = in VisitIncrementDecrementOperator()
DRegionStore.cpp570 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
1051 DefinedOrUnknownSVal V = in VisitCluster()
1073 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1081 DefinedOrUnknownSVal V = in VisitCluster()
1088 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1208 DefinedOrUnknownSVal
DProgramState.cpp304 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, in assumeInBound()
305 DefinedOrUnknownSVal UpperBound, in assumeInBound()
DExprEngine.cpp134 Optional<DefinedOrUnknownSVal> Constraint = in getInitialState()
135 Constraint_untested.getAs<DefinedOrUnknownSVal>(); in getInitialState()
1745 DefinedOrUnknownSVal CondV = CondV_untested.castAs<DefinedOrUnknownSVal>(); in processSwitch()
1776 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state, in processSwitch()
1882 state = state->assume(V.castAs<DefinedOrUnknownSVal>(), true); in VisitCommonDeclRefExpr()

12