讲座题目：基于异构程序图引导的编译器模糊测试技术
讲座时间：2025年11月11日16:00-17:30
讲座人：文明副教授
地点：信息楼L213

讲座内容：
为满足大规模程序对高性能的需求，各类主流编程语言的编译器不断演进，其复杂性显著提升。然而，这也带来了编译优化过程中潜在的缺陷与漏洞问题。编译器缺陷不仅影响程序的正确性与稳定性，甚至可能导致严重的安全风险。近年来，此类问题日益突出，亟需系统、智能、且完备的检测方法。本次报告将介绍我们近期针对即时编译器测试的最新研究工作，基于程序异构程序图引导的编译器模糊测试技术。为了解决编译器测试种子复杂类间结构难以系统生成的挑战，我们提出异构程序图来统一表示编程语言类间结构关系，并设计了一系列跨类结构变异算子来生成具备复杂关系的测试种子，最后利用图复杂度引导算法优先探索易触发缺陷的程序形态。本报告的最后也将分享我们在融合大模型及智能体的测试种子智能生成方面的探索。


讲座人简介：
文明，华中科技大学副教授，博士生导师，CCF高级会员，博士毕业于香港科技大学，主要聚焦软件安全、软件测试与分析等方面研究，在软件工程领域累计发表了CCF-A类推荐会议或期刊60余篇，包括UNISEX Security、ASPLOS、OOPSLA、ICSE、ESEC/FSE、ISSTA等，并多次获得ACM SIGSOFT杰出论文奖。出版《软件安全》著作1部，授权/申请国家发明专利10余项，主持/参与国家重点研发计划、国家自然科学基金通用联合重点项目、国家自然科学基金面上/青年项目、湖北省重大攻关项目课题，CCF华为胡杨林基金等，担任了中国计算机学会系统软件、软件工程专委会委员、以及多项CCF-A类国际会议的程序委员会委员，获得了“华中学者”卓越青年学者，ACM 新星奖 2023（武汉分会），并入选了第七届中国科协青年人才托举工程计划。