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
Release 18.10
- Verbesserte Leistung
- Unterstützung für DWARFv5
- Neue AIS2-Funktoren
- WCET-Analyse für ARM Cortex-M0
- Unterstützung für LLVM/Clang
- Zusätzliche QSK-Testcases
Release 18.04
- Verbesserte Stack- und Value-Analyse
- Value-Partitioning
- Unterstützung für S12Z und 64-Bit-ARM
Release 17.10
- Floating-Lizenzen
- TimeWeaver für PowerPC
- Unterstützung für Cortex-M1/Milandr 1986VE1T
Release 17.04
- Stark verbesserte Leistung
- Kontextsensitive Hilfe
- Unterstützung für ARM7TDMI, TC277, LH79520, SPC58
Astrée
Release 18.10
- Neues Eclipse-Plugin
- Schnellere Analysen bei geringerem Speicherverbrauch
- Verbesserte Interpolation-Domain
- Mehr als 100 sonstige Verbesserungen
Release 18.04
- Unterstützung für C11
- Compiler-Konfigurationen
- Floating-Lizenzen
Release 17.10
- Neuer Mode für Alarm-Kommentare
- Unterstützung für GCC-erweiterten Assembler
- Schnellere Analysen
Release 17.04
- Eigenständiger RuleChecker
- Reduzierter Speicherverbrauch
- Verbesserte Benutzeroberfläche
RuleChecker
Release 18.10
- Neues Eclipse-Plugin
- Verbessertes Kommentieren und Kategorisieren von Regelverletzungen
- Identifier-Suche in Quelldateien
- Unterstützung für mehr als 30 zusätzliche MISRA-C++-Regeln
- Bessere Unterstützung für MITRE CWE und SEI CERT
- Mehr als 20 neue QSK-Testcases
Release 18.04
- Analyse von C++-Code
- Unterstützung für macOS
- Floating-Lizenzen
Release 17.10
- Unterstützung für MITRE CWE
- Rekategorisierung von MISRA-Regeln
- Stilregeln für Identifier
Release 17.04
- Erste eigenständige Version
- Unterstützung für SEI-CERT-C-Regeln
- Reduzierter Speicherverbrauch
CompCert
Release 18.10
- Verbesserter Umgang mit
_Alignofund_Alignas - Neuer konfigurierbarer Check für das Plazieren von Symbolen in Sections in Valex
- Neue Diagnostiken für nichtrobuste Sprachfeatures
Release 18.04
- Neues Builtin zur a³-Integration
- JSON-Export für ARM-Assembler
- Valex für ARM
Release 17.10
- Neues Backend für hybriden 64/32-Bit–PowerPC-Code
- Neue generische Optimierungen
- QSK für Valex
Release 17.04
- Volle Unterstützung für C11-Anonymous-Compounds
- Checks für ungenutzte Variable und Parameter