发布时间:2025年08月15日
近日,由我所教师王博、研究生陈冲、邓明和林友芳教授,以及合作单位的天津大学陈俊洁教授、北京大学的张星博士和郝丹教授,与新加坡管理大学(SMU)孙军教授合作完成的论文Fuzzing C++ Compilers via Type-Driven Mutation被 CCF-A 类国际会议 OOPSLA-25 接收。
OOPSLA(全称ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications)是 CCF 推荐的程序设计语言领域三个A类学术会议之一,聚焦于编程语言、编译系统和程序运行时环境的研究,旨在推动程序设计语言和编译器的创新和发展。
这是我校作为第一单位在程序设计语言领域发表的首篇CCF A类会议论文。论文针对 C++ 编译器设计了面向其类型系统的基于变异的模糊测试方法 TyMut。论文为GCC和Clang两个最主流C++的编译器提交了102个 bug,其中56个被开发者确认是未知新 bug。在被确认的bug中,39个隐藏了5年以上,7个隐藏了长达22年。其中1个长期隐藏的bug由开发者确认是导致TensorFlow在25年1月编译错误的根因。未确认的bug也有引发开发者讨论,其中一个bug被开发者提交到C++标准委员会讨论。