智能合约漏洞检测技术综述

摘要：

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至 2021 年 7 月关于智能合约漏洞检测的 84 篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.

关键词：智能合约、合约安全、合约可靠性、合约质量保障、漏洞检测、合约程序分析

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点研发计划;国家自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金;广东省重点研发计划;江苏省自然科学基金;江苏省自然科学基金;江苏省科技支撑计划;国家重点实验室开放基金

在线出版日期：2024-01-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共25页

页码：38-62