- ValueAnalyzer
- Screenshots
ValueAnalyzer is a static program analyzer for value analysis. 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.
The challenge
When developing complex safety-critical software systems, it is not unusual for the developer to integrate third-party object code in it. However, it is usually difficult to verify whether such code only does what it is supposed to do and nothing else.
Possible problems with third-party code are:
- it might read variables it may not read
- it might write variables it may not write
- it might call functions it may not call
Common reasons for such illegal accesses to your system by third-party code are:
- programming errors (e.g., an iterator exceeds an array limit)
- non-compliance with specifications
- compiler or linker errors
Illegal accesses may cause problems in the field. Additionally, license or liability issues can arise.
The solution
ValueAnalyzer provides the solution to this problem. It statically analyzes third-party object code and reports any violation of your spec.
Your 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.
Supported targets
ValueAnalyzer is currently available for:
- am486
- ARC
- ARM7
- C16x/ST10
- C33
- HC11
- HCS12/STAR12
- i386
- LEON2
- LEON3
- M68020
- TriCore
- V850
- MPC 5xx
- MPC 603e
- MPC 55xx
- MPC 755
- MPC 755s
- PPC (other)
For further information about Value