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
Disable 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
Disable Tail-call support
Disable Bulk-memory operations
Disable Reference types (externref)
Disable Custom annotation syntax
Enable Code metadata
Enable Garbage collection
Disable 64-bit memory
Disable Multi-memory
Disable Extended constant expressions
Disable 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.

August 25, 2026 Debian