wasm-validate 命令

常用示例

说明

wasm-validate reads a file in the WebAssembly binary format and validates it against the WebAssembly specification. It is part of WABT (WebAssembly Binary Toolkit). The validator checks module structure, type correctness, instruction validity, and other specification requirements. It reports errors for malformed or invalid modules that would fail to load in runtimes. Feature flags enable or disable validation of WebAssembly proposals. Some features like mutable globals and bulk memory are enabled by default, while proposals like threads, GC, and exceptions must be explicitly enabled.

参数

-v, --verbose

Use verbose output. Use multiple times for more detail.

--enable-exceptions

Enable experimental exception handling.

--enable-threads

Enable threading support.

--enable-function-references

Enable typed function references.

--enable-tail-call

Enable tail-call support.

--enable-annotations

Enable custom annotation syntax.

--enable-code-metadata

Enable code metadata.

--enable-gc

Enable garbage collection.

--enable-memory64

Enable 64-bit memory support.

--enable-multi-memory

Enable multi-memory support.

--enable-extended-const

Enable extended constant expressions.

--enable-all

Enable all features.

--disable-mutable-globals

Disable import/export mutable globals.

--disable-saturating-float-to-int

Disable saturating float-to-int operators.

--disable-sign-extension

Disable sign-extension operators.

--disable-simd

Disable SIMD support.

--disable-multi-value

Disable multi-value support.

--disable-bulk-memory

Disable bulk-memory operations.

--disable-reference-types

Disable reference types (externref).

--no-debug-names

Ignore debug names in the binary file.

--ignore-custom-section-errors

Ignore errors in custom sections.

--help

Display help message.

--version

Display version information.