智能合约漏洞检测技术：综述
密码学与安全
2022-09-14 v1 编程语言
摘要
智能合约作为区块链最成功的应用之一，正席卷全球，在区块链生态系统中发挥着至关重要的作用。然而，频发的智能合约安全事件不仅造成巨大经济损失，也破坏了基于区块链的信用体系。因此，智能合约的安全性与可靠性受到全球研究人员的广泛关注。本综述中，我们首先从 Solidity 代码层、EVM 执行层和区块依赖层三个层面总结智能合约漏洞的常见类型与典型案例。进而，我们回顾智能合约漏洞检测的研究进展，并将现有方法分为形式化验证、符号执行、模糊检测、中间表示和深度学习五类。实证上，我们以部署于以太坊的 300 个真实智能合约为测试样本，从准确率、F1 分数和平均检测时间方面比较代表性方法。最后，我们讨论智能合约漏洞检测领域的挑战，并结合深度学习技术展望未来研究方向。
引用
@article{arxiv.2209.05872,
title = {Smart Contract Vulnerability Detection Technique: A Survey},
author = {Peng Qian and Zhenguang Liu and Qinming He and Butian Huang and Duanzheng Tian and Xun Wang},
journal= {arXiv preprint arXiv:2209.05872},
year = {2022}
}
备注
This manuscript is the English translation version of our paper published in Ruan Jian Xue Bao/Journal of Software, 22, 33(8)