369   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in CheckBufferAccess()
381   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckBufferAccess()
407     BufVal = state->getSVal(SecondBuf, LCtx);  in CheckBufferAccess()
446   SVal firstVal = state->getSVal(First, LCtx);  in CheckOverlap()
447   SVal secondVal = state->getSVal(Second, LCtx);  in CheckOverlap()
496   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckOverlap()
845   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in IsFirstBufInBound()
847   SVal LengthVal = state->getSVal(Size, LCtx);  in IsFirstBufInBound()
1001   SVal sizeVal = state->getSVal(Size, LCtx);  in evalCopyCommon()
1009   SVal destVal = state->getSVal(Dest, LCtx);  in evalCopyCommon()
1030     SVal srcVal = state->getSVal(Source, LCtx);  in evalCopyCommon()
1089     state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),  in evalCopyCommon()
1094     state = InvalidateBuffer(C, state, Source, C.getSVal(Source),  in evalCopyCommon()
1163   SVal sizeVal = state->getSVal(Size, LCtx);  in evalMemcmp()
1186         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1188         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1249     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1273   SVal ArgVal = state->getSVal(Arg, LCtx);  in evalstrLengthCommon()
1297     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1424   SVal DstVal = state->getSVal(Dst, LCtx);  in evalStrcpyCommon()
1432   SVal srcVal = state->getSVal(srcExpr, LCtx);  in evalStrcpyCommon()
1459     SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcpyCommon()
1784   SVal s1Val = state->getSVal(s1, LCtx);  in evalStrcmpCommon()
1791   SVal s2Val = state->getSVal(s2, LCtx);  in evalStrcmpCommon()
1850       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
1921   SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);  in evalStrsep()
1928   SVal DelimStrVal = State->getSVal(DelimStr, LCtx);  in evalStrsep()
1937     Result = State->getSVal(*SearchStrLoc, CharPtrTy);  in evalStrsep()
1986   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2104     SVal StrVal = state->getSVal(Init, C.getLocationContext());  in checkPreStmt()