Utvecklarna av V8 har presenterat en dekompilator för WebAssembly.

Utvecklarna av JavaScript-motorn V8 har presenterat verktyget wasm-decompile, som möjliggör dekompilering av det mellanliggande binära formatet WebAssembly till ett läsbart pseudokodspråk, som liknar JavaScript och C. Det föreslagna pseudokodspråket är avsevärt enklare att förstå och mer användbart för manuell analys än den textliga representationen av WebAssembly i formatet '.wat', som ligger närmare assembler än högre nivåspråk. Vid dekompileringen återspeglar man i möjligaste mån Wasm-representationen.

Dekompilatorn påslagen ingår i verktygslådan WABT, som möjliggör översättning mellan binära och textuella representationer av WebAssembly, samt analys, bearbetning, modifiering och verifiering av wasm-filer. Inom WABT utvecklas också verktyget wasm2c, som möjliggör dekompilering av wasm-filer till motsvarande kod i C-språket, som kan kompileras med en C-kompilator, men som vad gäller läsbarhet inte skiljer sig mycket från den textliga representationen 'wat'.

Till exempel kommer en kompilering till wasm av följande C-funktion

typedef struct { float x, y, z; } vec3;

float dot(const vec3 *a, const vec3 *b) {
return a. * b. +
a. * b. +
a. * b.;
}

att dekompileras av verktyget wasm-decompile till pseudokodspråket

function dot(a:{ a:float, b:float, c:float },
b:{ a:float, b:float, c:float }):float {
return a.a * b.a + a.b * b.b + a.c * b.c
}

medan omvandlingen till den textliga formatet '.wat' skulle se ut enligt följande

(func $dot (type 0) (param i32 i32) (result f32)
(f32.add
(f32.add
(f32.mul
(f32.load
(local.get 0))
(f32.load
(local.get 1)))
(f32.mul
(f32.load offset=4
(local.get 0))
(f32.load offset=4
(local.get 1))))
(f32.mul
(f32.load offset=8
(local.get 0))
(f32.load offset=8
(local.get 1))))))

Källa: opennet.ru