ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg

Smart contracts are programs running on the blockchain. Comments in source code provide meaningful information for developers to facilitate code writing and understanding. Given various kinds of token standards in smart contracts (e.g., ERC-20, ERC-721), developers often copy&paste code from other projects as templates, and then implement their own logic as add-ons to such templates. In many cases, the consistency between code and comment is not well-aligned, leading to comment-code inconsistencies (as we call CCIs). Such inconsistencies can mislead developers and users, and even introduce vulnerabilities to the contracts. In this paper, we present SmartCoCo, a novel framework to detect comment-code inconsistencies in smart contracts. In particular, our research focuses on comments related to roles, parameters, and events that may lead to security implications. To achieve this, SmartCoCo takes the original smart contract source code as input and automatically analyzes the comment and code to find potential inconsistencies. SmartCoCo associates comment constraints and code facts via a set of propagation and binding strategies, allowing it to effectively discover inconsistencies with more contextual information. We evaluated SmartCoCo on 101,780 unique smart contracts on Ethereum. The evaluation result shows that SmartCoCo achieves good effectiveness and efficiency. In particular, SmartCoCo reports 4,732 inconsistencies from 1,745 smart contracts, with a precision of over 79% on 439 manual-labeled comment-code inconsistencies. Meanwhile, it only takes 2.64 seconds to check a smart contract on average.

SmartCoCo Slide (SmartCoCo Slide.pdf)1.70MiB

Tue 12 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
Smart Contracts, Blockchain, Energy efficiency, and green softwareResearch Papers / NIER Track / Industry Showcase (Papers) / Tool Demonstrations / Journal-first Papers at Room D
13:30
12m
Talk
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge
Research Papers
Alessandro Tundo University of Milano-Bicocca, Marco Mobilio University of Milano Bicocca, Shashikant Ilager Vienna University of Technology, Ivona Brandic Vienna University of Technology, Ezio Bartocci TU Wien, Leonardo Mariani University of Milano-Bicocca
Pre-print File Attached
13:42
12m
Talk
Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study
Journal-first Papers
Faizan Khan Plotly Technologies Inc., Istvan David McMaster University, Shane McIntosh University of Waterloo, Daniel Varro Linköping University / McGill University
Media Attached
13:54
12m
Talk
SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding
Research Papers
Sicheng Hao Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Zibin Zheng Sun Yat-sen University, Xiaohui Liu Sun Yat-sen University
DOI File Attached
14:06
12m
Talk
RJoules: An Energy Measurement Tool for R
Tool Demonstrations
Rajrupa Chattaraj Indian Institute of Technology Tirupati, India, Sridhar Chimalakonda IIT Tirupati
Pre-print Media Attached File Attached
14:18
12m
Talk
Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case StudyRecorded talk
Industry Showcase (Papers)
Rohit Mehra Accenture Labs, Priyavanshi Pathania Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture
Media Attached
14:30
12m
Talk
Green AI Quotient : Assessing Greenness of AI-based software and the way forwardRecorded talk
Industry Showcase (Papers)
Samarth Sikand Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture
Media Attached
14:42
12m
Talk
Towards a Knowledge Base of Common Sustainability Weaknesses in Green Software DevelopmentRecorded talk
NIER Track
Priyavanshi Pathania Accenture Labs, Rohit Mehra Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture
Media Attached