Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Wed 17 May 2023 12:22 - 12:30 at Meeting Room 106 - Blockchain/smart contracts Chair(s): Yi Li

In migrating and upgrading an Ethereum smart contract, it is necessary to transfer both the code as well as the stored data. Various methods attempt to migrate or upgrade a smart contract, but they are mostly manual, error-prone and applicable only before deployment. Further, they have challenges in extracting the storage state of complex mapping data structures along with their keys. In this work, we present Smartmuv as an automatic source-code based static analysis tool to analyze and extract the state from the storage-trie of smart contracts. Based on the abstract syntax tree (AST) and the control flow graphs (CFG) of the Solidity source code, the tool analyzes each state variable including mapping types along the inheritance hierarchy. It also provides the upgrade algorithm that initializes the extracted state in the constructor of new smart contract. Smartmuv safely approximates the origin of the keys used in the mapping to extract values and has been able to extract the mapping state of 23,673 smart contracts with 95.7% overall precision. Moreover, we also validate the Smartmuv’s extracted state with the third-party tool Etherscan.

Wed 17 May

Displayed time zone: Hobart change

11:00 - 12:30
Blockchain/smart contractsTechnical Track / DEMO - Demonstrations / SEIP - Software Engineering in Practice / Journal-First Papers at Meeting Room 106
Chair(s): Yi Li Nanyang Technological University
11:00
15m
Talk
SmartMark: Software Watermarking Scheme for Smart Contracts
Technical Track
Taeyoung Kim Sungkyunkwan University, Yunhee Jang Sungkyunkwan University, Chanjong Lee Sungkyunkwan University, Hyungjoon Koo Sungkyunkwan University, hyoungshick kim Sungkyunkwan University
11:15
15m
Talk
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum
Technical Track
Zibin Zheng School of Software Engineering, Sun Yat-sen University, Neng Zhang School of Software Engineering, Sun Yat-sen University, Jianzhong Su Sun Yat-sen University, Zhijie Zhong School of Software Engineering, Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Jiachi Chen School of Software Engineering, Sun Yat-sen University
Pre-print
11:30
15m
Talk
BSHUNTER: Detecting and Tracing Defects of Bitcoin Scripts
Technical Track
Peilin Zheng Sun Yat-sen University, Xiapu Luo The Hong Kong Polytechnic University, Zibin Zheng School of Software Engineering, Sun Yat-sen University
Pre-print File Attached
11:45
15m
Talk
DAppHunter: Identifying Inconsistent Behaviors of Blockchain-based Decentralized Applications
SEIP - Software Engineering in Practice
Jianfei Zhou University of Electronic Science and Technology of China, Jiang Tianxing , Haijun Wang Ant Group, Meng Wu Ant Group, Ting Chen University of Electronic Science and Technology of China
12:00
15m
Talk
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm
SEIP - Software Engineering in Practice
Martijn van Meerten Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology, Annibale Panichella Delft University of Technology
12:15
7m
Talk
Siguard: Detecting Signature-Related Vulnerabilities in Smart Contracts
DEMO - Demonstrations
Jiashuo Zhang Peking University, China, Yue Li Peking University, Jianbo Gao Peking University, Zhi Guan Peking University, Zhong Chen
12:22
7m
Talk
Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts
Journal-First Papers
Maha Ayub Information Technology University (ITU) Lahore, Pakistan, Tania Saleem Information Technology University (ITU) Lahore, Pakistan, Muhammad Umar Janjua Information Technology University (ITU) Lahore, Pakistan, Talha Ahmed Information Technology University (ITU) Lahore, Pakistan