352   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in CheckBufferAccess()
364   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckBufferAccess()
390     BufVal = state->getSVal(SecondBuf, LCtx);  in CheckBufferAccess()
429   SVal firstVal = state->getSVal(First, LCtx);  in CheckOverlap()
430   SVal secondVal = state->getSVal(Second, LCtx);  in CheckOverlap()
479   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckOverlap()
908   SVal sizeVal = state->getSVal(Size, LCtx);  in evalCopyCommon()
916   SVal destVal = state->getSVal(Dest, LCtx);  in evalCopyCommon()
937     SVal srcVal = state->getSVal(Source, LCtx);  in evalCopyCommon()
991     state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),   in evalCopyCommon()
996     state = InvalidateBuffer(C, state, Source, C.getSVal(Source),   in evalCopyCommon()
1065   SVal sizeVal = state->getSVal(Size, LCtx);  in evalMemcmp()
1088         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1090         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1150     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1174   SVal ArgVal = state->getSVal(Arg, LCtx);  in evalstrLengthCommon()
1198     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1323   SVal DstVal = state->getSVal(Dst, LCtx);  in evalStrcpyCommon()
1331   SVal srcVal = state->getSVal(srcExpr, LCtx);  in evalStrcpyCommon()
1358     SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcpyCommon()
1682   SVal s1Val = state->getSVal(s1, LCtx);  in evalStrcmpCommon()
1689   SVal s2Val = state->getSVal(s2, LCtx);  in evalStrcmpCommon()
1746       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
1815   SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);  in evalStrsep()
1822   SVal DelimStrVal = State->getSVal(DelimStr, LCtx);  in evalStrsep()
1831     Result = State->getSVal(*SearchStrLoc, CharPtrTy);  in evalStrsep()
1952     SVal StrVal = state->getSVal(Init, C.getLocationContext());  in checkPreStmt()