ValueAnalyzer for ARM factsheet

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

Supported compilers

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

Supported ARM families

Supported architecture variants and extensions

The standard license only covers either 32-bit or 64-bit ARM. Unlocking both is available for twice the price.

System requirements