В этом ответе говорится, что проверка используется для обеспечения того, чтобы байт-код Java "соответствовал правилам языка Java для обеспечения безопасности".
Если бы эта проверка не была выполнена, запуск небезопасного байт-кода был бы разрешен. Какие проблемы это может вызвать?
Существуют ли ситуации, в которых допустимо отключение проверки байт-кода?
Проверка байт-кода гарантирует, что код не может делать такие вещи, как переинтерпретировать int как указатель и выполнять произвольный доступ к памяти. Это наиболее полезно, если вы пытаетесь запустить ненадежный код в песочнице Java.
Если вы полностью доверяете всему коду, который вы используете, он менее полезен, так как в этом случае он просто отловит случайные ошибки. Также возможно, что проверочная информация поступает в оптимизатор — я не уверен в этом, но оптимизатор, по сути, все равно должен проверить код, чтобы выполнить какой-либо полезный статический анализ.
Настоятельно не рекомендуется использовать параметры "-Xverify:none" в производственной среде, так как они отключают проверку байт-кода и приводят к случайным сбоям. Пожалуйста, проверьте подробный блог здесь
