Wasm-V: Program Analysis for WebAssembly Binaries

Northeastern University

Wasm-V is a WebAssembly analysis and verification project focused on security, correctness, and practical binary-level workflows. The public tool webpage is not hosted yet, but this page is the research-facing writeup for the project.

WebAssembly (Wasm) has become a ubiquitous compilation target for performance-critical web applications and is increasingly used in server-side and edge computing contexts. This project develops static and dynamic analysis techniques tailored to the unique characteristics of Wasm binaries, including their structured control flow, linear memory model, and type system.

Key research directions include:

• Binary-level analysis for Wasm modules

• Verification of Wasm-level safety and security properties

• Transformation workflows for Wasm bytecode and intermediate representations

• Cross-language analysis for applications compiled from C/C++/Rust to Wasm

Tool webpage: coming soon.