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. Eine kostenpflichtige Supportverlängerung ist bei Bedarf möglich, wenden Sie sich dazu einfach an support@absint.com.

Nachfolgend finden Sie detaillierte Beschreibungen aller Verbesserungen in den Releases der letzten fünf Jahre. Diese Informationen sind größtenteils nur in Englisch verfügbar.

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Aktuelles Release 23.10

  • TLS-verschlüsselte Verbindung zwischen den Tools und dem Lizenzmanager
  • Schnellere und genauere Value-Analyse
  • Verbessertes iteratives Decoding
  • TimeWeaver für V850/RH850
  • StackAnalyzer und TimingProfiler für generischen TMS320F28x
  • Unterstützung für den Microtec-M68k-Compiler
  • Unterstützung für den Wayland-Fenstermanager
  • Zusätzliche und erweiterte Qualifizierungskits

Release 23.04

  • Analyse von dynamisch gelinkten ELF-Dateien
  • Reduzierter Speicher­verbrauch der Value-Analyse
  • Unterstützung für RL78

Release 22.10

  • Unterstützung für AURIX TC33x, 35x, 36x
  • Unterstützung für Trace32 BRANCHFLOW

Release 22.04

  • TraceVisualizer
  • Unterstützung für TargetLink 5.2
  • QSLCDs integriert in QSKs

Astrée und RuleChecker

Aktuelles Release 23.10

  • TLS-verschlüsselte Verbindung zwischen dem Analyse-Server, den Clients und dem Lizenzmanager
  • Unterstützung für externe Benutzer-Authentifizierung über OIDC oder OAuth 2.0
  • Regelsatzüberprüfung für MISRA C:2023
  • Verallgemeinerte abstrakte ARINC 653-OS-Stubs und Unterstützung für PikeOS-Personality
  • Viele Verbesserungen an den Aufrufgraphen
  • Zusätzliche Tooltips für die Wertebereiche aller Unterausdrücke
  • Diff-basierte Kommentare
  • Verbesserte und erweiterte Qualifizierungskits

Release 23.04

  • Unterstützung für C++20 und MISRA C:2012 Zusatz 3
  • Unterstützung für TargetLink 2022-B
  • Aktualisierte und verbesserte ARINC-653-Stub-Bibliothek

Release 22.10

  • Analyse der Daten- und Kontrollfluß­abhängigkeiten zwischen Software­komponenten
  • Unterstützung des Regelsatzes MISRA C++:202x-DRAFT

Release 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

CompCert

Aktuelles Release 23.10

  • Verbessertes Entfernen gemeinsamer Teilausdrücke bei Konditionaloperatoren
  • Verbesserte Value-Analyse für die Konstantenpropagation
  • Verbesserungen am API des Valex-Qualifizierungskits

Release 23.04

  • Unterstützung für Duff’s Device
  • Unterstützung für Unicode-Konstanten und -Zeichenketten
  • Verbesserte Instruktions­auswahl und Register­allokation für ARM/Thumb

Release 22.10

  • Unterstützung für C11 _Generic
  • Verbesserte if-conversion-Optimierung
  • Mergeable String/Literal-Sektionen

Release 22.04

  • Formal verifizierte Behandlung von Bitfeldern in Structs und Unions
  • Ausgabe von Csyntax