近日，田森平教授和崔巍教授指导的自动化科学与工程学院2022级硕士研究生王希特的论文“ContractCheck: Checking Ethereum Smart Contracts in Fine-Grained Level”被软件工程领域顶刊IEEE Transactions on Software Engineering（TSE）录用并在线刊出（DOI: 10.1109/TSE.2024.3400294）。王希特同学为该论文第一作者，我校为唯一单位。

智能合约的安全性问题一直是区块链业界的重点话题，论文提出了基于神经网络方法的ContractCheck模型对合约漏洞进行了实证研究。ContractCheck从智能合约源代码的抽象语法树和函数调用图中提取了细粒度的段落，并解析成保留语义信息的token流，从而生成可以使用神经网络训练的数值向量序列。论文基于36,885个智能合约构建的数据集进行了多轮实验，通过Fasttext嵌入向量算法进行向量嵌入并使用CNN和BiGRU复合模型结构进行训练。实验揭示，相比于当前常用的模型，ContractCheck在合约检测性能上有显著改进，特别地，ContractCheck实现了基于神经网络方法的细粒度检测，可以有效地帮助开发人员准确定位漏洞的存在，从而增强以太坊智能合约的安全性。该论文不仅为智能合约漏洞检测提供了有价值的洞见和建议，也于GitHub分享了高质量的数据集和检测工具，为后续研究者和从业人员提供了便利。 

  IEEE TSE是国际公认的软件工程领域两个顶级期刊之一，在中国计算机学会推荐期刊列表中被评价为A类期刊。

系统架构图