WebAssembly (Wasm) is a popular portable assembly-like language. Besides browser support in the four most common browsers (Chrome, Firefox, Safari, Edge) a number of standalone Wasm engines are available. With several such independent implementations naturally follow a risk of disagreement between the individual implementations. To help ensure agreement between Wasm implementations, we develop a stack-directed program generator to drive differential testing of the four browsers’ Wasm engines. We describe our experimental setup, our development of a stack-directed shrinker for reducing a generated counterexample program, and finally report on a number of disagreements and bugs found. Surprisingly our black-box generator found 2 crashing bugs, despite browser vendor efforts to fuzz test their Wasm engines using a state-of-the-art fuzzer.
Tue 1 DecDisplayed time zone: Osaka, Sapporo, Tokyo change
16:00 - 17:30 | Program Generation, Transactions and AutomationResearch Papers at online Chair(s): Shigeru Chiba The University of Tokyo | ||
16:00 30mTalk | Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? Research Papers Xiaotong Liu School of Software and Microelectronics, Peking University, Beijing, China, Tong Jia School of Software and Microelectronics, Peking University, Beijing, China, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Hao Yu Peking University, Yang Yue University of California, Irvine, Chuanjia Hou School of Software and Microelectronics, Peking University, Beijing, China | ||
16:30 30mTalk | Banyan: Coordination-free Transactions over Mergeable Replicated Data Types Research Papers Shashank Shekhar Dubey IIT Madras, KC Sivaramakrishnan IIT Madras, Thomas Gazagnaire Tarides, Anil Madhavapeddy University of Cambridge | ||
17:00 30mTalk | Stack-Driven Program Generation of WebAssembly Research Papers | ||