Memory safety analysis for ARM

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
• 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 stack usage analysis) in a single intuitive user interface.

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 possible for twice the price.

Supported compilers

• ARM Developer Suite C/C++ compiler
• The formally verified CompCert compiler
• GNU C/C++ compiler (GCC)
• Green Hills MULTI for ARM (C, C++ or Ada)
• IAR C/C++ compiler
• KEIL MDK-ARM C/C++ compiler suite
• HighTec LLVM
• Other LLVM/Clang-based ARM compilers
• Tasking C/C++ compiler
• Texas Instruments C/C++ compiler
• Wind River Diab C/C++ 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 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