- StackAnalyzer
- Screenshots
- Testen
- Bestellen
StackAnalyzer ist als ein a³-Modul erhältlich – d.h., es kann mit anderen Analyse-Tools von AbsInt in einer gemeinsamen Benutzeroberfläche kombiniert werden.
Analyseergebnisse: der maximale Stackverbrauch wird in Bytes angegeben. Die Ergebnisse der Analyse sind für alle Eingaben und sämtliche Ausführungsszenarien gültig.
Mit einem Doppelklick auf die Analyseergebnisse kann der Aufrufgraph geöffnet werden.
Aufrufgraph mit Angaben zum maximalen Stackverbrauch einzelner Funktionen. Kritische Programmteile sind farblich hervorgehoben (alle Farben sind frei einstellbar). Die Funktionen können interaktiv aufgefaltet werden, um den Kontrollfluß genauer zu inspizieren.
Kontrollflußgraph mit genauen Angaben des maximalen Stackverbrauchs aller Basisblöcke und Instruktionen.
Die in der Visualisierung benutzten Farben können frei eingestellt werden, um eine optimale Anzeige auf Schwarz-Weiß-Bildschirmen oder für farbblinde Benutzer zu gewährleisten.