一、内容综述 随着区块链技术的迅猛发展和广泛应用,智能合约作为其核心组成部分,逐渐受到广泛关注。智能合约漏洞检测与分析作为保障区块链安全的关键环节,吸引了众多研究者的目光。本文将对智能合约漏洞检测分析的研究现状进行综述,以期为相关领域的研究提供参考。 (一)智能合约漏洞类型 智能合约漏洞主要分为代码层面的漏洞...
现有的基于深度学习的智能合约漏洞检测方法大多是黑盒的检测流程,它们通过训练漏洞检测模型来给出最终的漏洞检测结果.由于深度学习模型固有的“黑箱性”,其内部的具体工作状态和处理过程是不透明,因此缺乏对漏洞检测结果的合理解释(如标注可能存在漏洞的确切代码位置或代码行),从而使得检测结果无法令人信服.因此,深度学习...
首先从 Solidity 代码层,EVM 执行 层,区块链系统层这 3 个层面介绍了智能合约常见的漏洞类型和典型案例; 继而, 从形式化验证法,符号执行 法,模糊测试法,中间表示法,深度学习法这 5 类方法综述了智能合约漏洞检测技术的研究进展, 针对现有漏洞 检测方法的可检测漏洞类型,准确率,时间消耗等方面进行了详细的对比...
漏洞检测方法与相应的漏洞检测工具,对比总结5种漏洞检测工具针对13种漏洞检测项的检测情况.对比分析3种漏洞检测工具对于200个测试合约的检测结果,得出模糊测试检测方法简单高效并且不会产生误报.最后,针对检测结果展望智能合约漏洞检测技术的未来研究方向,并给出针对现有漏洞检测方法的改进思路,从而利于提高智能合约漏洞检测...
: . 软件学报ISSN 1000-9825, CODEN RUXUEW E-e). -9825/ Smart Contract Vulnerability Detection Technique: A Survey QIAN Peng1, LIU Zhen-Guang1,2, HE Qin-Ming2, HUANG Bu-Tian2, TIAN Duan-Zheng1, WANG Xun1 1(School of Computer
个层面介绍了智能合约常见的漏洞类型和典型案例;继而,从形式化验证法,符号执行法,模糊测试法,中间表示法,深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型,准确率,时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,...