WABT(1) General Commands Manual WABT(1)

wasm-validatevalidate a file in the WebAssembly binary format

wasm-validate [options] filename

wasm-validate Read a file in the WebAssembly binary format, and validate it.

The options are as follows:

Print this help message
Print version information
, --verbose
Use multiple times for more info
Enable Experimental exception handling
Disable Import/export mutable globals
Disable Saturating float-to-int operators
Disable Sign-extension operators
Disable SIMD support
Enable Threading support
Enable Typed function references
Disable Multi-value
Enable Tail-call support
Disable Bulk-memory operations
Disable Reference types (externref)
Enable Custom annotation syntax
Enable Code metadata
Enable Garbage collection
Enable 64-bit memory
Enable Multi-memory
Enable Extended constant expressions
Enable Relaxed SIMD
Enable Custom page sizes
Enable Compact import section
Enable Wide arithmetic
Enable all features
Ignore debug names in the binary file

validate binary file test.wasm

$ wasm-validate test.wasm

wasm-interp(1), wasm-objdump(1), wasm-stats(1), wasm-strip(1), wasm2c(1), wasm2wat(1), wast2json(1), wat-desugar(1), wat2wasm(1), spectest-interp(1)

If you find a bug, please report it at
https://github.com/WebAssembly/wabt/issues.

June 22, 2026 Debian