Solidity 智能合约项目真实缺陷修复的实证研究

智能合约是驻留在区块链中的代码片段，可在满足特定预定义条件时触发执行任何交易。因常用于区块链中的商业交易，智能合约的安全性尤为重要。过去几年中，学界与业界对检测和修复 Solidity 编写的智能合约中的缺陷表现出浓厚兴趣。但对于 Solidity 智能合约项目中的真实缺陷修复知之甚少。为理解缺陷修复并丰富真实项目中的缺陷修复知识，本文对来自 46 个真实世界 Solidity 智能合约项目的历史缺陷修复进行实证研究。我们提供多方面讨论，主要探究以下四个问题：文件类型与数量、修复复杂度、缺陷分布与修复补丁。在探究这四个问题的过程中，我们提炼出四项发现。最后，基于这些发现，我们从自动修复技术、分析工具与 Solidity 开发者三个方面给出可操作的启示，以改进当前 Solidity 智能合约缺陷修复方法。