Verifier

Vérificateur de bytecode.

Besoin

Valider le contenu des fichiers de classes sujets à caution.

Structure

Il est en effet possible de générer à l'aide d'assembleurs ou même de compilateurs des fichiers de classes transgressant certaines règles de sécurité du langage (conversions, visibilité, dérivation, redéfinition illégales, débordements de pile).

Ceci inclut tous les fichiers chargés par un ClassLoader, c'est-à-dire :

• les classes distantes provenant d'une autre machine ;
• les classes locales chargées via le CLASSPATH ;
• les classes signées.

Depuis Java 2, les classes locales ou signées ne sont en effet pas exemptées de vérification, parce qu'elle sont dépendantes d'un ClassLoader (généralement un java.security.URLClassLoader, au moins un java.security.SecureClassLoader).