For embedded system software development

Integrated Solutions

From project management to design and verification for international standards compliance!

Automated solution for calculating an application maximum stack usage

StackAnalyzer

Automatically determine worst-case stack usage for tasks within an application, and either detect stack overflow or formally prove its absence.

#stack #Stack Memory #Worst Case Stack Usage #StackUsage #StackAnalysis #StaticStackUsageAnalysis #Stack Overflow

Underestimating stack usage in embedded systems can lead to critical failures caused by stack overflow,

while overestimating it results in unnecessary waste of valuable memory resources.


StackAnalyzer automatically calculates the maximum stack usage for a specific processor by performing static analysis directly on binary code.


With StackAnalyzer, you can easily verify worst-case stack consumption and design safer, more reliable embedded software.

Key Features

1
AI-Based Abstract Interpretation
Stack usage is automatically calculated for all possible inputs and task executions, and the absence of stack overflow is mathematically proven through AI-based abstract interpretation.
2
Binary-Based Static Stack Usage Analysis
Static analysis is performed directly on the final executable running on the target system, enabling accurate calculation of worst-case stack usage.
3
Immediate Analysis Without Code Modification
No probe code or instrumentation is required, eliminating analysis distortion and preserving the original software behavior.
4
Support for Complex Call Structures
Accurately reflects complex control flow elements such as loops, function pointers, and recursive calls to deliver realistic and reliable analysis results.
5
Inline Assembly & Library Call Support
Analyzes inline assembly and library function calls to ensure accurate stack usage verification from a full system perspective.
6
Support for Multiple ISAs
Supports a wide range of Instruction Set Architectures (ISAs), enabling use across diverse embedded platforms.

Key Capabilities

1
Provide a function call graph
• Each routine is annotated with worst-case stack usage; worst-case paths are shown in red, and dead or infeasible paths are shown in gray for easy review

• Each routine links to a control flow graph to further inspect internal control flow
2
Provide a control flow graph
• In the control flow graph, each basic block is annotated with worst-case stack usage, and you can further drill down to inspect per-instruction stack usage

• StackAnalyzer supports analyzing application behavior at the level of detail you need
3
Provide stack usage statistics
• In addition to detailed graphs, view table and chart overviews of analysis results

• Automatically generate customizable XML reports from both the GUI and command line for integration, documentation, and certification purposes
4
Provide a section view
• Gain deeper insights into how software operates through various dashboards

• Inspect memory contents for specific address ranges
5
Provide ValueAnalyzer
• With the optional ValueAnalyzer add-on, inspect the contents of all registers and memory cells at all program points across all execution contexts

Industries

Use Cases

1
Automotive
Support OEM-required stack depth analysis. Easily calculate worst-case stack memory usage that cannot be detected by dynamic testing, using binary-based static analysis.
2
Aerospace & Defense
Calculate worst-case stack usage required by DO-178B/C via static analysis to support safety certification for aircraft software.
3
Energy
Support maximum stack usage analysis for software embedded in energy control systems using binary-based static analysis.

Key Clients

Automotive & Railways
  • 현대 logo image
  • Continental logo image
  • HONDA logo image
  • DAIMLER logo image
Aerospace & Defense
  • NASA logo image
  • AIRBUS logo image
Energy
  • MTU logo image
  • Framatome logo image
  • Vestas logo image

Share MDS Intelligence content on your SNS!

StackAnalyzer Contact

Contact Us Directly

An MDS Intelligence specialist will assist you accurately and promptly.

Inquire About StackAnalyzer