arrow
Return

ByteEye: A smart contract vulnerability detection framework at bytecode level with graph neural networks

delete2025-10-22
delete0
delete
OA
AI
J
Jinni Yang
刘爽 cover
刘爽 (Shuang Liu) *
S
Surong Dai
Y
Yaozheng Fang
K
Kunpeng Xie
Y
Ye Lu *
DOI:10.1007/s10515-025-00559-9delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Smart contract vulnerability detection has attracted increasing attention due to billions of economic losses caused by vulnerabilities. Existing smart contract vulnerability detection methods have high false negative and high false positive rates. To address these issues, we present ByteEye, a bytecode level smart contract vulnerability detection framework with Graph Neural Networks (GNNs). ByteEye first constructs an edge-enhanced Control Flow Graph (CFG) to maintain rich information from the low-level bytecode with low latency. ByteEye also designs and incorporates both general information and vulnerability-specific information into its detection method as bytecode level features. Furthermore, ByteEye flexibly supports machine/deep learning models, especially with graph neural networks, which can facilitate vulnerability detection precisely. The extensive experimental results highlight that ByteEye outperforms the state-of-the-art approaches on all three types of vulnerability detection. ByteEye can achieve an average of 35.29%, 43.95%, and 6.38% higher on F1 than the bytecode level best-performed baseline on reentrancy vulnerability, timestamp dependency vulnerability, and integer overflow/underflow vulnerability, respectively. Moreover, ByteEye can detect 361 new vulnerabilities in real-world smart contracts, which are reported for the first time. ByteEye enhances control flow information, designs general bytecode-level features with expert knowledge, and flexibly supports deep learning models, particularly GNNs, thus achieving high detection effectiveness.
Keywords:
Smart contract vulnerability detection
Graph neural networks
Control flow graph

Journal

A
Automated Software Engineering
IF:
3.1
Papers:
81
Citations:
0

Organization

R
Renmin University of China
Scholars:
8.1K
Papers: 7.7K
Citations: 1.1W
N
nankai university
Scholars:
4.7W
Papers: 3.2W
Citations: 74