计算机应用

作者：童俊成, 赵波

单位：武汉大学 国家网络安全学院，武汉 430072

关键词：区块链安全,智能合约,安全审计,漏洞检测,自动化修复

基金：国家自然科学基金资助项目(U1936122);湖北省重点研发计划项目(2020BAB101)

智能合约技术作为区块链2.0的里程碑，受到学术界与企业界的广泛关注。智能合约运行在不具有可信计算环境的底层基础设施上，并且具有区别于传统程序的特性，在自身的安全性上存在许多影响很大的漏洞，针对它进行安全审计的研究也成为区块链安全领域的热门与亟需解决的关键科学问题。针对智能合约的漏洞检测与自动化修复，首先介绍智能合约漏洞的主要漏洞类型与分类；然后，调研回顾近五年智能合约漏洞检测的三类最重要的方法，并介绍每类方法具有代表性和创新性的研究技术；其次，详细介绍智能合约升级方案与具有前沿性的自动化修复技术；最后，分析与展望了面向在线、实时、多平台、自动化与智能化需求的智能合约漏洞检测与自动化修复技术的挑战与未来可展开的工作，并提出技术解决方案的框架。

来源：2023年第3期

《计算机应用》期刊编辑部

查看计算机应用杂志2023年第3期