StackAnalyzer-Releasenotes

Nachfolgend ist eine Liste der wichtigsten Änderungen an a³, die StackAnalyzer betreffen. Die Links führen zu vollständigen Releasenotes für alle a³-Module, inklusive StackAnalyzer.

Release 23.10

  • TLS-verschlüsselte Verbindung zwischen dem Tool und dem Lizenzmanager
  • Verbessertes iteratives Decoding
  • Schnellere und genauere Value-Analyse
  • Stackanalyse für generischen TMS320F28x
  • Unterstützung für den Microtec-M68k-Compiler
  • Unterstützung für den Wayland-Fenstermanager
  • Zusätzliche und erweiterte Qualifizierungskits

23.04

  • Analyse von dynamisch gelinkten ELF-Dateien
  • Reduzierter Speicherverbrauch der Value-Analyse
  • Stackanalyse für RL78

22.10

  • Stackanalyse für AURIX TC33x, 35x und 36x
  • Unterstützung für microMIPS32 ISA 3 und 5
  • SCADE-Kupplung für AURIX

22.04

  • Verbesserte Auflösung von C++-Virtual-Member-Function-Aufrufen
  • Unterstützung für TargetLink 5.2

21.10

  • Verbesserte Graphen und Statistiken
  • Neue Type-Domain für die Valueanalyse
  • Stackanalyse für MIPS32

21.04

  • Reduzierter Speicherverbrauch
  • Stackanalyse für Nios II
  • Letztes Release mit Unterstützung für Windows 7

20.10

  • Schnellere Stackanalyse für hochrekursive Programme
  • Verbesserte Graphen und Workspaces
  • Automatische Auflösung von Virtual-Member-Funktionsaufrufen in C++

20.04

  • Zusätzliche Konsistenz-Checks
  • Stackanalyse für Renesas CS+ und DDC-I SCORE
  • else-(if)-AIS2-Annotationen

19.10

  • Wesentlich schnellere Analysen
  • Stackanalyse für RISC-V
  • Zusätzliche und erweiterte QSKs

19.04

  • Zeitgleiche Value-Analyse für alle Eintrittspunkte
  • Globale Suche
  • Stackanalyse für dsPIC33E und MCS251

18.10

  • Verbesserte Performance
  • Neue AIS2-Funktoren
  • Unterstützung für DWARFv5 und LLVM/Clang

18.04

  • Value-Partitioning
  • Verbesserte DWARF-Behandlung
  • Stackanalyse für S12Z und 64-Bit-ARM

17.10

  • Floating-Lizenzen
  • Call-Target-Analyse für C++
  • Stackanalyse für 64-Bit-PowerPCs

17.04

16.10

16.04

15.10

15.04

14.10

14.04

  • Verbesserte Qualifizierungskits
  • Verbesserter ResultCombinator

13.10

13.04

  • Verbesserter Results-Viewer
  • Stackanalyse für FR81S, TC1197, TC1767