StackAnalyzer by AbsInt GmbH

Software Validation and Verification

Product Description

StackAnalyzer automatically determines the worst-case stack usage of the tasks in your appli­cation. The analysis results are shown as annotations in the call graph and control flow graph.

• StackAnalyzer provides automatic tool support to calculate the stack usage of your application. The analysis results are valid for all inputs and each task execution.
• StackAnalyzer directly analyzes binary executables, exactly as they are executed in the final system.
• StackAnalyzer reduces development effort, helps prevent runtime errors, and provides valuable feedback in optimizing your application.

Qualification Support Kits are available that simplify the qualification process for DO-178B level A and ISO 26262.

StackAnalyzer

Market Segment(s)

• Embedded

ARM Processor(s)

• ARM7EJ-S
• ARM7TDMI
• ARM7TDMI-S
• ARM720T
• ARM920T
• ARM922T
• ARM926EJ-S
• ARM940T
• ARM946E-S
• ARM966E-S
• ARM968E-S
• ARM1020E
• ARM1022E
• ARM1026EJ-S
• ARM1136J-S
• ARM1136JF-S
• ARM1156T2(F)-S
• ARM1176JZ(F)-S
• ARM11 MPCore
• Cortex-M3
• Cortex-R4
• ARMv6
• ARMv7
• StrongARM
• XScale
• Other

 Contact Us