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. Wenn Sie einen Supportvertrag verlängern oder erneuern möchten, wenden Sie sich an support@absint.com.

Nachfolgend finden Sie detaillierte Beschreibungen aller Verbesserungen in den Releases der letzten acht Jahre. Zurzeit sind diese Informationen nur in English verfügbar.

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Release 18.10

  • Verbesserte Leistung
  • Unterstützung für DWARFv5
  • Neue AIS2-Funktoren
  • WCET-Analyse für ARM Cortex-M0
  • Unterstützung für LLVM/Clang
  • Zusätzliche QSK-Testcases

Release 18.04

  • Verbesserte Stack- und Value-Analyse
  • Value-Partitioning
  • Unterstützung für S12Z und 64-Bit-ARM

Release 17.10

  • Floating-Lizenzen
  • TimeWeaver für PowerPC
  • Unterstützung für Cortex-M1/Milandr 1986VE1T

Release 17.04

Astrée

Release 18.10

Release 18.04

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

Release 17.10

  • Neuer Mode für Alarm-Kommentare
  • Unterstützung für GCC-erweiterten Assembler
  • Schnellere Analysen

Release 17.04

  • Eigenständiger RuleChecker
  • Reduzierter Speicherverbrauch
  • Verbesserte Benutzeroberfläche

RuleChecker

Release 18.10

  • Neues Eclipse-Plugin
  • Verbessertes Kommentieren und Kategorisieren von Regelverletzungen
  • Identifier-Suche in Quelldateien
  • Unterstützung für mehr als 30 zusätzliche MISRA-C++-Regeln
  • Bessere Unterstützung für MITRE CWE und SEI CERT
  • Mehr als 20 neue QSK-Testcases

Release 18.04

  • Analyse von C++-Code
  • Unterstützung für macOS
  • Floating-Lizenzen

Release 17.10

  • Unterstützung für MITRE CWE
  • Rekategorisierung von MISRA-Regeln
  • Stilregeln für Identifier

Release 17.04

  • Erste eigenständige Version
  • Unterstützung für SEI-CERT-C-Regeln
  • Reduzierter Speicherverbrauch

16.10

16.04

15.10

15.04

14.10

CompCert

Release 18.10

  • Verbesserter Umgang mit _Alignof und _Alignas
  • Neuer konfigurierbarer Check für das Plazieren von Symbolen in Sections in Valex
  • Neue Diagnostiken für nichtrobuste Sprachfeatures

Release 18.04

  • Neues Builtin zur a³-Integration
  • JSON-Export für ARM-Assembler
  • Valex für ARM

Release 17.10

  • Neues Backend für hybriden 64/32-Bit–PowerPC-Code
  • Neue generische Optimierungen
  • QSK für Valex

Release 17.04

  • Volle Unterstützung für C11-Anonymous-Compounds
  • Checks für ungenutzte Variable und Parameter

16.10

16.04

15.10