369   SValBuilder &svalBuilder = C.getSValBuilder();  in REGISTER_MAP_WITH_PROGRAMSTATE()
406   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in getIndex()
458   SValBuilder &SVB = C.getSValBuilder();  in checkInit()
575       getDynamicExtent(state, superReg, C.getSValBuilder());  in CheckLocation()
605   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckBufferAccess()
700   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckOverlap()
913   SValBuilder &svalBuilder = C.getSValBuilder();  in checkAdditionOverflow()
1010   SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLengthForRegion()
1070     SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLength()
1082           SValBuilder &SvalBuilder = C.getSValBuilder();  in getCStringLength()
1156   SValBuilder &SB = C.getSValBuilder();  in isFirstBufInBound()
1365   SValBuilder &svalBuilder = C.getSValBuilder();  in memsetAux()
1500       SValBuilder &SvalBuilder = C.getSValBuilder();  in evalCopyCommon()
1505       SVal lastElement = C.getSValBuilder().evalBinOp(  in evalCopyCommon()
1510         lastElement = C.getSValBuilder().conjureSymbolVal(  in evalCopyCommon()
1605   SValBuilder &Builder = C.getSValBuilder();  in evalMemcmp()
1699       SVal zero = C.getSValBuilder().makeZeroVal(Call.getResultType());  in evalstrLengthCommon()
1732     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()
1747           C.getSValBuilder()  in evalstrLengthCommon()
1765       result = C.getSValBuilder().conjureSymbolVal(  in evalstrLengthCommon()
1770         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1776         state = state->assume(C.getSValBuilder().evalBinOpNN(  in evalstrLengthCommon()
1789       result = C.getSValBuilder().conjureSymbolVal(  in evalstrLengthCommon()
1905   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcpyCommon()
2327   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcmpCommon()
2449   SValBuilder &SVB = C.getSValBuilder();  in evalStrsep()
2513   SValBuilder &SVB = C.getSValBuilder();  in evalStdCopyCommon()
2578   SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy);  in evalBzero()