软件学报

作者：董伟良，刘哲，刘逵，黎立，葛春鹏，黄志球

单位：董伟良，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110611,刘哲，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110602,刘逵，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110603,黎立，Monash University, Clayton VIC 3800, Australia04,葛春鹏，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110605,黄志球，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110606

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

基金：国家重点研发计划(2021YFB2700503); 国家自然科学基金(62172214, 62032025, U20A201092, 62071222); 广东省重点研发计划(2020B0101090002); 江苏省自然科学基金(BK20210279, BK20200418); 江苏省科技支撑计划(BE2020106); 数学工程与先进计算国家重点实验室开放基金(2020A06)

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

来源：2024年第1期

《软件学报》期刊编辑部

查看软件学报杂志2024年第1期