Lines Matching refs:SVal
234 ProgramStateRef state, SVal V, QualType Ty);
238 SVal strLength);
239 static SVal getCStringLengthForRegion(CheckerContext &C,
244 SVal getCStringLength(CheckerContext &C,
247 SVal Buf,
253 SVal val) const;
257 const Expr *Ex, SVal V,
264 static bool memsetAux(const Expr *DstBuffer, SVal CharE,
270 AnyArgExpr Arg, SVal l) const;
272 AnyArgExpr Buffer, SVal Element,
313 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
320 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V, in REGISTER_MAP_WITH_PROGRAMSTATE()
333 AnyArgExpr Arg, SVal l) const { in checkNonNull()
364 AnyArgExpr Buffer, SVal Element, in CheckLocation()
400 SVal Offset = svalBuilder.evalBinOpNN(state, BO_Mul, Idx, WideSize, SizeTy); in CheckLocation()
456 SVal BufVal = C.getSVal(Buffer.Expression); in CheckBufferAccess()
468 SVal LengthVal = C.getSVal(Size.Expression); in CheckBufferAccess()
475 SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy); in CheckBufferAccess()
481 SVal BufStart = in CheckBufferAccess()
485 SVal BufEnd = in CheckBufferAccess()
523 SVal firstVal = state->getSVal(First.Expression, LCtx); in CheckOverlap()
524 SVal secondVal = state->getSVal(Second.Expression, LCtx); in CheckOverlap()
551 SVal reverse = in CheckOverlap()
573 SVal LengthVal = state->getSVal(Size.Expression, LCtx); in CheckOverlap()
582 SVal FirstStart = in CheckOverlap()
589 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, *FirstStartLoc, in CheckOverlap()
596 SVal Overlap = in CheckOverlap()
751 SVal maxMinusRight; in checkAdditionOverflow()
766 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, in checkAdditionOverflow()
789 SVal strLength) { in setCStringLength()
828 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C, in getCStringLengthForRegion()
835 const SVal *Recorded = state->get<CStringLength>(MR); in getCStringLengthForRegion()
843 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(), in getCStringLengthForRegion()
857 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn, in getCStringLengthForRegion()
867 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state, in getCStringLength()
868 const Expr *Ex, SVal Buf, in getCStringLength()
943 ProgramStateRef &state, const Expr *expr, SVal val) const { in getCStringLiteral()
977 SVal BufVal = state->getSVal(FirstBuf, LCtx); in IsFirstBufInBound()
979 SVal LengthVal = state->getSVal(Size, LCtx); in IsFirstBufInBound()
986 SVal Offset = svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy); in IsFirstBufInBound()
992 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in IsFirstBufInBound()
997 SVal BufEnd = in IsFirstBufInBound()
1028 const Expr *E, SVal V, in InvalidateBuffer()
1122 bool CStringChecker::memsetAux(const Expr *DstBuffer, SVal CharVal, in memsetAux()
1125 SVal MemVal = C.getSVal(DstBuffer); in memsetAux()
1126 SVal SizeVal = C.getSVal(Size); in memsetAux()
1187 SVal NewStrLen = svalBuilder.getMetadataSymbolVal( in memsetAux()
1193 SVal NewStrLenGESize = svalBuilder.evalBinOp( in memsetAux()
1222 SVal sizeVal = state->getSVal(Size.Expression, LCtx); in evalCopyCommon()
1230 SVal destVal = state->getSVal(Dest.Expression, LCtx); in evalCopyCommon()
1251 SVal srcVal = state->getSVal(Source.Expression, LCtx); in evalCopyCommon()
1276 SVal DestRegCharVal = in evalCopyCommon()
1278 SVal lastElement = C.getSValBuilder().evalBinOp( in evalCopyCommon()
1383 SVal sizeVal = State->getSVal(Size.Expression, LCtx); in evalMemcmp()
1434 SVal CmpV = Builder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalMemcmp()
1461 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()
1470 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()
1485 SVal ArgVal = state->getSVal(Arg.Expression, LCtx); in evalstrLengthCommon()
1491 SVal strLength = getCStringLength(C, state, Arg.Expression, ArgVal); in evalstrLengthCommon()
1508 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()
1645 SVal DstVal = state->getSVal(Dst.Expression, LCtx); in evalStrcpyCommon()
1652 SVal srcVal = state->getSVal(srcExpr.Expression, LCtx); in evalStrcpyCommon()
1658 SVal strLength = getCStringLength(C, state, srcExpr.Expression, srcVal); in evalStrcpyCommon()
1662 SVal dstStrLength = getCStringLength(C, state, Dst.Expression, DstVal); in evalStrcpyCommon()
1676 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1677 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
1695 SVal lenVal = state->getSVal(lenExpr.Expression, LCtx); in evalStrcpyCommon()
1736 SVal freeSpace = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()
1749 SVal hasEnoughSpace = svalBuilder.evalBinOpNN( in evalStrcpyCommon()
1815 SVal retSize = svalBuilder.evalBinOp( in evalStrcpyCommon()
1846 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
1847 SVal strlRetVal = UnknownVal(); in evalStrcpyCommon()
1894 SVal sourceInResult = svalBuilder.evalBinOpNN( in evalStrcpyCommon()
1905 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE, in evalStrcpyCommon()
1923 SVal Result; in evalStrcpyCommon()
1948 SVal maxLastElement = in evalStrcpyCommon()
1958 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
2044 SVal LeftVal = state->getSVal(Left.Expression, LCtx); in evalStrcmpCommon()
2051 SVal RightVal = state->getSVal(Right.Expression, LCtx); in evalStrcmpCommon()
2057 SVal LeftLength = getCStringLength(C, state, Left.Expression, LeftVal); in evalStrcmpCommon()
2062 SVal RightLength = getCStringLength(C, state, Right.Expression, RightVal); in evalStrcmpCommon()
2102 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in evalStrcmpCommon()
2112 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon()
2150 SVal compareWithZero = in evalStrcmpCommon()
2181 SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx); in evalStrsep()
2188 SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx); in evalStrsep()
2194 SVal Result; in evalStrsep()
2250 SVal DstVal = State->getSVal(Dst, LCtx); in evalStdCopyCommon()
2256 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in evalStdCopyCommon()
2274 SVal SizeVal = C.getSVal(Size.Expression); in evalMemset()
2281 SVal BufferPtrVal = C.getSVal(Buffer.Expression); in evalMemset()
2317 SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy); in evalBzero()
2322 SVal SizeVal = C.getSVal(Size.Expression); in evalBzero()
2337 SVal MemVal = C.getSVal(Buffer.Expression); in evalBzero()
2435 SVal StrVal = C.getSVal(Init); in checkPreStmt()
2507 SVal Len = I.getData(); in checkLiveSymbols()
2525 SVal Len = I.getData(); in checkDeadSymbols()