undefined-behavior

一个全面的资源，提供编写可靠、安全的C代码的指南和建议，涵盖未定义行为、内存模型以及特定版本的注意事项。

Reify 是一款基于语义具体化技术的开源随机 C 程序生成器，能够生成不含未定义行为的代码，专用于编译器测试。它已在 GCC 和 LLVM 中发现了 59 个 bug，并在 OpenJ9 和 Linux 的 eBPF 运行时中发现了额外的缺陷。

这是 John Regehr 的 C 语言整数测验的存档版本，使用 JavaScript 封装以实现浏览器兼容性，重点介绍了 C 代码中棘手的未定义行为和整数问题。

一位经验丰富的C++开发者认为，所有非平凡的C和C++代码都包含未定义行为，使得内存安全无法实现，并质疑这些语言在现代软件开发中的持续使用。

Bun 的 Rust 重写未通过基本 Miri 检查，在安全 Rust 中导致未定义行为，引发了严重的安全担忧。

C++26 引入了标准化的库强化机制，用于在运行时捕获常见的未定义行为（如越界访问）。基于 Google 的生产经验，此举仅带来 0.30% 的性能开销，同时将段错误减少了 30%。

分析了C/C++表达式 'a = a++ + ++a;' 在 int a=5 时的未定义行为，展示了因编译器相关的求值顺序和后置递增处理而可能出现的三种结果（11、12、13），并进行了理论和实验分析。