Webassembly的二进制代码结构混淆

Question

我想根据webassembly的模块结构doc识别wasm二进制模块的每个部分。我已经做了那些recognizations的一部分，如下面所示：

screenshot

在红色代码被标记为“魔码”;

暗橙色的代码被标记为“版本号”;

淡黄色的代码被标记为第一部分的“id”;

深绿色的代码被标记为“有效载荷长度”，其为“varuint7”格式;

我不知道如何识别下面的部分，有点混淆哪部分是“有效载荷数据”？ “最后一部分的结尾必须与模块的最后一个字节一致”的含义是什么？在官方文档中写道。

Answer 1

我建议看看现有的WebAssembly二进制解析器来帮助理解。这里是the WebKit one。

每个部分都以详细的​​的部分特定的方式解码。你看看id和payload_length，然后根据部分ID解码相应的部分。从该页面部分号码：

1. 类型
2. 进口
3. 功能
4. 表
5. 内存
6. 全球
7. 出口
8. 开始
9. 元
10. 代码
11. 数据

另外，0是 “定制”。

转到每个部分的描述，以了解如何解码它们。 “

”最后一部分的结尾必须与模块的最后一个字节重合。“意味着如果你解码一个部分，并且解码后的长度与有效载荷数据不匹配，那么这是一个验证错误。