Le matériel décrit permet de garantir la sécurité de programmes code objet et les extensions supplémentaires assurent une certaine fonctionnalité.
L'invention concerne un vérificateur de code objet Java amélioré, adapté pour fonctionner dans un environnement informatique Java.