Compiler Can Undo Your Security Checks

访谈用具体例子说明优化器可能删除内存清零、改变检查顺序并制造 TOCTOU，最终安全性取决于二进制而非源代码表面。数据大小甚至出现 17 或 33 字节安全、邻近大小不安全的非单调现象；建议在优化构建上跑 sanitizer、审查警告并测试将要发布的确切 binary，视频还提到 AI 从 5 亿行开源代码中找出 300 个潜在模式。