355   SVal BufVal = C.getSVal(FirstBuf);  in CheckBufferAccess()
367   SVal LengthVal = C.getSVal(Size);  in CheckBufferAccess()
395     BufVal = state->getSVal(SecondBuf, LCtx);  in CheckBufferAccess()
434   SVal firstVal = state->getSVal(First, LCtx);  in CheckOverlap()
435   SVal secondVal = state->getSVal(Second, LCtx);  in CheckOverlap()
484   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckOverlap()
864   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in IsFirstBufInBound()
866   SVal LengthVal = state->getSVal(Size, LCtx);  in IsFirstBufInBound()
1012   SVal MemVal = C.getSVal(DstBuffer);  in memsetAux()
1013   SVal SizeVal = C.getSVal(Size);  in memsetAux()
1111   SVal sizeVal = state->getSVal(Size, LCtx);  in evalCopyCommon()
1119   SVal destVal = state->getSVal(Dest, LCtx);  in evalCopyCommon()
1140     SVal srcVal = state->getSVal(Source, LCtx);  in evalCopyCommon()
1190     state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),  in evalCopyCommon()
1195     state = InvalidateBuffer(C, state, Source, C.getSVal(Source),  in evalCopyCommon()
1264   SVal sizeVal = state->getSVal(Size, LCtx);  in evalMemcmp()
1287         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1289         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1350     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1374   SVal ArgVal = state->getSVal(Arg, LCtx);  in evalstrLengthCommon()
1398     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1549   SVal DstVal = state->getSVal(Dst, LCtx);  in evalStrcpyCommon()
1557   SVal srcVal = state->getSVal(srcExpr, LCtx);  in evalStrcpyCommon()
1589     SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcpyCommon()
1925   SVal s1Val = state->getSVal(s1, LCtx);  in evalStrcmpCommon()
1932   SVal s2Val = state->getSVal(s2, LCtx);  in evalStrcmpCommon()
1991       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2062   SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);  in evalStrsep()
2069   SVal DelimStrVal = State->getSVal(DelimStr, LCtx);  in evalStrsep()
2078     Result = State->getSVal(*SearchStrLoc, CharPtrTy);  in evalStrsep()
2131   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2156   SVal SizeVal = State->getSVal(Size, LCtx);  in evalMemset()
2164   SVal MemVal = State->getSVal(Mem, LCtx);  in evalMemset()
2187   if (!memsetAux(Mem, C.getSVal(CharE), Size, C, State))  in evalMemset()
2207   SVal SizeVal = C.getSVal(Size);  in evalBzero()
2222   SVal MemVal = C.getSVal(Mem);  in evalBzero()
2378     SVal StrVal = C.getSVal(Init);  in checkPreStmt()