Parasoft® Deutschland GmbH

Parasoft® Insure™: C/C++ Laufzeit-Analyse, Fehlererkennung

Parasoft Insure++™ ist ein Werkzeug zur Laufzeit-Speicheranalyse und Speicherfehlererkennung für C und C++. Das Tool identifiziert automatisch eine Vielzahl von schwer zu verfolgenden Programmier- und Speicherzugriffsfehlern sowie potenzielle Defekte und ineffiziente Speichernutzung. Fehler wie Speicherkorruption, Speicherlecks, Zugriffe außerhalb von Array-Grenzen, ungültige Zeiger und ähnliche Schwachstellen bleiben bei herkömmlichen Tests häufig unerkannt – und führen später oft zu Programmabstürzen.

Insure++ hilft, derartige Defekte in Applikationen zu finden, zu eliminieren und die Integrität der Speichernutzung sicherzustellen.

Beim Testen überprüft Insure++ alle Arten von Speicherreferenzierungen inklusive solchen, die sich auf statischen (globalen), Stack- oder Shared-Speicher beziehen – sowohl im Code des Anwenders als auch in Bibliotheken von Drittanbietern. Insure++ spürt unter anderen folgenden Fehler auf:

• Fehlerhafter Heap- und Stack-Speicher
• Verwendung von nicht initialisierten Variablen und Objekten
• Array- und String-Begrenzungsfehler im Heap- und Stack-Speicher
• Gebrauch von offenen, NULL- und nicht initialisierten Zeigern
• Sämtliche Typen von Speicherallokation sowie freie Fehler oder fehlerhafte Zuweisungen
• Alle Arten von Speicherlecks
• Typen-Fehlzuweisungen in globalen Deklarationen, Zeigern und Funktionsaufrufen
• Variationen von ungenutztem Code (Dead Code), die sich auf die Kompilierungszeit auswirken

Parasofts Kunden, zu denen 58 Prozent der Fortune 500 zählen, vertrauen auf Insure++ für:

• Das Aufzeigen und Entfernen der Ursachen für zufälliges Laufzeitverhalten wie unmotivierte Abstürze und Stopps
• Das Erkennen ernsthafter Defekte, die bisher trotz aller Tests über Jahre hinweg unerkannt geblieben sind
• Das Aufspüren von Fehlern beim Portieren auf 64 Bit
• Das Optimieren der Speicherbenutzung einer Anwendung

Mehr >>