Stack overflow is a thing of the past

StackAnalyzer automatically determines the worst-case stack usage of the tasks in your appli­cation. It lets you find any stack overflows, or formally prove the absence thereof.

StackAnalyzer screenshot

Call graph with stack usage and worst-case path

StackAnalyzer screenshot

Tabular and chart summaries of the analysis results

Features

Who uses StackAnalyzer?

Airbus France, in the development of safety-critical avionics software for sever­al airplane types, including the A380.

Daimler, in many auto­motive 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 cor­rectness of control software for emergency power generators in power plants.

Your benefits

Supported targets

StackAnalyzer is available for a wide and ever-growing array of target processors and compilers.

Seamless integration into your toolchain

StackAnalyzer supports tight integration with state-of-the-art development tools, including:

dSPACE logo
Jenkins logo

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

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.

StackAnalyzer is also available as an integral part of the SCADE development envi­ron­ment, which is DO-178B and DO-178C qualified up to level A for Military and Aerospace Industries, IEC 61508 certified at SIL 3 by TÜV for Heavy Equipment and Energy, and EN 50128 certified at SIL 4 by TÜV for Rail Transportation. Within SCADE, you’ll find the tool under the name “Timing and Stack Optimizer”.

Free 30-day trial

Request your free trial package today, complete with free training and support.