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.04
- Verbesserte Stack- und Value-Analyse
- Value-Partitioning
- Bessere DWARF-Behandlung
- Unterstützung für S12Z und 64-Bit-ARM
- TimeWeaver für ARM und TriCore
- Mehr als 50 sonstige Verbesserungen
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
Release 16.10
- Jenkins-Plugin
- Annotationen-Assistent
- Unterstützung für MSP430 und XMC4500
Astrée
Release 18.04
- Unterstützung für C11
- Compiler-Konfigurationen
- Rule-Checks für C++-Code
- Floating-Lizenzen
- Neue QSK-Testcases
- Mehr als 100 weitere Verbesserungen
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.04
- Analyse von C++-Code
- Bessere Unterstützung für mehr als 30 MISRA-Regeln
- Erweiterte Unterstützung für MITRE CWE
- Floating-Lizenzen
- Version für macOS
- Mehr als 30 neue QSK-Testfälle
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
Release 16.10
- Unterstützung für Zusatz 1
zu MISRA-C:2012 - Geänderte Typenkompabilitätsregeln
CompCert
Release 18.04
- Neues Builtin zur a³-Integration
- JSON-Export für ARM-Assembler
- Valex für ARM
- Verbesserte Diagnostiken
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
Release 16.10
- Bessere Unterstützung für K&R, ARM und PowerPC
- Kompatibilität mit coq v8.5pl2