Can Neural Networks Help Smart Contract Testing? An Empirical Study
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 AugDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
14:40 - 15:50 | |||
14:40 15mResearch 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 15mResearch 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 15mResearch 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 15mResearch 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 |