Detecting Programs That Rely on Undefined Behavior - Geoffrey L. Viola - CppCon 2019 | CppCon | Podwise