DeepAI AI Chat
Log In Sign Up

SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions

11/21/2019
by   Pengcheng Zhang, et al.
Hohai University
The Hong Kong Polytechnic University
0

As a blockchain platform that has developed vigorously in recent years, Ethereum is different from Bitcoin in that it introduces smart contracts into blockchain.Solidity is one of the most mature and widely used smart contract programming language,which is used to write smart contracts and deploy them on blockchain. However, once the data in the blockchain is written, it cannot be modified. Ethereum smart contract is stored in the block chain, which makes the smart contract can no longer repair the code problems such as re-entrancy vulnerabilities or integer overflow problems. Currently, there still lacks of an efficient and effective approach for detecting these problems in Solidity. In this paper, we first classify all the possible problems in Solidity, then propose a smart contract problem detection approach for Solidity, namely SolidityCheck. The approach uses regular expressions to define the characteristics of problematic statements and uses regular matching and program instrumentation to prevent or detect problems. Finally, a large number of experiments is performed to show that SolidityCheck is superior to existing approaches.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/26/2019

Mandala: A Smart Contract Programming Language

Smart contracts on a blockchain behave precisely as specified by their c...
03/31/2020

UTxO- vs account-based smart contract blockchain programming paradigms

We implement two versions of a simple but paradigmatic smart contract: o...
02/29/2020

ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts

Testing is an important technique to improve the quality of Ethereum sma...
02/03/2019

On the Practicality of Smart Contract PKI

Public key infrastructures (PKIs) are one of the main building blocks fo...
03/28/2022

An Effective Framework of Private Ethereum Blockchain Networks for Smart Grid

A smart grid is an important application in Industry 4.0 with a lot of n...