326   SValBuilder &svalBuilder = C.getSValBuilder();  in REGISTER_MAP_WITH_PROGRAMSTATE()  local
381   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckLocation()  local
449   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckBufferAccess()  local
535   SValBuilder &svalBuilder = C.getSValBuilder();  in CheckOverlap()  local
744   SValBuilder &svalBuilder = C.getSValBuilder();  in checkAdditionOverflow()  local
841   SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLengthForRegion()  local
901     SValBuilder &svalBuilder = C.getSValBuilder();  in getCStringLength()  local
971   SValBuilder &svalBuilder = C.getSValBuilder();  in IsFirstBufInBound()  local
1142   SValBuilder &svalBuilder = C.getSValBuilder();  in memsetAux()  local
1669   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcpyCommon()  local
2073   SValBuilder &svalBuilder = C.getSValBuilder();  in evalStrcmpCommon()  local