近日，实验室硕士生邱士煜（导师文明副教授）的论文“Fuzzing Java Optimizing Compilers with Complex Inter-Class Structures Guided by Heterogeneous Program Graphs”被第48届国际软件工程会议（International Conference on Software Engineering，ICSE 2026) 会议录用。

现代Java编译器（如即时编译器Just-In-Time, JIT和预编译器Ahead-Of-Time, AOT）通常通过推断和分析复杂的类间结构，在保持语义正确性的前提下执行程序优化。然而，在编译过程中对这些结构的错误推断可能引发严重漏洞，这一问题已在HotSpot和R8等生产级编译器中被证实。尽管类间关系在编译优化中具有重要作用，现有的Java模糊测试工具仍主要聚焦于类内或方法内的简单结构，对复杂类间关系的探索不足。针对这一问题，文章提出了首个面向复杂类间结构的Java模糊测试框架InterFuzz。该框架引入了 异构程序图（Heterogeneous Program Graph, HPG）的新概念，用于抽象与操纵类间关系；同时设计了类间变异器（Inter-Class Mutators），以系统性地构造复杂的类间交互；并通过图复杂度（Graph Complexity）作为生成指导指标，引导测试样例向高多样性代码空间演化。实验结果表明，InterFuzz能有效发现传统模糊测试工具无法检测的编译器漏洞。在对HotSpot、ART和R8等生产级编译器的测试中，共发现24个新漏洞，其中20个已被开发者确认，并且16个漏洞与复杂的类间结构直接相关，验证了InterFuzz在探索编译器语义边界与发现深层次缺陷方面的显著优势。

ICSE是软件工程领域的顶级国际会议，是中国计算机学会（CCF）推荐的A类会议。作为软件工程领域最具影响力的国际学术会议之一，ICSE每年吸引来自全球的软件工程研究者参与，其论文的学术水平、创新性和实用价值在该领域具有重要影响力。本届会议第二轮共收到809篇投稿，经过严格的评审流程，最终仅直接录用72篇论文，直接录用率约为8.9%。

（通讯员：邱士煜）