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 Read a file in the WebAssembly binary format, and validate
11     it.
12
13     The options are as follows:
14
15     --help  Print this help message
16
17     --version
18             Print version information
19
20     -v, --verbose
21             Use multiple times for more info
22
23     --enable-exceptions
24             Enable Experimental exception handling
25
26     --disable-mutable-globals
27             Disable Import/export mutable globals
28
29     --disable-saturating-float-to-int
30             Disable Saturating float-to-int operators
31
32     --disable-sign-extension
33             Disable Sign-extension operators
34
35     --disable-simd
36             Disable SIMD support
37
38     --enable-threads
39             Enable Threading support
40
41     --enable-function-references
42             Enable Typed function references
43
44     --disable-multi-value
45             Disable Multi-value
46
47     --enable-tail-call
48             Enable Tail-call support
49
50     --disable-bulk-memory
51             Disable Bulk-memory operations
52
53     --disable-reference-types
54             Disable Reference types (externref)
55
56     --enable-annotations
57             Enable Custom annotation syntax
58
59     --enable-code-metadata
60             Enable Code metadata
61
62     --enable-gc
63             Enable Garbage collection
64
65     --enable-memory64
66             Enable 64-bit memory
67
68     --enable-multi-memory
69             Enable Multi-memory
70
71     --enable-extended-const
72             Enable Extended constant expressions
73
74     --enable-all
75             Enable all features
76
77     --no-debug-names
78             Ignore debug names in the binary file
79
80     --ignore-custom-section-errors
81             Ignore errors in custom sections
82

EXAMPLES

84     Validate binary file test.wasm
85
86           $ wasm-validate test.wasm
87

SEE ALSO

89     wasm-decompile(1), wasm-interp(1), wasm-objdump(1), wasm-opcodecnt(1),
90     wasm-strip(1), wasm2c(1), wasm2wat(1), wast2json(1), wat-desugar(1),
91     wat2wasm(1), spectest-interp(1)
92

BUGS

94     If you find a bug, please report it at
95     https://github.com/WebAssembly/wabt/issues
96
97BSD                            February 8, 2023                            BSD
Impressum