Überprüfen Sie Ihren C-Code auf Laufzeitfehler mit Astrée.
Finden Sie alle ungültigen Zeigerzugriffe, Divisionen durch Null, arithmetische Überläufe, Feldgrenzenverletzungen, kritische Wettlä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.
Kompilieren Sie den Code mit CompCert.
Erfüllen Sie die höchsten Sicherheitsstandards, indem Sie Ihre Anwendung mit dem einzigen Compiler übersetzen, der formal mathematisch verifiziert wurde. Damit gelten alle Sicherheitseigenschaften, 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
Berechnen Sie die schlimmstmögliche Ausführungszeit von Tasks in Ihren Binärdateien, ganz ohne aufwendige Tests und wiederholte Messungen. Die Analyseergebnisse gelten für alle Eingaben, alle möglichen Ausführungsszenarien, alle Cache- und Pipeline-Zustände.
StackAnalyzer
Berechnen Sie automatisch und exakt den maximalen Stackverbrauch Ihrer Anwendungen für jeden Programmpunkt. Finden Sie alle Stacküberläufe, oder weisen Sie formal deren Abwesenheit nach. Identifizieren Sie kritische Programmteile und Ausführungspfade, und sparen Sie Zeit bei der Optimierung.
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ührungszeit für eine ganze Prozessorfamilie. Damit können Sie das Timing-Verhalten bereits ganz früh im Entwicklungsprozeß überwachen, wenn Messungen an der Hardware zu kostspielig oder schlicht unmöglich sind.
Sonstige Produkte
Informationen zu älteren oder kundenspezifischen Produkten bekommen Sie auf Anfrage bei info@absint.com.
