WebAssembly disasemblers

Kā pārvērst WASM par WAT

1. Nometiet .wasm failu nomešanas zonā vai noklikšķiniet uz tās, lai izvēlētos failu (līdz 20 MB). Varat arī nospiest Ielādēt piemēra moduli, lai redzētu nelielu demonstrāciju.
2. Rīks pārbauda bināro failu, validē to un parāda rezultātu: ✓ Modulis ir derīgs. vai iemeslu, kāpēc nav.
3. Izlasiet skaitītājus: Funkcijas (importētas un definētas), Importi, Eksporti, Tipi, Atmiņas, Tabulas un Globālie mainīgie.
4. Izlasiet disasemblēto izvadi sadaļā WebAssembly teksta formāts (WAT), tad Kopēt to vai nospiediet Lejupielādēt .wat.
5. Pielāgojiet izvadi ar iespējām: Izmantot nosaukumus no nosaukumu sadaļas, Salocītas izteiksmes (S-izteiksmes) un Iekļauti eksporti.
6. Atveriet tabulas Sadaļas, Importi un Eksporti, lai redzētu faila uzbūvi: katra sadaļa ar baita nobīdi, izmēru un ierakstu skaitu.

Modulis nekad netiek kompilēts, instancēts vai palaists. Rīks tikai nolasa tā baitus un pārvērš tos tekstā, tāpēc ir droši pārbaudīt failu, kuram neuzticaties.

Ko rāda WAT izvade

WebAssembly ir divi līdzvērtīgi formāti: kompaktais binārais .wasm, ko ielādē pārlūkprogrammas un izpildlaiki, un teksta formāts .wat, kas paredzēts cilvēkiem. Disasemblers izdrukā katru moduļa daļu teksta formā: funkciju tipus, importus, funkciju pamatdaļas, tabulas, atmiņas, globālos mainīgos, eksportus, sākuma funkciju, elementu segmentus un datu segmentus.

Pēc noklusējuma instrukcijas tiek uzskaitītas pa vienai rindā steka secībā, tā, kā tās glabājas:

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

Ar Salocītas izteiksmes (S-izteiksmes) operandi tiek ligzdoti instrukcijā, kas tos izmanto, kā (i32.add (local.get $a) (local.get $b)), ko bieži ir vieglāk sekot. Iekļauti eksporti raksta (export "add") funkcijas iekšpusē, nevis atsevišķā sarakstā.

Nosaukumi, atkļūdošanas informācija un validācija

.wasm fails visam atsaucas pēc indeksa. Ja kompilators saglabājis name pielāgoto sadaļu (bieži atkļūdošanas būvējumos), Izmantot nosaukumus no nosaukumu sadaļas rāda sākotnējos nosaukumus, piemēram, $factorial. Pretējā gadījumā wabt ģenerē nosaukumus, piemēram, $f2 vai $t0, lai teksts paliktu lasāms. Ražošanas būvējumos nosaukumi bieži tiek noņemti, tāpēc minimizēts modulis rādīs tikai ģenerētus nosaukumus.

Validācija seko WebAssembly specifikācijai: tipiem jāsakrīt uz operandu steka, indeksiem jāpastāv utt. Nederīgs modulis tāpat tiek disasemblēts, ja tā struktūru var nolasīt, ar validācijas kļūdu blakus, kas palīdz, atkļūdojot kompilatoru vai ar roku rakstītu bināro failu. Pēc-MVP iespējas, piemēram, SIMD, pavedieni, masveida atmiņa, atsauču tipi, vairākvērtību atgriešana, astes izsaukumi, izņēmumu apstrāde, memory64 un atkritumu savākšana, lasīšanai ir ieslēgtas.

Šis rīks izmanto wabt.js, WebAssembly Binary Toolkit (wasm2wat) JavaScript būvējumu. Tas tiek ielādēts tikai tad, kad atverat failu.