Presentation description

The WebAssembly System Interface (WASI) enables WebAssembly (Wasm) programs
to interact with the facilities of the computer on which the Wasm program runs. This greatly expands Wasm's utility but also increases the risk of vulnerabilities. It is therefore necessary to thoroughly test implementations of WASI. We evaluate the effectiveness of randomized testing for this purpose. We create a system to perform differential testing on Wasm runtimes and evaluate its effectiveness.