389       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
579     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,  in checkAdditionOverflow()
584     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,  in checkAdditionOverflow()
592     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,  in checkAdditionOverflow()
700       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,  in getCStringLengthForRegion()
855       svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy)  in IsFirstBufInBound()
1308               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1330         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1336         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1476           svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1505           maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add,  in evalStrcpyCommon()
1536         maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,  in evalStrcpyCommon()
1556           SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,  in evalStrcpyCommon()
1568           SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,  in evalStrcpyCommon()
1613       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL,  in evalStrcpyCommon()
1628           SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,  in evalStrcpyCommon()
1640           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,  in evalStrcpyCommon()