406         StInBound->getSVal(ER).isUndef()) {  in CheckLocation()
432   SVal BufVal = C.getSVal(Buffer.Expression);  in CheckBufferAccess()
444   SVal LengthVal = C.getSVal(Size.Expression);  in CheckBufferAccess()
499   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
500   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
549   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
953   SVal BufVal = state->getSVal(FirstBuf, LCtx);  in IsFirstBufInBound()
955   SVal LengthVal = state->getSVal(Size, LCtx);  in IsFirstBufInBound()
1101   SVal MemVal = C.getSVal(DstBuffer);  in memsetAux()
1102   SVal SizeVal = C.getSVal(Size);  in memsetAux()
1198   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1206   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1227     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1277         InvalidateBuffer(C, state, Dest.Expression, C.getSVal(Dest.Expression),  in evalCopyCommon()
1283                              C.getSVal(Source.Expression),  in evalCopyCommon()
1357   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1379         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1381         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1435     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1459   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1482     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1619   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1626   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1669     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
2017   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
2024   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
2085       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2154   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2161   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2170     Result = State->getSVal(*SearchStrLoc, CharPtrTy);  in evalStrsep()
2223   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2247   SVal SizeVal = C.getSVal(Size.Expression);  in evalMemset()
2254   SVal BufferPtrVal = C.getSVal(Buffer.Expression);  in evalMemset()
2277   if (!memsetAux(Buffer.Expression, C.getSVal(CharE.Expression),  in evalMemset()
2295   SVal SizeVal = C.getSVal(Size.Expression);  in evalBzero()
2310   SVal MemVal = C.getSVal(Buffer.Expression);  in evalBzero()
2408     SVal StrVal = C.getSVal(Init);  in checkPreStmt()