Lines Matching refs:SVal
122 ProgramStateRef state, SVal V, QualType Ty);
126 SVal strLength);
127 static SVal getCStringLengthForRegion(CheckerContext &C,
132 SVal getCStringLength(CheckerContext &C,
135 SVal Buf,
141 SVal val) const;
145 const Expr *Ex, SVal V);
154 SVal l) const;
158 SVal l,
197 REGISTER_MAP_WITH_PROGRAMSTATE(CStringLength, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
204 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V, in REGISTER_MAP_WITH_PROGRAMSTATE()
217 const Expr *S, SVal l) const { in checkNonNull()
260 const Expr *S, SVal l, in CheckLocation()
281 SVal Extent = in CheckLocation()
351 SVal BufVal = state->getSVal(FirstBuf, LCtx); in CheckBufferAccess()
363 SVal LengthVal = state->getSVal(Size, LCtx); in CheckBufferAccess()
374 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType()); in CheckBufferAccess()
378 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
398 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, in CheckBufferAccess()
428 SVal firstVal = state->getSVal(First, LCtx); in CheckOverlap()
429 SVal secondVal = state->getSVal(Second, LCtx); in CheckOverlap()
456 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT, in CheckOverlap()
478 SVal LengthVal = state->getSVal(Size, LCtx); in CheckOverlap()
487 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, in CheckOverlap()
494 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, in CheckOverlap()
501 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT, in CheckOverlap()
559 SVal maxMinusRight; in checkAdditionOverflow()
574 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left, in checkAdditionOverflow()
615 SVal strLength) { in setCStringLength()
653 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C, in getCStringLengthForRegion()
660 const SVal *Recorded = state->get<CStringLength>(MR); in getCStringLengthForRegion()
668 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(), in getCStringLengthForRegion()
678 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state, in getCStringLength()
679 const Expr *Ex, SVal Buf, in getCStringLength()
779 ProgramStateRef &state, const Expr *expr, SVal val) const { in getCStringLiteral()
800 const Expr *E, SVal V) { in InvalidateBuffer()
881 SVal sizeVal = state->getSVal(Size, LCtx); in evalCopyCommon()
889 SVal destVal = state->getSVal(Dest, LCtx); in evalCopyCommon()
910 SVal srcVal = state->getSVal(Source, LCtx); in evalCopyCommon()
937 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add, in evalCopyCommon()
947 SVal result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx, in evalCopyCommon()
1031 SVal sizeVal = state->getSVal(Size, LCtx); in evalMemcmp()
1082 SVal CmpV = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalMemcmp()
1116 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()
1125 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType()); in evalstrLengthCommon()
1140 SVal ArgVal = state->getSVal(Arg, LCtx); in evalstrLengthCommon()
1147 SVal strLength = getCStringLength(C, state, Arg, ArgVal); in evalstrLengthCommon()
1164 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()
1289 SVal DstVal = state->getSVal(Dst, LCtx); in evalStrcpyCommon()
1297 SVal srcVal = state->getSVal(srcExpr, LCtx); in evalStrcpyCommon()
1303 SVal strLength = getCStringLength(C, state, srcExpr, srcVal); in evalStrcpyCommon()
1316 SVal amountCopied = UnknownVal(); in evalStrcpyCommon()
1317 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon()
1324 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon()
1365 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); in evalStrcpyCommon()
1421 SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE, in evalStrcpyCommon()
1433 SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE, in evalStrcpyCommon()
1456 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon()
1464 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal); in evalStrcpyCommon()
1493 SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE, in evalStrcpyCommon()
1505 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE, in evalStrcpyCommon()
1525 SVal Result = (returnEnd ? UnknownVal() : DstVal); in evalStrcpyCommon()
1539 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1550 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, in evalStrcpyCommon()
1642 SVal s1Val = state->getSVal(s1, LCtx); in evalStrcmpCommon()
1649 SVal s2Val = state->getSVal(s2, LCtx); in evalStrcmpCommon()
1655 SVal s1Length = getCStringLength(C, state, s1, s1Val); in evalStrcmpCommon()
1660 SVal s2Length = getCStringLength(C, state, s2, s2Val); in evalStrcmpCommon()
1706 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon()
1742 SVal resultVal = svalBuilder.makeIntVal(result, CE->getType()); in evalStrcmpCommon()
1749 SVal resultVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount()); in evalStrcmpCommon()
1775 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx); in evalStrsep()
1782 SVal DelimStrVal = State->getSVal(DelimStr, LCtx); in evalStrsep()
1788 SVal Result; in evalStrsep()
1911 SVal StrVal = state->getSVal(Init, C.getLocationContext()); in checkPreStmt()
1987 SVal Len = I.getData(); in checkLiveSymbols()
2008 SVal Len = I.getData(); in checkDeadSymbols()