blob: ebc7ccfb35d43b8580072b32d719fb70d71b2924 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
.Dd $Mdocdate$
.Dt WABT 1
.Os
.Sh NAME
.Nm wasm-validate
.Nd validate a file in the WebAssembly binary format
.Sh SYNOPSIS
.Nm wasm-validate
.Op options
.Ar file
.Sh DESCRIPTION
.Nm
reads a file in the WebAssembly binary format and validates it.
.Pp
The options are as follows:
.Bl -tag -width Ds
.It Fl v , Fl Fl verbose
Use multiple times for more info
.It Fl Fl help
Print this help message
.It Fl Fl enable-exceptions
Enable Experimental exception handling
.It Fl Fl disable-mutable-globals
Disable Import/export mutable globals
.It Fl Fl enable-saturating-float-to-int
Enable Saturating float-to-int operators
.It Fl Fl enable-sign-extension
Enable Sign-extension operators
.It Fl Fl enable-simd
Enable SIMD support
.It Fl Fl enable-threads
Enable Threading support
.It Fl Fl enable-multi-value
Enable Multi-value
.It Fl Fl enable-tail-call
Enable Tail-call support
.It Fl Fl no-debug-names
Ignore debug names in the binary file
.It Fl Fl ignore-custom-section-errors
Ignore errors in custom sections
.El
.Sh EXAMPLES
Validate binary file test.wasm
.Pp
.Dl $ wasm-validate test.wasm
.Sh SEE ALSO
.Xr wasm-interp 1 ,
.Xr wasm-objdump 1 ,
.Xr wasm-opcodecnt 1 ,
.Xr wasm-strip 1 ,
.Xr wasm2c 1 ,
.Xr wasm2wat 1 ,
.Xr wast2json 1 ,
.Xr wat-desugar 1 ,
.Xr wat2wasm 1 ,
.Xr spectest-interp 1
.Sh BUGS
If you find a bug, please report it at
.br
.Lk https://github.com/WebAssembly/wabt/issues .
|
