webassemblyのバイナリコード構造に混乱があります

Question

ウェブアセンブリのモジュール構造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は "カスタム" です。

デコード方法を知るには、それぞれのセクションの説明を参照してください。

"最後の現在のセクションの終わりは、モジュールの最後のバイトと一致する必要があります。"セクションをデコードし、デコードされた長さがペイロードデータと一致しない場合は、検証エラーです。