Stapel-Analysator
Werkzeug zur statischen Binärcode-Analyse:
Erkennung von Fehlern aufgrund von "Stack Overflow".
Neun Gründe, sich für StackAnalyzer zu entscheiden
Der auf formalen Methoden basierende Stack Analyzer ermöglicht das Testen auf das Nichtvorhandensein von Stack Overflow-Laufzeitfehlern.
Heute ist es möglicherweise das einzige Instrument, das diese Garantie bieten kann.
1.
Führt eine statische Analyse von binärem (ausführbarem) Code durch.
2.
Es unterstützt mehrere Cross-Compiler von verschiedenen Herstellern und Programmiersprachen (C, C++, Ada).
3.
Es liefert detaillierte Informationen über die Nutzung von Benutzer- und System-Stacks auf Task-Ebene.
4.
Ermöglicht die Auswahl des Einstiegspunktes der Analyse.
5.
Führt eine Rekonstruktion des Kontrollflusses direkt aus dem Binärcode durch.
6.
Liefert Informationen auf Assembler- und Quellcodeebene.
7.
Das optionale Modul Value Analyzer ermöglicht die Analyse des Kontrollflusses und der Datenkontrolle (Analyse von Registern und Speicherbereichen, Kontrolle des Zugriffs auf Variablen und Funktionen).
8.
Es verfügt über Integrationen mit Jenkins, Eclipse und TargetLink (dSpace).
9.
Es verfügt über ein Zertifizierungspaket für DO-178, ISO 26262, EN-50128 und FDA.