StackAnalyzer automatically determines the worst-case stack usage
of the tasks in your application. It lets you find any stack overflows,
or formally prove the absence thereof.
Qualification run results
Contents of registers and memory cells
Tabular overview of the stack usage
Control-flow graph with analysis results
Call graph with worst-case stack usage
Features
- Exceptionally fast and precise static analysis of real-world software.
- Clear and detailed information on user-stack and system-stack usage by tasks, procedures, basic blocks, and individual instructions.
- Freely selectable entry points for the analysis to let you focus
on any code parts of particular interest to you.
- Control-flow reconstruction directly from binary code.
Potential flaws in the debug information will not confuse StackAnalyzer.
- Automatic recognition of dead code.
- Feature-rich GUI with graphical and textual views
for analysis results, statistics, control flow, source code, assembly code, DWARF debug info, symbol tables, configuration files, and more.
- Command-line mode for easy integration into automated build processes.
- Customizable XML reports for documentation and certification.
- ValueAnalyzer add-on for static analysis of register and memory cells, memory accesses and function calls.
- Plugins for TargetLink and Jenkins.
Fully-integrated custom builds for SCADE and Raptor.
- Seamless integration with other analysis tools from AbsInt,
e.g. aiT for worst-case execution time analysis.
- Qualification Support Kits for ISO 26262, DO-178B/C, and other safety standards.
- Regular updates and excellent tech support.
Who uses StackAnalyzer?
Airbus France, in the development of safety-critical avionics software for several airplane types, including the A380.
Daimler, in many automotive software projects, including the powertrain control system of the Actros line.
Honda, in developing the FADEC software of a turbofan engine.
Vestas, to prevent stack overflow in their wind turbine control software.
Framatome, for verification of their safety-critical platform
for testing, operating and troubleshooting nuclear reactors.
Continental, to avoid stack overflows in their airbag control systems.
OHB, in the development of onboard software for satellite platforms for communication and navigation.
u-blox, to avoid stack overflows at compile time and to increase
the reliability of their controlling software.
MTU Friedrichshafen, to demonstrate the correctness
of control software for emergency power generators in power plants.
Your benefits
- StackAnalyzer reduces the development effort and helps
prevent runtime errors due to stack overflow.
- StackAnalyzer calculates the stack usage automatically.
No testing or measuring required. The analysis results are valid
for all inputs and any task execution.
- StackAnalyzer directly analyzes binary executables,
exactly as they are executed in the final system.
- Using StackAnalyzer is essential in meeting current safety standards
such as ISO 26262,
DO-178B/C, IEC-61508, and EN-50128,
where statically analyzing the stack usage is part of the architectural safety requirements.
A multitude of supported ISAs
StackAnalyzer is available for a large and ever-growing number of target processors and compilers.
Seamless integration into your toolchain
StackAnalyzer supports tight integration with state-of-the-art development tools, including:
- SCADE Suite, the market-leading embedded-software development environment from ANSYS
- TargetLink, the production-code generation tool from dSPACE
- Raptor-Dev, the system-development toolkit from New Eagle
- SymTA/S scheduling analysis tools from Symtavision/Luxoft
- Jenkins, the leading open-source automation server
- RT-Druid, the Eclipse-based development environment from Evidence
StackAnalyzer can also be combined within a single user interface with other analysis tools
from AbsInt (e.g. aiT for worst-case execution time analysis).
Qualification support
Your usage of StackAnalyzer can be qualified according to
ISO 26262, DO-178B/C, and other safety standards. We offer
special Qualification Support Kits
that simplify and automate the qualification process. These Kits
have been successfully used by many customers in their
qualification processes, notably in the avionics and automotive industries.
“When searching
for actual products performing stack usage analysis for embedded software,
StackAnalyzer seems to be the most promising (and probably only) choice.”
Independent review by University of Erlangen