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

Разработчики JavaScript-движка V8 представили утилиту wasm-decompile, позволяющую декомпилировать промежуточное бинарное представление WebAssembly в читаемый псевдоязык, напоминающий JavaScript и Си. Предложенный псевдоязык существенно проще для восприятия и более пригоден для ручного разбора, чем текстовое представление WebAssembly в формате «.wat», который ближе к ассемблеру, чем к высокоуровневым языкам. При этом декомпиляция по возможности полностью отражает представление Wasm.

Декомпилятор включён в состав инструментария WABT, обеспечивающего трансляцию между бинарным и текстовым представлениями WebAssembly, а также разбор, обработку, модификацию и проверку wasm-файлов. В составе WABT также развивается утилита wasm2c, позволяющая декомпилировать файлы wasm в эквивалентный код на языке Си, который может быть скомпилирован Си-компилятором, но в плане читаемости мало чем отличается от текстового представления «wat».

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

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

Источник: http://www.opennet.ru/opennews/art.shtml?num=52833