302   SValBuilder &svalBuilder = C.getSValBuilder();  in REGISTER_MAP_WITH_PROGRAMSTATE()
357   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckLocation()
385       getDynamicExtent(state, superReg, C.getSValBuilder());  in CheckLocation()
425   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckBufferAccess()
511   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckOverlap()
720   SValBuilder &svalBuilder = C.getSValBuilder();  in checkAdditionOverflow()
817   SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLengthForRegion()
877     SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLength()
947   SValBuilder &svalBuilder = C.getSValBuilder();  in IsFirstBufInBound()
1118   SValBuilder &svalBuilder = C.getSValBuilder();  in memsetAux()
1249       SValBuilder &SvalBuilder = C.getSValBuilder();  in evalCopyCommon()
1254       SVal lastElement = C.getSValBuilder().evalBinOp(  in evalCopyCommon()
1259         lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalCopyCommon()
1353   SValBuilder &Builder = C.getSValBuilder();  in evalMemcmp()
1444       SVal zero = C.getSValBuilder().makeZeroVal(CE->getType());  in evalstrLengthCommon()
1477     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()
1492           C.getSValBuilder()  in evalstrLengthCommon()
1510       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1515         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1521         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1534       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,  in evalstrLengthCommon()
1643   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcpyCommon()
2046   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcmpCommon()
2166   SValBuilder &SVB = C.getSValBuilder();  in evalStrsep()
2227   SValBuilder &SVB = C.getSValBuilder();  in evalStdCopyCommon()
2290   SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy);  in evalBzero()