Software-Analysetool für Embedded Software
Das nach Angaben des Herstellers GrammaTech Code-Analysetool CodeSonar präzise statische Analysetool für C, C++ und Java richtet sich an Firmen mit einer Nulltoleranz für Fehler in verschiedenen Branchen wie Medical, Automotive, Industrielle Steuerungen und Luft-/Raumfahrt. Auf der embedded world präsentiert das Unternehmen u.a. erstmals die 64-Bit Binäranalyse.
In Version 4.1 kann das Programm die statische Analyse über eine Vielzahl an heterogenen Rechnern verteilen. Das beschleunigt Analyse und erlaubt größere Flexibilität bei der Analyse-Intensität. Die verfeinerte Tainted-Datenanalyse umfasst eine noch genauere Taint-Analyse und eine komplett neue Prüfung auf Tainted Buffer.Zugriffe. Mit den Algorithmen der Taint Analyse kann die Lösung auch indirekte Funktionsaufrufe genauer untersuchen.