WebAssembly дисасемблер (WASM во WAT)

Како да претворите WASM во WAT

1. Спуштете датотека .wasm на површината за спуштање или кликнете на неа за избор (до 20 MB). Можете да притиснете и Вчитај примерен модул за да видите мала демонстрација.
2. Алатката ја проверува бинарната датотека, ја валидира и го покажува резултатот: ✓ Модулот е важечки. или причината зошто не е.
3. Прочитајте ги бројачите: Функции (увезени и дефинирани), Увози, Извози, Типови, Мемории, Табели и Глобални променливи.
4. Прочитајте го дисасемблирањето во Текстуален формат на WebAssembly (WAT), па Копирај го или притиснете Преземи .wat.
5. Прилагодете го излезот со опциите: Користи имиња од name секцијата, Свиткани изрази (S-изрази) и Вградени извози.
6. Отворете ги табелите Секции, Увози и Извози за распоредот на датотеката: секоја секција со своето поместување во бајти, големина и број на записи.

Модулот никогаш не се компајлира, инстанцира или извршува. Алатката само ги чита неговите бајти и ги претвора во текст, па е безбедно да прегледате датотека на која не ѝ верувате.

Што покажува WAT излезот

WebAssembly има два еквивалентни формата: компактниот бинарен .wasm што го вчитуваат прелистувачите и извршните околини, и текстуалниот формат .wat, наменет за луѓе. Дисасемблерот го печати секој дел од модулот во текстуална форма: типови на функции, увози, тела на функции, табели, мемории, глобални променливи, извози, почетната функција, сегменти на елементи и сегменти на податоци.

По основно, инструкциите се наведени по една во ред по редослед на стекот, онака како што се чуваат:

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

Со Свиткани изрази (S-изрази), операндите се вгнездени во инструкцијата што ги користи, како во (i32.add (local.get $a) (local.get $b)), што често е полесно за следење. Вградени извози го пишува (export "add") во самата функција наместо во посебна листа.

Имиња, информации за дебагирање и валидација

Датотеката .wasm упатува на сè по индекс. Кога компајлерот ја задржал custom секцијата name (вообичаено во debug градби), Користи имиња од name секцијата ги покажува оригиналните имиња како $factorial. Инаку wabt генерира имиња како $f2 или $t0 за текстот да остане читлив. Продукциските градби често се лишени од имиња, па минимизиран модул ќе покажува само генерирани имиња.

Валидацијата ја следи спецификацијата на WebAssembly: типовите мора да се совпаѓаат на стекот на операнди, индексите мора да постојат и така натаму. Неважечки модул сепак се дисасемблира кога неговата структура може да се прочита, со грешката од валидацијата покрај него, што помага при дебагирање на компајлер или рачно напишана бинарна датотека. Функциите по MVP, како SIMD, нишки, bulk memory, референтни типови, multi-value, tail calls, обработка на исклучоци, memory64 и собирање ѓубре, се овозможени за читање.

Оваа алатка користи wabt.js, JavaScript верзијата на WebAssembly Binary Toolkit (wasm2wat). Се вчитува само кога ќе отворите датотека.