ValueAnalyzer for V850 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.
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 stack usage analysis) in a single intuitive user interface.
Recently added features
- Improved results viewer that allows a more interactive exploration of analysis results.
- Improved visualization of infeasible routines and blocks.
- Infeasibility statistics in textual report.
- Improved function-pointer resolution.
- Improved precision by using sets of intervals.
- Improvements for analyses using the “additional start” annotation.
- Improved AIS wizard.
- Improved results viewer that allows a more interactive exploration of analysis results.
- Better usability of links to files in the Messages view.
- Color formatting of recursions and routines inside a strongly connected component.
- Improved loop type and bound detection.
- Improved instructions for possible call targets of computed calls.
- Value analysis warns about conflicting register modifying annotations.
- Improved detection of computed branch and call targets by iterative decoding.
Supported compilers
- Green Hills C/C++ optimizing compiler (C source code)
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)
System requirements
- 32-bit Windows (7, Vista, XP SP2), 64-bit Windows (7, Vista), 32-bit and 64-bit Linux
- 1 GB RAM (4 GB RAM recommended)
- 500 MB disk space