warpo 2.5.0-alpha-2 → 3.0.0

package/dist/heap_analyzer/src/dwarfParser.js

@@ -0,0 +1,366 @@
+// Copyright (C) 2026 wasm-ecosystem
+// SPDX-License-Identifier: Apache-2.0
+/**
+ * DWARF debug information parser for WebAssembly files.
+ *
+ * Parses DWARF4 debug sections (debug_info, debug_abbrev, debug_str) from
+ * wasm custom sections. Uses wasmparser to decode the wasm binary and
+ * extract custom sections, then performs low-level DWARF parsing on the
+ * raw bytes.
+ */
+import { BinaryReader } from "wasmparser";
+// ── DWARF constants ──────────────────────────────────────────────────────────
+/** DWARF tag values (DW_TAG_*). */
+export const DW_TAG = {
+    compile_unit: 0x11,
+    class_type: 0x02,
+    inheritance: 0x1c,
+    member: 0x0d,
+    base_type: 0x24,
+    template_type_parameter: 0x2f,
+    formal_parameter: 0x05,
+    lexical_block: 0x0b,
+    subprogram: 0x2e,
+    variable: 0x34,
+};
+/** DWARF attribute names (DW_AT_*). */
+export const DW_AT = {
+    name: 0x03,
+    location: 0x02,
+    byte_size: 0x0b,
+    producer: 0x25,
+    type: 0x49,
+    data_member_location: 0x38,
+    signature: 0x69,
+    low_pc: 0x11,
+    high_pc: 0x12,
+};
+/** DWARF form values (DW_FORM_*). */
+export const DW_FORM = {
+    addr: 0x01,
+    data4: 0x06,
+    string: 0x08,
+    strp: 0x0e,
+    ref4: 0x13,
+};
+class BufferReader {
+    view;
+    offset;
+    constructor(data, offset = 0) {
+        this.view = data instanceof Uint8Array ? new DataView(data.buffer, data.byteOffset, data.byteLength) : data;
+        this.offset = offset;
+    }
+    get length() {
+        return this.view.byteLength;
+    }
+    readUint8() {
+        return this.view.getUint8(this.offset++);
+    }
+    readUint16LE() {
+        const val = this.view.getUint16(this.offset, true);
+        this.offset += 2;
+        return val;
+    }
+    readUint32LE() {
+        const val = this.view.getUint32(this.offset, true);
+        this.offset += 4;
+        return val;
+    }
+    readULEB128() {
+        let result = 0;
+        let shift = 0;
+        let byte;
+        const start = this.offset;
+        do {
+            if (this.offset >= this.view.byteLength) {
+                throw new Error(`ULEB128 read past end of buffer at offset ${start}`);
+            }
+            byte = this.view.getUint8(this.offset++);
+            result |= (byte & 0x7f) << shift;
+            shift += 7;
+        } while (byte & 0x80);
+        return result >>> 0;
+    }
+    readString() {
+        let end = this.offset;
+        while (end < this.view.byteLength && this.view.getUint8(end) !== 0) {
+            end++;
+        }
+        const bytes = new Uint8Array(this.view.buffer, this.view.byteOffset + this.offset, end - this.offset);
+        const value = new TextDecoder().decode(bytes);
+        this.offset = end + 1; // skip null terminator
+        return value;
+    }
+}
+/**
+ * Extract custom sections from a wasm binary using wasmparser's BinaryReader.
+ * The reader validates wasm structure while iterating through sections.
+ */
+export function extractCustomSections(wasmBinary) {
+    const reader = new BinaryReader();
+    reader.setData(wasmBinary.buffer, wasmBinary.byteOffset, wasmBinary.byteLength);
+    const sections = [];
+    let currentSectionName;
+    while (reader.read()) {
+        switch (reader.state) {
+            case 3 /* BinaryReaderState.BEGIN_SECTION */: {
+                const info = reader.result;
+                if (info.id === 0 /* SectionCode.Custom */ && info.name) {
+                    currentSectionName = new TextDecoder().decode(info.name);
+                }
+                else {
+                    currentSectionName = undefined;
+                    reader.skipSection();
+                }
+                break;
+            }
+            case 7 /* BinaryReaderState.SECTION_RAW_DATA */: {
+                if (currentSectionName !== undefined) {
+                    const rawData = reader.result;
+                    sections.push({
+                        name: currentSectionName,
+                        payload: new Uint8Array(rawData),
+                    });
+                    currentSectionName = undefined;
+                }
+                break;
+            }
+            case -1 /* BinaryReaderState.ERROR */: {
+                throw new Error("Failed to parse wasm binary");
+            }
+        }
+    }
+    return sections;
+}
+// ── Abbreviation table parsing ───────────────────────────────────────────────
+/**
+ * Parse a .debug_abbrev section into an abbreviation table.
+ */
+export function parseAbbrevTable(data) {
+    const table = new Map();
+    const reader = new BufferReader(data);
+    while (reader.offset < reader.length) {
+        const code = reader.readULEB128();
+        if (code === 0) {
+            break;
+        }
+        const tag = reader.readULEB128();
+        const hasChildren = reader.readUint8() === 1;
+        const attributes = [];
+        for (;;) {
+            const name = reader.readULEB128();
+            const form = reader.readULEB128();
+            if (name === 0 && form === 0) {
+                break;
+            }
+            attributes.push({ name, form });
+        }
+        table.set(code, { code, tag, hasChildren, attributes });
+    }
+    return table;
+}
+// ── String table parsing ─────────────────────────────────────────────────────
+function parseStringTable(data) {
+    const table = new Map();
+    const decoder = new TextDecoder();
+    let offset = 0;
+    while (offset < data.length) {
+        let end = offset;
+        while (end < data.length && data[end] !== 0) {
+            end++;
+        }
+        table.set(offset, decoder.decode(data.subarray(offset, end)));
+        offset = end + 1;
+    }
+    return table;
+}
+// ── debug_info parsing ───────────────────────────────────────────────────────
+// eslint-disable-next-line sonarjs/function-return-type
+function readAttributeValue(reader, form, addressSize, stringTable, cuOffset) {
+    switch (form) {
+        case DW_FORM.string: {
+            return reader.readString();
+        }
+        case DW_FORM.data4: {
+            return reader.readUint32LE();
+        }
+        case DW_FORM.strp: {
+            const strOffset = reader.readUint32LE();
+            const str = stringTable.get(strOffset);
+            if (str === undefined) {
+                throw new Error(`String not found at offset ${strOffset} in .debug_str`);
+            }
+            return str;
+        }
+        case DW_FORM.ref4: {
+            return cuOffset + reader.readUint32LE();
+        }
+        case DW_FORM.addr: {
+            if (addressSize === 4) {
+                return reader.readUint32LE();
+            }
+            throw new Error(`Unsupported address size: ${addressSize}`);
+        }
+        default: {
+            throw new Error(`Unsupported DW_FORM: 0x${form.toString(16)}`);
+        }
+    }
+}
+/**
+ * Parse all compilation units from a .debug_info section.
+ */
+export function parseDebugInfo(infoData, abbrevTable, stringTable) {
+    const units = [];
+    const reader = new BufferReader(infoData);
+    while (reader.offset < reader.length) {
+        const unitStart = reader.offset;
+        const unitLength = reader.readUint32LE();
+        const version = reader.readUint16LE();
+        const abbrevOffset = reader.readUint32LE();
+        const addressSize = reader.readUint8();
+        const unitEnd = unitStart + 4 + unitLength;
+        const die = parseDIETree(reader, unitEnd, abbrevTable, addressSize, stringTable, unitStart);
+        if (die) {
+            units.push({
+                unitLength,
+                version,
+                abbrevOffset,
+                addressSize,
+                rootDIE: die,
+            });
+        }
+        reader.offset = unitEnd;
+    }
+    return units;
+}
+function parseSingleDIE(reader, abbrevTable, addressSize, stringTable, cuOffset) {
+    const dieOffset = reader.offset;
+    const code = reader.readULEB128();
+    if (code === 0) {
+        return null;
+    }
+    const abbrev = abbrevTable.get(code);
+    if (!abbrev) {
+        throw new Error(`Unknown abbreviation code ${code} at offset ${dieOffset}`);
+    }
+    const attributes = [];
+    for (const attr of abbrev.attributes) {
+        const value = readAttributeValue(reader, attr.form, addressSize, stringTable, cuOffset);
+        attributes.push({ name: attr.name, form: attr.form, value });
+    }
+    return {
+        die: { offset: dieOffset, tag: abbrev.tag, attributes, children: [] },
+        hasChildren: abbrev.hasChildren,
+    };
+}
+function parseChildren(reader, unitEnd, abbrevTable, addressSize, stringTable, cuOffset) {
+    const children = [];
+    while (reader.offset < unitEnd) {
+        const result = parseSingleDIE(reader, abbrevTable, addressSize, stringTable, cuOffset);
+        if (!result) {
+            break;
+        }
+        if (result.hasChildren) {
+            result.die.children = parseChildren(reader, unitEnd, abbrevTable, addressSize, stringTable, cuOffset);
+        }
+        children.push(result.die);
+    }
+    return children;
+}
+function parseDIETree(reader, unitEnd, abbrevTable, addressSize, stringTable, cuOffset) {
+    const result = parseSingleDIE(reader, abbrevTable, addressSize, stringTable, cuOffset);
+    if (!result) {
+        return null;
+    }
+    if (result.hasChildren) {
+        result.die.children = parseChildren(reader, unitEnd, abbrevTable, addressSize, stringTable, cuOffset);
+    }
+    return result.die;
+}
+// ── High-level API ───────────────────────────────────────────────────────────
+/**
+ * Parse DWARF debug information from a WebAssembly binary.
+ *
+ * @param wasmBinary The raw wasm file content as a Uint8Array or ArrayBuffer.
+ * @returns Parsed DWARF info including compilation units, abbreviations, and string table.
+ * @throws If required DWARF sections are missing or malformed.
+ *
+ */
+export function parseDwarf(wasmBinary) {
+    const binary = wasmBinary instanceof Uint8Array ? wasmBinary : new Uint8Array(wasmBinary);
+    const customSections = extractCustomSections(binary);
+    const debugAbbrev = customSections.find((s) => s.name === "debug_abbrev");
+    const debugInfo = customSections.find((s) => s.name === "debug_info");
+    const debugStr = customSections.find((s) => s.name === "debug_str");
+    if (!debugAbbrev) {
+        throw new Error("Missing .debug_abbrev section in wasm binary");
+    }
+    if (!debugInfo) {
+        throw new Error("Missing .debug_info section in wasm binary");
+    }
+    const stringTable = parseStringTable(debugStr?.payload ?? new Uint8Array(0));
+    const abbreviations = parseAbbrevTable(debugAbbrev.payload);
+    const compilationUnits = parseDebugInfo(debugInfo.payload, abbreviations, stringTable);
+    return { stringTable, abbreviations, compilationUnits };
+}
+// ── Convenience helpers ──────────────────────────────────────────────────────
+/** Human-readable tag name for known DWARF tags. */
+export function tagName(tag) {
+    for (const [name, value] of Object.entries(DW_TAG)) {
+        if (value === tag) {
+            return `DW_TAG_${name}`;
+        }
+    }
+    return `DW_TAG_0x${tag.toString(16)}`;
+}
+/** Human-readable attribute name for known DWARF attributes. */
+export function attrName(attr) {
+    for (const [name, value] of Object.entries(DW_AT)) {
+        if (value === attr) {
+            return `DW_AT_${name}`;
+        }
+    }
+    return `DW_AT_0x${attr.toString(16)}`;
+}
+/**
+ * Get a named attribute value from a DIE, or undefined if not present.
+ */
+export function getAttr(die, attrId) {
+    return die.attributes.find((a) => a.name === attrId);
+}
+/**
+ * Depth-first iterate all DIEs in a tree starting from root.
+ */
+export function* walkDIEs(root) {
+    const stack = [root];
+    while (stack.length > 0) {
+        const die = stack.pop();
+        yield die;
+        for (let i = die.children.length - 1; i >= 0; i--) {
+            stack.push(die.children[i]);
+        }
+    }
+}
+/**
+ * Find all DIEs with a specific tag in the tree (depth-first).
+ */
+export function findDIEsByTag(root, tag) {
+    const results = [];
+    for (const die of walkDIEs(root)) {
+        if (die.tag === tag) {
+            results.push(die);
+        }
+    }
+    return results;
+}
+/**
+ * Build a map from DIE offset to DIE for resolving DW_FORM_ref4 references.
+ */
+export function buildOffsetMap(root) {
+    const map = new Map();
+    for (const die of walkDIEs(root)) {
+        map.set(die.offset, die);
+    }
+    return map;
+}
+//# sourceMappingURL=dwarfParser.js.map

package/dist/heap_analyzer/src/dwarfParser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dwarfParser.js","sourceRoot":"","sources":["../../../tools/heap_analyzer/src/dwarfParser.ts"],"names":[],"mappings":"AAAA,oCAAoC;AACpC,sCAAsC;AAEtC;;;;;;;GAOG;AAEH,OAAO,EAAE,YAAY,EAAuD,MAAM,YAAY,CAAC;AAE/F,gFAAgF;AAEhF,mCAAmC;AACnC,MAAM,CAAC,MAAM,MAAM,GAAG;IACpB,YAAY,EAAE,IAAI;IAClB,UAAU,EAAE,IAAI;IAChB,WAAW,EAAE,IAAI;IACjB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,IAAI;IACf,uBAAuB,EAAE,IAAI;IAC7B,gBAAgB,EAAE,IAAI;IACtB,aAAa,EAAE,IAAI;IACnB,UAAU,EAAE,IAAI;IAChB,QAAQ,EAAE,IAAI;CACN,CAAC;AAEX,uCAAuC;AACvC,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,IAAI;IACd,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,IAAI;IACd,IAAI,EAAE,IAAI;IACV,oBAAoB,EAAE,IAAI;IAC1B,SAAS,EAAE,IAAI;IACf,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;CACL,CAAC;AAEX,qCAAqC;AACrC,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,IAAI;IACX,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;CACF,CAAC;AAgDX,MAAM,YAAY;IACP,IAAI,CAAW;IACxB,MAAM,CAAS;IAEf,YAAY,IAA2B,EAAE,SAAiB,CAAC;QACzD,IAAI,CAAC,IAAI,GAAG,IAAI,YAAY,UAAU,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5G,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;IAC9B,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,YAAY;QACV,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;QACjB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,YAAY;QACV,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;QACjB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,WAAW;QACT,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,IAAY,CAAC;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,GAAG,CAAC;YACF,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CAAC,6CAA6C,KAAK,EAAE,CAAC,CAAC;YACxE,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACzC,MAAM,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC;YACjC,KAAK,IAAI,CAAC,CAAC;QACb,CAAC,QAAQ,IAAI,GAAG,IAAI,EAAE;QACtB,OAAO,MAAM,KAAK,CAAC,CAAC;IACtB,CAAC;IAED,UAAU;QACR,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;QACtB,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACnE,GAAG,EAAE,CAAC;QACR,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QACtG,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,uBAAuB;QAC9C,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AASD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAsB;IAC1D,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,MAAqB,EAAE,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IAE/F,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,kBAAsC,CAAC;IAE3C,OAAO,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACrB,QAAQ,MAAM,CAAC,KAAK,EAAE,CAAC;YACrB,4CAAoC,CAAC,CAAC,CAAC;gBACrC,MAAM,IAAI,GAAG,MAAM,CAAC,MAA6B,CAAC;gBAClD,IAAI,IAAI,CAAC,EAAE,+BAAuB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAChD,kBAAkB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC3D,CAAC;qBAAM,CAAC;oBACN,kBAAkB,GAAG,SAAS,CAAC;oBAC/B,MAAM,CAAC,WAAW,EAAE,CAAC;gBACvB,CAAC;gBACD,MAAM;YACR,CAAC;YACD,+CAAuC,CAAC,CAAC,CAAC;gBACxC,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;oBACrC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAoB,CAAC;oBAC5C,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,IAAI,UAAU,CAAC,OAAO,CAAC;qBACjC,CAAC,CAAC;oBACH,kBAAkB,GAAG,SAAS,CAAC;gBACjC,CAAC;gBACD,MAAM;YACR,CAAC;YACD,qCAA4B,CAAC,CAAC,CAAC;gBAC7B,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAgB;IAC/C,MAAM,KAAK,GAAgB,IAAI,GAAG,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC;IAEtC,OAAO,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;YACf,MAAM;QACR,CAAC;QAED,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAE7C,MAAM,UAAU,GAAsB,EAAE,CAAC;QACzC,SAAS,CAAC;YACR,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;YAClC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC7B,MAAM;YACR,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAClC,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAEhF,SAAS,gBAAgB,CAAC,IAAgB;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,IAAI,GAAG,GAAG,MAAM,CAAC;QACjB,OAAO,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5C,GAAG,EAAE,CAAC;QACR,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAEhF,wDAAwD;AACxD,SAAS,kBAAkB,CACzB,MAAoB,EACpB,IAAY,EACZ,WAAmB,EACnB,WAAgC,EAChC,QAAgB;IAEhB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;YACpB,OAAO,MAAM,CAAC,UAAU,EAAE,CAAC;QAC7B,CAAC;QACD,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YACnB,OAAO,MAAM,CAAC,YAAY,EAAE,CAAC;QAC/B,CAAC;QACD,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAClB,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CAAC,8BAA8B,SAAS,gBAAgB,CAAC,CAAC;YAC3E,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC;QACD,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAClB,OAAO,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QAC1C,CAAC;QACD,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAClB,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;gBACtB,OAAO,MAAM,CAAC,YAAY,EAAE,CAAC;YAC/B,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,6BAA6B,WAAW,EAAE,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAoB,EACpB,WAAwB,EACxB,WAAgC;IAEhC,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAC;IAE1C,OAAO,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;QAEhC,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACtC,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QAC3C,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;QAEvC,MAAM,OAAO,GAAG,SAAS,GAAG,CAAC,GAAG,UAAU,CAAC;QAE3C,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;QAE5F,IAAI,GAAG,EAAE,CAAC;YACR,KAAK,CAAC,IAAI,CAAC;gBACT,UAAU;gBACV,OAAO;gBACP,YAAY;gBACZ,WAAW;gBACX,OAAO,EAAE,GAAG;aACb,CAAC,CAAC;QACL,CAAC;QAED,MAAM,CAAC,MAAM,GAAG,OAAO,CAAC;IAC1B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAOD,SAAS,cAAc,CACrB,MAAoB,EACpB,WAAwB,EACxB,WAAmB,EACnB,WAAgC,EAChC,QAAgB;IAEhB,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IAElC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,cAAc,SAAS,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;QACxF,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO;QACL,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE;QACrE,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAoB,EACpB,OAAe,EACf,WAAwB,EACxB,WAAmB,EACnB,WAAgC,EAChC,QAAgB;IAEhB,MAAM,QAAQ,GAAe,EAAE,CAAC;IAEhC,OAAO,MAAM,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;QACvF,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM;QACR,CAAC;QAED,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,CAAC,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;QACxG,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,YAAY,CACnB,MAAoB,EACpB,OAAe,EACf,WAAwB,EACxB,WAAmB,EACnB,WAAgC,EAChC,QAAgB;IAEhB,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;IACvF,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,CAAC,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;IACxG,CAAC;IAED,OAAO,MAAM,CAAC,GAAG,CAAC;AACpB,CAAC;AAED,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,UAAoC;IAC7D,MAAM,MAAM,GAAG,UAAU,YAAY,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC;IAE1F,MAAM,cAAc,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAErD,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;IAC1E,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAEpE,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,WAAW,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,gBAAgB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GAAG,cAAc,CAAC,SAAS,CAAC,OAAO,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;IAEvF,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC;AAC1D,CAAC;AAED,gFAAgF;AAEhF,oDAAoD;AACpD,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,KAAK,KAAK,GAAG,EAAE,CAAC;YAClB,OAAO,UAAU,IAAI,EAAE,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,YAAY,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,SAAS,IAAI,EAAE,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,WAAW,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,GAAa,EAAE,MAAc;IACnD,OAAO,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;AACvD,CAAC;AAED;;GAEG;AACH,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAc;IACtC,MAAM,KAAK,GAAe,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACxB,MAAM,GAAG,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,IAAc,EAAE,GAAW;IACvD,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc;IAC3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/heap_analyzer/src/referenceScanner.d.ts

@@ -0,0 +1,11 @@
+import type { ObjectHeader } from "./types.js";
+import type { ClassResolver } from "./classResolver.js";
+/**
+ * Scan object payloads to build a precise reference graph using debug info.
+ *
+ * @param memory Header-stripped DataView (wasm addr 0 = offset 0)
+ * @param objects Parsed object headers from parseAllObjects
+ * @param classResolver ClassResolver built from debug info
+ * @returns Adjacency list: payloadPtr → array of referenced payloadPtrs
+ */
+export declare function scanReferences(memory: DataView, objects: ObjectHeader[], classResolver: ClassResolver): Map<number, number[]>;

package/dist/heap_analyzer/src/referenceScanner.js

@@ -0,0 +1,143 @@
+// Copyright (C) 2026 wasm-ecosystem
+// SPDX-License-Identifier: Apache-2.0
+function readValidPtr(memory, addr, validPtrs) {
+    if (addr + 4 > memory.byteLength) {
+        return null;
+    }
+    const ptr = memory.getUint32(addr, true);
+    if (ptr === 0 || !validPtrs.has(ptr)) {
+        return null;
+    }
+    return ptr;
+}
+function scanReferenceFields(memory, obj, classResolver, validPtrs, edges) {
+    for (const field of classResolver.getReferenceFields(obj.rtId)) {
+        if (field.offset + field.size > obj.rtSize) {
+            // Skip fields that don't fit within the object's size (could be a broken dumped memory or stale debug info)
+            continue;
+        }
+        const ptr = readValidPtr(memory, obj.payloadPtr + field.offset, validPtrs);
+        if (ptr !== null) {
+            edges.push(ptr);
+        }
+    }
+}
+function scanArrayElements(memory, obj, validPtrs, edges) {
+    if (obj.rtSize < 16) {
+        return;
+    }
+    const dataStart = memory.getUint32(obj.payloadPtr + 4, true);
+    const length = memory.getUint32(obj.payloadPtr + 12, true);
+    for (let i = 0; i < length; i++) {
+        const ptr = readValidPtr(memory, dataStart + i * 4, validPtrs);
+        if (ptr !== null) {
+            edges.push(ptr);
+        }
+    }
+}
+function scanStaticArrayElements(memory, obj, validPtrs, edges) {
+    const elementCount = obj.rtSize >>> 2;
+    for (let i = 0; i < elementCount; i++) {
+        const ptr = readValidPtr(memory, obj.payloadPtr + i * 4, validPtrs);
+        if (ptr !== null) {
+            edges.push(ptr);
+        }
+    }
+}
+function scanSetMapEntries(memory, obj, entryLayout, validPtrs, edges) {
+    if (entryLayout.referenceOffsets.length === 0) {
+        // No reference fields in entries, so we can skip scanning them entirely
+        return;
+    }
+    if (obj.rtSize < 20) {
+        // Set/Map objects should have at least 5 u32 fields in their payload.
+        // Hitting this means the dump is truncated/corrupted, debug info is stale,
+        // or the runtime layout no longer matches the hard-coded offsets below.
+        return;
+    }
+    const entriesPtr = memory.getUint32(obj.payloadPtr + 8, true);
+    const entriesOffset = memory.getInt32(obj.payloadPtr + 16, true);
+    if (entriesPtr === 0 || !validPtrs.has(entriesPtr)) {
+        return;
+    }
+    const lastReadableU32Addr = memory.byteLength - 4;
+    for (let i = 0; i < entriesOffset; i++) {
+        const entryBase = entriesPtr + i * entryLayout.size;
+        const taggedNextAddr = entryBase + entryLayout.size - 4;
+        if (taggedNextAddr > lastReadableU32Addr) {
+            break;
+        }
+        const taggedNext = memory.getUint32(taggedNextAddr, true);
+        if (taggedNext & 1) {
+            continue;
+        }
+        for (const refOffset of entryLayout.referenceOffsets) {
+            const ptr = readValidPtr(memory, entryBase + refOffset, validPtrs);
+            if (ptr !== null) {
+                edges.push(ptr);
+            }
+        }
+    }
+}
+function scanSmallTupleElements(memory, obj, validPtrs, edges) {
+    const bitmapSize = 8;
+    if (obj.rtSize <= bitmapSize) {
+        // An empty SmallTuple has no element slots, only the trailing bitmap.
+        // This also safely handles malformed dumps that are too small to contain elements.
+        return;
+    }
+    const elementCount = (obj.rtSize - bitmapSize) >>> 2;
+    const bitmapAddr = obj.payloadPtr + obj.rtSize - bitmapSize;
+    const bitmap = memory.getBigUint64(bitmapAddr, true);
+    for (let i = 0; i < elementCount; i++) {
+        const isRef = (bitmap & (1n << BigInt(i))) !== 0n;
+        if (!isRef) {
+            continue;
+        }
+        const ptr = readValidPtr(memory, obj.payloadPtr + i * 4, validPtrs);
+        if (ptr !== null) {
+            edges.push(ptr);
+        }
+    }
+}
+function scanContainerElements(memory, obj, classLayout, validPtrs, edges) {
+    const name = classLayout.name;
+    if (name.startsWith("~lib/array/Array<")) {
+        scanArrayElements(memory, obj, validPtrs, edges);
+        return;
+    }
+    if (name.startsWith("~lib/staticarray/StaticArray<")) {
+        scanStaticArrayElements(memory, obj, validPtrs, edges);
+        return;
+    }
+    if (name === "~lib/tuple/SmallTuple") {
+        scanSmallTupleElements(memory, obj, validPtrs, edges);
+        return;
+    }
+    if (classLayout.entryLayout) {
+        scanSetMapEntries(memory, obj, classLayout.entryLayout, validPtrs, edges);
+    }
+}
+/**
+ * Scan object payloads to build a precise reference graph using debug info.
+ *
+ * @param memory Header-stripped DataView (wasm addr 0 = offset 0)
+ * @param objects Parsed object headers from parseAllObjects
+ * @param classResolver ClassResolver built from debug info
+ * @returns Adjacency list: payloadPtr → array of referenced payloadPtrs
+ */
+export function scanReferences(memory, objects, classResolver) {
+    const validPtrs = new Set(objects.map((o) => o.payloadPtr));
+    const graph = new Map();
+    for (const obj of objects) {
+        const edges = [];
+        const classLayout = classResolver.getClassDef(obj.rtId);
+        if (classLayout && !classResolver.isPointerfree(obj.rtId)) {
+            scanReferenceFields(memory, obj, classResolver, validPtrs, edges);
+            scanContainerElements(memory, obj, classLayout, validPtrs, edges);
+        }
+        graph.set(obj.payloadPtr, edges);
+    }
+    return graph;
+}
+//# sourceMappingURL=referenceScanner.js.map

package/dist/heap_analyzer/src/referenceScanner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"referenceScanner.js","sourceRoot":"","sources":["../../../tools/heap_analyzer/src/referenceScanner.ts"],"names":[],"mappings":"AAAA,oCAAoC;AACpC,sCAAsC;AAKtC,SAAS,YAAY,CAAC,MAAgB,EAAE,IAAY,EAAE,SAAsB;IAC1E,IAAI,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAgB,EAChB,GAAiB,EACjB,aAA4B,EAC5B,SAAsB,EACtB,KAAe;IAEf,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;YAC3C,4GAA4G;YAC5G,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC3E,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAgB,EAAE,GAAiB,EAAE,SAAsB,EAAE,KAAe;IACrG,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACpB,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;IAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC/D,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAgB,EAAE,GAAiB,EAAE,SAAsB,EAAE,KAAe;IAC3G,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QACpE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAgB,EAChB,GAAiB,EACjB,WAAwB,EACxB,SAAsB,EACtB,KAAe;IAEf,IAAI,WAAW,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,wEAAwE;QACxE,OAAO;IACT,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACpB,sEAAsE;QACtE,2EAA2E;QAC3E,wEAAwE;QACxE,OAAO;IACT,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9D,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC;IACjE,IAAI,UAAU,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACnD,OAAO;IACT,CAAC;IACD,MAAM,mBAAmB,GAAG,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC;IAElD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,UAAU,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC;QACpD,MAAM,cAAc,GAAG,SAAS,GAAG,WAAW,CAAC,IAAI,GAAG,CAAC,CAAC;QACxD,IAAI,cAAc,GAAG,mBAAmB,EAAE,CAAC;YACzC,MAAM;QACR,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,SAAS;QACX,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,gBAAgB,EAAE,CAAC;YACrD,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,SAAS,EAAE,SAAS,CAAC,CAAC;YACnE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAgB,EAAE,GAAiB,EAAE,SAAsB,EAAE,KAAe;IAC1G,MAAM,UAAU,GAAG,CAAC,CAAC;IACrB,IAAI,GAAG,CAAC,MAAM,IAAI,UAAU,EAAE,CAAC;QAC7B,sEAAsE;QACtE,mFAAmF;QACnF,OAAO;IACT,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAErD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAClD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QACpE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAgB,EAChB,GAAiB,EACjB,WAAwB,EACxB,SAAsB,EACtB,KAAe;IAEf,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;IAE9B,IAAI,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACzC,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,CAAC,+BAA+B,CAAC,EAAE,CAAC;QACrD,uBAAuB,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACvD,OAAO;IACT,CAAC;IAED,IAAI,IAAI,KAAK,uBAAuB,EAAE,CAAC;QACrC,sBAAsB,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IAED,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;QAC5B,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAgB,EAChB,OAAuB,EACvB,aAA4B;IAE5B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE1C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,MAAM,WAAW,GAAG,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,WAAW,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,mBAAmB,CAAC,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YAClE,qBAAqB,CAAC,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACpE,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/heap_analyzer/src/retainedSize.d.ts

@@ -0,0 +1,9 @@
+import type { ObjectHeader } from "./types.js";
+export declare function shallowSize(obj: ObjectHeader): number;
+/**
+ * Compute retained sizes for the live objects represented in the dominator tree.
+ *
+ * The input objects are expected to be the live-object slice that was used to
+ * build the live graph and dominator tree.
+ */
+export declare function computeRetainedSizes(objects: ObjectHeader[], dominatorTree: Map<number, number>): Map<number, number>;

package/dist/heap_analyzer/src/retainedSize.js

@@ -0,0 +1,78 @@
+// Copyright (C) 2026 wasm-ecosystem
+// SPDX-License-Identifier: Apache-2.0
+import { BLOCK_OVERHEAD, TAGS_MASK } from "./constants.js";
+import { VIRTUAL_ROOT } from "./dominator.js";
+export function shallowSize(obj) {
+    return BLOCK_OVERHEAD + (obj.mmInfo & ~TAGS_MASK);
+}
+function buildChildrenMap(objects, dominatorTree) {
+    const objectByPtr = new Map(objects.map((obj) => [obj.payloadPtr, obj]));
+    const children = new Map();
+    for (const [node, idom] of dominatorTree) {
+        if (!objectByPtr.has(node)) {
+            throw new Error(`Missing object header for dominator-tree node ${node}`);
+        }
+        const bucket = children.get(idom);
+        if (bucket) {
+            bucket.push(node);
+        }
+        else {
+            children.set(idom, [node]);
+        }
+    }
+    return children;
+}
+function pushChildrenOntoStack(node, children, stack) {
+    const childNodes = children.get(node);
+    if (!childNodes) {
+        return;
+    }
+    for (const child of childNodes) {
+        stack.push({ node: child, visited: false });
+    }
+}
+function sumRetainedChildren(node, children, retained) {
+    const childNodes = children.get(node);
+    if (!childNodes) {
+        return 0;
+    }
+    let size = 0;
+    for (const child of childNodes) {
+        size += retained.get(child) ?? 0;
+    }
+    return size;
+}
+function aggregateRetainedSizes(root, objectByPtr, children) {
+    const retained = new Map();
+    const stack = [{ node: root, visited: false }];
+    while (stack.length > 0) {
+        const current = stack.pop();
+        if (!current.visited) {
+            stack.push({ node: current.node, visited: true });
+            pushChildrenOntoStack(current.node, children, stack);
+            continue;
+        }
+        if (current.node === VIRTUAL_ROOT) {
+            continue;
+        }
+        const obj = objectByPtr.get(current.node);
+        if (!obj) {
+            throw new Error(`Missing object header for retained-size node ${current.node}`);
+        }
+        const size = shallowSize(obj) + sumRetainedChildren(current.node, children, retained);
+        retained.set(current.node, size);
+    }
+    return retained;
+}
+/**
+ * Compute retained sizes for the live objects represented in the dominator tree.
+ *
+ * The input objects are expected to be the live-object slice that was used to
+ * build the live graph and dominator tree.
+ */
+export function computeRetainedSizes(objects, dominatorTree) {
+    const objectByPtr = new Map(objects.map((obj) => [obj.payloadPtr, obj]));
+    const children = buildChildrenMap(objects, dominatorTree);
+    return aggregateRetainedSizes(VIRTUAL_ROOT, objectByPtr, children);
+}
+//# sourceMappingURL=retainedSize.js.map

package/dist/heap_analyzer/src/retainedSize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retainedSize.js","sourceRoot":"","sources":["../../../tools/heap_analyzer/src/retainedSize.ts"],"names":[],"mappings":"AAAA,oCAAoC;AACpC,sCAAsC;AAEtC,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAG9C,MAAM,UAAU,WAAW,CAAC,GAAiB;IAC3C,OAAO,cAAc,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAuB,EAAE,aAAkC;IACnF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE7C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,iDAAiD,IAAI,EAAE,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAY,EACZ,QAA+B,EAC/B,KAAgD;IAEhD,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY,EAAE,QAA+B,EAAE,QAA6B;IACvG,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAY,EACZ,WAAsC,EACtC,QAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,MAAM,KAAK,GAA8C,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;IAE1F,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAE5B,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,qBAAqB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACrD,SAAS;QACX,CAAC;QAED,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAClC,SAAS;QACX,CAAC;QAED,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,gDAAgD,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;QAED,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACtF,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAuB,EAAE,aAAkC;IAC9F,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC1D,OAAO,sBAAsB,CAAC,YAAY,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;AACrE,CAAC"}

package/dist/heap_analyzer/src/roots.d.ts

@@ -0,0 +1,13 @@
+import type { ObjectHeader, RootInfo, RuntimeGlobals } from "./types.js";
+/**
+ * Identify GC roots that can be recovered reliably from the current dump model.
+ *
+ * Currently supported:
+ * - shadow stack roots
+ * - pinned objects (transparent GC color)
+ *
+ * Precise GC global-root detection is intentionally not implemented yet.
+ * Scanning arbitrary words in the static region would misclassify incidental
+ * pointer-like bytes from static strings or static arrays as semantic globals.
+ */
+export declare function findRoots(memory: DataView, rtGlobals: RuntimeGlobals, objects: ObjectHeader[]): RootInfo[];