Automatic Patch Generation System for Smart Contract

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.