Undefined Behavior in C and C++: An Experiment With Desktop Use Cases

本文通过实证实验评估了C和C++程序中未定义行为（UB）在典型Linux桌面使用中的实际发生情况。未定义行为是C/C++语言中特有的概念，指程序使用了语言标准未作任何要求的错误构造（如整数溢出）。研究者利用编译器内置的未定义行为消毒剂（UB

历史摘要 · 未重新核验 · arXiv cs.CR