Version 2.1 des SIListra Safety Transformers wartet mit den folgenden Features auf:
- Programmiersprachen
- C23 Unterstützung (neu)
- C++23 Unterstützung (neu)
- C++ Templates
- Klassen
- Virtuelle Methoden
constexpr,consteval, andconstinit- C++ concepts
- Integerarithmetik
- Alle Datentypen von
boolbis 64-bit integer - Arithmetik
- Vergleiche Bitweise logische Operationen
- Alle Datentypen von
- Komplexe Datentypen
struct- Arrays
- Zeigerarithmetik
- Alle Kontrollflusskonstrukte
- Funktionsaufrufe
- Methodenaufrufe
- Dynamische Funktionsaufrufe
if,for,switch,while,do-while- Funktionspointer
- Multi-Threading Unterstützung (neu)
- Automatische Stackgrößenberechnung (neu)
- Kodierte Header mit Deklarationen der kodierten Funktionen (neu)
- Stubgenerierung für nicht unterstützte Compiler "builtins" (neu)
- Modulare Runtime (neu)
- Setup des kodierten Kanals
- Unterstützung für dynamischer Speicher für C und C++
- Fehlermeldungen
- Multi-Threading
assertundabort- Debugging
- Stackprofiling
- Automatische Verifikation mit dem Checker
- Z10 Zertifikat vom TÜV SÜD (aktualisiert)
- Nutzerhandbuch (aktualisiert)
- Sicherheitshandbuch (aktualisiert)
- Tutorials
cmake-Skript um den SIListra Safety Transformer auszuführen (neu)- Einstiegsbeispiel
- Komplexes Beispiel inkl. Black-Channel-Merge, Testen und Fault Insertion
- Multi-Threading Beispiel (neu)
- Debugging Beispiel (neu)
- Läuft auf Windows und Linux (auch im Docker container)
- Generierter Code läuft überall (er ist plattform unabhängig)


