Die AbsInt-Toolchain für sicherheitskritische Systeme

Astrée – statische Laufzeitfehleranalyse

Überprüfen Sie Ihren C-Code auf Laufzeitfehler mit Astrée.

Finden Sie alle un­gültigen Zeiger­zugriffe, Divisionen durch Null, arithme­tische Über­läufe, Feld­grenzen­verletzungen, kritische Wett­läufe und andere Arten von Fehlern. Weisen Sie die Einhaltung von MISRA-, CWE- und SEI-CERT-C-Regeln nach, oder überprüfen Sie Ihre ganz persönlichen Vorgaben.

CompCert – verifiziertes Kompilieren

Kompilieren Sie den Code mit CompCert.

Erfüllen Sie die höchsten Sicher­heits­standards, indem Sie Ihre Anwendung mit dem einzigen Compiler übersetzen, der formal mathematisch verifiziert wurde. Damit gelten alle Sicherheits­eigenschaften, die Sie auf der Quellcode-Ebene nachgewiesen haben (z. B. mit Astrée), garantiert auch für den erzeugten Binärcode.

Analysieren Sie das erzeugte Executable.

aiT – statische WCET-Analysen

aiT

Berechnen Sie die schlimmstmögliche Ausführungszeit von Tasks in Ihren Binärdateien, ganz ohne aufwendige Tests und wiederholte Messungen. Die Analyse­ergeb­nisse gel­ten für alle Eingaben, alle mög­lichen Ausführungs­szenarien, alle Cache- und Pipeline-Zustände.

StackAnalyzer — statische Stackverbrauchsanalyse

StackAnalyzer

Be­rechnen Sie automatisch und exakt den maxi­malen Stack­ver­brauch Ihrer Anwendungen für jeden Programm­punkt. Finden Sie alle Stack­überläufe, oder weisen Sie formal deren Abwesen­heit nach. Identifi­zieren Sie kritische Programm­teile und Ausführungs­pfade, und sparen Sie Zeit bei der Optimierung.

TimingProfiler — Timinganalyse in frühen Entwicklungsphasen

TimingProfiler

Wenn Ihre Anwendung noch früh in der Entwicklung ist und Sie sich für kein bestimmtes Prozessor-Derivat entschieden haben, hilft Ihnen TimingProfiler bei der Abschätzung der Ausführungs­zeit für eine ganze Prozessor­familie. Damit können Sie das Timing-Verhalten bereits ganz früh im Ent­wicklungs­prozeß überwachen, wenn Messungen an der Hard­ware zu kostspielig oder schlicht unmöglich sind.

Sonstige Produkte

Informationen zu älteren oder kunden­spezifischen Pro­dukten bekommen Sie auf Anfrage bei info@absint.com.