These verification steps ensure that the code is well-formed--that it doesn't overflow or underflow the stack or contain illegal byte-codes, for example.
这个确认步骤保证代码是格式优良的——不会上溢或者下溢栈或者含有非法字节码。
2
The stack could underflow if you clean up too much in a function and then attempt to return.