1WABT(1)                   BSD General Commands Manual                  WABT(1)
2

NAME

4     wasm-validate — validate a file in the WebAssembly binary format
5

SYNOPSIS

7     wasm-validate [options] file
8

DESCRIPTION

10     wasm-validate reads a file in the WebAssembly binary format and validates
11     it.
12
13     The options are as follows:
14
15     -v, --verbose
16             Use multiple times for more info
17
18     --help  Print this help message
19
20     --enable-exceptions
21             Enable Experimental exception handling
22
23     --disable-mutable-globals
24             Disable Import/export mutable globals
25
26     --enable-saturating-float-to-int
27             Enable Saturating float-to-int operators
28
29     --enable-sign-extension
30             Enable Sign-extension operators
31
32     --enable-simd
33             Enable SIMD support
34
35     --enable-threads
36             Enable Threading support
37
38     --enable-multi-value
39             Enable Multi-value
40
41     --enable-tail-call
42             Enable Tail-call support
43
44     --no-debug-names
45             Ignore debug names in the binary file
46
47     --ignore-custom-section-errors
48             Ignore errors in custom sections
49

EXAMPLES

51     Validate binary file test.wasm
52
53           $ wasm-validate test.wasm
54

SEE ALSO

56     wasm-interp(1), wasm-objdump(1), wasm-opcodecnt(1), wasm-strip(1),
57     wasm2c(1), wasm2wat(1), wast2json(1), wat-desugar(1), wat2wasm(1),
58     spectest-interp(1)
59

BUGS

61     If you find a bug, please report it at
62     .:
63           https://github.com/WebAssembly/wabt/issues
64
65BSD                              June 20, 2019                             BSD