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
Aktuelles Release 21.04
- Erhöhte Leistung bei geringerem Speicherverbrauch
- Verbesserte AIS2-Annotationen, neue Ausdrücke und Funktoren
- Letztes Release kompatibel mit Windows 7
- WCET-Analyse für MCF5307 und zusätzliche AURIX-Derivate
- Stackanalyse und Timing-Profiling für Nios II
- Zusätzliche und erweiterte Qualification-Support-Kits
- Mehr als 100 sonstige Verbesserungen
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“
Release 19.10
- Wesentlich schnellere Analysen
- WCET-Analyse für TC3xx
- Stackanalyse für RISC-V
Astrée
Aktuelles Release 21.04
- Deutliche Verbesserung der Leistung und der Präzision
- Automatischer Import der Präprozessor-Konfiguration aus JSON
- Letztes Release kompatibel mit Windows 7
- Verbesserte C++-Runtime-Stub-Bibliothek
- Erweiterte Qualification-Support-Kits
- Mehr als 50 sonstige Verbesserungen
Release 20.10
- Laufzeitfehleranalyse für C++ und gemischten C- und C++-Code
- Verbesserter ARMXL-Reader
Release 20.04
- Schnellere Analysen und höhere Präzision
- Neue Optionen
- Erweiterte Qualification-Support-Kits
Release 19.10
- Verbesserte Meldungen
- Zeitgleiche Analysen in Phasen
RuleChecker
Aktuelles Release 21.04
- Verbesserte Abdeckung von Adaptive AUTOSAR C++
- Letztes Release kompatibel mit Windows 7
- Erweiterte Qualification-Support-Kits
- Mehr als 50 sonstige Verbesserungen
Release 20.10
- Unterstützung für den SEI-CERT-C++-Standard
- Mehr AUTOSAR-Regeln
- Erweiterte Qualification-Support-Kits
Release 20.04
- Unterstützung für MISRA-C:2012 Zusatz 2
- Plugin für ARM Keil µVision
- Mehr AUTOSAR-Regeln
Release 19.10
- Volle Unterstützung für MISRA-C:2012 Ed. 3
- Verbesserte Metriken und zusätzliche Diagnostiken
CompCert
Aktuelles 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
Release 19.10
- Optimierung durch If-Konvertierung
- Verbesserte Builtin-Funktionen
- Neue Diagnostiken