14 - 16 March 2017 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Zoom product LOGO_ValueAnalyzer: Static Value Analysis

ValueAnalyzer: Static Value Analysis

LOGO_ValueAnalyzer: Static Value Analysis

ValueAnalyzer: Static Value Analysis

Request information Request information

Contact us

Please enter your personal information and desired appointment. You can also leave us a message.

Your personal information

Your message for us

Desired appointment during the exhibition

* Compulsory fields you must fill in.
Send
Your message has been sent.

Would you like to use more facilities and advantages of the platform? Then please log in – or register here.

An error has occurred.

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.

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:

  • it might read variables it may not read
  • it might write variables it may not write
  • it might call functions it may not call


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

  • programming errors (e.g., an iterator exceeds an array limit)
  • non-compliance with specifications
  • compiler or linker errors


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

The solution
ValueAnalyzer provides the solution to this problem. It statically analyzes third-party object code and reports any violation of your spec.

Your 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.
  • ValueAnalyzer can also be combined with other analysis tools from AbsInt (for example, StackAnalyzer for stack usage analysis) in a single intuitive user interface called a³.

aiT Worst-Case Execution Time Analyzers

LOGO_aiT – WCET-Analyse

CompCert - verified compilation

LOGO_CompCert - verifiziertes Kompilieren

TimingExplorer

LOGO_TimingExplorer - frühzeitige WCET-Abschätzung

TimingProfiler - timing estimates

LOGO_TimingProfiler - Laufzeitabschätzungen

ValueAnalyzer: Static Value Analysis is assigned to following product groups:

There are no entries in your notes.

Show notes



top

The selected entry has been placed in your notes!

If you register you can save your notes permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your notes permanently. Use the instant access to exhibitors or products saved – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your notes mobile too! Simply log in and access them at anytime.