SoK: Analysis techniques for WebAssembly

arXiv:2401.05943v2 Announce Type: replace
Abstract: WebAssembly is a low-level bytecode language that allows high-level languages like C, C++, and Rust to be executed in the browser at near-native performance. In recent years, WebAssembly has gained widespread adoption is now natively supported by all modern browsers. However, vulnerabilities in memory-unsafe languages, like C and C++, can translate into vulnerabilities in WebAssembly binaries. Unfortunately, most WebAssembly binaries are compiled from such memory-unsafe languages, and these vulnerabilities have been shown to be practical …

adoption analysis arxiv browser browsers bytecode can cs.cr high language languages low memory modern browsers near performance rust techniques vulnerabilities webassembly