Comment fonctionne le vérificateur JFP Classfile?

Question

Comment JVM classfile verifier effectue-t-il la vérification de classe?

Pourriez-vous s'il vous plaît dites-moi les étapes?

Answer 1

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

Answer 2

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