StackAnalyzer for TriCore statically determines the worst-case stack usage of tasks in safety-critical applications written or generated in C or C++ and compiled to run on TC17xx or AURIX processors.
Your benefits
- StackAnalyzer lets you prevent stack overflow for all possible inputs and task executions under any circumstances — without wasting hardware resources.
- StackAnalyzer requires no code instrumentation, no testing, no measuring, no modification of your system, no modification of your toolchain, and it will not be misled by potential flaws in debug information.
- Using StackAnalyzer is essential in meeting current safety standards such as ISO 26262, DO-178B/C, IEC-61508, and EN-50128, where statically analyzing your stack usage is part of the architectural safety requirements.
Key features
- Static analysis of binary files, exactly as they are executed in the final system.
- Clear and precise information on the worst-case stack usage by tasks, procedures, basic blocks, and individual instructions.
- Recursions, function pointers, inline assembly code, and library-function calls are all taken into account.
- Automatic recognition of dead code.
- Exceptionally fast analysis of complex real-world software.
- Freely selectable entry points for the analysis, so you can focus on the worst-case path or other areas of interest, and speed up the analysis even further.
- Difference analysis for comparing the stack usage before and after making changes to your system.
- State-of-the-art GUI with interactive views for analysis results, statistics, code coverage, control flow, source code, assembly code, DWARF debug info, symbol tables, analysis configuration, and more.
- Command-line mode and customizable XML reports for easy integration into automated build processes.
- Plugins for TargetLink and Jenkins.
- Seamless integration with other analysis tools from AbsInt — e.g. aiT for worst-case execution time analysis.
Also available for TriCore
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):
- NEW: TriCore 212
- NEW: 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 (core 1.8):
- TriCore AURIX TC4x
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 covers one compiler of your choice. Additional compilers can be unlocked for a surcharge.
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 help you simplify and automate your qualification process:
- Base QSK
- Optional compiler-specific add-on QSKs for
- Tasking VX 6.2r2p3
- Tasking VX 6.3r1p2
Compiler-specific QSKs for other compilers can be developed on request.
Recent improvements
- Improved and optimized Qualification Support Kits
- Three additional qualification test cases
- All QSKs now come with the QSLCD report included
- See the complete release notes
- Support for version 1.8 of the TriCore instruction set
- Improved handling of mixed calling conventions
- Improved handling of writes to registers with subregisters
- Eleven additional qualification test cases
- See the complete release notes
- Analysis of dynamically linked ELF files
- Improved automatic decoding of computed control-flow transitions
- Improved switch table decoding for Tasking
- Ten additional qualification test cases, plus two more for TC377 specifically
- See the complete release notes
- Improved automatic decoding of syscall and trap control flow targets
- More precise address computation for memory accesses
- Improved switch table decoding for Clang
- TLS-encrypted network connections
- One additional qualification test case
- See the complete release notes
- Reworked instruction type classifications
- Improved handling of
TRAPINV, division by zero, and CSA chain initialization in OS code - Improved switch table decoding for GCC
- See the complete release notes
- Support for AURIX 212 and 222
- Higher analysis precision for CSA accesses
- Improved automatic switch table decoding
- Improved handling of calls to external routines for 1st and 2nd GEN AURIX
- Higher analysis precision for the
madd.uinstruction - See the complete release notes
Availability
StackAnalyzer for TriCore is available as:
- a standalone tool for all TriCore derivates listed above
- 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 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
Free trial
You can try StackAnalyzer for free, on your own applications, for a period of 30 days. Your free-trial package includes online training and tech support.
.jpg){kind=link}