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

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

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

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

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

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