{"title":"Automatic Patch Generation System for Smart Contract","authors":"Sheng Guo","doi":"10.1109/ECEI57668.2023.10105422","DOIUrl":null,"url":null,"abstract":"Smart contract is a computer program running on the blockchain to automatically execute the contract terms without supervision. However, the vulnerability of smart contracts often causes massive property losses to users. SolSaviour is a framework for repairing and recovering vulnerabilities from deployed smart contracts. Thus, we design a set of automatic patch generation system APG within the SolSaviour framework, which solves the security problem of patches applied by SolSaviour and enhances the protection function of SolSaviour for smart contracts. APG consists of two existing frameworks: Slither and EVMPatch. Through comparative analysis, the improved SolSaviour by APG has higher security.","PeriodicalId":176611,"journal":{"name":"2023 IEEE 6th Eurasian Conference on Educational Innovation (ECEI)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 IEEE 6th Eurasian Conference on Educational Innovation (ECEI)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECEI57668.2023.10105422","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Smart contract is a computer program running on the blockchain to automatically execute the contract terms without supervision. However, the vulnerability of smart contracts often causes massive property losses to users. SolSaviour is a framework for repairing and recovering vulnerabilities from deployed smart contracts. Thus, we design a set of automatic patch generation system APG within the SolSaviour framework, which solves the security problem of patches applied by SolSaviour and enhances the protection function of SolSaviour for smart contracts. APG consists of two existing frameworks: Slither and EVMPatch. Through comparative analysis, the improved SolSaviour by APG has higher security.