Releasenotes für Astrée und RuleChecker

Die vollständigen Releasenotes sind zurzeit nur in Englisch verfügbar.

Aktuelles Release 24.10

  • Kollaborative Bewertung von Analyseergebnissen
  • Neue Graphen zur Thread-Aktivierung, Cybersecurity-Angriffen, Signal- und Komponenteninterferenzen
  • Höhere Präzision
  • Inkrementelles Präprozessieren für schnellere Analysen
  • Ausgabe von SARIF-Berichten
  • Aktualisiertes Jenkins-Plugin
  • Unterstützung für TargetLink unter Linux
  • Verbesserte und erweiterte Qualifizierungskits

24.04

  • Regelüberprüfung für MISRA C++:2023
  • Taint-Analyse für C++
  • Quick-HUD zur schnelleren Navigation
  • Unterstützung für TargetLink 23.1

23.10

  • TLS-Verschlüsselung und OpenID-Authentifizierung
  • Regelüberprüfung für MISRA C:2023
  • Diff-basierte Kommentare

23.04

  • Unterstützung für C++20
  • Regelüberprüfung für MISRA C:2012 Zusatz 3
  • Aktualisierte ARINC-653-Stub-Bibliothek

22.10

  • Daten- und Kontrollflußanalyse
  • Visualisierung von Taint-Analysen
  • Unterstützung für MISRA C++:202x-DRAFT

22.04

  • Neue Ansichen für C++-Klassen und -Templates
  • Bessere Unterstützung für CWE, CERT, AUTOSAR und MISRA-C++
  • Unterstützung für TargetLink 5.2

21.10

  • Neue Aufruf- und Kontrollflußgraphen
  • Gewichtung der Analyseergebnisse
  • Unterstützung für Clang-Regelüberprüfungen

21.04

  • Deutlich höhere Leistung und Präzision
  • Unterstützung für JSON-Präprozessor-Konfigurationen
  • Letztes Release kompatibel mit Windows 7

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