Dynamic Analysis for Detection of Self-Destructive Smart Contracts

Abstract

Research in Ethereum BlockChain has resulted in the growth of several tools for vulnerability detection. As a typical example, the Vandal tool detects selfdestruct vulnerability.Even though Vandal is a static analysis tool, its approach is also employed by several dynamic analysis tools. There is a need for a different approach for dynamic analysis tools to detect vulnerabilities such as selfdestruct so that dynamic analysis tools can maintain their individuality. This paper uses dynamic analysis to detect the selfdestruct (or self-destructive) vulnerability. Our work balances the developmental pace of the static and dynamic analysis approaches. The novelty of the work presented in this paper is that we use an Ether transfer-based approach and name it as "terminating transfer" to detect the selfdestruct vulnerability using the tool developed by us called "TechyTech".