Jlint für Unix.

Java-Code-Verifizierer
Jetzt downloaden

Jlint für Unix. Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Freeware
  • Name des Herausgebers:
  • garret.ru
  • Website des Verlags:
  • Betriebssysteme:
  • Unix
  • Dateigröße:
  • 70KB

Jlint für Unix. Stichworte


Jlint für Unix. Beschreibung

Editby JLINT prüft Ihren Java-Code und findet Fehler, Inkonsistenzen und Synchronisierungsprobleme, indem Sie die Datenflussanalyse durchführen, indem Sie die Datenflussanalyse durchführen. JLINT besteht aus zwei separaten Programmen, die Syntax und semantische Überprüfung durchführen. Soweit Java die C / C ++ -Syntax hauptsächlich erbt und die meisten von C-Syntax verursachten Probleme erbt, war die Idee, gemeinsamer Syntax-Verifizierer für alle C-FAMIVE-Sprachen zu erstellen: C, C ++, Ziel C und Java. Dieses Programm wurde als Antital benannt, da er Probleme mit C-Grammatik behebt, was den Fehler des gefährlichen Programmiers verursachen kann, das von Compiler nicht erkannt wird. Mit einem handgeschriebenen Scanner und einem einfachen Top-Down-Parser, ist Antic in der Lage, solche Fehler als misstrauischer Einsatz von Prioritäten von Betreibern, Abwesenheit von Break in Switch-Code, falsche Annahme von Konstruktionen zu erkennen. Semantischer Verifizierer JLINT extrahiert Informationen aus Java-Klassendateien. Soweit die Java-Klassendatei ein sehr gut festgelegtes und einfaches Format hat, vereinfacht die JLINT im Vergleich zu Quellniveau-Verifizierern erheblich, da die Entwicklung des Java-Grammatikparsers keine einfache Aufgabe ist (auch durch Java-Grammatik ist einfacher und weniger mehrdeutig als C ++ - Grammatik) . Auch nur mit Klassendateien handeln, JLINT von weiteren Java-Erweiterungen schützen (Format der virtuellen Byte-Anweisungen ist konservativer). Durch die Verwendung von Debugging-Informationen kann JLINT gemeldete Nachrichten mit Java-Quellen verknüpfen. JLINT führt lokale und globale Datenflussanalysen durch, um mögliche Werte von lokalen Variablen zu berechnen und redundante und verdächtige Berechnungen zu fangen. Durch die Durchführung der globalen Methodenaufrufanalyse kann JLINT die Aufrufe der Methode mit einem möglichen "Null-" -wert des formalen Parameters und der Verwendung dieses Parameters in der Methode ohne Prüfung auf "null" erkennen. JLINT baut auch Sperrabhängigkeitsdiagramm für Klassenabhängigkeiten auf und verwendet diese Grafik, um Situationen zu erkennen, die während der Multithread-Programmausführung Deadlock verursachen können.


Jlint für Unix. Zugehörige Software

Über uns