智能合约修复

智能合约是自动化或自执行的合约，可用于在不信任第三方的情况下交换资产。许多商业交易使用智能合约，因其在独立于外部方的安全点对点交易方面具有潜在优势。经验表明，许多常用智能合约易受严重的恶意攻击，可能使攻击者窃取相关方的宝贵资产。因此，在部署之前需要对智能合约应用分析和自动修复技术以检测和修复缺陷。在这项工作中，我们提出了首个通用的、且感知 gas 的自动智能合约修复方法。我们的修复方法基于搜索，在缺陷合约的变异体中进行搜索。我们的方法还通过利用我们提出的新型 gas 支配关系概念来考虑候选补丁的 gas 消耗。我们已将智能合约修复工具 SCRepair 开源，供更广泛的社区研究。