226   SValBuilder &svalBuilder = C.getSValBuilder();  in REGISTER_MAP_WITH_PROGRAMSTATE()
297   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckLocation()
361   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckBufferAccess()
458   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckOverlap()
570   SValBuilder &svalBuilder = C.getSValBuilder();  in checkAdditionOverflow()
685   SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLengthForRegion()
757     SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLength()
839   SValBuilder &svalBuilder = C.getSValBuilder();  in IsFirstBufInBound()
1057         SValBuilder &SvalBuilder = C.getSValBuilder();  in evalCopyCommon()
1062         SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add,  in evalCopyCommon()
1072         SVal result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalCopyCommon()
1159   SValBuilder &svalBuilder = C.getSValBuilder();  in evalMemcmp()
1258       SVal zero = C.getSValBuilder().makeZeroVal(CE->getType());  in evalstrLengthCommon()
1292     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()
1307           C.getSValBuilder()  in evalstrLengthCommon()
1325       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1330         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1336         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1349       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1444   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcpyCommon()
1813   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcmpCommon()
1933   SValBuilder &SVB = C.getSValBuilder();  in evalStrsep()
1990   SValBuilder &SVB = C.getSValBuilder();  in evalStdCopyCommon()