StaticAnalyzer/Checkers/CStringChecker.cpp

289   SValBuilder &svalBuilder = C.getSValBuilder();
290   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);
291   return state->assume(svalBuilder.evalEQ(state, *val, zero));
384   SValBuilder &svalBuilder = C.getSValBuilder();
385   ASTContext &Ctx = svalBuilder.getContext();
409   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();
410   SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy);
417       svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType());
421         svalBuilder.evalBinOpLN(State, BO_Add, *BufLoc, LastOffset, PtrTy);
465   SValBuilder &svalBuilder = C.getSValBuilder();
467       state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
480   QualType cmpTy = svalBuilder.getConditionType();
482       svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);
510   ASTContext &Ctx = svalBuilder.getContext();
513       svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType());
519   SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, *FirstStartLoc,
527       svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);
654   SValBuilder &svalBuilder = C.getSValBuilder();
655   BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
657   QualType sizeTy = svalBuilder.getContext().getSizeType();
659   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);
663     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
668     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
674     QualType cmpTy = svalBuilder.getConditionType();
676     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
751   SValBuilder &svalBuilder = C.getSValBuilder();
752   QualType sizeTy = svalBuilder.getContext().getSizeType();
753   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
761       BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
766       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);
767       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,
811     SValBuilder &svalBuilder = C.getSValBuilder();
812     QualType sizeTy = svalBuilder.getContext().getSizeType();
814     return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);
881   SValBuilder &svalBuilder = C.getSValBuilder();
882   ASTContext &Ctx = svalBuilder.getContext();
895   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
896   SVal Offset = svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy);
902   SVal BufStart = svalBuilder.evalCast(BufVal, PtrTy, FirstBuf->getType());
908       svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy);
926   DefinedOrUnknownSVal SizeDV = getDynamicExtent(state, superReg, svalBuilder);
1055   SValBuilder &svalBuilder = C.getSValBuilder();
1063     DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder);
1067         State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL));
1071     CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy);
1085       State = State->bindDefaultZero(svalBuilder.makeLoc(BR),
1098                                svalBuilder.makeZeroVal(Ctx.getSizeType()));
1100       SVal NewStrLen = svalBuilder.getMetadataSymbolVal(
1106       SVal NewStrLenGESize = svalBuilder.evalBinOp(
1107           State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType());
1575   SValBuilder &svalBuilder = C.getSValBuilder();
1576   QualType cmpTy = svalBuilder.getConditionType();
1577   QualType sizeTy = svalBuilder.getContext().getSizeType();
1605         svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType());
1620             svalBuilder
1642         SVal freeSpace = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,
1647             svalBuilder.evalBinOp(state, BO_Sub, freeSpace,
1648                                   svalBuilder.makeIntVal(1, sizeTy), sizeTy);
1655         SVal hasEnoughSpace = svalBuilder.evalBinOpNN(
1690           maxLastElementIndex = svalBuilder.evalBinOpNN(
1721               SVal retSize = svalBuilder.evalBinOp(
1733         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
1735             svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, one, sizeTy);
1770       strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL,
1783       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *amountCopiedNL,
1799           SVal sourceInResult = svalBuilder.evalBinOpNN(
1810           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,
1854           svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, *maxLastNL, ptrTy);
1863       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,
1911       Result = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
1978   SValBuilder &svalBuilder = C.getSValBuilder();
1979   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);
1987         svalBuilder.makeZeroVal(CE->getType()));
2007   SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx,
2020       if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) {
2048         resultVal = svalBuilder.makeIntVal(compareRes, CE->getType());
2051         DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType());
2056           svalBuilder.evalBinOp(state, op, resultVal, zeroVal,
2057               svalBuilder.getConditionType());