Version 2.0 des SIListra Safety Transformers wartet mit den folgenden Features auf:

• C11 Unterstützung
• C++14 Unterstützung (neu)
• C++ Templates
• Klassen
• Virtuelle Methoden
• Funktionspointer (neu)
• Integerarithmetik
• Alle Datentypen von bool bis 64-bit integer (neu)
• Arithmetik
• Vergleiche
Bitweise logische Operationen
• Komplexe Datentypen
• struct
• Arrays
• Zeigerarithmetik
• Alle Kontrolflusskonstrukte
• Funktionsaufrufe
• Methodenaufrufe (neu)
• Dynamische Funktionsaufrufe (neu)
• if, for, switch, while, do-while
• Automatische Verifikation mit dem Checker (neu)
• Z10 Zertifikat vom TÜV SÜD (neu)
• Nutzerhandbuch
• Sicherheitshandbuch (neu)
• Tutorial (neu)