Static value analysis for embedded systems

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.

ValueAnalyzer screenshot
ValueAnalyzer screenshot

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:

Common reasons for such illegal accesses to your system by third-party code are:

Illegal accesses may cause problems in the field. Additionally, license or liability issues can arise.

Lastly, development standards such as DO-178B require unreachable code to be eliminated. Since the required testing effort is high, it is desirable to remove unreachable code as early as possible.

The solution

ValueAnalyzer provides the solution to these problems. It statically analyzes object code and reports any violation of your spec.


Your benefits

Supported processors and compilers

ValueAnalyzer is available as an add-on to aiT, StackAnalyzer, and TimingProfiler, for all processor–compiler combinations supported by these tools.

Free trial

Request your free trial package today.