Qualitätssicherung

GrammaTech wirft Licht auf blinde Code-Flecken

| Redakteur: Franz Graser

Das Werkzeug CodeSonar 4 hat wichtige Funktionen erhalten, mit dem sich Code von Drittherstellern untersuchen und die Konformität mit Normen wie MISRA verbessern lässt.
Das Werkzeug CodeSonar 4 hat wichtige Funktionen erhalten, mit dem sich Code von Drittherstellern untersuchen und die Konformität mit Normen wie MISRA verbessern lässt. (Bild: Clipdealer)

Der amerikanische Tool-Hersteller GrammaTech hat sein Analysewerkzeug CodeSonar 4 im Markt eingeführt. Das Tool dient zur Prüfung von Software, die in C/C++, Java oder Maschinencode geschrieben ist.

Im Vergleich zu den vorherigen Versionen sind Funktionen zur Analyse von Drittanbieter-Code, zur Normenkonformität, zur Beseitigung von anspruchsvollen Multicore-Problemen und für größere Codesicherheit hinzugekommen. Letzteres erreicht CodeSonar, indem es sich mit potenziell gefährlichen Informationsflüssen befasst.

Mit der integrierten Analyse von Binärdateien können Entwickler extern programmierte Software ohne Zugriff auf deren Quellcode untersuchen. So werdengefährliche blinde Flecken bei Qualität und Sicherheit eliminiert, die durch die Nutzung von Open Source- oder Drittanbieter-Komponenten und Libraries in Embedded-Anwendungen entstehen können.

Im Hinblick auf die Normenkonformität wurde zusätzlich zur bestehenden Analysefähigkeit für DO 178 eine Prüfung auf MISRA C 2012 eingeführt, um Firmen zu unterstützen, die relevanten Zertifizierungen zu erfüllen. Im Multicore-Bereich wurden Java-spezifische Funktionen zur Erkennung von Concurrency-Fehlern wie Deadlocks oder Race Conditions ergänzt.

Kommentar zu diesem Artikel abgeben

Schreiben Sie uns hier Ihre Meinung ...
(nicht registrierter User)

Zur Wahrung unserer Interessen speichern wir zusätzlich zu den o.g. Informationen die IP-Adresse. Dies dient ausschließlich dem Zweck, dass Sie als Urheber des Kommentars identifiziert werden können. Rechtliche Grundlage ist die Wahrung berechtigter Interessen gem. Art 6 Abs 1 lit. f) DSGVO.
Kommentar abschicken
copyright

Dieser Beitrag ist urheberrechtlich geschützt. Sie wollen ihn für Ihre Zwecke verwenden? Infos finden Sie unter www.mycontentfactory.de (ID: 42697396 / Software-Test & -Betrieb)