Secure Compiler: Reliable Optimization and Improved Code Security

Dmitriy will show examples of code with different types of undefined behavior, as well as unobvious effects of its optimization with modern versions of GCC and Clang. He will also showcase a GCC-based safe compiler they have developed to prevent incorrect optimizations of code containing undefined behavior. In addition, the speaker will talk about other methods of improving code safety, both in the safe compiler and in the standard GCC, and their impact on performance.