Software-Analysetool für Embedded Software

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.

GrammaTech Inc.
www.grammatech.com

Das könnte Sie auch Interessieren