StackAnalyzer Screenshots

StackAnalyzer is available as an a³ module, i.e. it can be combined with other analyzers from AbsInt in a single intuitive user interface.

Configuration screen: selecting files for analysis.

Analysis results: the maximum stack usage is shown in bytes. The analysis 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.

Call graph with stack usage analysis results. All routines are annotated by their worst-case stack usage. Critical program sections can be immediately recognized thanks to customizable color coding.

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

In the control flow graph, all basic blocks and instructions are annotated by their worst-case stack usage.

The color scheme used for visualization is fully customizable, providing for full accessibility on black-and-white screens or for color-blind users.

The most recently added “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.