Wespe Static Error Checker

Wenn Ihr Java-Programm gründlich getestet wurde, aber trotzdem fehleranfällig ist, kann der WASP Analyzer dazu beitragen, subtile Laufzeitfehler und Schwachstellen in Ihrem Programm zu erkennen. Die folgenden Arten von Fehlern können sein
Jetzt downloaden

Wespe Static Error Checker Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • Shareware
  • Sprache:
  • English
  • Name des Herausgebers:
  • AcademSoft
  • Website des Verlags:
  • Dateigröße:
  • 1.22 MB

Wespe Static Error Checker Stichworte


Wespe Static Error Checker Beschreibung

Der Wespe Analyzer erkennt statisch subtile Laufzeitfehler und schwache Punkte in einem Java-Quellcode. Die folgenden Arten von Fehlern können erkannt werden: NULL-Zeigerausnahme, unzulässiger Guss, Arrayindex außerhalb der Grenzen, Division um Null usw. Die folgenden Arten von Schwachstellen können erkannt werden: Verwendung von nicht initialisierter Variablen, unerreichbarer Zweig in der Bedingung oder Switch-Anweisung, unerreichbarer Schleifenkörper oder Fangklausel, Zuordnung der Variablen, deren Wert niemals verwendet wird, Abnormaler Abschluss der Methode usw. WASP erzeugt detaillierte und präzise Methodenanrufgrafik. Die Methode-Anrufgrafik eines Programms hilft, für jede Methode zu wissen Welche tatsächlichen Methoden werden in seinem Körper aufgerufen. Für jede Methode können Sie auch wissen, wo diese Methode aufgerufen werden kann. Methode Anrufdiagramme, die andere vorhandene Werkzeuge hergestellt wurden, sind ungenau auf schwache Analysen angewendet. Im Vergleich zu anderen statischen Fehleranalysatoren WASP hat zwei wichtige Vorteile. Wespe kann zwischen einem bestimmten Fehler unterscheiden, ein möglicher Fehler (Warnung) und eine möglicherweise fehlerhafte Situation. Im letzteren Fall erzeugt Wespe eine Nachricht angerufen Bedingter Fehler, der in der Praxis einen Fehler anzeigt in etwa einem Fall von fünf. WASP führt eine kontextsensitive Datenflussanalyse durch, So kann es einen Fehler erkennen, der nur für einige Anrufe erscheint der mit ihm enthaltenen Methode, aber nicht für andere. Somit behandelt Wespe Situationen hoher Komplexität. Alles, was uns statische Analysatoren bekannt ist (z. B. Qstudio Java, Metamata-Audit usw.) Diese statischen Erkennung von Laufzeitfehlern können produzieren nur lange Warnlisten, weil sie kann nicht bestimmte Fehler in einem Programm aufgrund von Schwachchen erkennen Analysen angewendet. Ein Benutzer muss viel Zeit verschwenden, um alle Warnungen zu analysieren. WASP hat gezeigt, dass sich die Fähigkeit bewiesen hat, subtile Fehler in Programmen zu finden Nach dem Debuggen und Testen der Entwicklungsstadien, weil Wespe erkennt Situationen echter Komplexität.


Wespe Static Error Checker Zugehörige Software

BEFASTER-Internet beschleunigen Toolkit

BEFASTER ist ein vielseitiges Optimierungswerkzeug. Es unterstützt AOL, Symantec-PCAnywhere, dh Oper, DFÜ-Modem, LAN, Kabelmodem, XDSL, ISDN, T1, DirectPC und Kabel / DSL, um PPPOE auszuführen. Bleib verbunden fo. ...

287 1257K

Herunterladen