arrow
返回

xFuzz: Machine Learning Guided Cross-Contract Fuzzing

delete2024-03-01
delete16
delete
OA
AI
Y
Yinxing Xue *
J
Jiaming Ye
W
Wei Zhang
孙俊 封面图
孙俊 (Jun Sun)
L
Lei Ma
H
Haijun Wang
J
Jianjun Zhao
DOI:10.1109/TDSC.2022.3182373delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Smart contract transactions are increasingly interleaved by cross-contract calls. While many tools have been developed to identify a common set of vulnerabilities, the cross-contract vulnerability is overlooked by existing tools. Cross-contract vulnerabilities are exploitable bugs that manifest in the presence of more than two interacting contracts. Existing methods are however limited to analyze a maximum of two contracts at the same time. Detecting cross-contract vulnerabilities is highly non-trivial. With multiple interacting contracts, the search space is much larger than that of a single contract. To address this problem, we present xFuzz, a machine learning guided smart contract fuzzing framework. The machine learning models are trained with novel features (e.g., word vectors and instructions) and are used to filter likely benign program paths. Comparing with existing static tools, machine learning model is proven to be more robust, avoiding directly adopting manually-defined rules in specific tools. We compare xFuzz with three state-of-the-art tools on 7,391 contracts. xFuzz detects 18 exploitable cross-contract vulnerabilities, of which 15 vulnerabilities are exposed for the first time. Furthermore, our approach is shown to be efficient in detecting non-cross-contract vulnerabilities as well-using less than 20% time as that of other fuzzing tools, xFuzz detects twice as many vulnerabilities.
Keyword:
Cross-contract vulnerability
fuzzing
machine learning
smart contract

期刊

IEEE Transactions on Dependable and Secure Computing 封面图
IEEE Transactions on Dependable and Secure Computing
IF:
7.5
论文数:
2.6K
被引数:
9.6K

机构

U
university of science & technology of china, cas
学者数:
3.2W
论文数: 2.7W
被引数: 74
U
university of alberta
学者数:
5.1W
论文数: 4.9W
被引数: 65
K
Kyushu University
学者数:
3.2W
论文数: 2.6W
被引数: 2.8W
C
chinese academy of sciences
学者数:
56.7W
论文数: 45.0W
被引数: 704
学者 查看更多机构
引用论文

引用论文

Ultrafast Absorption Changes of the Lhcii Carotenoids upon Selective Excitation of the Chlorophylls
err1998-01-01
err0
PREAI
errC. C. Gradinaru; I. H. M. van Stokkum; R. van Grondelle; H. van Amerongen
err分享
err收藏
Motion of Scandium Ions in Sc2C84 Observed by 45Sc Solution NMR通过 45Sc溶液NMR观察到的Sc2C84 中Sc离子的运动
err1996-06-06
err0
PREAI
errYoko Miyake; Shinzo Suzuki; Yasuhiko Kojima; Koichi Kikuchi; Kaoru Kobayashi; Shigeru Nagase; Masatsune Kainosho; Yohji Achiba; Yutaka Maniwa; Keith Fisher
err分享
err收藏
Genetic polymorphisms at 19q13.33 are associated with [−2]proPSA (p2PSA) levels and provide additional predictive value to prostate health index for prostate cancer
err2021-07-12
err0
errOAAI
errDa Huang; Xiaohao Ruan; Yishuo Wu; Xiaoling Lin; Jingyi Huang; Dingwei Ye; Yi Gao; Qiang Ding; Danfeng Xu; Rong Na
err分享
err收藏
Charge state of ∼1 to 50 keV ions after passing through graphene and ultrathin carbon foils
err2014-02-04
err0
errOAAI
errFrédéric Allegrini; Robert W. Ebert; Stephen A. Fuselier; Georgios Nicolaou; Peter Bedworth; Steve Sinton; Karlheinz J. Trattner
err分享
err收藏
Loss of Atg7 in Endothelial Cells Enhanced Cutaneous Wound Healing in a Mouse Model
err2020-05-01
err0
PREAI
errKe-Cheng Li; Chun-Hui Wang; Jing-Jiang Zou; Chen Qu; Xing-Li Wang; Xing-Song Tian; Hong-Wei Liu; Taixing Cui
err分享
err收藏
Arsenic removal from aqueous solutions by adsorption using novel MIL-53(Fe) as a highly efficient adsorbent使用新型MIL-53(Fe) 作为高效吸附剂通过吸附从水溶液中去除砷
err2015-01-01
err0
PREAI
errTuan. A. Vu; Giang. H. Le; Canh. D. Dao; Lan. Q. Dang; Kien. T. Nguyen; Quang. K. Nguyen; Phuong. T. Dang; Hoa. T. K. Tran; Quang. T. Duong; Tuyen. V. Nguyen; Gun. D. Lee
err分享
err收藏
学者 查看更多内容