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.
- Schnellere Analysen bei geringerem Speicherverbrauch
- Unterstützung für DWARF-Debuginfos für Rust
- Bessere ORTI-Unterstützung
- Visualisierung der Analyseabhängigkeiten
- Quick-HUD zur schnelleren Navigation im aktuellen Projekt
- Verbessertes Lizenzmanagement
- Zusätzliche und optimierte Qualifizierungskits
- TLS-Verschlüsselung
- Schnellere und genauere Value-Analyse
- Stackanalyse für generischen TMS320F28x
- Analyse von dynamisch gelinkten ELF-Dateien
- Reduzierter Speicherverbrauch der Value-Analyse
- Stackanalyse für RL78
- Stackanalyse für AURIX TC33x, 35x und 36x
- Unterstützung für microMIPS32 ISA 3 und 5
- SCADE-Kupplung für AURIX
- Verbesserte Auflösung von C++-Virtual-Member-Function-Aufrufen
- Unterstützung für TargetLink 5.2
- Verbesserte Graphen und Statistiken
- Neue Type-Domain für die Valueanalyse
- Stackanalyse für MIPS32
- Reduzierter Speicherverbrauch
- Stackanalyse für Nios II
- Letztes Release mit Unterstützung für Windows 7
- Schnellere Stackanalyse für hochrekursive Programme
- Verbesserte Graphen und Workspaces
- Automatische Auflösung von Virtual-Member-Funktionsaufrufen in C++
- Zusätzliche Konsistenz-Checks
- Stackanalyse für Renesas CS+ und DDC-I SCORE
else
-(if
)-AIS2-Annotationen
- Wesentlich schnellere Analysen
- Stackanalyse für RISC-V
- Zusätzliche und erweiterte QSKs
- Zeitgleiche Value-Analyse für alle Eintrittspunkte
- Globale Suche
- Stackanalyse für dsPIC33E und MCS251
- Verbesserte Performance
- Neue AIS2-Funktoren
- Unterstützung für DWARFv5 und LLVM/Clang
- Value-Partitioning
- Verbesserte DWARF-Behandlung
- Stackanalyse für S12Z und 64-Bit-ARM
- Floating-Lizenzen
- Call-Target-Analyse für C++
- Stackanalyse für 64-Bit-PowerPCs
- Verbesserte Qualifizierungskits
- Verbesserter ResultCombinator
- Verbesserter Results-Viewer
- Stackanalyse für FR81S, TC1197, TC1767