StackAnalyzer screenshots

StackAnalyzer screenshot

StackAnalyzer can be combined with other static program analyzers from AbsInt in a single intuitive user interface.


StackAnalyzer screenshot

Configuration screen: selecting files for analysis. StackAnalyzer directly analyzes binary executables, exactly as they are executed in the final system.


StackAnalyzer screenshot

Analysis results: the maximum stack usage is shown in bytes. The results are valid for all inputs and each task execution. StackAnalyzer automatically considers all possible execution scenarios.

Double-clicking on the analysis results opens the call graph of the analyzed application.


StackAnalyzer screenshot

Call graph with stack usage analysis results. All routines are annotated by their worst-case stack usage. Critical program sections are color-coded for immediate recognition.

The routines can be interactively unfolded to inspect the control flow within them.


StackAnalyzer screenshot

In the control flow graph, all basic blocks and instructions are annotated by their worst-case stack usage, letting you investigate your application’s behavior more closely.


StackAnalyzer screenshot

In addition to the detailed graphs, tabular and chart overviews of the analysis results are available.


StackAnalyzer screenshot

Various other views provide an even deeper insight into the workings of your system. For example, the Sections view allows you to view all sections of the binary and inspect their content like in a hex editor. It also enables you to find out the memory content for a given address area.


StackAnalyzer screenshot

An optional ValueAnalyzer add-on lets you inspect the contents of all registers and memory cells at any program point in any execution context.