Discontinuation notice:
the StackAnalyzer for M32 product line was temporarily discontinued as of
the December 2011 price list. For further information, please contact
support@absint.com.
StackAnalyzer for M32 automatically determines the worst-case stack usage
of the tasks in your application. The analysis results are shown
as annotations in the call graph and control flow graph.
Key benefits
- Detailed and precise information on stack usage by application tasks.
- Stack analysis for all hierarchy levels: routines, basic blocks, assembly instructions.
- Control-flow reconstruction directly from binary code.
- Freely selectable entry points for the analysis.
- Easy recognition of critical program sections thanks to customizable color coding.
- Fully integrated, feature-rich graphical and textual viewers
for control flow, analysis results, source code, assembly code, and configuration files.
- Seamless integration with other analysis tools from AbsInt in a single intuitive user interface.
Recently added features
- Improved error messages and warnings.
- Duration and memory consumption are reported for each analysis step.
- Tabular overview of functions’ stack contribution.
- Interactive value analysis filters infeasible contexts.
- Improved reporting of assertion violations in value analysis.
- Reduced memory consumption and increased analysis speed by up to 20–50%.
- Support for DWARF1 debug info.
- Many improvements to the usability of the user interface.
Supported compilers
- IAR C Compiler
- GNU C Compiler (GCC)
Supported processor derivates
System requirements
- 32-bit Windows (7, Vista, XP SP2), 64-bit Windows (7, Vista), 32-bit and 64-bit Linux
- 1 GB RAM (4 GB RAM recommended)
- 500 MB disk space