Corpus ID: 218674333

Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum

@article{Chen2020WhyDS,
  title={Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum},
  author={Jiachi Chen and Xin Xia and David Lo and John C. Grundy},
  journal={ArXiv},
  year={2020},
  volume={abs/2005.07908}
}
The Selfdestruct function is provided by Ethereum smart contracts to destroy a contract on the blockchain system. However, it is a double-edged sword for developers. On the one hand, using Selfdestruct function enables developers to remove smart contracts (SC) from Ethereum and transfers Ethers when emergency situations happen, e.g. being attacked. On the other hand, this function can increase the complexity for the development and open an attack vector for attackers. To better understand the… Expand
Maintenance-related concerns for post-deployed Ethereum smart contract development: issues, techniques, and future challenges
TLDR
This study presents the first empirical study on smart contract maintenance-related concerns, which can help smart contract developers better maintain their smart contract-based projects, and highlights some key future research directions to improve the Ethereum ecosystem. Expand
Maintaining Smart Contracts on Ethereum: Issues, Techniques, and Future Challenges
TLDR
This study presents the first empirical study on smart contract maintenance, which can help smart contract developers better maintain their smart contract-based projects, and highlights some key future research directions to improve the Ethereum ecosystem. Expand
A Survey of Smart Contract Formal Specification and Verification
TLDR
This survey investigates formal models and specifications of smart contracts presented in the literature and presents a systematic overview in order to understand the common trends and identify gaps. Expand

References

SHOWING 1-10 OF 83 REFERENCES
Making Smart Contracts Smarter
TLDR
This paper investigates the security of running smart contracts based on Ethereum in an open distributed network like those of cryptocurrencies, and proposes ways to enhance the operational semantics of Ethereum to make contracts less vulnerable. Expand
Defining Smart Contract Defects on Ethereum
TLDR
Feedback showed these contract defects are harmful and removing them would improve the quality and robustness of smart contracts, and manually identified them in 587 real world smart contract and publicly released the dataset. Expand
Mayflies, Breeders, and Busy Bees in Ethereum: Smart Contracts Over Time
  • Monika Di Angelo, G. Salzer
  • Computer Science
  • Proceedings of the Third ACM Workshop on Blockchains, Cryptocurrencies and Contracts - BCC '19
  • 2019
TLDR
This paper analyzes the activities of smart contracts on the Ethereum blockchain, the most prominent platform for smart contracts with all blockchain data visible, and investigates the activities in their quantitative and temporal aspects. Expand
Understanding Ethereum via Graph Analysis
TLDR
This paper designs a new approach to collect all transaction data, constructs three graphs from the data to characterize major activities on Ethereum, and proposes new approaches based on cross-graph analysis to address two security issues in Ethereum. Expand
Securify: Practical Security Analysis of Smart Contracts
TLDR
An extensive evaluation of Securify over real-world Ethereum smart contracts is presented and it is demonstrated that it can effectively prove the correctness of smart contracts and discover critical violations. Expand
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
  • Bo Jiang, Ye Liu, W. Chan
  • Computer Science
  • 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • 2018
TLDR
ContractFuzzer is presented, a novel fuzzer to test Ethereum smart contracts for security vulnerabilities that successfully detects the vulnerability of the DAO contract that leads to $60 million loss and the vulnerabilities of Parity Wallet that have led to the loss of $30 million and the freezing of $150 million worth of Ether. Expand
SmartEmbed: A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding
TLDR
A web service tool, named SmartEmbed, which can help Solidity developers to find repetitive contract code and clone-related bugs in smart contracts and can help to improve the users' confidence in the reliability of their code. Expand
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
TLDR
Maian is implemented, the first tool for specifying and reasoning about trace properties, which employs interprocedural symbolic analysis and concrete validator for exhibiting real exploits. Expand
ÆGIS: Smart Shielding of Smart Contracts
In recent years, smart contracts have suffered major exploits, losing millions of dollars. Unlike traditional programs, smart contracts cannot be updated once deployed. Though various tools wereExpand
Smart Contract Development: Challenges and Opportunities
TLDR
This study focuses exclusively on this subset of smart contracts, and suggests several directions that researchers and practitioners can work on to help improve developers’ experience on developing high-quality smart contracts. Expand
...
1
2
3
4
5
...