SolSaviour: A Defending Framework for Deployed Defective Smart Contracts
Zecheng Li, Yu Zhou, Songtao Guo, Bin Xiao · Annual Computer Security Applications Conference · 2021
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.