Byte Code Verifier

верификатор байт-кода
 Один из механизмов защиты модели безопасности технологии Java. Позволяет контролировать соответствие байт-кода Java спецификациям Java, приведение типов, переполнение стека (Stack) и так далее.

— Игорь Мостицкий (обсуждение) 13:09, 9 января 2026 (MSK)