Desassemblador WebAssembly

Como converter WASM em WAT

1. Larga um ficheiro .wasm na zona de largar ficheiros ou clica nela para escolher um (até 20 MB). Também podes carregar em Carregar um módulo de exemplo para ver uma pequena demonstração.
2. A ferramenta analisa o binário, valida-o e mostra o resultado: ✓ O módulo é válido., ou o motivo pelo qual não é.
3. Consulta os contadores: Funções (importadas e definidas), Importações, Exportações, Tipos, Memórias, Tabelas e Globais.
4. Lê a desmontagem em Formato de texto WebAssembly (WAT) e depois Copiar ou Transferir .wat.
5. Ajusta o resultado com as opções Usar os nomes da secção name, Expressões aninhadas (S-expressions) e Exportações em linha.
6. Abre as tabelas Secções, Importações e Exportações para ver a estrutura do ficheiro: cada secção com o seu deslocamento em bytes, o tamanho e o número de entradas.

O módulo nunca é compilado, instanciado nem executado. A ferramenta limita-se a ler os bytes e a transformá-los em texto, por isso podes inspecionar com segurança um ficheiro em que não confias.

O que mostra o resultado WAT

O WebAssembly tem dois formatos equivalentes: o binário compacto .wasm, que os navegadores e os runtimes carregam, e o formato de texto .wat, pensado para ser lido por pessoas. O desassemblador escreve em texto todas as partes do módulo: tipos de função, importações, corpos das funções, tabelas, memórias, globais, exportações, a função de arranque, os segmentos de elementos e os segmentos de dados.

Por omissão, as instruções aparecem uma por linha, pela ordem da pilha, tal como estão guardadas:

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

Com Expressões aninhadas (S-expressions), os operandos ficam dentro da instrução que os usa, como em (i32.add (local.get $a) (local.get $b)), o que muitas vezes é mais fácil de seguir. Exportações em linha escreve (export "add") dentro da própria função em vez de numa lista à parte.

Nomes, informação de depuração e validação

Um ficheiro .wasm refere-se a tudo por índice. Quando o compilador manteve uma secção personalizada name (habitual em compilações de depuração), Usar os nomes da secção name mostra os nomes originais, como $factorial. Caso contrário, o wabt gera nomes como $f2 ou $t0 para que o texto continue legível. As compilações de produção costumam ter os nomes removidos, por isso um módulo minificado mostra apenas nomes gerados.

A validação segue a especificação WebAssembly: os tipos têm de bater certo na pilha de operandos, os índices têm de existir, e assim por diante. Um módulo inválido é desassemblado na mesma desde que a sua estrutura possa ser lida, com o erro de validação ao lado, o que ajuda quando estás a depurar um compilador ou um binário escrito à mão. As funcionalidades posteriores ao MVP, como SIMD, threads, bulk memory, reference types, multi-value, tail calls, tratamento de exceções, memory64 e garbage collection, estão ativadas para leitura.

Esta ferramenta usa o wabt.js, a versão JavaScript do WebAssembly Binary Toolkit (wasm2wat). Só é carregado quando abres um ficheiro.