Internetware 2023
Fri 4 - Sun 6 August 2023 Hangzhou, China

Smart contracts are one of the most successful applications of blockchain technology. In order to guarantee the security of smart contracts, researchers have successively introduced various testing methodologies, including static analysis, symbolic execution, and fuzzing, which contribute to a more rigorous and precise evaluation of smart contract vulnerabilities. Deep learning techniques have been widely applied in traditional software vulnerability detection, while the opposite is true in the field of smart contract testing. Consequently, we anticipate that deep learning can be similarly applied to enhance traditional smart contract vulnerability detection tools. However, there is a lack of empirical study on the performance of deep learning applied to smart contract testing. In order to explore how deep neural networks can help with testing tools on smart contracts, we construct a test framework based on SMARTEST. We manage to train deep learning language models using various neural networks including Transformer, GRU, RNN and test the symbolic execution tool SMARTEST framework with the application of these models on the CVE dataset. Upon analyzing the experimental results, we find that deep neural networks did not surpass traditional language models in enhancing smart contract testing. In terms of accuracy, the SMARTEST tool, which utilizes a statistical 3-gram language model, succeeded in detecting the greatest number of vulnerabilities. Specifically, the 3-gram model was able to identify 69.8% of vulnerabilities in the benchmark set within the first 5 seconds. Based on our experimental findings and thorough analysis, we outline the challenges faced in DNN-assisted smart contract testing and suggest potential directions for improvement.

Sat 5 Aug

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:40 - 15:50
Session 2: Debugging & Bug ManagementMain Track at Main Conference Room
14:40
15m
Research paper
SupConFL: Fault Localization with Supervised Contrastive Learning
Main Track
Wei Chen Southwest University, Wu Chen Southwest University, Jiamou Liu The University of Auckland, Kaiqi Zhao The University of Auckland, Mingyue Zhang Southwest University
14:55
15m
Research paper
Effective Recommendation of Cross-Project Correlated Issues based on Issue Metrics
Main Track
Hao Ren Department of Computer Science and Technology, Nanjing University, Mingliang Ma , Xiaowei Zhang , Yulu Cao , Changhai Nie Nanjing University, Yanhui Li Nanjing University
15:10
15m
Research paper
The Impact of the Bug Number on Effort-Aware Defect Prediction: An Empirical Study
Main Track
Peixin Yang , Lin Zhu , Wenhua Hu , Jacky Keung City University of Hong Kong, Liping Lu , Jianwen Xiang
15:25
15m
Research paper
Can Neural Networks Help Smart Contract Testing? An Empirical Study
Main Track
Jiadong Wu School of Software Engineering, Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ruixin Wang Purdue University, Jiachi Chen Sun Yat-sen University, Zibin Zheng Sun Yat-sen University