Version 2.0

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

  • 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)