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

Release 17.04

Release 16.10

Release 16.04

Astrée

Release 17.10

  • Neuer Mode für Alarm-Kommentare
  • Schnellere Analysen
  • Unterstützung für GCC-erweiterten Assembler
  • Verbesserter und erweiterter RuleChecker
  • Erweiterte Qualification-Support-Kits
  • Mehr als 100 sonstige Verbesserungen

Release 17.04

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

Release 16.10

Release 16.04

RuleChecker

Release 17.10

17.04

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

16.10

  • Unterstützung für Zusatz 1
    zu MISRA-C:2012
  • Geänderte Typenkompabilitätsregeln

16.04

  • Übersichtsbericht
  • Vereinfachte Konfiguration
  • Neues Frontend

CompCert

Release 17.10

  • Neues Backend für hybriden 64/32-Bit–PowerPC-Code
  • Verbesserte Codeerzeugung für ARM und PowerPC
  • Neue generische Compileroptimierungen
  • Qualification-Support-Kit für Valex

Release 17.04

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

Release 16.10

  • Bessere Unterstützung für K&R, ARM und PowerPC
  • Kompatibilität mit coq v8.5pl2

Release 16.04

  • Neue Optionen zur GCC-Kompatibilität
  • Mehr eingebaute Funktionen
  • Diverse Fixes