Разработчиците на V8 представиха декомпилатор за WebAssembly

Разработчиците на JavaScript двигателя V8 представиха инструмент wasm-decompile, позволяваща декомпилиране на междинното бинарно представяне WebAssembly в четим псевдоязик, наподобяващ JavaScript и C. Предложеният псевдоязик е значително по-лесен за възприемане и по-подходящ за ръчно разбиране, отколкото текстовото представяне на WebAssembly във формат „.wat“, което е по-близо до асемблер, отколкото до езици с високо ниво. В същото време декомпилацията по възможност напълно отразява представянето на Wasm.

Декомпилатор включен в инструментария WABT, осигуряващ транслация между бинарно и текстово представяне на WebAssembly, както и анализ, обработка, модификация и проверка на wasm файлове. В WABT се развива и утилита wasm2c, позволяваща декомпилиране на wasm файлове в еквивалентен код на C, който може да бъде компилиран с C компилатор, но по отношение на четимостта малко се различава от текстовото представяне „wat“.

Например, скомпилираната в wasm изходна C функция

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

float dot(const vec3 *a, const vec3 *b) {
return a->x * b->x +
a->y * b->y +
a->z * b->z;
}

ще бъде декомпилирана с утилитата wasm-decompile в псевдоязика

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
}

докато преобразуването в текстов формат „.wat“ ще изглежда по следния начин

(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))))))

Източник: opennet.ru