WarpGen generates issue-triggering WebAssembly test programs by recombining historical abnormal code snippets with random seeds, using a distinguishability score to guide search, and finds seven previously unknown runtime performance issues.
Characterizing and Detecting WebAssembly Runtime Bugs
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
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 as 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 in WASM runtimes. We apply the detection framework to five popular WASM runtimes and successfully uncover 53 bugs that have never been reported previously, among which 14 have been confirmed and 6 have been fixed by runtime developers.
citation-role summary
citation-polarity summary
fields
cs.SE 1years
2024 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
WarpGen generates issue-triggering WebAssembly test programs by recombining historical abnormal code snippets with random seeds, using a distinguishability score to guide search, and finds seven previously unknown runtime performance issues.