Outil d'analyse statique: jlint
Rédigé par Dominique Mereaux le 14 avril 2013
Jlint est un outil d'analyse statique basé en particulier sur le "dataflow analysis" qui permet de détecter des erreurs avant même d'avoir exécuter le code. Ce type d'outil permet d'améliorer à moindre coût la maturité et la maintenabilité du code.
Exemples d'erreur détectée
"return always true": effectivement la variable locale deltaV est initialisée à 0 au début et comparée à 0!
shadows component of class 'echec/PieceEchiquier': la variable locale a le même nom que l'un des éléments de la classe:
La page d’accueil de l'outil:
Jlint
Les sources sont téléchargés sous forme de zip. Un makefile permet de générer l'exécutable sous n'importe quelle plateforme.
Il contient un autre outil complémentaire détectant des erreurs de code telle que le signe '=' utilisé au lieu de "==". Dans ce cas il faudra utiliser l'option -java pour un programme java.
Dans le zip vous trouverez également un pdf décrivant les types d'erreurs détectées.
Classé dans : Outil de test - Mots clés : analyse statique