Statische Analyse mit 64-bit Binäranalyse, distributed
und mit Prüfung auf Tainted-Buffer-Zugriffe

Auf der embedded world präsentiert GrammaTech Version 4.1 seiner Codeanalyse-Software CodeSonar. Die Version richtet sich an Unternehmen, die Lösungen mit Nulltoleranz erstellen wollen: sowohl für Fehler als auch potenzielle Schwachstellen in ihrem Code. Das statisches Analysetool bietet Binäranalyse mit Plattformkompatibilität zur 64-bit Intel Mikroprozessor-Familie. In der aktuellen Version erlaubt das Programm die statische Analyse über diverse heterogene Rechner. Diese Fähigkeit beschleunigt die Analysegeschwindigkeit nach Anbieterangaben erheblich; zugleich erhalten Entwickler die Flexibilität, die Intensität der Analyse zu steigern, um mehr Fehler aufzudecken. Das Unternehmen hat die Genauigkeit seiner Taint-Analyse wesentlich erhöht und darüber eine komplett neue Prüfung auf Tainted-Buffer-Zugriffe eingeführt. Mit den Algorithmen der Taint-Analyse gestattet die Lösung auch indirekte Funktionsaufrufe genauer zu untersuchen.