Examen de la vérification automatique des outils