BREWasm: A General Static Binary Rewriting Framework for WebAssemblyRemote
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 OctDisplayed time zone: Lisbon change
14:00 - 15:30 | |||
14:00 30mTalk | Generalized Program Sketching by Abstract Interpretation and Logical Abduction SAS 2023 Aleksandar S. Dimovski Mother Teresa University, Skopje Pre-print File Attached | ||
14:30 30mTalk | Reverse Template Processing using Abstract Interpretation SAS 2023 Matthieu Lemerre Université Paris-Saclay - CEA LIST Pre-print | ||
15:00 30mTalk | 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 |