VM: use the check_d and check_r to trace the overinitialized stack locations