Lines Matching full: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)
204 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,
217 const Expr *S, SVal l) const {
260 const Expr *S, SVal l,
281 SVal Extent =
351 SVal BufVal = state->getSVal(FirstBuf, LCtx);
363 SVal LengthVal = state->getSVal(Size, LCtx);
374 SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
378 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
398 SVal BufEnd = svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc,
428 SVal firstVal = state->getSVal(First, LCtx);
429 SVal secondVal = state->getSVal(Second, LCtx);
456 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT,
478 SVal LengthVal = state->getSVal(Size, LCtx);
487 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy,
494 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add,
501 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,
559 SVal maxMinusRight;
574 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
615 SVal strLength) {
653 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,
660 const SVal *Recorded = state->get<CStringLength>(MR);
668 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
678 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,
679 const Expr *Ex, SVal Buf,
779 ProgramStateRef &state, const Expr *expr, SVal val) const {
800 const Expr *E, SVal V) {
881 SVal sizeVal = state->getSVal(Size, LCtx);
889 SVal destVal = state->getSVal(Dest, LCtx);
910 SVal srcVal = state->getSVal(Source, LCtx);
937 SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add,
947 SVal result = C.getSValBuilder().conjureSymbolVal(0, CE, LCtx,
1031 SVal sizeVal = state->getSVal(Size, LCtx);
1082 SVal CmpV = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1116 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1125 SVal zero = C.getSValBuilder().makeZeroVal(CE->getType());
1140 SVal ArgVal = state->getSVal(Arg, LCtx);
1147 SVal strLength = getCStringLength(C, state, Arg, ArgVal);
1164 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1289 SVal DstVal = state->getSVal(Dst, LCtx);
1297 SVal srcVal = state->getSVal(srcExpr, LCtx);
1303 SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1316 SVal amountCopied = UnknownVal();
1317 SVal
1324 SVal lenVal = state->getSVal(lenExpr, LCtx);
1365 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal);
1421 SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,
1433 SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,
1456 SVal finalStrLength = UnknownVal();
1464 SVal dstStrLength = getCStringLength(C, state, Dst, DstVal);
1493 SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1505 SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1525 SVal Result = (returnEnd ? UnknownVal() : DstVal);
1539 SVal maxLastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1550 SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1642 SVal s1Val = state->getSVal(s1, LCtx);
1649 SVal s2Val = state->getSVal(s2, LCtx);
1655 SVal s1Length = getCStringLength(C, state, s1, s1Val);
1660 SVal s2Length = getCStringLength(C, state, s2, s2Val);
1706 SVal lenVal = state->getSVal(lenExpr, LCtx);
1741 // Build the SVal of the comparison and bind the return value.
1742 SVal resultVal = svalBuilder.makeIntVal(result, CE->getType());
1749 SVal resultVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount());
1775 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);
1782 SVal DelimStrVal = State->getSVal(DelimStr, LCtx);
1788 SVal Result;
1911 SVal StrVal = state->getSVal(Init, C.getLocationContext());
1987 SVal Len = I.getData();
2008 SVal Len = I.getData();
