智能合约安全漏洞不仅可能导致资产损失,还可能对整个区块链生态系统造成严重影响。因此,对智能合约安全漏洞检测技术的研究具有重要意义。 本文旨在全面综述智能合约安全漏洞检测技术的最新研究进展,旨在为相关领域的研究人员和实践者提供有价值的参考。本文首先介绍智能合约的基本概念、应用场景及其面临的主要安全威胁,然后重点...
现有的基于深度学习的智能合约漏洞检测方法大多是黑盒的检测流程,它们通过训练漏洞检测模型来给出最终的漏洞检测结果.由于深度学习模型固有的“黑箱性”,其内部的具体工作状态和处理过程是不透明,因此缺乏对漏洞检测结果的合理解释(如标注可能存在漏洞的确切代码位置或代码行),从而使得检测结果无法令人信服.因此,深度学习...
首先从 Solidity 代码层,EVM 执行 层,区块链系统层这 3 个层面介绍了智能合约常见的漏洞类型和典型案例; 继而, 从形式化验证法,符号执行 法,模糊测试法,中间表示法,深度学习法这 5 类方法综述了智能合约漏洞检测技术的研究进展, 针对现有漏洞 检测方法的可检测漏洞类型,准确率,时间消耗等方面进行了详细的对比...
智能合约常见的漏洞类型和典型案例;继而,从形式化验证法,符号执行法,模糊测试法,中间表示法,深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型,准确率,时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,探讨了智能合约...
层面介绍了智能合约常见的漏洞类型和典型案例;继而,从形式化验证法、符号执行法、模糊测试法、中间表示法、深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型、准确率、时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,...