StackAnalyzer for TriCore factsheet

StackAnalyzer for TriCore 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.

Key features

• Fast and precise static analysis of real-world software.
• Stack usage analysis for all hierarchy levels: tasks, routines, basic blocks, assembly instructions.
• Freely selectable entry points for the analysis.
• Control-flow reconstruction directly from binary code. Potential flaws in the debug information will not confuse StackAnalyzer.
• Automatic recognition of dead code.
• Feature-rich, intuitive GUI with graphical and textual views for analysis results, statistics, control flow, source code, assembly code, and configuration files.
• Batch mode for easy integration with other tools and into automated build processes.
• Seamless integration with other analysis tools from AbsInt, e.g. aiT for worst-case execution time analysis.
• Qualification Support Kits for ISO 26262, DO-178B/C, and other safety standards.

Supported processor derivates

• AUDO NextGeneration (Core 1.3):
  
  • TriCore 1762
  • TriCore 1766
  • TriCore 1796
• AUDO Future (Core 1.3.1):
  • TriCore 1167
  • TriCore 1197
  • TriCore 1736
  • TriCore 1767
  • TriCore 1797
• AUDO MAX (Core 1.6):
  • TriCore 1724
  • TriCore 1728
  • TriCore 1782
  • TriCore 1784
  • TriCore 1791
  • TriCore 1793
  • TriCore 1798
• AURIX family (Core 1.6P/1.6E/1.6.1):
  • TriCore 212
  • TriCore 222
  • TriCore 23x
  • TriCore 26x
  • TriCore 27x
  • TriCore 29x
• AURIX family 2nd GEN (Core 1.6.2P):
  • TriCore 33x
  • TriCore 35x
  • TriCore 36x
  • TriCore 37x
  • TriCore 38x
  • TriCore 39x
• AURIX family 3rd GEN

All license variations always cover all of the above.

Supported compilers

• Tasking C/C++ compiler
• GNU C/C++ compiler (GCC)
• HighTec GNU C/C++ compiler
• DiabData C/C++ compiler (WindRiver)
• GHS C/C++ optimizing compiler (Green Hills)

The standard license only covers one compiler of your choice. Additional compilers can be unlocked for a surcharge.

Recent improvements

• Release 24.04:
  • Reworked instruction type classifications
  • Improved handling of TRAPINV, division by zero, and CSA chain initialization in OS code
  • Improved switch table decoding for GCC
• Release 23.10:
  • Improved automatic decoding of syscall and trap control flow targets
  • More precise address computation for memory accesses
  • Improved switch table decoding for Clang
• Release 23.04:
  • Improved automatic decoding of computed control-flow transitions
  • Improved switch table decoding for Tasking
  • Improved handling of core-local DLMU memory accesses and of fast call/return operations for 2nd-GEN AURIX

Qualification support

Your usage of StackAnalyzer for TriCore can be qualified according to ISO 26262, DO-178B/C, and other safety standards. We offer Qualification Support Kits that simplify and automate the qualification process.

Availability

StackAnalyzer for TriCore is available as:

• a standalone tool for all TriCore derivates
• an integral part of the SCADE Suite for AURIX
• an integral part of Raptor-Dev

System requirements for the standalone tool

• Windows: 64-bit Windows 10 or newer
• 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