Wasp Static Error Checker herunterladen

"Data-Flow-Analyse zu erkennen feine Laufzeitfehler"
indir.biz Editor: Wenn das Java-Programm wurde sorgfältig getestet, aber immer noch fehleranfällig, WASP Programm Analysator feinen Laufzeitfehlern und Schwachstellen können dazu beitragen, zu erkennen. die folgenden Fehler in einer statischen Nachweis von: Nullzeigerausnahme, gegossen verboten, Array-Index außerhalb des gültigen Bereichs, Division durch Null, usw. folgende Schwächen Typen können erkannt: uninitialisierte Variable kann nicht in Zweigstellen oder switch-Anweisung, unerreichbar Schleife zugegriffen werden Bedingung des Körpers oder der catch-Klausel, variable Wertzuweisung und detailliertes Programm etc.Wasp genaue Methode Aufrufdiagramm Suchmethoden Graph.The Herstellungsverfahren kann nicht zugegriffen werden mit dem Hauptausgang wird nie wissen, was die eigentlichen Methoden und für jede Methode wird in der Hilfe Haus genannt. Darüber hinaus andere statische Fehler Analysatoren hier diese Methode kann called.In Vergleich gebracht hat Wasp zwei wichtige advantages.Wasp kann eine genaue Fehlermeldung für jede Methode einen möglichen Fehler (Warnung), kennen und kann möglicherweise die falsche Position zu unterscheiden. Im zweiten Fall, Wasp eine Nachricht genannt bedingte Fehler in dieser speziellen Anwendung five.Wasp eine Fehlermeldung über einen Fall scheint zu zeigen, erzeugt, so dass einige Anrufe sind nur ein Anzeigefehler akzeptieren kann das kontextsensitive Datenfluss-Analyse ist die Methode, einschließlich, nicht aber die andere noch. Wir alle bekannten statischen Analysatoren (Java, MetaMata Control, zum Beispiel QStudio etc.) zum Ausführen der statischen Sensor Benachrichtigung bei Fehlern produceonly lange Listen, da die Analyse aufgrund eines schwachen Programm nicht erkennt bestimmte Fehler angewandt werden kann. Seine Fähigkeit, Fehler in Programmen bewährt Geldstrafe zu finden, hat der Benutzer alle warnings.Wasp Abfall viel Zeit für die Analyse und Entwicklungsstadien der Debugging evenafter Test wegen der Komplexität realer Situationen Waspdetects.
Neu:
Wasp können Online-Handbuch für Linux 3.2 zugegriffen werden
Servlet-Programme können mit Wespen 3,2 analysiert werden
Java 1.4-Anweisung mit den Vorwürfen jetzt Wasp Statische Fehler Checker 3,2 Wasp 3.2 kann kostenlos herunterladen verarbeitet wird.