Wasabi: A Framework for Dynamically Analyzing WebAssembly

Daniel Lehmann, Michael Pradel

WebAssembly is the new low-level language for the web and has now been implemented in all major browsers since over a year. To ensure the security, performance, and correctness of…