Предварительная проверка выполняет определенные проверки байт-кодов Java перед выполнением. Если этот первый этап проверки в порядке, то предварительный верификатор аннотирует файлы классов (используя стандартные «атрибуты» байт-кода Java, так что они все еще являются простыми старыми байт-кодами Java и будут исполняемыми на виртуальных машинах, не осведомленных о преимуществах предварительной проверки), а затем сохраняет аннотированные файлы классов или передает их следующему инструменту в цепочке компиляции.