Releasenotes

Unsere Produkte werden ständig weiterentwickelt und verbessert. Größere Updates werden zweimal jährlich veröffentlicht und an Kunden mit aktivem Support automatisch verschickt. Kleinere Updates sind auf Anfrage erhältlich.

Jede kommerzielle Lizenz beinhaltet sechs volle Monate Support, sodaß Sie mindestens ein größeres Update kostenlos bekommen. Wenn Sie einen Supportvertrag verlängern oder erneuern möchten, wenden Sie sich an support@absint.com.

Nachfolgend finden Sie detaillierte Beschreibungen aller Verbesserungen in den Releases der letzten acht Jahre. Zurzeit sind diese Informationen nur in English verfügbar.

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Aktuelles Release 21.04

  • Erhöhte Leistung bei geringerem Speicherverbrauch
  • Verbesserte AIS2-Annotationen, neue Ausdrücke und Funktoren
  • Letztes Release kompatibel mit Windows 7
  • WCET-Analyse für MCF5307 und zusätzliche AURIX-Derivate
  • Stackanalyse und Timing-Profiling für Nios II
  • Zusätzliche und erweiterte Qualification-Support-Kits
  • Mehr als 100 sonstige Verbesserungen

Release 20.10

  • Kombinierte Pipeline- und Pfadanalyse
  • Schnellere Stackanalyse für hochrekursive Programme
  • WCET-Analyse für MPC5777C

Release 20.04

  • Unterstützung für Renesas CS+ und DDC-I SCORE
  • else-(if)-Annotationen
  • Unterstützung für „Dark Mode“

Release 19.10

  • Wesentlich schnellere Analysen
  • WCET-Analyse für TC3xx
  • Stackanalyse für RISC-V

Astrée

Aktuelles Release 21.04

  • Deutliche Verbesserung der Leistung und der Präzision
  • Automatischer Import der Präprozessor-Konfiguration aus JSON
  • Letztes Release kompatibel mit Windows 7
  • Verbesserte C++-Runtime-Stub-Bibliothek
  • Erweiterte Qualification-Support-Kits
  • Mehr als 50 sonstige Verbesserungen

Release 20.10

  • Laufzeitfehleranalyse für C++ und gemischten C- und C++-Code
  • Verbesserter ARMXL-Reader

Release 20.04

  • Schnellere Analysen und höhere Präzision
  • Neue Optionen
  • Erweiterte Qualification-Support-Kits

Release 19.10

  • Verbesserte Meldungen
  • Zeitgleiche Analysen in Phasen

RuleChecker

Aktuelles Release 21.04

Release 20.10

  • Unterstützung für den SEI-CERT-C++-Standard
  • Mehr AUTOSAR-Regeln
  • Erweiterte Qualification-Support-Kits

Release 20.04

  • Unterstützung für MISRA-C:2012 Zusatz 2
  • Plugin für ARM Keil µVision
  • Mehr AUTOSAR-Regeln

Release 19.10

  • Volle Unterstützung für MISRA-C:2012 Ed. 3
  • Verbesserte Metriken und zusätzliche Diagnostiken

CompCert

Aktuelles Release 21.04

  • Verbesserte ABI-Kompatibilität
  • Verbesserte Diagnostiken
  • Zusätzliche und verbesserte Built-In-Funktionen

Release 20.10

  • Neue Built-In-Funktionen
  • Verbesserte Diagnostiken
  • Unterstützung für _Static_assert

Release 20.04

  • Neue Architektur AArch64
  • Verbesserte Fehlermeldungen
  • Erweiterte DWARF-Unterstützung

Release 19.10

  • Optimierung durch If-Konvertierung
  • Verbesserte Builtin-Funktionen
  • Neue Diagnostiken