Please use this identifier to cite or link to this item: http://drsr.daiict.ac.in//handle/123456789/1189
Title: A Static Analysis Approach for Ethereum Smart Contracts
Authors: Lalchandani, JayPrakash
Vaishnavi
Keywords: Static Analysis
Ethereum blockchain
Solidity language
Issue Date: 2023
Publisher: Dhirubhai Ambani Institute of Information and Communication Technology
Citation: Vaishnavi (2023). A Static Analysis Approach for Ethereum Smart Contracts. Dhirubhai Ambani Institute of Information and Communication Technology. x, 73 p. (Acc. # T01130).
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.
URI: http://drsr.daiict.ac.in//handle/123456789/1189
Appears in Collections:M Tech Dissertations

Files in This Item:
File SizeFormat 
202111051.pdf1.64 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.