356   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in CheckBufferAccess()
368   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckBufferAccess()
394     BufVal = state->getSVal(SecondBuf, LCtx);  in CheckBufferAccess()
433   SVal firstVal = state->getSVal(First, LCtx);  in CheckOverlap()
434   SVal secondVal = state->getSVal(Second, LCtx);  in CheckOverlap()
483   SVal LengthVal = state->getSVal(Size, LCtx);  in CheckOverlap()
916   SVal sizeVal = state->getSVal(Size, LCtx);  in evalCopyCommon()
924   SVal destVal = state->getSVal(Dest, LCtx);  in evalCopyCommon()
945     SVal srcVal = state->getSVal(Source, LCtx);  in evalCopyCommon()
999     state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),   in evalCopyCommon()
1004     state = InvalidateBuffer(C, state, Source, C.getSVal(Source),   in evalCopyCommon()
1073   SVal sizeVal = state->getSVal(Size, LCtx);  in evalMemcmp()
1096         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1098         state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1159     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1183   SVal ArgVal = state->getSVal(Arg, LCtx);  in evalstrLengthCommon()
1207     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1334   SVal DstVal = state->getSVal(Dst, LCtx);  in evalStrcpyCommon()
1342   SVal srcVal = state->getSVal(srcExpr, LCtx);  in evalStrcpyCommon()
1369     SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcpyCommon()
1693   SVal s1Val = state->getSVal(s1, LCtx);  in evalStrcmpCommon()
1700   SVal s2Val = state->getSVal(s2, LCtx);  in evalStrcmpCommon()
1757       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
1827   SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);  in evalStrsep()
1834   SVal DelimStrVal = State->getSVal(DelimStr, LCtx);  in evalStrsep()
1843     Result = State->getSVal(*SearchStrLoc, CharPtrTy);  in evalStrsep()
1963     SVal StrVal = state->getSVal(Init, C.getLocationContext());  in checkPreStmt()