SAS 2023
Sun 22 - Tue 24 October 2023 Cascais, Portugal
co-located with SPLASH 2023
Sun 22 Oct 2023 15:00 - 15:30 at Room I - Synthesis and applications Chair(s): Daniel Schoepe

Binary rewriting is a widely adopted technique in software analysis. WebAssembly (Wasm), as an emerging bytecode format, has attracted great attention from our community. Unfortunately, there is no general-purpose binary rewriting framework for Wasm, and existing effort on Wasm binary modification is error-prone and tedious. In this paper, we present BREWasm, the first general purpose static binary rewriting framework for Wasm, which has addressed inherent challenges of Wasm rewriting including high complicated binary structure, strict static syntax verification, and coupling among sections. We perform extensive evaluation on diverse Wasm applications to show the efficiency, correctness and effectiveness of BREWasm. We further show the promising direction of implementing a diverse set of binary rewriting tasks based on BREWasm in an effortless and user-friendly manner.

Sun 22 Oct

Displayed time zone: Lisbon change

14:00 - 15:30
Synthesis and applicationsSAS 2023 at Room I
Chair(s): Daniel Schoepe Amazon
14:00
30m
Talk
Generalized Program Sketching by Abstract Interpretation and Logical Abduction
SAS 2023
Aleksandar S. Dimovski Mother Teresa University, Skopje
Pre-print File Attached
14:30
30m
Talk
Reverse Template Processing using Abstract Interpretation
SAS 2023
Matthieu Lemerre Université Paris-Saclay - CEA LIST
Pre-print
15:00
30m
Talk
BREWasm: A General Static Binary Rewriting Framework for WebAssemblyRemote
SAS 2023
Shangtong Cao Beijing University of Posts and Telecommunications, Ningyu He Peking University, Yao Guo Peking University, Haoyu Wang Huazhong University of Science and Technology
Pre-print