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 25.04
- Optimiertes Dekodieren
- Verbesserte Graphen und Statistiken
- Verbesserte Suche
- Neues Widget zur tracebasierten Bestimmung von DLL-Adressen
- Verbesserter CSV-Export
- Verbesserte Zeichenkodierung in allen Editoren
- WCET-Analyse für TMS320F28377D
- Neue Qualifizierungs-GUI und 8 zusätzliche Qualifizierungskits
- TimingProfiler benutzt jetzt einheitlich generische Prozessormodelle
- Unterstützung für RHEL 7 läuft bald aus
Release 24.10
- Viel kleinere Workspace-Dateien
- Schnellere Cache- und Pipeline-Analyse
- Timing- und Stackanalyse für AURIX 212 und 222
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
Astrée und RuleChecker
Aktuelles Release 25.04
- Unterstützung für C++23
- Regelsatzüberprüfung für MISRA C:2025
- Unterstützung für mehr CWE-Regeln
- Verbesserte Präzision
- Diverse Verbesserungen an der Benutzeroberfläche
- Unterstützung für TargetLink 24.1
- Unterstützung für OAuth2
- LSP-Unterstützung zur Toolintegration
- Plugin für Visual Studio Code
- Erweiterte Qualifizierungskits mit einer neuen GUI
- RHEL 7 wird bald nicht mehr unterstützt
Release 24.10
- Kollaborative Reviews
- Höhere Präzision
- Neue Graphen
- Ausgabe von SARIF-Berichten
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
CompCert
Aktuelles Release 25.04
- Verbesserte Codeerzeugung für 32-Bit-Backends bei 64-Bit-Berechnungen
- Verbesserte Eliminierung von totem Code
- Verbesserte Valueanalyse
- Unterstützung für
_Float16 - Verbesserte Diagnostiken
- Neue Kommandozeilenoptionen für ARM
- Verbesserungen am Valex
Release 24.10
- Verbesserte Valueanalyse
- Verbesserte
if-Conversion - Neue Optionen
- 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