Как работает система проверки байткода в Java?

Система проверки байт-кода в Java работает во время загрузки кода. stackoverflow.com Виртуальная машина Java не видит байт-код, пока он не пройдёт этот процесс проверки. stackoverflow.com

Проверка байт-кода гарантирует, что инструкции правильно сформированы, все переходы осуществляются к действительным инструкциям внутри метода и что все инструкции работают со значениями правильного типа. habr.com

Некоторые проверки, которые выполняет система:

• проверяет, что конечные классы не являются подклассами и что конечные методы не были переопределены; stackoverflow.com
• проверяет, что каждый класс (кроме Object) имеет прямой суперкласс; stackoverflow.com
• проверяет, что пул констант удовлетворяет документированным статическим ограничениям; stackoverflow.com
• проверяет, что все ссылки на поля и методы в пуле констант имеют допустимые имена, допустимые классы и допустимый дескриптор типа. stackoverflow.com

Проверка байт-кода позволяет повысить производительность интерпретатора, так как устраняет дорогостоящие проверки, которые пришлось бы выполнять для каждой интерпретируемой инструкции. stackoverflow.com