391   SVal BufVal = C.getSVal(Buffer.Expression);  in CheckBufferAccess()
403   SVal LengthVal = C.getSVal(Size.Expression);  in CheckBufferAccess()
453   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
454   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
503   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
887   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in IsFirstBufInBound()
889   SVal LengthVal = state->getSVal(Size, LCtx);  in IsFirstBufInBound()
1038   SVal MemVal = C.getSVal(DstBuffer);  in memsetAux()
1039   SVal SizeVal = C.getSVal(Size);  in memsetAux()
1135   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1143   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1164     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1214         InvalidateBuffer(C, state, Dest.Expression, C.getSVal(Dest.Expression),  in evalCopyCommon()
1220                              C.getSVal(Source.Expression),  in evalCopyCommon()
1289   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1311         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1313         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1367     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1391   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1414     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1551   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1558   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1601     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
1949   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
1956   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
2017       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2086   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2093   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2102     Result = State->getSVal(*SearchStrLoc, CharPtrTy);  in evalStrsep()
2155   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2179   SVal SizeVal = C.getSVal(Size.Expression);  in evalMemset()
2186   SVal BufferPtrVal = C.getSVal(Buffer.Expression);  in evalMemset()
2209   if (!memsetAux(Buffer.Expression, C.getSVal(CharE.Expression),  in evalMemset()
2227   SVal SizeVal = C.getSVal(Size.Expression);  in evalBzero()
2242   SVal MemVal = C.getSVal(Buffer.Expression);  in evalBzero()
2341     SVal StrVal = C.getSVal(Init);  in checkPreStmt()