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
bool
bis 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
assert
undabort
- 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)