WebAssembly-disassembler

Sådan omdanner du WASM til WAT

1. Slip en .wasm-fil på feltet, eller klik på det for at vælge en (op til 20 MB). Du kan også trykke på Indlæs et eksempelmodul for at se en lille demo.
2. Værktøjet tjekker binærfilen, validerer den og viser resultatet: ✓ Modulet er gyldigt. eller årsagen til, at det ikke er.
3. Aflæs tællerne: Funktioner (importerede og definerede), Importer, Eksporter, Typer, Hukommelser, Tabeller og Globale.
4. Læs disassemblyen i Tekstformat for WebAssembly (WAT), og Kopiér den eller tryk på Download .wat.
5. Tilpas outputtet med indstillingerne: Brug navne fra navnesektionen, Foldede udtryk (S-udtryk) og Inline-eksporter.
6. Åbn tabellerne Sektioner, Importer og Eksporter for at se filens opbygning: hver sektion med sin byteforskydning, størrelse og antal poster.

Modulet kompileres, instantieres eller køres aldrig. Værktøjet læser kun dets bytes og omdanner dem til tekst, så det er sikkert at undersøge en fil, du ikke stoler på.

Hvad WAT-outputtet viser

WebAssembly har to ækvivalente formater: den kompakte binærfil .wasm, som browsere og runtimes indlæser, og tekstformatet .wat, som er beregnet til mennesker. Disassembleren udskriver alle dele af modulet i tekstform: funktionstyper, importer, funktionslegemer, tabeller, hukommelser, globale variabler, eksporter, startfunktionen, elementsegmenter og datasegmenter.

Som standard står instruktionerne én pr. linje i stakrækkefølge, som de er gemt:

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

Med Foldede udtryk (S-udtryk) er operanderne indlejret i den instruktion, der bruger dem, som i (i32.add (local.get $a) (local.get $b)), hvilket ofte er lettere at følge. Inline-eksporter skriver (export "add") inde i funktionen i stedet for i en separat liste.

Navne, fejlsøgningsoplysninger og validering

En .wasm-fil henviser til alt via indeks. Når compileren har beholdt en brugerdefineret sektion name (almindeligt i debug-builds), viser Brug navne fra navnesektionen de oprindelige navne som $factorial. Ellers genererer wabt navne som $f2 eller $t0, så teksten forbliver læselig. Produktionsbuilds er ofte strippet for navne, så et minificeret modul viser kun genererede navne.

Valideringen følger WebAssembly-specifikationen: typer skal passe på operandstakken, indeks skal findes, og så videre. Et ugyldigt modul disassembleres stadig, når dets struktur kan læses, med valideringsfejlen ved siden af, hvilket hjælper, når du fejlsøger en compiler eller en håndskrevet binærfil. Funktioner efter MVP som SIMD, tråde, bulk memory, referencetyper, multi-value, tail calls, undtagelseshåndtering, memory64 og garbage collection er slået til ved læsning.

Værktøjet bruger wabt.js, JavaScript-udgaven af WebAssembly Binary Toolkit (wasm2wat). Det indlæses først, når du åbner en fil.