Lines Matching refs:SValBuilder

302   SValBuilder &svalBuilder = C.getSValBuilder();  in REGISTER_MAP_WITH_PROGRAMSTATE()
357   SValBuilder &svalBuilder = 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()
1353   SValBuilder &Builder = C.getSValBuilder();  in evalMemcmp()
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()