WebAssembly - 验证

在本章中，我们将讨论 web assembly.validate() 函数，该函数将验证 .wasm 输出。当我们编译 C、C++ 或 Rust 代码时，.wasm 可用。

您可以使用以下工具来获取 wasm 代码。

句法

语法如下 -

WebAssembly.validate(bufferSource);

参数

bufferSource - bufferSource 具有来自 C、C++ 或 Rust 程序的二进制代码。它采用 typedarray 或 ArrayBuffer 的形式。

返回值

如果 .wasm 代码有效，该函数将返回 true，否则返回 false。

让我们尝试一个例子。转到Wasm fiddler（位于https://wasdk.github.io/WasmFiddle/），输入您选择的 C 代码并下载 wasm 代码。

缓冲源

红色标记的块是 C 代码。单击中心的“构建”按钮来执行代码。

证实

单击 Wasm 按钮下载 .wasm 代码。将 .wasm 保存在您的末尾，让我们使用它进行验证。

例子

例如：validate.html

<!doctype html>
<html>
   <head> 
      <meta charset="utf-8">
      <title>Testing WASM validate()</title>
   </head>
   <body>
      <script> 
         fetch('program.wasm').then(res => res.arrayBuffer() ).then(function(testbytes) {
         var valid = WebAssembly.validate(testbytes); 
            if (valid) {
               console.log("Valid Wasm Bytes!"); 
            } else {
               console.log("Invalid Wasm Code!"); 
            }
         }); 
      </script> 
   </body>
</html>

我已在 wamp 服务器中托管了上述 .html 文件以及下载的 .wasm 文件。这是在浏览器中测试时的输出。

输出

输出如下 -

提及