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 sechs Jahre. Zurzeit sind diese Informationen nur in Englisch verfügbar.
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
- Schnellere Analysen bei höherer Präzision und geringerem Speicherverbrauch
- Unterstützung für AURIX TC33x, TC35x und TC36x
- Erweiterte Unterstützung für MIPS32
- Unterstützung für das Lauterbach-Traceformat Trace32 BRANCHFLOW
- Die Kopplung von StackAnalyzer mit SCADE nun auch für AURIX erhältlich
- Zusätzliche und verbesserte Qualification-Support-Kits
- TraceVisualizer
- Unterstützung für TargetLink 5.2
- QSLCDs nun enthalten in QSKs
- Neue Type-Domain für die Value-Analyse
- Unterstützung für TargetLink 5.1
- Unterstützung für MIPS32
- WCET-Analyse für MCF5307 und mehr AURIX-Derivate
- Stackanalyse für Nios II
- Letztes Release kompatibel mit Windows 7
Astrée und RuleChecker
- Analyse der Daten- und Kontrollflußabhängigkeiten zwischen Softwarekomponenten
- Visualisierung der Ergebnisse von Taint-Analysen
- Octagon-Domain für C++- und gemischten C/C++-Code
- Unterstützung des neuen Regelsatzes MISRA C++:202x-DRAFT
- Verbesserte und erweiterte Qualification-Support-Kits
- Neue Ansichen für C++-Klassen und -Templates
- Verbesserte Unterstützung für CWE, CERT, AUTOSAR und MISRA-C++
- Unterstützung für TargetLink 5.2
- Neue Aufruf- und Kontrollflußgraphen
- Gewichtung der Analyseergebnisse
- Unterstützung für Clang-Regelüberprüfungen
- Deutlich höhere Leistung und Präzision
- Unterstützung für JSON-Präprozessor-Konfigurationen
- Letztes Release kompatibel mit Windows 7
CompCert
- Unterstützung der C11
_Generic
Selection
- Verbesserte if-conversion-Compileroptimierung
- Unterstützung für Mergeable String/Literal Sections
- Formal verifizierte Behandlung von Bitfeldern in Structs und Unions
- Ausgabe von Csyntax
- Unterstützung für 32-Bit-PowerPC-VLE mit der NXP-GCC-Toolchain
- Unterstützung für Nichtinteger-Bitfelder
- Verbesserte ABI-Kompatibilität
- Verbesserte Diagnostiken
- Zusätzliche und verbesserte Built-In-Funktionen