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


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 new Actros truck.

Honda, in developing the FADEC software of a turbofan engine.

Vestas, to prevent stack overflow in their wind turbine control software.

AREVA, for verification of their safety-critical platform for testing, operating and troubleshooting nuclear reactors.

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, 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
Symtavision 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

We offer special qualification support for StackAnalyzer:

In the past, our QSKs and QSLCD Reports have been successfully used by leading corporations in their qualification process, notably in the auto­motive and avionics industries.

StackAnalyzer is also available as an integral part of the SCADE development envi­ron­ment, which is DO-178B 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.

Free 30-day trial

Request your free trial package today.