Insure++®

16.06.2017

Laufzeit-Analysen und Speicherfehlererkennung für C und C++

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 >>