Gecko [ fernandoquevedodop.com ]

Name	Size	Permission
printer	[ DIR ]	drwxr-xr-x
get-producer-section.js	1.08 KB	-rwxr-xr-x
wasm2wast.js	814 B	-rwxr-xr-x
wasmast.js	607 B	-rwxr-xr-x
wasmdump.js	684 B	-rwxr-xr-x
wasmrun.js	2.61 KB	-rwxr-xr-x
wast-to-wasm-semantics.js	756 B	-rwxr-xr-x
wastast.js	403 B	-rwxr-xr-x

#!/usr/bin/env node

var _require = require("@webassemblyjs/wasm-parser"),
    decode = _require.decode;

var _require2 = require("@webassemblyjs/ast"),
    traverse = _require2.traverse;

var _require3 = require("fs"),
    readFileSync = _require3.readFileSync;

function toArrayBuffer(buf) {
  return buf.buffer.slice(buf.byteOffset, buf.byteOffset + buf.byteLength);
}

var filename = process.argv[2];

if (typeof filename === "undefined") {
  throw new Error("Missing file");
}

var decoderOpts = {
  ignoreCodeSection: true,
  ignoreDataSection: true
}; // $FlowIgnore: this is correct but not correctly documented

if (found === false) {
  console.error("no producer section found");
}