Disassemblatore WebAssembly

Come convertire WASM in WAT

1. Trascina un file .wasm sull’area di caricamento oppure fai clic per sceglierlo (fino a 20 MB). Puoi anche premere Carica un modulo di esempio per vedere una piccola demo.
2. Lo strumento controlla il binario, lo valida e mostra l’esito: ✓ Il modulo è valido. oppure il motivo per cui non lo è.
3. Leggi i contatori: Funzioni (importate e definite), Import, Export, Tipi, Memorie, Tabelle e Globali.
4. Leggi il disassemblato in Formato testuale WebAssembly (WAT), poi premi Copia o Scarica .wat.
5. Regola l’output con le opzioni Usa i nomi della sezione name, Espressioni annidate (S-expression) ed Export in linea.
6. Apri le tabelle Sezioni, Import ed Export per vedere la struttura del file: ogni sezione con il suo offset in byte, la dimensione e il numero di voci.

Il modulo non viene mai compilato, istanziato o eseguito. Lo strumento ne legge solo i byte e li trasforma in testo, quindi puoi ispezionare senza rischi anche un file di cui non ti fidi.

Cosa mostra l’output WAT

WebAssembly ha due formati equivalenti: il binario compatto .wasm, che browser e runtime caricano, e il formato testuale .wat, pensato per le persone. Il disassemblatore stampa in forma testuale ogni parte del modulo: tipi delle funzioni, import, corpi delle funzioni, tabelle, memorie, globali, export, funzione di avvio, segmenti element e segmenti data.

Per impostazione predefinita le istruzioni sono elencate una per riga, nell’ordine dello stack, così come sono memorizzate:

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

Con Espressioni annidate (S-expression) gli operandi vengono inseriti dentro l’istruzione che li usa, come in (i32.add (local.get $a) (local.get $b)), una forma spesso più facile da seguire. Export in linea scrive (export "add") dentro la funzione invece che in un elenco separato.

Nomi, informazioni di debug e validazione

Un file .wasm fa riferimento a tutto tramite indici. Se il compilatore ha conservato una sezione personalizzata name (frequente nelle build di debug), Usa i nomi della sezione name mostra i nomi originali, come $factorial. Altrimenti wabt genera nomi come $f2 o $t0, così il testo resta leggibile. Le build di produzione vengono spesso private dei nomi, quindi un modulo minificato mostrerà solo nomi generati.

La validazione segue la specifica WebAssembly: i tipi sullo stack degli operandi devono corrispondere, gli indici devono esistere e così via. Un modulo non valido viene comunque disassemblato se la sua struttura è leggibile, con l’errore di validazione accanto: utile quando fai il debug di un compilatore o di un binario scritto a mano. Le funzionalità post-MVP come SIMD, thread, bulk memory, reference types, multi-value, tail call, gestione delle eccezioni, memory64 e garbage collection sono abilitate in lettura.

Lo strumento usa wabt.js, la build JavaScript del WebAssembly Binary Toolkit (wasm2wat), che viene caricata solo quando apri un file.