The verifier is checking of accessing uninitialized variables, register, etc. We are not auto generating initialization, and it does not seem like a correct thing to do. I guess, if the original program has a path leading to accessing the uninitialized memory, then that program is buggy, and we should not worry about it.
The verifier is checking of accessing uninitialized variables, register, etc. We are not auto generating initialization, and it does not seem like a correct thing to do. I guess, if the original program has a path leading to accessing the uninitialized memory, then that program is buggy, and we should not worry about it.