马丁·乌克尔教授在Kernel Recipes会议上阐述了C语言中未定义行为的根源与解决方案。他指出，C语言采用的抽象机器模型源于对多样化硬件的支持需求，比如曾需要兼容九位字节的Honeywell机器。这种设计理念导致C标准中目前存在约100个未定义行为实例，成为语言安全性的主要隐患。