SolSaviour: A Defending Framework for Deployed Defective Smart Contracts
Zecheng Li, Yu Zhou, Songtao Guo, Bin Xiao
Abstract
A smart contract cannot be modified once deployed. Bugs in deployed smart contracts may cause devastating consequences. For example, the infamous reentrancy bug in the DAO contract allows attackers to arbitrarily withdraw ethers, which caused millions of dollars loss. Currently, the main countermeasure against contract bugs is to thoroughly detect and verify contracts before deployment, which, however, cannot defend against unknown bugs. These detection methods also suffer from possible false negative results.
Topics & Concepts
Software deploymentComputer securityCountermeasureComputer scienceSmart contractSecurity bugInternet privacyEngineeringInformation securitySoftware engineeringSoftware security assuranceAerospace engineeringBlockchainSecurity serviceBlockchain Technology Applications and SecurityAdvanced Malware Detection TechniquesSpam and Phishing Detection