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 24.04
- Schnellere Analysen bei geringerem Speicherverbrauch
- Unterstützung für DWARF-Debuginfos für Rust
- Bessere ORTI-Unterstützung
- Visualisierung der Analyseabhängigkeiten
- Verbessertes Lizenzmanagement
- TimingProfiler für generischen TCv1.8
- Betaversion von aiT für AURIX 499
- Zusätzliche und optimierte Qualifizierungskits
Release 23.10
- TLS-Verschlüsselung
- Timing- und Stackanalyse für generischen C28x
- TimeWeaver für V850/RH850
Release 23.04
- Analyse von dynamisch gelinkten ELF-Dateien
- Reduzierter Speicherverbrauch der Value-Analyse
- Unterstützung für RL78
Release 22.10
- Unterstützung für AURIX TC33x, 35x und 36x
- Unterstützung für Trace32 BRANCHFLOW
Astrée und RuleChecker
Aktuelles Release 24.04
- Vielfältige Verbesserungen bei der Genauigkeit der Analysen
- Regelsatzüberprüfung für MISRA C++:2023
- Taint-Analyse für C++
- Neue Optionen und Direktiven
- Quick-HUD zur schnelleren Navigation
- Unterstützung für TargetLink 23.1
- Verbesserte und erweiterte Qualifizierungskits
Release 23.10
- TLS-Verschlüsselung und OpenID-Authentifizierung
- Regelüberprüfung für MISRA C:2023
- Diff-basierte Kommentare
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 Softwarekomponenten
- Unterstützung des Regelsatzes MISRA C++:202x-DRAFT
CompCert
Aktuelles Release 24.04
- Verbesserter Prolog- und Epilog-Code für Funktionen
- Erzeugung von CFI-Direktiven für AArch64 und RISC-V
- Diverse Verbesserungen für ARM
Release 23.10
- Verbessertes Entfernen gemeinsamer Teilausdrücke
- Verbesserte Konstantenpropagation
- Verbesserungen am Valex-Qualifizierungskit
Release 23.04
- Unterstützung für Duff’s Device
- Unterstützung für Unicode-Konstanten und -Zeichenketten
- Verbesserte Instruktionsauswahl und Registerallokation für ARM/Thumb
Release 22.10
- Unterstützung für C11
_Generic - Verbesserte if-conversion-Optimierung
- Mergeable String/Literal-Sektionen