¿Qué es la preverificación?

Las máquinas virtuales Java estándar hacen una verificación en el momento de la carga de una clase por razones de seguridad. Estas verificaciones incluyen el acceso a la memoria fuera de su espacio de ejecución y el cambio de na clase de java.* o javax.*. Esta operación, costosa en recursos, se ejecuta fuenra de la máquina virtual para la configuración CLDC.

Antes de la implantación de la aplicación, el programador tiene que usar la utilidad de preverificación la cual modifica el fichero class para añadir bytecode que indican la presencia de este flag y la exactitud de su información. En caso de prolemas, la carga de la clase se interrumpe y se eleva una excepción.