ISSTA 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
Thu 19 Sep 2024 13:50 - 14:10 at EI 10 Fritz Paschke - WebAssembly and Browsers Chair(s): Stefan Brunthaler

A fundamental component of the Wasm ecosystem is the Wasm runtime, as it directly impacts whether Wasm applications can be executed as expected. Bugs in Wasm runtimes are frequently reported, so the research community has made a few attempts to design automated testing frameworks to detect bugs in Wasm runtimes. However, existing testing frameworks are limited by the quality of test cases, i.e., they face challenges in generating Wasm binaries that are both semantically rich and syntactically correct. As a result, complicated bugs cannot be triggered effectively. In this work, we present WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world Wasm binaries, which can trigger hidden inconsistencies among Wasm runtimes. To further pinpoint the root causes of unexpected behaviors, we design a runtime-agnostic root cause location method to locate bugs accurately. Extensive evaluation suggests that WASMaker outperforms state-of-the-art techniques in terms of both efficiency and effectiveness. We have uncovered 33 unique bugs in popular Wasm runtimes, among which 25 have been confirmed.

Thu 19 Sep

Displayed 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
20m
Talk
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 Northwestern University, Shouling Ji Zhejiang University, Jianhai Chen Zhejiang University, Jundong Xie Ant Group, Long Liu Ant Group
DOI
13:50
20m
Talk
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
DOI
14:10
20m
Talk
Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation
Technical Papers
Wenxuan Zhao Fudan University, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University
DOI

Information for Participants
Thu 19 Sep 2024 13:30 - 14:50 at EI 10 Fritz Paschke - WebAssembly and Browsers Chair(s): Stefan Brunthaler
Info for room EI 10 Fritz Paschke:

Map: https://tuw-maps.tuwien.ac.at/?q=CAEG31

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/13948