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 zum Teil nur in Englisch verfügbar.
aiT, TimingProfiler, TimeWeaver
StackAnalyzer, ValueAnalyzer, EnergyAnalyzer
Aktuelles Release 24.10
- Wesentlich kleinere Workspace-Dateien
- Noch schnellere Cache- und Pipeline-Analyse
- Verbesserte Text- und Graphsuche
- Bequemeres Arbeiten mit Analysegruppen
- Bessere Unterstützung für Enum-Typen von Rust
- Timing- und Stackanalyse für TriCore 212 und 222
- Mehr als 20 architekturspezifische Verbesserungen
- 6 zusätzliche Qualifizierungskits
Release 24.04
- Unterstützung für DWARF für Rust
- Bessere ORTI-Unterstützung
- Analyseabhängigkeitsgraphen
- Stack- und Timinganalyse für AURIX 4x
Release 23.10
- TLS-Verschlüsselung
- Timing- und Stackanalyse für generischen C28x
- Hybride WCET-Analyse für V850/RH850
Release 23.04
- Analyse von dynamisch gelinkten ELF-Dateien
- Reduzierter Speicherverbrauch der Value-Analyse
- Timing- und Stackanalyse für RL78
Astrée und RuleChecker
Aktuelles Release 24.10
- Kollaborative Bewertung von Analyseergebnissen
- Neue Graphen zur Thread-Aktivierung, Cybersecurity-Angriffen, Signal- und Komponenteninterferenzen
- Höhere Präzision
- Inkrementelles Präprozessieren für schnellere Analysen
- Ausgabe von SARIF-Berichten
- Aktualisiertes Jenkins-Plugin
- Unterstützung für TargetLink unter Linux
- Verbesserte und erweiterte Qualifizierungskits
Release 24.04
- Regelüberprüfung für MISRA C++:2023
- Taint-Analyse für C++
- Quick-HUD zur schnelleren Navigation
- Unterstützung für TargetLink 23.1
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
CompCert
Aktuelles Release 24.10
- Verbesserte Valueanalyse
- Verbesserte
if-Conversion-Heuristic - Neue Optionen
- Diverse Verbesserungen für ARM und PowerPC
- Neue Valex-Konfiguration
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