213   SValBuilder &svalBuilder = C.getSValBuilder();  in REGISTER_MAP_WITH_PROGRAMSTATE()
284   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckLocation()
348   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckBufferAccess()
445   SValBuilder &svalBuilder = C.getSValBuilder();    in CheckOverlap()
558   SValBuilder &svalBuilder = C.getSValBuilder();  in checkAdditionOverflow()
673   SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLengthForRegion()
745     SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLength()
972         SVal lastElement = C.getSValBuilder().evalBinOpLN(state, BO_Add,   in evalCopyCommon()
982         SVal result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalCopyCommon()
1069   SValBuilder &svalBuilder = C.getSValBuilder();  in evalMemcmp()
1168       SVal zero = C.getSValBuilder().makeZeroVal(CE->getType());  in evalstrLengthCommon()
1202     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()
1217           C.getSValBuilder()  in evalstrLengthCommon()
1235       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1240         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1246         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1259       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1354   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcpyCommon()
1722   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcmpCommon()
1839   SValBuilder &SVB = C.getSValBuilder();  in evalStrsep()