智能合约漏洞检测工具研究综述

摘要：

智能合约是区块链平台实现交易的重要组件,为多方交易间信任问题提供了一种有效的解决方案.智能合约不仅管理高价值代币还具有不可更改等特性,导致近年来智能合约多次遭受安全威胁.目前出现了大量关于智能合约安全性的研究,其中智能合约漏洞检测成为主要关注点.文中系统分析了智能合约安全问题,从是否执行合约的角度将漏洞检测工具分为静态检测工具和动态检测工具,并对检测工具进行对比分析,重点分析现有检测工具的漏洞检测能力,介绍了 16种检测技术的原理及优缺点;最后,对如何提高智能合约安全性进行展望,提出了 3个可能提高智能合约安全性的研究方向.

关键词：区块链;智能合约;漏洞检测

所属期刊栏目：48

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

资助基金：国家自然科学基金;南京大学计算机软件新技术国家重点实验室资助项目;扬州大学高端人才支持计划2019;江苏省"六大人才高峰"高层次人才项目;江苏省"333"工程中青年科学技术带头人项目;扬州大学畜牧学学科特区学科交叉课题支持项目;江苏省高等学校自然科学研究面上项目

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

页数：共10页

页码：79-88