ValueAnalyzer for V850/RH850 is a tool for static analysis of register and memory contents. It is particularly useful for:
- verifying the absence of illegal accesses to an embedded software system from within third-party modules provided as object code
- initialization analysis for execution-time or stack-usage analyses, to improve precision and minimize manual annotations
Key benefits
- The analysis is fully automatic and valid for all inputs. No input patterns need to be provided.
- The analysis performed by ValueAnalyzer is conservative, i.e. the results are safe. All illegal accesses that are present will also be reported.
- Supplied third-party software can be analyzed right away. It does not have to be integrated on the ECU.
- No debug information is required. The results are not affected by possible bugs in the debug output.
- Seamless integration with other analysis tools from AbsInt (e.g. StackAnalyzer for V850 for stack usage analysis) in a single intuitive user interface.
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 RHEL 9 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 is possible on request for a surcharge
