471       State->getSVal(*FirstElementVal).isUndef()) {  in checkInit()
526       State->getSVal(LastElementVal.castAs<Loc>()).isUndef()) {  in checkInit()
612   SVal BufVal = C.getSVal(Buffer.Expression);  in CheckBufferAccess()
633   SVal LengthVal = C.getSVal(Size.Expression);  in CheckBufferAccess()
688   SVal firstVal = state->getSVal(First.Expression, LCtx);  in CheckOverlap()
689   SVal secondVal = state->getSVal(Second.Expression, LCtx);  in CheckOverlap()
738   SVal LengthVal = state->getSVal(Size.Expression, LCtx);  in CheckOverlap()
1348   SVal MemVal = C.getSVal(DstBuffer);  in memsetAux()
1349   SVal SizeVal = C.getSVal(Size);  in memsetAux()
1445   SVal sizeVal = state->getSVal(Size.Expression, LCtx);  in evalCopyCommon()
1453   SVal destVal = state->getSVal(Dest.Expression, LCtx);  in evalCopyCommon()
1478     SVal srcVal = state->getSVal(Source.Expression, LCtx);  in evalCopyCommon()
1528         C, state, Dest.Expression, C.getSVal(Dest.Expression), sizeVal,  in evalCopyCommon()
1534                                    C.getSVal(Source.Expression));  in evalCopyCommon()
1609   SVal sizeVal = State->getSVal(Size.Expression, LCtx);  in evalMemcmp()
1632         State->getSVal(Left.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1634         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();  in evalMemcmp()
1690     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1714   SVal ArgVal = state->getSVal(Arg.Expression, LCtx);  in evalstrLengthCommon()
1737     SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);  in evalstrLengthCommon()
1881   SVal DstVal = state->getSVal(Dst.Expression, LCtx);  in evalStrcpyCommon()
1888   SVal srcVal = state->getSVal(srcExpr.Expression, LCtx);  in evalStrcpyCommon()
1932     SVal lenVal = state->getSVal(lenExpr.Expression, LCtx);  in evalStrcpyCommon()
2298   SVal LeftVal = state->getSVal(Left.Expression, LCtx);  in evalStrcmpCommon()
2305   SVal RightVal = state->getSVal(Right.Expression, LCtx);  in evalStrcmpCommon()
2367       SVal lenVal = state->getSVal(lenExpr, LCtx);  in evalStrcmpCommon()
2437   SVal SearchStrVal = State->getSVal(SearchStrPtr.Expression, LCtx);  in evalStrsep()
2444   SVal DelimStrVal = State->getSVal(DelimStr.Expression, LCtx);  in evalStrsep()
2453     Result = State->getSVal(*SearchStrLoc, CharPtrTy);  in evalStrsep()
2507   SVal DstVal = State->getSVal(Dst, LCtx);  in evalStdCopyCommon()
2535   SVal SizeVal = C.getSVal(Size.Expression);  in evalMemset()
2542   SVal BufferPtrVal = C.getSVal(Buffer.Expression);  in evalMemset()
2565   if (!memsetAux(Buffer.Expression, C.getSVal(CharE.Expression),  in evalMemset()
2583   SVal SizeVal = C.getSVal(Size.Expression);  in evalBzero()
2598   SVal MemVal = C.getSVal(Buffer.Expression);  in evalBzero()
2746     SVal StrVal = C.getSVal(Init);  in checkPreStmt()