Le vérificateur doit garantir quatre points :
- Il n'y a pas de dépassement de la pile mémoire.
- Toutes les références sont stockées et sont valides.
- Les paramètres de toutes les instructions du code sont valides.
- Il n'y a pas de conversion de type illégale.
Cette vérification est indépendante du compilateur. Un code ayant passé cette
étape est certifié, et satisfait la structure de sécurité décrite dans la
première partie.
Olivier Lux
30-03-1999