wasm-validate

Validate a WebAssembly file

$ wasm-validate [file.wasm]

$ wasm-validate -v [file.wasm]

$ wasm-validate --enable-threads [file.wasm]

$ wasm-validate --enable-exceptions [file.wasm]

wasm-validate [options] file

wasm-validate checks WebAssembly binary files for conformance to the WebAssembly specification. It's 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 validation of WebAssembly proposals not yet in the core specification, such as threads, exceptions, and tail calls.

-v, --verbose

Verbose output (use multiple times for more detail).

Enable threading support.

Enable exception handling.

Enable tail call optimization.

Enable function references.

Disable mutable globals.

Disable SIMD instructions.

Display help.

Display version.

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

Valid modules may still have runtime errors. Feature flags must match runtime capabilities. Part of 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)