WABT(1)                     General Commands Manual                    WABT(1)

<?><?><?> (NAME)
     wasm-validate - <?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?>
     <?><?><?><?> <?><?><?><?><?><?> WebAssembly

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
     wasm-validate [options] file

<?><?><?><?><?><?><?> (DESCRIPTION)
     wasm-validate <?><?> <?><?><?><?> <?><?> <?><?> <?><?><?><?>
     <?><?><?><?><?><?> WebAssembly <?><?><?><?><?><?> <?> <?><?> <?><?>
     <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>.

     <?><?><?><?><?><?><?><?> <?><?> <?><?><?> <?><?><?> <?><?><?><?><?>:

     --help  <?><?><?><?><?> <?><?><?> <?><?><?><?> <?><?><?><?><?><?>

     --version
             <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?>

     -v, --verbose
             <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?>
             <?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>

     --enable-exceptions
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?>

     --disable-mutable-globals
             <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
             <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
             <?><?><?><?><?><?><?>/<?><?><?><?><?><?><?>

     --disable-saturating-float-to-int
             <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
             <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?>
             <?><?><?><?>

     --disable-sign-extension
             <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
             <?><?><?><?><?> <?><?><?><?><?>

     --disable-simd
             <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
             <?><?> SIMD

     --enable-threads
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
             <?><?><?><?><?><?><?> (Threading)

     --enable-function-references
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?>
             <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?>

     --disable-multi-value
             <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
             (Multi-value)

     --enable-tail-call
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
             <?><?><?><?><?><?><?><?> <?><?> (Tail-call)

     --disable-bulk-memory
             <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
             <?><?><?><?><?> <?><?><?><?><?><?><?> (Bulk-memory)

     --disable-reference-types
             <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?>
             (externref)

     --enable-annotations
             <?><?><?><?><?><?><?><?><?> <?><?><?>
             <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>

     --enable-code-metadata
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
             <?><?>

     --enable-gc
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?>
             (Garbage collection)

     --enable-memory64
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?>

     --enable-multi-memory
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
             (Multi-memory)

     --enable-extended-const
             <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?>
             <?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>

     --enable-all
             <?><?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?><?><?><?><?><?>

     --no-debug-names
             <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?>
             <?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?>
             <?><?><?><?><?><?>

     --ignore-custom-section-errors
             <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>
             <?><?><?><?><?><?><?> <?><?><?><?><?><?>

<?><?><?><?><?><?><?> (EXAMPLES)
     <?><?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> test.wasm

           $ wasm-validate test.wasm

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
     wasm-decompile(1), 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)

<?><?><?><?><?> <?><?><?><?><?><?> (BUGS)
     <?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>
     <?><?> <?><?> <?><?>
     https://github.com/WebAssembly/wabt/issues <?><?><?><?><?> <?><?><?><?>.

Linux 6.12.113+deb13-amd64     October 29, 2026     Linux 6.12.113+deb13-amd64