WASM u WAT disassembler

Kako pretvoriti WASM u WAT

1. Prevuci datoteku .wasm na zonu za spuštanje ili klikni na nju da je odabereš (do 20 MB). Možeš i pritisnuti Učitaj primjer modula da vidiš mali demo.
2. Alat provjerava binarnu datoteku, validira je i prikazuje rezultat: ✓ Modul je ispravan. ili razlog zašto nije.
3. Pročitaj brojače: Funkcije (uvezene i definisane), Uvozi, Izvozi, Tipovi, Memorije, Tabele i Globalne varijable.
4. Pročitaj disassembly u polju WebAssembly tekstualni format (WAT), pa ga Kopiraj ili pritisni Preuzmi .wat.
5. Podesi izlaz opcijama: Koristi nazive iz sekcije name, Složeni izrazi (S-izrazi) i Ugrađeni izvozi.
6. Otvori tabele Sekcije, Uvozi i Izvozi za raspored datoteke: svaka sekcija s pomakom u bajtovima, veličinom i brojem stavki.

Modul se nikada ne kompajlira, ne instancira niti izvršava. Alat samo čita njegove bajtove i pretvara ih u tekst, pa je sigurno pregledati datoteku kojoj ne vjeruješ.

Šta prikazuje WAT izlaz

WebAssembly ima dva ekvivalentna formata: kompaktni binarni .wasm koji učitavaju preglednici i runtime okruženja te tekstualni format .wat, namijenjen ljudima. Disassembler ispisuje svaki dio modula u tekstualnom obliku: tipove funkcija, uvoze, tijela funkcija, tabele, memorije, globalne varijable, izvoze, startnu funkciju, segmente elemenata i segmente podataka.

Po zadanom se instrukcije ispisuju jedna po redu, redoslijedom steka, onako kako su pohranjene:

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

Uz Složeni izrazi (S-izrazi) operandi se ugnježđuju unutar instrukcije koja ih koristi, kao u (i32.add (local.get $a) (local.get $b)), što je često lakše pratiti. Ugrađeni izvozi pišu (export "add") unutar funkcije umjesto u zasebnoj listi.

Nazivi, informacije za otklanjanje grešaka i validacija

Datoteka .wasm se na sve poziva indeksima. Kada je kompajler zadržao prilagođenu sekciju name (uobičajeno u debug izgradnjama), Koristi nazive iz sekcije name prikazuje izvorne nazive poput $factorial. Inače wabt generiše nazive poput $f2 ili $t0 da tekst ostane čitljiv. Produkcijske izgradnje često nemaju nazive, pa minifikovan modul prikazuje samo generisane nazive.

Validacija prati WebAssembly specifikaciju: tipovi na steku operanada moraju se podudarati, indeksi moraju postojati i slično. Neispravan modul se i dalje disassemblira kada se njegova struktura može pročitati, uz grešku validacije pored, što pomaže pri otklanjanju grešaka u kompajleru ili ručno pisanoj binarnoj datoteci. Mogućnosti nakon MVP-a, poput SIMD-a, niti, masovnih operacija s memorijom, tipova referenci, više povratnih vrijednosti, tail poziva, obrade izuzetaka, memory64 i garbage collectiona, uključene su za čitanje.

Alat koristi wabt.js, JavaScript izgradnju WebAssembly Binary Toolkita (wasm2wat). Učitava se tek kada otvoriš datoteku.