Désassembleur WebAssembly

Comment convertir un fichier WASM en WAT

1. Déposez un fichier .wasm dans la zone prévue ou cliquez dessus pour le choisir (20 Mo au maximum). Vous pouvez aussi cliquer sur Charger un module d’exemple pour voir une petite démonstration.
2. L’outil contrôle le binaire, le valide et affiche le résultat : ✓ Le module est valide., ou la raison pour laquelle il ne l’est pas.
3. Consultez les compteurs : Fonctions (importées et définies), Imports, Exports, Types, Mémoires, Tables et Globales.
4. Lisez le désassemblage dans Format texte WebAssembly (WAT), puis cliquez sur Copier ou Télécharger le .wat.
5. Ajustez l’affichage avec les options Utiliser les noms de la section name, Expressions imbriquées (S-expressions) et Exports en ligne.
6. Ouvrez les tableaux Sections, Imports et Exports pour voir la structure du fichier : chaque section avec sa position en octets, sa taille et son nombre d’entrées.

Le module n’est jamais compilé, instancié ni exécuté. L’outil se contente de lire ses octets et de les traduire en texte : vous pouvez donc examiner sans risque un fichier dont vous ignorez la provenance.

Ce que montre le texte WAT

WebAssembly existe sous deux formes équivalentes : le binaire compact .wasm, que chargent les navigateurs et les environnements d’exécution, et le format texte .wat, destiné aux humains. Le désassembleur affiche toutes les parties du module sous forme de texte : types de fonctions, imports, corps des fonctions, tables, mémoires, globales, exports, fonction de démarrage, segments d’éléments et segments de données.

Par défaut, les instructions sont listées une par ligne, dans l’ordre de la pile, comme elles sont stockées :

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

Avec Expressions imbriquées (S-expressions), les opérandes sont placés à l’intérieur de l’instruction qui les utilise, comme (i32.add (local.get $a) (local.get $b)), ce qui se lit souvent plus facilement. Exports en ligne écrit (export "add") directement dans la fonction au lieu d’une liste séparée.

Noms, informations de débogage et validation

Un fichier .wasm désigne tout par des index. Si le compilateur a conservé une section personnalisée name (fréquent dans les builds de débogage), Utiliser les noms de la section name affiche les noms d’origine, comme $factorial. Sinon, wabt génère des noms comme $f2 ou $t0 pour garder le texte lisible. Les builds de production sont souvent dépouillés de leurs noms : un module minifié n’affichera que des noms générés.

La validation suit la spécification WebAssembly : les types doivent correspondre sur la pile d’opérandes, les index doivent exister, etc. Un module invalide est tout de même désassemblé si sa structure est lisible, avec l’erreur de validation à côté, ce qui aide à déboguer un compilateur ou un binaire écrit à la main. Les extensions postérieures à la première version (SIMD, threads, opérations mémoire en bloc, types référence, valeurs multiples, appels terminaux, exceptions, memory64, ramasse-miettes) sont activées en lecture.

Cet outil s’appuie sur wabt.js, la version JavaScript du WebAssembly Binary Toolkit (wasm2wat), chargée uniquement à l’ouverture d’un fichier.