arrow
Return

Characterizing and Detecting WebAssembly Runtime Bugs

delete2023-12-21
delete3
delete
OA
AI
Y
Yixuan Zhang
S
Shangtong Cao
H
Haoyu Wang *
陈
陈震鹏 (Zhenpeng Chen)
X
Xiapu Luo
D
Dongliang Mu
Y
Yun Ma *
G
Gang Huang
X
Xuanzhe Liu
DOI:10.1145/3624743delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
WebAssembly (abbreviated WASM) has emerged as a promising language of the Web and also been used for a wide spectrum of software applications such as mobile applications and desktop applications. These applications, named WASM applications, commonly run in WASM runtimes. Bugs in WASM runtimes are frequently reported by developers and cause the crash of WASM applications. However, these bugs have not been well studied. To fill in the knowledge gap, we present a systematic study to characterize and detect bugs in WASM runtimes. We first harvest a dataset of 311 real-world bugs from hundreds of related posts on GitHub. Based on the collected high-quality bug reports, we distill 31 bug categories of WASM runtimes and summarize their common fix strategies. Furthermore, we develop a pattern-based bug detection framework to automatically detect bugs inWASM runtimes. We apply the detection framework to seven popular WASM runtimes and successfully uncover 60 bugs that have never been reported previously, among which 13 have been confirmed and 9 have been fixed by runtime developers.
Keywords:
WebAssembly
WebAssembly runtime

Journal

A
ACM Transactions on Software Engineering and Methodology
IF:
6.2
Papers:
1.2K
Citations:
3.4K

Organization

B
beijing university of posts & telecommunications
Scholars:
1.4W
Papers: 1.2W
Citations: 9
H
hong kong polytechnic university
Scholars:
3.0W
Papers: 4.1W
Citations: 921
U
University College London
Scholars:
7.9W
Papers: 6.2W
Citations: 15.7W
U
university of london
Scholars:
21.5W
Papers: 19.7W
Citations: 305
P
peking university
Scholars:
11.9W
Papers: 8.7W
Citations: 146
researcher View more organizations
Cited Papers

Cited Papers

Orthotopic heart transplantation: two parts of the heart with two different arrhythmias
err2011-03-01
err0
PREAI
errMichele D'Alto; Stephen Lord; John Bourke; Giuseppe Santarpia; Berardo Sarubbi; Maria Giovanna Russo; Raffaele Calabrò
errShare
errSave
An empirical study of optimization bugs in GCC and LLVM
err2021-04-01
err32
PREAI
errZhou, Zhide; Ren, Zhilei; Gao, Guojun; Jiang, He
errShare
errSave
Flush at room temperature followed by storage on ice creates the best lung graft preservation in rats
err2013-05-14
err0
PREAI
errAnita J. Munneke; Gerhard Rakhorst; Arjen H. Petersen; Wim van Oeveren; Jochum Prop; Michiel E. Erasmus
errShare
errSave
A Survey on Blockchain Interoperability: Past, Present, and Future Trends
err2021-10-04
err224
errOAAI
errBelchior, Rafael; Vasconcelos, Andre; Guerreiro, Sergio; Correia, Miguel
errShare
errSave
An unrecognized epidemic of Mycoplasma pneumoniae infection in Vienna
err2006-05-01
err0
PREAI
errFlorian Daxboeck; Claudia C. Bauer; Ojan Assadian; Gerold Stanek
errShare
errSave
researcher View more