Jlint controllerà il codice Java e trovare bug, incongruenze e problemi di sincronizzazione facendo l'analisi del flusso di dati e costruire il grafico di blocco. Jlint consiste di Antic, risolvere i problemi con la grammatica C, che può causare errori del programmatore pericolosa, non rilevati da compilatore, e verificatore Semantic Jlint, che estrae informazioni da file di classe Java. Jlint esegue il flusso di dati locale e globale di analisi, calcolando i possibili valori delle variabili locali e la cattura calcoli ridondanti e sospetti. Tranne deadlock, Jlint è in grado di rilevare possibili race condition problema, quando diversi thread possono accedere contemporaneamente le stesse variabili.
Jlint utilizza approccio intelligente alla rendicontazione messaggio. Tutti i messaggi sono raggruppati in categorie, ed è possibile attivare o disattivare i messaggi di segnalazione di specifica categoria e messaggi concreti. Jlint riesce a ricordare i messaggi riportati e non segnalarli ancora una volta, quando si esegue la seconda volta Jlint.
I commenti non trovato