Astrée-Releasenotes

Die Releasenotes sind zurzeit nur in English verfügbar.

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 zusätzliche Verbesserungen

20.10

  • Laufzeitfehleranalyse für C++ und gemischten C- und C++-Code
  • Verbesserter ARXML-Reader für OSEK/AUTOSAR

20.04

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

19.10

  • Verbesserte Meldungen
  • Zeitgleiche Analysen in Phasen

19.04

  • Erkennung der Spectre-Verwundbarkeit
  • Taint-Analyse
  • Laufzeitfehler­analyse für C++-Code

18.10

  • Neues Eclipse-Plugin
  • Geringerer Speicherverbrauch
  • Verbesserte Alarm-Kommentare

18.04

  • Unterstützung für C11
  • Compiler-Konfigurationen
  • Floating-Lizenzen

17.10

  • Neuer Mode für Kommentare
  • Viel schnellere Analysen
  • Unterstützung für GCC-erweiterten Assembler

17.04

16.10

16.04

15.10

15.04

14.10

  • RuleChecker für MISRA-C:2004
  • Neue Optionen und Einstellungen

14.04

  • Erkennung von Write-after-write
  • Ansicht für externe Deklarationen
  • DAX-Export

13.10

  • TargetLink-Kopplung
  • Analyse von asynchronen Programmen
  • Safety-Manual

13.04

  • Neue Optionen
  • Vielfältige Verbesserungen

12.10

  • Datenfluß- und Kontrollfluß-Reports
  • Wrapper-Generator
  • Scenario-Builder

12.04

  • QSLCD-Bericht
  • Extrahierung von Direktiven
  • Analysenschlange

11.12

  • Qualification-Support-Kit
  • Erkennung von Field-Escapes
  • Volltextsuche

11.08

  • Externe Direktiven
  • Volle Unterstützung für 64-Bit-Integer, Gotos, nichtinitialisierte Variablen

11.04

  • Unterstützung für compilerspezifische Erweiterungen
  • Serverzugangskontrolle

10.12

  • Präprozessor-Unterstützung
  • Projekt-Wizard
  • Aufrufgraph-Browser
  • XML-Berichte

10.08

Erstes offizielles Release