Static stack-usage analysis for i386DX

StackAnalyzer for i386DX statically determines the worst-case stack usage of tasks in safety-critical appli­cation for Intel 386DX processors.

Key benefits

• Detailed and precise information on stack usage by application tasks.
• Stack analysis for all hierarchy levels: tasks, routines, basic blocks, individual assembly instructions.
• Control-flow reconstruction directly from binary code.
• Freely selectable entry points for the analysis.
• Easy recognition of critical program sections thanks to color coding.
• Fully integrated, feature-rich graphical and textual viewers for control flow, analysis results, source code, assembly code, configuration files, and more.
• Seamless integration with other analysis tools from AbsInt — e.g. aiT for static analysis of the worst-case execution time.

Supported processor derivates

• Intel 386DX processors with mask revision D1 or later

Supported compilers

• PL/I Compiler (PL/I source code)

System requirements

• Windows: 64-bit Windows 10 or 11
• Linux: 64-bit CentOS/RHEL 7 or compatible
• 4 GB of RAM (16 GB recommended)
• 4 GB of disk space
• The Linux version requires the libxcb-* family of libraries to be installed
• Support for macOS High Sierra 10.13 or newer is possible on request for a surcharge