StackAnalyzer for V850 statically determines the worst-case stack usage of tasks in safety-critical applications written or generated in C and compiled to run on V850 or RH850 processors.
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 application tasks.
- Detailed analysis results for all hierarchy levels: routines, basic blocks, assembly instructions.
- Recursions, function pointers, inline assembly code, and library-function calls are all taken into account.
- Automatic recognition of dead code.
- Feature-rich GUI with graphical and textual views for analysis results, control flow, source code, assembly code, statistics, and more.
- Command-line mode for easy integration into automated build processes.
- 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.
- Seamless integration with other analysis tools from AbsInt — e.g. aiT for static analysis of the worst-case execution time.
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.
Supported processor derivates
- V850E/PHO3 (revisions μPD70F3441 and μPD70F3483)
- V850E/FK3-H (revision μPD70F3469)
- V850E2/Fx4-H (revision μPD70F3501F1, umbrella emulation device)
- VFOREST (revisions μPD76F0134, μPD76F0197, μPD76F0198, μPD76F0199)
- FOREST (revisions μPD70F3407, μPD70F3409, μPD70F3410, μPD70F3429, μPD70F3431)
- Renesas RH850F1x (F1L, F1H, F1M)
- Generic support for the various V850 E1/ES, E2, E3, and RH850 ISA targets
All license variations always cover all of the above.
Supported compilers
- Greenhills C/C++ optimizing compiler (C source code)
- WindRiver Diab C/C++ compiler (C source code)
- Renesas CS+ compiler
The standard license covers one compiler of your choice. Additional compilers can be unlocked for a surcharge.
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
Qualification support
Your usage of StackAnalyzer for V850 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.
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}