ValueAnalyzer for ARM 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.
Supported compilers
- ARM Developer Suite C compiler
- CompCert
- GNU C compiler (GCC)
- Green Hills MULTI for ARM
- HighTec LLVM/Clang
- IAR compiler suite
- Keil MDK-ARM compiler suite
- Tasking C compiler
- Texas Instruments TMS 470 compiler
The standard license only covers one compiler of your choice. Additional compilers can be unlocked for a surcharge.
Supported ARM families
- ARM7TDMI
- ARM9TDMI
- StrongARM
- ARM9E
- ARM10E
- XScale
- Cortex-A
- Cortex-M
- Cortex-R
Supported architecture variants and extensions
- ARMv4
- ARMv4T
- ARMv5T
- ARMv5TE
- ARMv6
- ARMv6T2
- ARMv7
- ARMv8
- ARMv9 up to and including ARMv9.3
- Advanced SIMD/“NEON”
- Thumb/Thumb-2
- VFP
The standard license only covers either 32-bit or 64-bit ARM. Unlocking both is available for twice the price.
System requirements
- Windows: 64-bit Windows 10 or newer
- 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