Stack-Driven Program Generation of WebAssembly

Árpád Perényi, Jan Midtgaard*

*Kontaktforfatter for dette arbejde

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Abstrakt

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 follows 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.

OriginalsprogEngelsk
TitelProgramming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings
RedaktørerBruno C. Oliveira
Antal sider22
ForlagSpringer Science+Business Media
Publikationsdato2020
Sider209-230
ISBN (Trykt)9783030644369
ISBN (Elektronisk)978-3-030-64437-6
DOI
StatusUdgivet - 2020
Begivenhed18th Asian Symposium on Programming Languages and Systems, APLAS 2020 - Fukuoka, Japan
Varighed: 30. nov. 20202. dec. 2020

Konference

Konference18th Asian Symposium on Programming Languages and Systems, APLAS 2020
LandJapan
ByFukuoka
Periode30/11/202002/12/2020
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind12470 LNCS
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Stack-Driven Program Generation of WebAssembly'. Sammen danner de et unikt fingeraftryk.

Citationsformater