Removing Needless Undefined Behavior for a Safer C++

Explore a conference talk that delves into the concept of undefined behavior in C++ and proposes strategies for its elimination or mitigation. Learn about the various causes of undefined behavior in the C++ standard, their classifications, and potential solutions to enhance language safety. Discover how the upcoming work on Contracts might be applied within C++ to optionally support expensive but well-defined behavior in more contexts. Gain insights from Alisdair Meredith, a software developer at BloombergLP and former chair of the C++ Standard Committee Library Working Group, as he discusses the importance of addressing undefined behavior in light of growing security concerns in the IT industry.

Introduction
Who am I
Outline
Why this talk
Show Hands
Popular Quotes
Time Travel
Program Definition
Compile Time
Compile Time Behavior
Can we time travel
Time travel example
Simple example
Testing the example
Thesis
Social Contract
Possible fixes
Examples
Preprocessor
Local Variables
Welldefined Behavior
Jake Fevold
What is erroneous behavior
A quick drink
Preconditional callout
Preconditional examples
Why support this
C26 Contracts
Contract Violation
Example