Undefined behavior

Towards Safety & Security in C++26 • Daniela Engert • GOTO 2025

Towards Safety & Security in C++26 • Daniela Engert • GOTO 2025

Daniela Engert explores the significant push towards memory safety in C++26, detailing how the language is evolving to address long-standing vulnerabilities. The talk covers the critical distinction between security and functional safety, the nuances of undefined behavior, and introduces powerful new features like Standard Library Hardening and a formal Contracts system to help developers write safer, more reliable code.