ValueAnalyzer – statische Value-Analyse

ValueAnalyzer führt statische Analysen zur Bestimmung von Wertebereichen von Variablen, Registern und Speicherzellen durch. Damit ist insbesondere der Nachweis möglich, daß in einem eingebetteten Softwaresystem keine ungültigen Speicher­zugriffe aus als Objektcode ge­lieferten Third-Party-Modulen auftreten können.

Die Herausforderung

In komplexen sicherheitskritischen Softwaresystemen werden oft Module von Dritt­anbietern als Objektcode integriert. Dabei ist es in der Regel schwierig, zu überprüfen, ob dieser Code tat­säch­lich genau das tut, was er tun soll.

Mögliche Probleme bei der Integration von Third-Party-Modulen sind:

• sie könnten Lese-/Schreibzugriffe auf Variablen ausführen, auf die sie nicht zugrei­fen dürfen
• sie könnten Funktionen aufrufen, die sie nicht aufrufen dürfen

Typische Ursachen für solche ungültigen Zugriffe sind:

• Programmierfehler (z. B. Feldzugriffe außerhalb der gültigen Feldgrenzen)
• Nichteinhaltung von Spezifikationen
• Compiler- oder Linker-Fehler

Ungültige Zugriffe können zu Problemen beim Systemeinsatz führen und darüber­hinaus Lizenz- oder Haftungs­fragen aufwerfen.

Die Lösung

ValueAnalyzer bietet die Lösung dieser Probleme. Er führt eine statische Analyse von Objekt­code – z. B. von Fremdanbietern – durch und meldet mögliche Verletzungen Ihrer Spezi­fi­ka­ti­onen.

Ihre Vorteile

• Die Analyse läuft vollautomatisch und erfordert keine Ausführung des Systems mit konkreten Eingabewerten. Die Analyse­ergebnisse sind für alle möglichen Eingaben und Aus­führungs­szenarien gültig.
• Die Analyse ist konservativ, d. h. die Ergebnisse sind verläßlich. Alle ungültigen Zugriffe, die auftreten können, werden auch gemeldet.
• Software von Drittanbietern kann direkt analysiert werden. Sie muß nicht erst auf der ECU integriert werden.

Unterstützte Prozessoren

• am486
• ARC
• ARM7
• C16x/ST10
• C33

• HC11
• HCS12/STAR12
• i386
• LEON2
• LEON3

• M68020
• TriCore
• V850
• MPC 5xx
• MPC 603e

• MPC 55xx
• MPC 755
• MPC 755s
• PPC (other)

Die Liste der unterstützten Prozessoren wird kontinuierlich erweitert. Weitere Versio­nen könnten also in Kürze erhältlich sein oder auf Anfrage entwickelt werden. Nehmen Sie einfach Kontakt mit uns auf, wenn Ihr Prozessor auf der Liste fehlt.

• ValueAnalyzer
• Screenshots

• Produkte
• Über uns
• Kontakt
• Presseservice