Version 2.0 of the SIListra Safety Transformer offers the following features:

• C11 support
• C++14 support (new)
• C++ Templates
• Classes
• virtuel methods
• function pointers (new)
• Integer arithmetic
• All data types from bool to 64-bit integer (new)
• Arithmetic
• Comparisons
Bit-wise logical operations
• Complex data types
• struct
• Arrays
• Pointer arithmetic
• All control flow constructs
• Function calls
• Method calls (new)
• Dynamic function calls (new)
• if, for, switch, while, do-while
• Automatic verification with the Checker (new)
• Z10 certificat from TÜV SÜD (new)
• User manual
• Safety manual (new)
• Tutorial (new)