Gecko [ c.stage.kornherr.net ]

Name	Size	Permission	Date
printer	[ DIR ]	drwxr-xr-x	2024-07-09 20:45
get-producer-section.js	1.08 KB	-rwxr-xr-x	2022-07-28 19:10
wasm2wast.js	814 B	-rwxr-xr-x	2022-07-28 19:10
wasmast.js	607 B	-rwxr-xr-x	2022-07-28 19:10
wasmdump.js	796 B	-rwxr-xr-x	2022-07-28 19:10
wasmrun.js	2.64 KB	-rwxr-xr-x	2022-07-28 19:10
wast-to-wasm-semantics.js	756 B	-rwxr-xr-x	2022-07-28 19:10
wastast.js	403 B	-rwxr-xr-x	2022-07-28 19:10

#!/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");
}