Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-peer transactions independent of external parties. Experience shows that many commonly used smart contracts are vulnerable to serious malicious attacks, which may enable attackers to steal valuable assets of involving parties. There is, therefore, a need to apply analysis and automated repair techniques to detect and repair bugs in smart contracts before being deployed. In this work, we present the first general-purpose automated smart contract repair approach that is also gas-aware. Our repair method is search-based and searches among mutations of the buggy contract. Our method also considers the gas usage of the candidate patches by leveraging our novel notion of gas dominance relationship . We have made our smart contract repair tool SCRepair available open-source, for investigation by the wider community.

中文翻译：

---

智能合约修复

智能合约是自动化或自我执行的合约，可用于交换资产而无需信任第三方。许多商业交易使用智能合约，因为它们在独立于外部方的安全点对点交易方面具有潜在优势。经验表明，许多常用的智能合约容易受到严重的恶意攻击，这可能使攻击者窃取参与方的宝贵资产。因此，需要在部署之前应用分析和自动修复技术来检测和修复智能合约中的错误。在这项工作中，我们提出了第一个通用的自动化智能合约修复方法，该方法也是气体感知的。我们的修复方法是基于搜索的，并在错误合约的突变中进行搜索。气优势关系. 我们制作了我们的智能合约修复工具SCRepair可用的开源，供更广泛的社区调查。