A Static Analysis Approach for Ethereum Smart Contracts

Abstract

The Ethereum blockchain market has grown in prominence in recent years, enablingthe daily trading of billions of dollars. Smart contracts are programs thatare written in Solidity language and are executed on the Ethereum blockchain.However, the execution of smart contracts handling ether currencies has led toissues and disputes since 2016. This study focuses on the vulnerabilities of smartcontracts on Ethereum. There are many tools available for detecting vulnerabilitiesin smart contracts. However, there is still room for research in this area,here in our study we have implemented five modules that are Arithmetic, Front-Running, Re-entrancy, Time Manipulation, and Unchecked Low-Level Calls, thatare intended to find security flaws listed under the DASP10 framework. We areable to examine contract behaviour and find potential security flaws by usingsymbolic execution. Performance and accuracy are the two metrics taken care ofthroughout the study. This study tries to improve smart contract security proceduresby detecting these vulnerabilities earlier before deploying them on theblockchain.