StackAnalyzer for Am486 automatically determines the worst-case stack usage of the tasks in your application. The analysis results can be interactively explored, or exported for documentation and certification purposes.
Your benefits
- StackAnalyzer lets you prevent stack overflow for all possible inputs and task executions under any circumstances — without wasting hardware resources.
- StackAnalyzer requires no code instrumentation, no testing, no measuring, no modification of your system, no modification of your toolchain, and it will not be misled by potential flaws in debug information.
- Using StackAnalyzer is essential in meeting current safety standards such as ISO 26262, DO-178B/C, IEC-61508, and EN-50128, where statically analyzing your stack usage is part of the architectural safety requirements.
Key features
- Static analysis of binary files, exactly as they are executed in the final system.
- Clear and precise information on the worst-case stack usage by tasks, procedures, basic blocks, and individual instructions.
- Recursions, function pointers, inline assembly code, and library-function calls are all taken into account.
- Automatic recognition of dead code.
- Exceptionally fast analysis of complex real-world software.
- Freely selectable entry points for the analysis, so you can focus on the worst-case path or other areas of interest, and speed up the analysis even further.
- Feature-rich GUI with graphical and textual views for analysis results, code coverage, control flow, source code, assembly code, statistics, and more.
- Command-line mode and customizable XML reports for easy integration into automated build processes.
- Plugins for TargetLink and Jenkins.
- Seamless integration with other analysis tools from AbsInt — e.g. aiT for worst-case execution time analysis.
Supported processor derivates
- Enhanced Am486 DX processors
- Write-back enhanced IntelDX4
All license variations always cover both of the above.
Separately available are StackAnalyzer for x86 and StackAnalyzer for i386DX.
Supported compilers
- CAD-UL tool suite C/C++ compiler for x86 (protected mode)
Also available
Qualification support
Your usage of StackAnalyzer for Am486 can be qualified according to ISO 26262, DO-178B/C, and other safety standards. On request, we can develop a Qualification Support Kit to help you simplify and automate your qualification process.
Recent improvements
- Release 24.04:
- Bus jitter is now kept concrete to improve analysis precision
- Release 23.04:
- Improved automatic switch-table decoding
- Stack pointer guessing for flat and long mode
- Info messages about guessed/specified stack pointer and specified stack area
- Relaxed restrictions for assignments to segment registers in 32-bit flat mode and 64-bit long mode
- Improved handling of expand-down segments
System requirements
- Windows: 64-bit Windows 10 or 11
- Linux: 64-bit CentOS/RHEL 7 or compatible
- 4 GB of RAM (16 GB recommended)
- 4 GB of disk space
- The Linux version requires the
libxcb-*family of libraries to be installed - Support for macOS High Sierra 10.13 or newer is possible on request for a surcharge
Free trial
You can try StackAnalyzer for free, on your own applications, for a period of 30 days. Your free-trial package includes online training and tech support.
.jpg){kind=link}