Memory safety analysis for V850/RH850

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.

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.

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

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