ValueAnalyzer-Screenshots

ValueAnalyzer ist als ein a³-Modul erhältlich – d.h., es kann mit anderen Analyse-Tools von AbsInt in einer gemeinsamen Benutzeroberfläche kombiniert werden.

Auswahl der zu analysierenden Stelle in der Disassembly-Ansicht.

Auswahl der zu analysierenden Stelle im Kontrollflußgraphen.

Ergebnisse der Value-Analyse: der Inhalt von Registern und Speicherzellen an der ausgewählten Programmstelle. Werte, die an dieser Stelle verändert werden, sind farblich hervorgehoben.

Optionale Visualisierung der Genauigkeit der Analyseergebnisse (ValueAnalyzer für PowerPC 55xx).