博士生马杰参加了会议The 34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025)

ISSTA是软件工程领域的权威学术会议，也是中国计算机学会推荐的A类国际会议（CCF- A）。2025年投稿文章553篇，直接接收文章23篇、major revision参与文章92篇，直接接收率4.16%。课题组的研究成果“OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine”被直接接收，论文的第一通信作者为高莹老师。马杰同学现场参会并宣讲了论文。该论文研究了区块链系统中的关键基础设施以太坊虚拟机（EVM）。EVM已成为支撑数千万活跃智能合约的核心组件。EVM中的安全问题可能导致智能合约行为不一致，甚至可能引发整个区块链网络的拒绝服务。然而，目前仅有少量研究专注于EVM的安全性。现有研究存在以下两个主要问题：1）测试输入多样性不足且语义无效；2）无法自动识别缺陷并定位缺陷的根本原因。为弥补这一差距，该论文提出了OpDiffer，针对EVM的差分测试框架，利用大语言模型和静态分析方法来解决上述两个局限性。论文进行了迄今为止规模最大的评估，涵盖了九种EVM，发现了26个此前未知的缺陷。