C- und C ++ - Speicher-Debugging

• Beschädigter Heap- und Stack-Speicher
• Verwendung nicht initialisierter Variablen und Objekte
• Array- und String-Fehler auf Heap und Stack
• Verwendung von baumelnden, NULL- und nicht initialisierten Zeigern
• Alle Arten der Speicherzuweisung und freie Fehler oder Nichtübereinstimmungen
• Alle Arten von Speicherlecks
• Geben Sie Fehlanpassungen in globalen Deklarationen, Zeigern und Funktionsaufrufen ein

Zur Kompilierungszeit erkennt Parasoft Insure ++ Fehler, indem Abweichungen von C / C ++ - Standards festgestellt werden, die zu Speicherverlusten oder Anwendungsinstabilitäten führen können.

• Der Zeigerwurf verliert an Präzision
• Nicht übereinstimmende Formatspezifikation
• Nicht übereinstimmender Argumenttyp
• Code wird nicht ausgewertet, hat keine Auswirkung oder ist nicht erreichbar
• Undefinierte Bezeichnung
• Variable deklariert, aber nie verwendet
• Zeiger auf lokale Variable zurückgeben
• Die Funktion gibt einen inkonsistenten Wert zurück
• Nicht verwendete Variablen

Die Abdeckungsanalyse von Parasoft Insure ++ ermöglicht die visuelle Identifizierung, welche Codeabschnitte ausgeführt wurden und welche nicht. Mit dieser Funktion können sich Benutzer auf das Testen von Anwendungsfällen für die noch nicht ausgeübten Codebereiche konzentrieren. Insure ++ kann den Basisblöcken auch eine Trefferanzahl hinzufügen, die angibt, wie oft jeder Block ausgeführt wurde, um überraschende Leistungsengpässe zu erkennen.

Softwareentwickler erhalten eine grafische Ansicht von Live-Daten über die laufende Speichernutzung und Speicherzuweisungen im Laufe der Zeit mit einem spezifischen Einblick in die gesamte Heap-Nutzung, Blockzuweisungen, mögliche ausstehende Lecks usw. Wenn ein Block durchgesickert ist, können Sie den Zuordnungsstapel-Trace sowie den Stack-Trace sehen, bei dem das Leck aufgetreten ist. Die Gesamtgröße des Heaps wird überwacht, und verschiedene Statistiken werden wie die Anzahl der Zuordnungs- und Freigabeanrufe verfolgt.

Parasoft Insure ++ meldet alle gefundenen Probleme. Zu den detaillierten Informationen, die Sie erhalten, gehören die Art des Fehlers, die Quelldatei und die Zeilennummer, der tatsächliche Inhalt der Quellcodezeile, der Ausdruck, der das Problem verursacht hat, sowie Informationen zu allen Zeigern und Speicherblöcken, die an dem Fehler beteiligt sind. Softwareentwickler können auch Zeigerwerte, Speicherblöcke, auf die verwiesen wird, Blockzuordnungsinformationen und die Stapelverfolgung anzeigen, die zeigen, wie das Programm zum Fehlerort gelangt ist.

Die meisten Projekte sind groß und enthalten mehrere Dateien. Es gibt jedoch Situationen, in denen Sie nur eine Handvoll dieser Dateien auf vermutete Laufzeitverletzungen untersuchen müssen. Dies geschieht, wenn Parasoft Insure ++ die einzelnen Dateien instrumentiert, die Sie untersuchen möchten. Die einzelnen Dateien können dann mit einer nicht instrumentierten ausführbaren Datei verknüpft werden. Dadurch werden Fehler in den betreffenden Dateien auf Quellenebene mit minimalem Aufwand gefunden.