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 = NULL)
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.h178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
186 assume(DefinedOrUnknownSVal cond) const;
188 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
189 DefinedOrUnknownSVal upperBound,
635 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume()
645 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume()
DMemRegion.h429 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent()
464 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
524 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
725 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
761 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
941 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
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()
DReturnPointerRangeChecker.cpp49 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in checkPreStmt()
57 DefinedOrUnknownSVal NumElements in checkPreStmt()
DArrayBoundChecker.cpp47 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in checkLocation()
57 DefinedOrUnknownSVal NumElements in checkLocation()
DVLASizeChecker.cpp146 DefinedOrUnknownSVal Extent = in checkPreStmt()
148 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>(); in checkPreStmt()
149 DefinedOrUnknownSVal sizeIsKnown = in checkPreStmt()
DCStringChecker.cpp211 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); in REGISTER_MAP_WITH_PROGRAMSTATE()
283 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>(); in CheckLocation()
286 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); in CheckLocation()
458 Optional<DefinedOrUnknownSVal> reverseTest = in CheckOverlap()
459 reverse.getAs<DefinedOrUnknownSVal>(); in CheckOverlap()
503 Optional<DefinedOrUnknownSVal> OverlapTest = in CheckOverlap()
504 Overlap.getAs<DefinedOrUnknownSVal>(); in CheckOverlap()
579 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); in checkAdditionOverflow()
1053 DefinedOrUnknownSVal LV = in evalMemcmp()
1054 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>(); in evalMemcmp()
[all …]
DReturnUndefChecker.cpp33 DefinedOrUnknownSVal RetVal) const;
76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
104 DefinedOrUnknownSVal RetVal) const { in checkReference()
DDereferenceChecker.cpp194 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>(); in checkLocation()
243 State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkBind()
DCallAndMessageChecker.cpp241 State->assume(L.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
271 State->assume(V.castAs<DefinedOrUnknownSVal>()); in checkPreCall()
372 DefinedOrUnknownSVal receiverVal = recVal.castAs<DefinedOrUnknownSVal>(); in checkPreObjCMessage()
DMallocChecker.cpp773 if (Optional<DefinedOrUnknownSVal> DefinedSize = in MallocMemAux()
774 Size.getAs<DefinedOrUnknownSVal>()) { in MallocMemAux()
776 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); in MallocMemAux()
777 DefinedOrUnknownSVal extentMatchesSize = in MallocMemAux()
964 if (!ArgVal.getAs<DefinedOrUnknownSVal>()) in FreeMemAux()
966 DefinedOrUnknownSVal location = ArgVal.castAs<DefinedOrUnknownSVal>(); in FreeMemAux()
1415 if (!Arg0Val.getAs<DefinedOrUnknownSVal>()) in ReallocMem()
1417 DefinedOrUnknownSVal arg0Val = Arg0Val.castAs<DefinedOrUnknownSVal>(); in ReallocMem()
1421 DefinedOrUnknownSVal PtrEQ = in ReallocMem()
1431 if (!Arg1ValG.getAs<DefinedOrUnknownSVal>()) in ReallocMem()
[all …]
DExprInspectionChecker.cpp70 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>()); in getArgumentValueString()
DBasicObjCFoundationChecks.cpp546 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); in checkPreStmt()
894 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true); in checkElementNonNil()
1084 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
360 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ()
361 DefinedOrUnknownSVal lhs, in evalEQ()
362 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.cpp361 DefinedOrUnknownSVal NewSym = in VisitCast()
551 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>(); in VisitLogicalExpr()
909 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator()
917 DefinedOrUnknownSVal Constraint = in VisitIncrementDecrementOperator()
DRegionStore.cpp568 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
1054 DefinedOrUnknownSVal V = in VisitCluster()
1076 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1084 DefinedOrUnknownSVal V = in VisitCluster()
1091 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, in VisitCluster()
1217 DefinedOrUnknownSVal
DExprEngine.cpp123 Optional<DefinedOrUnknownSVal> Constraint = in getInitialState()
124 Constraint_untested.getAs<DefinedOrUnknownSVal>(); in getInitialState()
1538 DefinedOrUnknownSVal CondV = CondV_untested.castAs<DefinedOrUnknownSVal>(); in processSwitch()
1569 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state, in processSwitch()
1675 state = state->assume(V.castAs<DefinedOrUnknownSVal>(), true); in VisitCommonDeclRefExpr()
DProgramState.cpp325 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, in assumeInBound()
326 DefinedOrUnknownSVal UpperBound, in assumeInBound()

12