.png){kind=icon}
返回
Smart Contract Repair
.png){kind=icon}
OA
AI
DOI：10.1145/3402450.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Program repair
smart contract
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
A
IF:
6.2
论文数:
1.2K
被引数:
3.4K
机构
引用论文
Microscale forced combustion: Pyrolysis-combustion flow calorimetry (PCFC)微尺度强制燃烧: 热解-燃烧流量量热法 (PCFC)
PREAI
分享收藏Ultrafast Absorption Changes of the Lhcii Carotenoids upon Selective Excitation of the Chlorophylls
PREAI
分享收藏Quinoline and phenanthroline preparation starting from glycerol via improved microwave-assisted modified Skraup reaction.png)
RSC Adv.
RSC Adv.IF0
PREAI
分享收藏分享收藏Crystal structure of extracellular human BAFF, a TNF family member that stimulates B lymphocytes细胞外人BAFF的晶体结构，刺激B淋巴细胞的TNF家族成员
PREAI
分享收藏An Overview of Technology, Benefits and Impact of Automated and Autonomous Driving on the Automotive Industry概述自动驾驶和自动驾驶对汽车行业的技术，优势和影响
PREAI
分享收藏
查看更多内容