376       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
567     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,  in checkAdditionOverflow()
572     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,   in checkAdditionOverflow()
580     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,  in checkAdditionOverflow()
688       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,  in getCStringLengthForRegion()
1223               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1245         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1251         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1391           svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1420           maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add,  in evalStrcpyCommon()
1451         maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL,  in evalStrcpyCommon()
1471           SVal copiedLessThanBound = svalBuilder.evalBinOpNN(state, BO_LE,  in evalStrcpyCommon()
1483           SVal copiedLessThanSrc = svalBuilder.evalBinOpNN(state, BO_LE,  in evalStrcpyCommon()
1528       finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL,   in evalStrcpyCommon()
1543           SVal sourceInResult = svalBuilder.evalBinOpNN(state, BO_GE,  in evalStrcpyCommon()
1555           SVal destInResult = svalBuilder.evalBinOpNN(state, BO_GE,  in evalStrcpyCommon()