-
题名智能合约漏洞检测技术综述
被引量：13
- 1
-
-
作者
董伟良
刘哲
刘逵
黎立
葛春鹏
黄志球
-
机构
南京航空航天大学计算机科学与技术学院
Monash University
-
出处
《软件学报》
EI
CSCD
北大核心
2024年第1期38-62,共25页
-
基金
国家重点研发计划(2021YFB2700503)
国家自然科学基金(62172214,62032025,U20A201092,62071222)
+3 种基金
广东省重点研发计划(2020B0101090002)
江苏省自然科学基金(BK20210279,BK20200418)
江苏省科技支撑计划(BE2020106)
数学工程与先进计算国家重点实验室开放基金(2020A06)。
-
文摘
智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.
-
关键词
智能合约
合约安全
合约可靠性
合约质量保障
漏洞检测
合约程序分析
-
Keywords
smart contract
contract security
contract reliability
contract quality assurance
vulnerability detection
contract program analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
