JLINT per UNIX.

Verificatore di codice Java
Scarica ora

JLINT per UNIX. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Nome editore:
  • garret.ru
  • Sito web dell'editore:
  • Sistemi operativi:
  • Unix
  • Dimensione del file:
  • 70KB

JLINT per UNIX. Tag


JLINT per UNIX. Descrizione

EditBy jlint controllerà il codice Java e trovare bug, incongruenze e problemi di sincronizzazione facendo il flusso dei dati di analisi e la costruzione del grafico di blocco. Jlint consiste di due programmi separati svolgono sintassi e verifica semantica. Per quanto riguarda Java per lo eredita C / C ++ sintassi e quindi eredita la maggior parte dei problemi causati dalla sintassi C, l'idea era di creare sintassi comune verificatore per tutte le lingue C-family: C, C ++, Objective C e Java. Questo programma è stato chiamato Anti, perché risolve i problemi con la grammatica C, che può causare errori del programmatore pericolosa senza essere rilevata dal compilatore. Utilizzando lo scanner scritto a mano e semplice parser top-down, Antic è in grado di rilevare tali insetti come l'uso sospetto di operatori priorità, l'assenza di pausa nel codice di commutazione, presupposto sbagliato di corpi costruzioni ... Semantic verificatore jlint estrae informazioni da file di classe Java. Per quanto riguarda i file di classe Java è molto ben specificato e il formato semplice, semplifica notevolmente jlint in confronto con i verificatori del livello della sorgente, perché lo sviluppo di Java grammatica parser non è un compito semplice (anche attraverso la grammatica Java è più semplice e meno ambigua di C ++ grammatica) . Inoltre si occupa solo con i file di classe, proteggere jlint da ulteriori estensioni Java (formato delle istruzioni di byte virtuali è più conservatore). Utilizzando le informazioni di debug jlint può associare i messaggi riportati con sorgenti di Java. Esegue jlint dati locali e globali fluiscono analisi, calcolando i possibili valori delle variabili locali e la cattura ridondante e calcoli sospette. Effettuando un'analisi metodo globale invocazione jlint è in grado di rilevare invocazione del metodo con possibile valore "nullo" del parametro formale e utilizzando questo parametro nel metodo senza controllo "nullo". Jlint costruisce inoltre Blocco graficamente le dipendenze di classi dipendenze e utilizza questo grafico per rilevare situazioni che possono causare DeadLock durante l'esecuzione del programma multithread.


JLINT per UNIX. Software correlato

Chi siamo