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 sechs Jahre. Zurzeit sind diese Informationen nur in Englisch verfügbar.

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Aktuelles Release 21.10

  • Vielfältige Verbesserungen bei Graphen und Statistiken
  • Neue Type-Domain für die Value-Analyse
  • Verbesserte und erweiterte Annotationen
  • Unterstützung für größere Dateien unter Windows
  • StackAnalyzer, TimingProfiler und ValueAnalyzer für MIPS32
  • Unterstützung für TargetLink 5.1
  • Zusätzliche und erweiterte Qualification-Support-Kits

Release 21.04

  • WCET-Analyse für MCF5307 und zusätzliche AURIX-Derivate
  • Stackanalyse für Nios II
  • Letztes Release kompatibel mit Windows 7

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“

Astrée und RuleChecker

Aktuelles Release 21.10

  • Neue Aufruf- und Kontrollflußgraphen
  • Gewichtung der Analyseergebnisse
  • Erhöhte Präzision mehrerer abstrakter Domains
  • Unterstützung für Clang-Regelüberprüfungen
  • Unterstützung für zusätzliche AUTOSAR-, SEI-CERT- und MISRA-C++-Regeln
  • Eigenständiger RuleChecker exklusiv bei QA Systems erhältlich
  • Verbesserte und erweiterte Qualification-Support-Kits

Release 21.04

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

Release 20.10

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

Release 20.04

  • Plugin für ARM Keil µVision
  • Unterstützung für MISRA-C:2012 Zusatz 2
  • Neue Optionen

CompCert

Aktuelles Release 21.10

  • Unterstützung für 32-Bit-PowerPC-VLE mit der NXP-GCC-Toolchain
  • Unterstützung für architekturabhängige Gleitkomma-Constraints für Inputs und Outputs
  • Unterstützung für Nichtinteger-Bitfelder

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