2009-05-23 7 views

Répondre

7

Il y a quatre passes:

  1. Format de base Vérifiez (Lorsque la classe est Loaded) - (numéro de magie, vérifier constant_pool). (Lors de la liaison) - Vérifier les modificateurs finaux, vérifier les sous-classes directes, les champs valides, vérifier le pool constant.

  2. bytecode vérification (lors de la liaison) - Vérifiez le tableau de code - pile d'opérandes est ok, les variables locales, invocation de méthode correcte, l'affectation sur le terrain, etc ...

  3. passe Virtual (Code Invoqué) - S'assurer que les classes/méthodes référencées existent et ont les bons descripteurs.

détails gores complet ici, voir la section 4.9.1 Le processus de vérification

http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html

3

Voir la section 4.9 du VM Spec. Le processus est expliqué en détail.

Questions connexes