WebAssembly-disassembleri

Näin muunnat WASMin WAT-muotoon

1. Pudota .wasm-tiedosto pudotusalueelle tai napsauta sitä valitaksesi tiedoston (enintään 20 Mt). Voit myös painaa Lataa esimerkkimoduuli nähdäksesi pienen esimerkin.
2. Työkalu tarkistaa binäärin, validoi sen ja näyttää tuloksen: ✓ Moduuli on kelvollinen. tai syyn, miksi se ei ole.
3. Lue laskurit: Funktiot (tuodut ja määritellyt), Tuonnit, Viennit, Tyypit, Muistit, Taulukot ja Globaalit.
4. Lue disassemblointi kohdasta WebAssemblyn tekstimuoto (WAT) ja Kopioi se tai paina Lataa .wat.
5. Säädä tulostetta asetuksilla: Käytä nimiä name-osiosta, Laskostetut lausekkeet (S-lausekkeet) ja Rivinsisäiset viennit.
6. Avaa taulukot Osiot, Tuonnit ja Viennit nähdäksesi tiedoston rakenteen: jokainen osio tavusiirtymineen, kokoineen ja merkintöjen määrineen.

Moduulia ei koskaan käännetä, instantioida tai ajeta. Työkalu vain lukee sen tavut ja muuttaa ne tekstiksi, joten on turvallista tutkia tiedostoa, johon et luota.

Mitä WAT-tuloste näyttää

WebAssemblylla on kaksi vastaavaa muotoa: tiivis binäärinen .wasm, jonka selaimet ja ajoympäristöt lataavat, ja tekstimuoto .wat, joka on tarkoitettu ihmisille. Disassembleri tulostaa jokaisen moduulin osan tekstimuodossa: funktiotyypit, tuonnit, funktioiden rungot, taulukot, muistit, globaalit, viennit, aloitusfunktion, elementtisegmentit ja datasegmentit.

Oletuksena käskyt listataan yksi per rivi pinon järjestyksessä, siinä muodossa kuin ne on tallennettu:

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

Asetuksella Laskostetut lausekkeet (S-lausekkeet) operandit sisäkkäistetään niitä käyttävän käskyn sisään, kuten (i32.add (local.get $a) (local.get $b)), mitä on usein helpompi seurata. Rivinsisäiset viennit kirjoittaa (export "add") funktion sisään erillisen listan sijaan.

Nimet, virheenkorjaustiedot ja validointi

.wasm-tiedosto viittaa kaikkeen indeksein. Kun kääntäjä on säilyttänyt name-mukautetun osion (yleistä virheenkorjausversioissa), Käytä nimiä name-osiosta näyttää alkuperäiset nimet, kuten $factorial. Muuten wabt luo nimiä, kuten $f2 tai $t0, jotta teksti pysyy luettavana. Tuotantoversioista nimet usein poistetaan, joten minimoitu moduuli näyttää vain luotuja nimiä.

Validointi noudattaa WebAssembly-määrittelyä: tyyppien on täsmättävä operandipinossa, indeksien on oltava olemassa ja niin edelleen. Virheellinen moduuli disassembloidaan silti, kun sen rakenne voidaan lukea, ja validointivirhe näytetään sen vieressä, mikä auttaa kääntäjän tai käsin kirjoitetun binäärin virheenkorjauksessa. MVP:n jälkeiset ominaisuudet, kuten SIMD, säikeet, bulk memory, viitetyypit, multi-value, tail call, poikkeustenkäsittely, memory64 ja roskienkeruu, on otettu käyttöön lukemista varten.

Tämä työkalu käyttää wabt.js:ää, WebAssembly Binary Toolkitin (wasm2wat) JavaScript-versiota. Se ladataan vasta, kun avaat tiedoston.