Releasenotes

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

Aktuelles Release 22.10

  • 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

Release 22.04

  • TraceVisualizer
  • Unterstützung für TargetLink 5.2
  • QSLCDs nun enthalten in QSKs

Release 21.10

  • Neue Type-Domain für die Value-Analyse
  • Unterstützung für TargetLink 5.1
  • Unterstützung für MIPS32

Release 21.04

  • WCET-Analyse für MCF5307 und mehr AURIX-Derivate
  • Stackanalyse für Nios II
  • Letztes Release kompatibel mit Windows 7

Astrée und RuleChecker

Aktuelles Release 22.10

  • 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

Release 22.04

  • 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

Release 21.10

  • Neue Aufruf- und Kontrollflußgraphen
  • Gewichtung der Analyseergebnisse
  • Unterstützung für Clang-Regelüberprüfungen

Release 21.04

  • Deutlich höhere Leistung und Präzision
  • Unterstützung für JSON-Präprozessor-Konfigurationen
  • Letztes Release kompatibel mit Windows 7

CompCert

Aktuelles Release 22.10

  • Unterstützung der C11 _Generic Selection
  • Verbesserte if-conversion-Compileroptimierung
  • Unterstützung für Mergeable String/Literal Sections

Release 22.04

  • Formal verifizierte Behandlung von Bitfeldern in Structs und Unions
  • Ausgabe von Csyntax

Release 21.10

  • Unterstützung für 32-Bit-PowerPC-VLE mit der NXP-GCC-Toolchain
  • Unterstützung für Nichtinteger-Bitfelder

Release 21.04

  • Verbesserte ABI-Kompatibilität
  • Verbesserte Diagnostiken
  • Zusätzliche und verbesserte Built-In-Funktionen