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
- TLS-verschlüsselte Verbindung zwischen den Tools und dem Lizenzmanager
- Schnellere und genauere Value-Analyse
- Verbessertes iteratives Decoding
- TimeWeaver für V850/RH850
- StackAnalyzer und TimingProfiler für generischen TMS320F28x
- Unterstützung für den Microtec-M68k-Compiler
- Unterstützung für den Wayland-Fenstermanager
- Zusätzliche und erweiterte Qualifizierungskits
- Analyse von dynamisch gelinkten ELF-Dateien
- Reduzierter Speicherverbrauch der Value-Analyse
- Unterstützung für RL78
- Unterstützung für AURIX TC33x, 35x, 36x
- Unterstützung für Trace32 BRANCHFLOW
- TraceVisualizer
- Unterstützung für TargetLink 5.2
- QSLCDs integriert in QSKs
Astrée und RuleChecker
- TLS-verschlüsselte Verbindung zwischen dem Analyse-Server, den Clients und dem Lizenzmanager
- Unterstützung für externe Benutzer-Authentifizierung über OIDC oder OAuth 2.0
- Regelsatzüberprüfung für MISRA C:2023
- Verallgemeinerte abstrakte ARINC 653-OS-Stubs und Unterstützung für PikeOS-Personality
- Viele Verbesserungen an den Aufrufgraphen
- Zusätzliche Tooltips für die Wertebereiche aller Unterausdrücke
- Diff-basierte Kommentare
- Verbesserte und erweiterte Qualifizierungskits
- 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
- Analyse der Daten- und Kontrollflußabhängigkeiten zwischen Softwarekomponenten
- Unterstützung des Regelsatzes MISRA C++:202x-DRAFT
- Neue Ansichen für C++-Klassen und -Templates
- Bessere Unterstützung für CWE, CERT, AUTOSAR und MISRA-C++
- Unterstützung für TargetLink 5.2
CompCert
- Verbessertes Entfernen gemeinsamer Teilausdrücke bei Konditionaloperatoren
- Verbesserte Value-Analyse für die Konstantenpropagation
- Verbesserungen am API des Valex-Qualifizierungskits
- Unterstützung für Duff’s Device
- Unterstützung für Unicode-Konstanten und -Zeichenketten
- Verbesserte Instruktionsauswahl und Registerallokation für ARM/Thumb
- Unterstützung für C11
_Generic
- Verbesserte if-conversion-Optimierung
- Mergeable String/Literal-Sektionen
- Formal verifizierte Behandlung von Bitfeldern in Structs und Unions
- Ausgabe von Csyntax