Company: ISP RAS
Start of main content
Talk type: Talk
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.