StackAnalyzer for PowerPC 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
(e.g. aiT for worst-case execution time analysis)
in a single intuitive user interface.
Recently added features
- Improved results viewer that allows a more interactive exploration of analysis results.
- An expected result can now be speficied for verification by the analysis.
- Improved visualization of infeasible routines and blocks.
- Infeasibility statistics in textual report.
- Improved function-pointer resolution.
- Improved precision by using sets of intervals.
- Support of interactive stack analysis.
- Improved error messages and warnings.
- Improved detection of computed branch and call targets by iterative decoding.
- Improved annotation help.
- Simplified instruction set selection.
- Support for XCOFF32 binaries.
- Improved handling of Wind River tail call and code sharing optimizations.
- Auto-detection of VLE sections in ELF binaries following EABI.
- Improved detection of infeasible paths at computed branches/calls.
- Improved handling of conditional calls.
Supported compilers
- Diab C compiler of Wind River (C and Ada source code)
- Green Hills compiler (C and Ada source code)
- GNU C Compiler (GCC)
Supported processor derivates
- General 32-bit PowerPC processors with PPC and VLE instruction set
- AltiVec is not supported
- Supported CPUs include:
- PowerPC MPC555
- PowerPC MPC561
- PowerPC MPC562
- PowerPC MPC563
- PowerPC MPC564
- PowerPC MPC565
- PowerPC MPC566
- PowerPC MPC5533
- PowerPC MPC5534
- PowerPC MPC5553
- PowerPC MPC5554
- PowerPC MPC5561
- PowerPC MPC5566
- PowerPC MPC5668G
- PowerPC MPC8247/MPC8248/MPC8271/MPC8272
- PowerPC MPC8250/MPC8255/MPC8260/MPC8264/MPC8265/MPC8266
- PowerPC MPC8270/MPC8275/MPC8280
- PowerPC MPC8240
- PowerPC MPC8241
- PowerPC MPC8245
- PowerPC MPC755
- PowerPC MPC7448
- PowerPC PPC750
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