Deasembler WebAssembly (WASM na WAT)

Jak zamienić WASM na WAT

1. Upuść plik .wasm na pole upuszczania albo kliknij je, aby wybrać plik (do 20 MB). Możesz też kliknąć Wczytaj przykładowy moduł, aby zobaczyć małe demo.
2. Narzędzie sprawdza plik binarny, weryfikuje go i pokazuje wynik: ✓ Moduł jest poprawny. albo powód, dla którego nie jest.
3. Odczytaj liczniki: Funkcje (importowane i zdefiniowane), Importy, Eksporty, Typy, Pamięci, Tabele i Zmienne globalne.
4. Przeczytaj deasemblację w polu Format tekstowy WebAssembly (WAT), a następnie użyj Kopiuj albo Pobierz .wat.
5. Dostosuj wynik opcjami: Użyj nazw z sekcji name, Wyrażenia zagnieżdżone (S-wyrażenia) i Eksporty w linii.
6. Otwórz tabele Sekcje, Importy i Eksporty, aby zobaczyć układ pliku: każdą sekcję z przesunięciem w bajtach, rozmiarem i liczbą wpisów.

Moduł nigdy nie jest kompilowany, instancjonowany ani uruchamiany. Narzędzie tylko odczytuje jego bajty i zamienia je na tekst, więc można bezpiecznie obejrzeć plik, któremu nie ufasz.

Co pokazuje wynik WAT

WebAssembly ma dwa równoważne formaty: zwarty binarny .wasm, który wczytują przeglądarki i środowiska uruchomieniowe, oraz format tekstowy .wat, przeznaczony dla ludzi. Deasembler wypisuje w postaci tekstowej każdą część modułu: typy funkcji, importy, ciała funkcji, tabele, pamięci, zmienne globalne, eksporty, funkcję startową, segmenty elementów i segmenty danych.

Domyślnie instrukcje są wypisywane po jednej w linii, w kolejności stosu, tak jak są zapisane:

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

Z opcją Wyrażenia zagnieżdżone (S-wyrażenia) operandy są zagnieżdżane wewnątrz instrukcji, która ich używa, jak w (i32.add (local.get $a) (local.get $b)), co często łatwiej śledzić. Eksporty w linii zapisuje (export "add") wewnątrz funkcji zamiast na osobnej liście.

Nazwy, informacje debugowania i walidacja

Plik .wasm odwołuje się do wszystkiego przez indeksy. Gdy kompilator zachował sekcję niestandardową name (typowe w buildach debugowych), opcja Użyj nazw z sekcji name pokazuje oryginalne nazwy, np. $factorial. W przeciwnym razie wabt generuje nazwy w rodzaju $f2 lub $t0, aby tekst pozostał czytelny. Buildy produkcyjne często mają nazwy usunięte, więc zminifikowany moduł pokaże tylko nazwy wygenerowane.

Walidacja jest zgodna ze specyfikacją WebAssembly: typy na stosie operandów muszą się zgadzać, indeksy muszą istnieć itd. Niepoprawny moduł jest mimo to deasemblowany, jeśli da się odczytać jego strukturę, a obok pojawia się błąd walidacji – to pomaga przy debugowaniu kompilatora albo ręcznie pisanego pliku binarnego. Funkcje spoza MVP, takie jak SIMD, wątki, bulk memory, typy referencyjne, multi-value, wywołania ogonowe, obsługa wyjątków, memory64 i garbage collection, są włączone przy odczycie.

Narzędzie korzysta z wabt.js, javascriptowej wersji WebAssembly Binary Toolkit (wasm2wat). Jest ona wczytywana dopiero po otwarciu pliku.