C语言的"合法崩溃"，终于有人动手了

我写了这么多年C代码，最怕的不是报错，而是那些悄无声息的崩溃——越界访问、指针未初始化、整数溢出，编译器一声不吭，程序却在生产环境里炸了。这就是C语言里所谓的"未定义行为"：标准说你可以做任何事，你也可以什么都不保证。LWN上这篇新文章讨论的，正是社区怎么想办法把这些灰色地带给堵上。说实话，C语言能活到今天靠的就是灵活，但灵活的另一面就是风险。如果连未定义行为都管不住，任何建立在C上的系统安全性都站不住脚。

原文：Reducing undefined behavior in the C language · 来源：Hacker News