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