GraBit: A Sequential Model-Based Framework for Smart Contract Vulnerability Detection

被引:6
作者
Zhu, Huijuan [1 ]
Yang, Kaixuan [1 ]
Wang, Liangmin [2 ]
Xu, Zhicheng [3 ]
Sheng, Victor S. [4 ]
机构
[1] Jiangsu Univ, Sch Comp Sci & Commun Engn, Zhenjiang 212003, Jiangsu, Peoples R China
[2] Southeast Univ, Sch Cyber Sci & Engn, Nanjing 211189, Peoples R China
[3] Jiangsu Univ, Sch Math Sci, Zhenjiang 212003, Jiangsu, Peoples R China
[4] Texas Tech Univ, Dept Comp Sci, Lubbock, TX 79409 USA
来源
2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, ISSRE | 2023年
基金
中国国家自然科学基金;
关键词
blockchain; smart contract; sequential model; vulnerability detection; pre-training techniques;
D O I
10.1109/ISSRE59848.2023.00024
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The security of smart contracts has garnered considerable attention given the potential for substantial financial losses and erosion of trust in blockchain platforms. Numerous methods have been proposed to detect vulnerabilities in smart contracts. Notably, as the number of smart contracts continues to proliferate, automated techniques based on deep learning (DL) are making remarkable progress. However, a significant challenge persists in acquiring an efficient embedding representation that is compatible with DL models with input length restrictions. In this paper, we propose a novel detection method named GraBit for identifying reentrancy vulnerability-one of the most critical vulnerabilities in smart contracts. GraBit leverages the pretrained model GraphCodeBERT to embed both the source code and concise key data flow graphs extracted from the code. Additionally, we customize a sequential model based on Bi-directional Long Short-Term Memory and attention mechanism to effectively capture contextual semantic information. To evaluate the performance of GraBit, we conduct extensive experiments on a public large-scale dataset. Our experimental results reveal that GraBit achieves a remarkable F1-score of 94.44% in detecting reentrancy vulnerability, outperforming state-of-the-art methods.
引用
收藏
页码:568 / 577
页数:10
相关论文
共 44 条
[1]  
Agarwal Rachit, 2022, Cyberspace Safety and Security: 13th International Symposium, CSS 2021, Proceedings. Lecture Notes in Computer Science, Security and Cryptology (13172), P79, DOI 10.1007/978-3-030-94029-4_6
[2]   Running Transactional Business Processes with Blockchain's Smart Contracts [J].
Brahem, Amina ;
Messai, Nizar ;
Sam, Yacine ;
Bhiri, Sami ;
Devogele, Thomas ;
Gaaloul, Walid .
2020 IEEE 13TH INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2020), 2020, :89-93
[3]  
Brown P. F., 1992, Computational Linguistics, V18, P467
[4]   BGNN4VD: Constructing Bidirectional Graph Neural-Network for Vulnerability Detection [J].
Cao, Sicong ;
Sun, Xiaobing ;
Bo, Lili ;
Wei, Ying ;
Li, Bin .
INFORMATION AND SOFTWARE TECHNOLOGY, 2021, 136
[5]   Emerging Trends Word2Vec [J].
Church, Kenneth Ward .
NATURAL LANGUAGE ENGINEERING, 2017, 23 (01) :155-162
[6]  
Cordonnier J.B., 2020, ARXIV200616362
[7]  
Devlin J, 2019, 2019 CONFERENCE OF THE NORTH AMERICAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS: HUMAN LANGUAGE TECHNOLOGIES (NAACL HLT 2019), VOL. 1, P4171
[8]   Blockchain technology in supply chain operations: Applications, challenges and research opportunities [J].
Dutta, Pankaj ;
Choi, Tsan-Ming ;
Somani, Surabhi ;
Butala, Richa .
TRANSPORTATION RESEARCH PART E-LOGISTICS AND TRANSPORTATION REVIEW, 2020, 142
[9]   Slither: A Static Analysis Framework For Smart Contracts [J].
Feist, Josselin ;
Greico, Gustavo ;
Groce, Alex .
2019 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB 2019), 2019, :8-15
[10]   SmartBugs: A Framework to Analyze Solidity Smart Contracts [J].
Ferreira, Joao F. ;
Cruz, Pedro ;
Durieux, Thomas ;
Abreu, Rui .
2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, :1349-1352