Etude de la sécurité d'un verificateur de byte code et génération de test de vulnérabilité pour les cartes à puces