WASM Validate
WASM 验证检查字节码是否符合 WASM 规范（类型、结构、内存边界），验证通过的模块保证执行不产生未定义行为。
用途
在实例化前验证 WASM 字节码合法性，确保安全执行无未定义行为。
机制
WebAssembly.validate(bytes)→bool：检查字节码类型一致性、控制流结构、内存/表边界、函数签名匹配。验证通过保证执行安全（无越界、类型错误）。失败则拒绝实例化。
用例
- WASM 安全验证
- 字节码检查
- 编译前验证
WASM 验证检查字节码是否符合 WASM 规范（类型、结构、内存边界），验证通过的模块保证执行不产生未定义行为。
在实例化前验证 WASM 字节码合法性，确保安全执行无未定义行为。
WebAssembly.validate(bytes)→bool：检查字节码类型一致性、控制流结构、内存/表边界、函数签名匹配。验证通过保证执行安全（无越界、类型错误）。失败则拒绝实例化。