Statischer Analysator
Null Laufzeitfehler

Seit 2010 gibt es Nachwuchs in der Produktfamilie: Der statische Analysator Astrée von AbsInt Angewandte
Informatik GmbH ermöglicht den Nachweis der Abwesenheit von Laufzeitfehlern in C-Programmen.

Abgedeckt werden unter anderem Division durch 0, arithmetische Überläufe, ungültige Pointerzugriffe, Feldgrenzenverletzungen sowie Überläufe und ungültige Operationen auf Gleitkommazahlen. Neben Laufzeitfehlern werden auch unerreichbarer Code und nicht-terminierende Schleifen angezeigt. Astrée verfügt über eine sehr präzise Analyse-Engine, die nur wenige Fehlalarme erzeugt.

Sehr präzise Analyse-Engine

Durch individuelle Anpassung der Analysepräzision und einfaches Bereitstellen externer Informationen kann die Zahl der Fehlalarme noch weiter gesenkt werden. Präzise Informationen über auftretende Alarme ermöglichen das schnelle Finden und Beheben echter Fehler. Zudem skaliert Astrée sehr gut, was die Analyse großer industrieller Softwareprojekte ermöglicht. Sicherheitskritische Avioniksoftware von über 500.000 Zeilen Code konnte erfolgreich mit null Fehlalarmen analysiert werden.

Analyse großer industrieller Softwareprojekte

Weitere Softwarewerkzeuge von AbsInt sind aiT Worst-Case Execution Time Analyzer, TimingExplorer und StackAnalyzer. aiT berechnet garantierte obere Schranken für die längstmögliche Ausführungszeit von Tasks in Echtzeitsystemen. Mit aiT ist ein formaler Nachweis des korrekten Zeitverhaltens möglich, der auch zu Zertifizierungen bis hin zu DO-178B Level A eingesetzt werden kann. Mit TimingExplorer ist die Berücksichtigung der Worst-Case Laufzeit in frühen Designphasen möglich: Die worst-Case Laufzeit kann somit schon bei der Hardwareauswahl und -dimensionierung berücksichtigt werden. StackAnalyzer berechnet automatisch den maximalen Stackverbrauch von eingebetteten Anwendungen.

Autor: Dr. Daniel Kästner, CTO, AbsInt Angewandte Informatik GmbH