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.

这个确认步骤保证代码是格式优良的——不会上溢或者下溢栈或者含有非法字节码。

youdao

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.

这个确认步骤保证代码是格式优良的——不会上溢或者下溢栈或者含有非法字节码。

youdao