SOFCHECK-Inspektor. SOFCHECK-Inspektor ist ein statisches Analyse-Tool, das Fehler in Java Bytecode entdeckt.
Jetzt downloaden

SOFCHECK-Inspektor. Ranking & Zusammenfassung

SOFCHECK-Inspektor. Stichworte

Statische Analyse Fehler erkennen. Fehlerinspektor ROI Maximizer. Error erkennen. Detektor Inspektor Java Bytecode. Bytecode Java Bytecode Generator. Cpython bytecode. Profi-Inspector. Produktivitätsinspektor. Bytecode-Compiler. Dateiinspektor PC Inspector Rückwärts-Bytecode. Bytecode-Debugger Monitor Java Bytecode. Java Bytecode analysieren. Bytecode-Spur Statische Code-Analyse Programminspektor. statische strukturelle Analyse Bytecode Weaver. Gemischter Bytecode. Kompatibilitätsinspektor. Statisches Analyse-Tool Instrument Java-Bytecode Bytecode modifizieren. Java Bytecode-Analyse. Java-Bytecode-Transformation Bytecode-Modifikation. Java Bytecode generieren. Java Heap Analysis. Bytecode-Viewer. Java-Bytecode-Manipulation Java Bytecode Framework. Site Inspector. Java-Code statische Analyse Ansicht Java-Bytecode Java Bytecode Viewer. Dekompile Java Bytecode.

SOFCHECK-Inspektor. Beschreibung

SOFCHECK-Inspektor ist ein statisches Erkennungswerkzeug, mit dem mögliche Programmierfehler automatisch identifiziert und logische Richtigkeit überprüft, ohne sich auf arbeitsintensive Laufzeitprüfung zu verlassen. Es integriert in bestehende Entwicklungswerkzeuge und -prozesse. SOFCHECK-Inspektor führt auf vollautomatisierte Zeilen-by-line-Tests aus und garantiert die vollständige Pfadabdeckung. SOFCHECK-Inspektor findet Defekte frühzeitig im Entwicklungsprozess - in Verbindung mit der Kompilierung - wenn sie am wenigsten teuer für die Reparatur sind. Darüber hinaus kann es auf vorhandenen Code ausgeführt werden, um latente Defekte zu finden, bevor sie zu einem Problem auf dem Feld werden. Der SOFCHECK-Inspektor unterstützt große Systeme und erkennen ein breites Spektrum an Programmierfehlern als Missbrauch von Zeigern, die Indexierung von Arrays, Pufferüberläufen (eine vorherrschende Quelle für Sicherheitslagerlecks,) numerische Überläufe, numerische Wrapparounds und unsachgemäße Verwendung von Anwendungsprogrammierschnittstellen ( APIs). Es prüft die Hauptursache für jeden Fehler auf die Source-Zeile des Codes. Sogar in Abwesenheit von expliziten Fehlern bietet der SOFCHECK-Inspektor eine gründliche Charakterisierung jeder Komponente des Systems in Bezug auf die Ein-, Ausgänge, Heap-Objekt-Kreationen, wobei die Voraussetzungen der Eingänge, die erforderlich sind, um Laufzeitausfälle, die Anmale über Rückgabewerte auszuschließen von externen Methoden und den Nachbedingungen, die den Ausgangsbereich kennzeichnen. Eine Inspektion kann von der Befehlszeile oder interaktiv mit der SOFCHECK-Inspektorkonsole gestartet werden.

SOFCHECK-Inspektor. Zugehörige Software