WebAssembly Disassembler

Paano i-convert ang WASM sa WAT

1. I-drop ang isang .wasm file sa drop zone, o i-click ito para pumili (hanggang 20 MB). Puwede mo ring pindutin ang Mag-load ng halimbawang module para makita ang maliit na demo.
2. Sinusuri ng tool ang binary, vina-validate ito at ipinapakita ang resulta: ✓ Valid ang module., o ang dahilan kung bakit hindi.
3. Basahin ang mga counter: Mga function (na-import at na-define), Mga import, Mga export, Mga uri, Mga memory, Mga table at Mga global.
4. Basahin ang disassembly sa WebAssembly text format (WAT), pagkatapos ay Kopyahin ito o pindutin ang I-download ang .wat.
5. Isaayos ang output gamit ang mga opsyon: Gamitin ang mga pangalan mula sa name section, Mga folded expression (S-expression) at Mga inline export.
6. Buksan ang mga talahanayan ng Mga section, Mga import at Mga export para sa layout ng file: bawat section kasama ang byte offset, laki at bilang ng mga entry nito.

Hindi kailanman kino-compile, ini-instantiate o pinapatakbo ang module. Binabasa lang ng tool ang mga byte nito at ginagawang text, kaya ligtas suriin ang file na hindi mo pinagkakatiwalaan.

Ano ang ipinapakita ng WAT output

May dalawang magkapantay na format ang WebAssembly: ang compact na binary na .wasm na nilo-load ng mga browser at runtime, at ang text format na .wat, na para sa tao. Inililimbag ng disassembler ang bawat bahagi ng module sa anyong text: mga uri ng function, import, katawan ng function, table, memory, global, export, start function, element segment at data segment.

Bilang default, nakalista ang mga instruction nang isa bawat linya sa pagkakasunod ng stack, gaya ng pagkaka-imbak:

(func $add (param $a i32) (param $b i32) (result i32)
  local.get $a
  local.get $b
  i32.add)

Sa Mga folded expression (S-expression), naka-nest ang mga operand sa loob ng instruction na gumagamit sa kanila, gaya ng (i32.add (local.get $a) (local.get $b)), na kadalasang mas madaling sundan. Isinusulat ng Mga inline export ang (export "add") sa loob ng function sa halip na sa hiwalay na listahan.

Mga pangalan, debug information at validation

Sa index tumutukoy ang .wasm file sa lahat ng bagay. Kapag pinanatili ng compiler ang custom section na name (karaniwan sa mga debug build), ipinapakita ng Gamitin ang mga pangalan mula sa name section ang orihinal na mga pangalan gaya ng $factorial. Kung hindi, gumagawa ang wabt ng mga pangalan gaya ng $f2 o $t0 para manatiling nababasa ang text. Madalas tinatanggalan ng mga pangalan ang mga production build, kaya ang minified na module ay magpapakita lang ng mga nabuong pangalan.

Sumusunod ang validation sa WebAssembly specification: dapat tumugma ang mga uri sa operand stack, dapat umiiral ang mga index, at iba pa. Dinidisassemble pa rin ang invalid na module kapag mababasa ang istruktura nito, kasama ang validation error sa tabi nito, na nakakatulong kapag nagde-debug ka ng compiler o sulat-kamay na binary. Naka-enable para sa pagbasa ang mga post-MVP na tampok gaya ng SIMD, thread, bulk memory, reference type, multi-value, tail call, exception handling, memory64 at garbage collection.

Gumagamit ang tool na ito ng wabt.js, ang JavaScript build ng WebAssembly Binary Toolkit (wasm2wat). Nilo-load lang ito kapag nagbukas ka ng file.