226   SValBuilder &svalBuilder = C.getSValBuilder();  in REGISTER_MAP_WITH_PROGRAMSTATE()  local
297   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckLocation()  local
361   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckBufferAccess()  local
458   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckOverlap()  local
570   SValBuilder &svalBuilder = C.getSValBuilder();  in checkAdditionOverflow()  local
685   SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLengthForRegion()  local
757     SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLength()  local
839   SValBuilder &svalBuilder = C.getSValBuilder();  in IsFirstBufInBound()  local
1159   SValBuilder &svalBuilder = C.getSValBuilder();  in evalMemcmp()  local
1444   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcpyCommon()  local
1813   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcmpCommon()  local