Wapplique: Testing WebAssembly Runtime via Execution Context-aware Bytecode Mutation
Reliability is the top concern to runtimes. This paper studies how to test WebAssembly(Wasm) runtime, by presenting Wapplique, the first Wasm bytecode mutation-based fuzzing tool. Wapplique solves the diversity/efficiency dilemma in generating test cases with a specifically-tailored code-fragment substitution approach for Wasm. In particular, Wapplique appliqués code fragments from real-world programs to seed programs to enhance the diversity of the seeds. Via sophisticated code analysis algorithms we design, Wapplique also guarantees the validity of the resulting programs. This allows Wapplique to generate tremendous valid and diverse Wasm programs as test cases to well exercise target runtimes. Our experiences on applying Wapplique in testing four prevalent real-world runtimes indicate that it can generate test cases efficiently, achieve high coverage, and find 20 previously unknown bugs.
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 14:50 | WebAssembly and BrowsersTechnical Papers at EI 10 Fritz Paschke Chair(s): Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich | ||
13:30 20mTalk | Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment Technical Papers Jiashui Wang Zhejiang University, Peng Qian Zhejiang University, Xilin Huang Ant Group, Xinlei Ying Ant Group, Yan Chen Zhejiang University, Shouling Ji Zhejiang University, Jianhai Chen Zhejiang University, China, Jundong XIe Ant Group, Long Liu Ant Group | ||
13:50 20mTalk | WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation Technical Papers Shangtong Cao Beijing University of Posts and Telecommunications, Ningyu He Peking University, Xinyu She Huazhong University of Science and Technology, Yixuan Zhang Peking University, Mu Zhang University of Utah, Haoyu Wang Huazhong University of Science and Technology | ||
14:10 20mTalk | Wapplique: Testing WebAssembly Runtime via Execution Context-aware Bytecode Mutation Technical Papers Wenxuan Zhao School of Computer Science, Fudan University, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University |