369   SValBuilder &svalBuilder = C.getSValBuilder();  in REGISTER_MAP_WITH_PROGRAMSTATE()  local
370   DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty);  in REGISTER_MAP_WITH_PROGRAMSTATE()
371   return State->assume(svalBuilder.evalEQ(State, *val, zero));  in REGISTER_MAP_WITH_PROGRAMSTATE()
605   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckBufferAccess()  local
606   ASTContext &Ctx = svalBuilder.getContext();  in CheckBufferAccess()
622       svalBuilder.evalCast(BufVal, PtrTy, Buffer.Expression->getType());  in CheckBufferAccess()
639   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();  in CheckBufferAccess()
640   SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy);  in CheckBufferAccess()
649         svalBuilder.evalBinOpLN(State, BO_Add, *BufLoc, LastOffset, PtrTy);  in CheckBufferAccess()
700   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckOverlap()  local
702       state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));  in CheckOverlap()
715   QualType cmpTy = svalBuilder.getConditionType();  in CheckOverlap()
717       svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);  in CheckOverlap()
745   ASTContext &Ctx = svalBuilder.getContext();  in CheckOverlap()
748       svalBuilder.evalCast(*firstLoc, CharPtrTy, First.Expression->getType());  in CheckOverlap()
754   SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, *FirstStartLoc,  in CheckOverlap()
762       svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);  in CheckOverlap()
913   SValBuilder &svalBuilder = C.getSValBuilder();  in checkAdditionOverflow()  local
914   BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();  in checkAdditionOverflow()
916   QualType sizeTy = svalBuilder.getContext().getSizeType();  in checkAdditionOverflow()
918   NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);  in checkAdditionOverflow()
922     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,  in checkAdditionOverflow()
927     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,  in checkAdditionOverflow()
933     QualType cmpTy = svalBuilder.getConditionType();  in checkAdditionOverflow()
935     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,  in checkAdditionOverflow()
1010   SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLengthForRegion()  local
1011   QualType sizeTy = svalBuilder.getContext().getSizeType();  in getCStringLengthForRegion()
1012   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),  in getCStringLengthForRegion()
1020       BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();  in getCStringLengthForRegion()
1025       NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);  in getCStringLengthForRegion()
1026       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn, maxLength,  in getCStringLengthForRegion()
1027                                                 svalBuilder.getConditionType());  in getCStringLengthForRegion()
1070     SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLength()  local
1071     QualType sizeTy = svalBuilder.getContext().getSizeType();  in getCStringLength()
1073     return svalBuilder.makeIntVal(strLit->getLength(), sizeTy);  in getCStringLength()
1365   SValBuilder &svalBuilder = C.getSValBuilder();  in memsetAux()  local
1373     DefinedOrUnknownSVal SizeDV = getDynamicExtent(State, BR, svalBuilder);  in memsetAux()
1377         State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL));  in memsetAux()
1381     CharVal = svalBuilder.evalCast(CharVal, Ctx.UnsignedCharTy, Ctx.IntTy);  in memsetAux()
1395       State = State->bindDefaultZero(svalBuilder.makeLoc(BR),  in memsetAux()
1408                                svalBuilder.makeZeroVal(Ctx.getSizeType()));  in memsetAux()
1410       SVal NewStrLen = svalBuilder.getMetadataSymbolVal(  in memsetAux()
1416       SVal NewStrLenGESize = svalBuilder.evalBinOp(  in memsetAux()
1417           State, BO_GE, NewStrLen, SizeVal, svalBuilder.getConditionType());  in memsetAux()
1905   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcpyCommon()  local
1906   QualType cmpTy = svalBuilder.getConditionType();  in evalStrcpyCommon()
1907   QualType sizeTy = svalBuilder.getContext().getSizeType();  in evalStrcpyCommon()
1936         svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType());  in evalStrcpyCommon()
1951             svalBuilder  in evalStrcpyCommon()
1973         SVal freeSpace = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,  in evalStrcpyCommon()
1978             svalBuilder.evalBinOp(state, BO_Sub, freeSpace,  in evalStrcpyCommon()
1979                                   svalBuilder.makeIntVal(1, sizeTy), sizeTy);  in evalStrcpyCommon()
1986         SVal hasEnoughSpace = svalBuilder.evalBinOpNN(  in evalStrcpyCommon()
2021           maxLastElementIndex = svalBuilder.evalBinOpNN(  in evalStrcpyCommon()
2054               SVal retSize = svalBuilder.evalBinOp(  in evalStrcpyCommon()
2067         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
2069             svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, one, sizeTy);  in evalStrcpyCommon()
2104       strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL,  in evalStrcpyCommon()
2117       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *amountCopiedNL,  in evalStrcpyCommon()
2135           SVal sourceInResult = svalBuilder.evalBinOpNN(  in evalStrcpyCommon()
2146           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,  in evalStrcpyCommon()
2190           svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal, *maxLastNL, ptrTy);  in evalStrcpyCommon()
2204       SVal lastElement = svalBuilder.evalBinOpLN(state, BO_Add, *dstRegVal,  in evalStrcpyCommon()
2257       Result = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrcpyCommon()
2327   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcmpCommon()  local
2328   DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV);  in evalStrcmpCommon()
2337                             svalBuilder.makeZeroVal(Call.getResultType()));  in evalStrcmpCommon()
2357   SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(),  in evalStrcmpCommon()
2370       if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) {  in evalStrcmpCommon()
2398         resultVal = svalBuilder.makeIntVal(compareRes, Call.getResultType());  in evalStrcmpCommon()
2401         DefinedSVal zeroVal = svalBuilder.makeIntVal(0, Call.getResultType());  in evalStrcmpCommon()
2406           svalBuilder.evalBinOp(state, op, resultVal, zeroVal,  in evalStrcmpCommon()
2407               svalBuilder.getConditionType());  in evalStrcmpCommon()