Astrée-Releasenotes

Die Releasenotes sind zurzeit nur in English verfügbar.

Aktuelles Release 18.04

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