ValueAnalyzer for x86 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
- GNU C compiler (GCC)
- CompCert
- Intel iC-86 C compiler (ICC)
- Cygnus LynxOS x86 C compiler (LynuxWorks)
The standard license only covers one compiler of your choice. Additional compilers can be unlocked for a surcharge.
Architecture variants and extensions
The supported instructions sets are:
- x86-32 (ia32, Intel 32)
- x86-64 (Amd64, Intel 64)
- x87
- MMX
- 3DNow!
- SSE
- SSE2
- SSE3
- SSE4.1
- SSE4.2
- AES
- AVX
- AVX2
This covers a wide array of architectures, including 8086, 80286, i386, i486, and AMD K6-2E+. However, for the purposes of licensing and pricing, ValueAnalyzer for 16-, 32-, and 64-bit x86s are treated as three separate products. Likewise, i386DX and IntelDX4/Am486 are supported separately.
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
