Jlint

Jlint vérifiera votre code Java et de trouver des bugs, les incohérences et les problèmes de synchronisation en faisant l'analyse des flux de données et la construction graphique serrure. Jlint compose d'Antic, la résolution des problèmes avec la grammaire C, ce qui peut provoquer des bogues du programmeur dangereux, non détecté par le compilateur, et le vérificateur sémantique Jlint, qui extrait des informations à partir des fichiers de classe Java. Jlint effectue des analyses de flux de données locale et globale, le calcul des valeurs possibles de variables locales et attraper calculs redondants et suspectes. Sauf blocages, Jlint est capable de détecter possible problème de condition de course, lorsque différents threads peuvent accéder simultanément les mêmes variables.

Jlint utilise approche intelligente de rapports de message. Tous les messages sont regroupés en catégories, et il est possible d'activer ou de désactiver les messages de notification de catégorie spécifique ainsi que des messages concrets. Jlint peut se souvenir de messages signalés et ne les communiquent pas, une fois de plus lorsque vous exécutez seconde fois Jlint.