wasm-validate

wasm-validate [options] file

wasm-validate reads a file in the WebAssembly binary format and validates it against the WebAssembly specification. It is part of WABT (WebAssembly Binary Toolkit).
The validator checks module structure, type correctness, instruction validity, and other specification requirements. It reports errors for malformed or invalid modules that would fail to load in runtimes.
Feature flags enable or disable validation of WebAssembly proposals. Some features like mutable globals and bulk memory are enabled by default, while proposals like threads, GC, and exceptions must be explicitly enabled.

-v, --verbose

Use verbose output. Use multiple times for more detail.

Enable experimental exception handling.

Enable threading support.

Enable typed function references.

Enable tail-call support.

Enable custom annotation syntax.

Enable code metadata.

Enable garbage collection.

Enable 64-bit memory support.

Enable multi-memory support.

Enable extended constant expressions.

Enable all features.

Disable import/export mutable globals.

Disable saturating float-to-int operators.

Disable sign-extension operators.

Disable SIMD support.

Disable multi-value support.

Disable bulk-memory operations.

Disable reference types (externref).

Ignore debug names in the binary file.

Ignore errors in custom sections.

Display help message.

Display version information.

Returns 0 if the module is valid, non-zero otherwise.

Valid modules may still have runtime errors. Feature flags must match the capabilities of the target runtime. Part of the WABT package.

wasm-validate is part of WABT (WebAssembly Binary Toolkit), developed by the WebAssembly Community Group. It provides early detection of invalid modules before attempting to run them, useful in build pipelines and debugging.

wasm-objdump(1), wasm-strip(1), wasm2wat(1), wat2wasm(1), wasm2c(1)