基于模糊测试的智能合约正确性检测

来源：计算机工程与应用杂志2024年第5期北京时间：

作者：王嘉诚, 蒋佳佳, 赵佳豪, 张玉书, 王良民

单位：1.南京航空航天大学 计算机科学与技术学院/人工智能学院/软件学院，南京 211106；2.东南大学 网络空间安全学院，南京 211106

摘要：智能合约的发展处于初期阶段，底层编程语言和应用平台的不同使得智能合约的设计缺少规范，极易出现漏洞，造成损失。针对以太坊区块链平台上智能合约存在的安全漏洞问题，提出了一种基于模糊测试的智能合约正确性检测方法。该方法根据智能合约内容及规范生成模糊输入，并根据模糊输入在以太坊虚拟机内执行智能合约，监控合约在执行过程中的行为，生成多个日志文件，提取日志文件中的关键信息，对测试用例进行触发测试，从而得到智能合约所包含漏洞的情况，实现正确性检测。在实验过程中，该方法针对416个智能合约中的七类常见漏洞进行了漏洞检测，标记出了19个存在漏洞的智能合约。经过人工审计分析发现，在这19个被标记的不正确智能合约中，有18个智能合约确实存在安全漏洞。实验结果表明所提方法能够以较高的准确率识别智能合约中包含的漏洞，从而检测智能合约的正确性。

关键词：智能合约,漏洞检测,模糊测试,正确性检测,以太坊