StackAnalyzer-Screenshots

StackAnalyzer-Screenshot

StackAnalyzer kann mit anderen Analyse-Tools von AbsInt in einer gemeinsamen Benutzeroberfläche kombiniert werden.


StackAnalyzer-Screenshot

StackAnalyzer untersucht unmittelbar ausführbare Binär­dateien, um nachweisbar korrekte Ergebnisse zu liefern. Potentiell fehler­hafte Debug-Informationen werden die Zahlen nicht verfälschen.


StackAnalyzer-Screenshot

Der berechnete maximale Stackverbrauch wird in Bytes angegeben. Die Analyseergebnisse sind für alle möglichen Eingaben und sämtliche Ausführungsszenarien gültig.

Mit einem Doppelklick kann der Aufrufgraph geöffnet werden.


StackAnalyzer-Screenshot

Aufrufgraph mit Angaben zum maximalen Stackverbrauch einer jeden Funktion. Der Worst-Case-Pfad ist farblich hervorgehoben. Die Funktionen können interaktiv aufgefaltet werden, um den Kontrollfluß darin zu untersuchen.


StackAnalyzer-Screenshot

Kontrollflußgraph mit genauen Angaben des maximalen Stackverbrauchs aller Basisblöcke und Instruktionen.


StackAnalyzer-Screenshot

Zusätzlich zu den Graphen gibt es diverse andere Ansichten der Analyseergebnisse, wie sortierbare Tabellen und Charts.


StackAnalyzer-Screenshot

Die „Sections“-Ansicht gibt einen Einblick in die einzelnen Sektionen der analysierten Binärdateien. Der Inhalt der Sektionen kann wie in einem Hex-Editor erkundet und der Speicher­inhalt für beliebige Adres­sen eingesehen werden.


StackAnalyzer-Screenshot

Mit dem optionalen ValueAnalyzer-Zusatzmodul läßt sich der Inhalt einer jeden Register- und Speicherzelle für jede Instruktion in jedem Ausführungskontext einsehen.

Sie können StackAnalyzer 30 Tage lang kostenlos an Ihren eigenen Anwendungen testen.