sol-dbg 0.6.15 → 0.7.2

package/dist/debug/decoding/memory/view.js

@@ -0,0 +1,283 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MissingMemView = exports.PointerMemView = exports.StructMemView = exports.ArrayMemView = exports.StringMemView = exports.BytesMemView = exports.PackedArrayMemView = exports.FixedBytesMemView = exports.BoolMemView = exports.AddressMemView = exports.IntMemView = exports.BaseMemoryView = void 0;
+exports.makeMemoryView = makeMemoryView;
+const solc_typed_ast_1 = require("solc-typed-ast");
+const view_1 = require("../view");
+const value_1 = require("../value");
+const utils_1 = require("../../../utils");
+const util_1 = require("@ethereumjs/util");
+const exp_types_1 = require("../exp_types");
+const utils_2 = require("../utils");
+const utils_3 = require("ethereum-cryptography/utils");
+class BaseMemoryView extends view_1.View {
+    writeMemAt(value, off, mem) {
+        if (off < 0n || off + BigInt(value.length) > BigInt(mem.length)) {
+            console.error(`OoB writing mem at ${off} of length ${value.length} in memory of size ${mem.length}`);
+            throw new view_1.EncodingError(`OoB writing mem at ${off} of length ${value.length} in memory of size ${mem.length}`);
+        }
+        mem.set(value, Number(off));
+    }
+    readMemAt(off, calldata, len) {
+        const res = (0, utils_1.readMem)(off, len, calldata);
+        if (!res) {
+            // OoB access
+            return new value_1.DecodingFailure(`OoB access at ${off}:${off + BigInt(len)} in memory of size ${calldata.length}`);
+        }
+        return res;
+    }
+    decodeIntAt(off, type, state) {
+        const bytes = this.readMemAt(off, state, 32);
+        if ((0, utils_2.isFailure)(bytes)) {
+            return bytes;
+        }
+        let res = (0, utils_1.bigEndianBufToBigint)(bytes);
+        // Convert signed negative 2's complement values
+        if (type.signed && (res & (BigInt(1) << BigInt(type.nBits - 1))) !== BigInt(0)) {
+            // Mask out any 1's above the number's size
+            res = res & ((BigInt(1) << BigInt(type.nBits)) - BigInt(1));
+            res = -((BigInt(1) << BigInt(type.nBits)) - res);
+        }
+        if (!(0, utils_1.fits)(res, type)) {
+            return new value_1.DecodingFailure(`Decoded value ${res} doesn't fit in expected type ${type.pp()}`);
+        }
+        return res;
+    }
+    pp() {
+        return `<${this.type.pp()}@${this.loc} in memory>`;
+    }
+    get offset() {
+        return this.loc;
+    }
+    encodeIntAt(value, off, state) {
+        const word = new Uint8Array(32);
+        // Note nBytes is always 32 - an int always takes up the full word
+        (0, utils_1.encodeBigintInBigEndianBuf)(value, word, 32, 32);
+        this.writeMemAt(word, off, state);
+    }
+}
+exports.BaseMemoryView = BaseMemoryView;
+class IntMemView extends BaseMemoryView {
+    decode(state) {
+        return this.decodeIntAt(this.loc, this.type, state);
+    }
+    encode(value, state) {
+        this.encodeIntAt(value, this.loc, state);
+    }
+}
+exports.IntMemView = IntMemView;
+class AddressMemView extends BaseMemoryView {
+    decode(state) {
+        const m = this.readMemAt(this.loc + 12n, state, 20);
+        return (0, utils_2.isFailure)(m) ? m : new util_1.Address(m);
+    }
+    encode(value, state) {
+        // We write a full word to make sure the lower bytes are 0-ed out
+        const w = new Uint8Array(32);
+        w.set(value.bytes, 12);
+        this.writeMemAt(w, this.loc, state);
+    }
+}
+exports.AddressMemView = AddressMemView;
+const ONE_BYTES32 = new Uint8Array(32);
+ONE_BYTES32[31] = 1;
+class BoolMemView extends BaseMemoryView {
+    decode(state) {
+        const m = this.readMemAt(this.loc, state, 32);
+        return (0, utils_2.isFailure)(m) ? m : (0, utils_1.bigEndianBufToBigint)(m) !== 0n;
+    }
+    encode(value, state) {
+        this.writeMemAt(value ? ONE_BYTES32 : utils_1.ZERO_BYTES32, this.loc, state);
+    }
+}
+exports.BoolMemView = BoolMemView;
+class FixedBytesMemView extends BaseMemoryView {
+    decode(state) {
+        return this.readMemAt(this.loc, state, this.type.size);
+    }
+    encode(value, state) {
+        const w = new Uint8Array(32);
+        w.set(value);
+        this.writeMemAt(w, this.loc, state);
+    }
+}
+exports.FixedBytesMemView = FixedBytesMemView;
+class PackedArrayMemView extends BaseMemoryView {
+    decodeBytesAt(loc, state) {
+        const len = this.decodeIntAt(loc, utils_1.uint256, state);
+        if ((0, utils_2.isFailure)(len)) {
+            return len;
+        }
+        if (len >= utils_1.MAX_ARR_DECODE_LIMIT) {
+            return new value_1.DecodingFailure(`Bytes to decode too large - ${len}`);
+        }
+        return this.readMemAt(loc + 32n, state, len);
+    }
+    encodeBytesAt(value, off, state) {
+        this.encodeIntAt(BigInt(value.length), off, state);
+        this.writeMemAt(value, off + 32n, state);
+    }
+}
+exports.PackedArrayMemView = PackedArrayMemView;
+class BytesMemView extends PackedArrayMemView {
+    decode(state) {
+        return this.decodeBytesAt(this.loc, state);
+    }
+    encode(value, state) {
+        this.encodeBytesAt(value, this.loc, state);
+    }
+}
+exports.BytesMemView = BytesMemView;
+class StringMemView extends PackedArrayMemView {
+    decode(state) {
+        const bytes = this.decodeBytesAt(this.loc, state);
+        return (0, utils_2.isFailure)(bytes) ? bytes : (0, util_1.bytesToUtf8)(bytes);
+    }
+    encode(value, state) {
+        this.encodeBytesAt((0, utils_3.utf8ToBytes)(value), this.loc, state);
+    }
+}
+exports.StringMemView = StringMemView;
+class ArrayMemView extends BaseMemoryView {
+    decode(state) {
+        let sizeBigint;
+        let addr = this.loc;
+        if (this.type.size === undefined) {
+            sizeBigint = this.decodeIntAt(addr, utils_1.uint256, state);
+            if ((0, utils_2.isFailure)(sizeBigint)) {
+                return sizeBigint;
+            }
+            addr += 32n;
+        }
+        else {
+            sizeBigint = this.type.size;
+        }
+        if (sizeBigint >= utils_1.MAX_ARR_DECODE_LIMIT) {
+            return new value_1.DecodingFailure(`Array too large to decode: ${sizeBigint}`);
+        }
+        const size = Number(sizeBigint);
+        const res = [];
+        for (let i = 0; i < size; i++) {
+            const view = makeMemoryView(this.type.elementT, addr);
+            res.push(view.decode(state));
+            addr += 32n;
+        }
+        return res;
+    }
+    encode(value, state, alloc) {
+        let off = this.loc;
+        if (this.type.size === undefined) {
+            this.encodeIntAt(BigInt(value.length), off, state);
+            off += 32n;
+        }
+        for (const v of value) {
+            const view = makeMemoryView(this.type.elementT, off);
+            view.encode(v, state, alloc);
+            off += 32n;
+        }
+    }
+}
+exports.ArrayMemView = ArrayMemView;
+class StructMemView extends BaseMemoryView {
+    decode(state) {
+        const entries = [];
+        let offset = this.loc;
+        for (const [name, type] of this.type.fields) {
+            const view = makeMemoryView(type, offset);
+            entries.push([name, view.decode(state)]);
+            offset += 32n;
+        }
+        return new value_1.Struct(entries);
+    }
+    encode(value, state, alloc) {
+        let offset = this.loc;
+        (0, solc_typed_ast_1.assert)(value.entries.length === this.type.fields.length, `Mismatch in encoding struct`);
+        for (let i = 0; i < this.type.fields.length; i++) {
+            const [, type] = this.type.fields[i];
+            const view = makeMemoryView(type, offset);
+            view.encode(value.entries[i][1], state, alloc);
+            offset += 32n;
+        }
+    }
+}
+exports.StructMemView = StructMemView;
+class PointerMemView extends BaseMemoryView {
+    decode(state) {
+        const offset = this.decodeIntAt(this.loc, utils_1.uint256, state);
+        if ((0, utils_2.isFailure)(offset)) {
+            return offset;
+        }
+        const view = makeMemoryView(this.type.to, offset);
+        return view.decode(state);
+    }
+    /**
+     * Helper to compute how much memory we need to allocate for a pointed-to value of type t
+     */
+    static allocSize(v, t) {
+        if (t instanceof solc_typed_ast_1.ArrayType) {
+            return (v.length * PointerMemView.allocSize(undefined, t.elementT) +
+                (t.size !== undefined ? 0 : 32));
+        }
+        if (t instanceof exp_types_1.ExpStructType) {
+            let size = 0;
+            for (let i = 0; i < t.fields.length; i++) {
+                size += PointerMemView.allocSize(v.entries[i][1], t.fields[i][1]);
+            }
+            return size;
+        }
+        if (t instanceof solc_typed_ast_1.PackedArrayType) {
+            return Buffer.from(v).length + 32;
+        }
+        return 32;
+    }
+    encode(value, state, alloc) {
+        const ptr = alloc.alloc(PointerMemView.allocSize(value, this.type.to));
+        this.encodeIntAt(ptr, this.loc, state);
+        const view = makeMemoryView(this.type.to, ptr);
+        view.encode(value, state, alloc);
+    }
+}
+exports.PointerMemView = PointerMemView;
+class MissingMemView extends BaseMemoryView {
+    decode() {
+        return new value_1.DecodingFailure(`${this.type.rawTypeName ? this.type.rawTypeName.type : "<unknown>"}`);
+    }
+    encode() {
+        throw new view_1.EncodingError(`Cannot encode missing type ${this.type.pp()}`);
+    }
+}
+exports.MissingMemView = MissingMemView;
+function makeMemoryView(type, loc) {
+    if (type instanceof solc_typed_ast_1.IntType) {
+        return new IntMemView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.BoolType) {
+        return new BoolMemView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.AddressType) {
+        return new AddressMemView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.FixedBytesType) {
+        return new FixedBytesMemView(type, loc);
+    }
+    if (type instanceof exp_types_1.ExpStructType) {
+        return new StructMemView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.BytesType) {
+        return new BytesMemView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.StringType) {
+        return new StringMemView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.ArrayType) {
+        return new ArrayMemView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.PointerType) {
+        return new PointerMemView(type, loc);
+    }
+    if (type instanceof exp_types_1.MissingType) {
+        return new MissingMemView(type, loc);
+    }
+    (0, utils_1.nyi)(`makeMemoryView(${type.pp()})`);
+}
+//# sourceMappingURL=view.js.map

package/dist/debug/decoding/memory/view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../../../../src/debug/decoding/memory/view.ts"],"names":[],"mappings":";;;AAqVA,wCA0CC;AA/XD,mDAYwB;AAExB,kCAA8C;AAC9C,oCAA0D;AAC1D,0CASwB;AACxB,2CAAwD;AACxD,4CAA0D;AAC1D,oCAAqC;AAErC,uDAA0D;AAE1D,MAAsB,cAGpB,SAAQ,WAA+B;IAC3B,UAAU,CAAC,KAAiB,EAAE,GAAW,EAAE,GAAW;QAC5D,IAAI,GAAG,GAAG,EAAE,IAAI,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,KAAK,CACT,sBAAsB,GAAG,cAAc,KAAK,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAM,EAAE,CACxF,CAAC;YACF,MAAM,IAAI,oBAAa,CACnB,sBAAsB,GAAG,cAAc,KAAK,CAAC,MAAM,sBAAsB,GAAG,CAAC,MAAM,EAAE,CACxF,CAAC;QACN,CAAC;QAED,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,CAAC;IAES,SAAS,CACf,GAAW,EACX,QAAgB,EAChB,GAAoB;QAEpB,MAAM,GAAG,GAAG,IAAA,eAAO,EAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAExC,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,aAAa;YACb,OAAO,IAAI,uBAAe,CACtB,iBAAiB,GAAG,IAAI,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,sBAAsB,QAAQ,CAAC,MAAM,EAAE,CACnF,CAAC;QACN,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAES,WAAW,CAAC,GAAW,EAAE,IAAa,EAAE,KAAa;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAE7C,IAAI,IAAA,iBAAS,EAAC,KAAK,CAAC,EAAE,CAAC;YACnB,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,IAAI,GAAG,GAAG,IAAA,4BAAoB,EAAC,KAAK,CAAC,CAAC;QAEtC,gDAAgD;QAChD,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7E,2CAA2C;YAC3C,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5D,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;QACrD,CAAC;QAED,IAAI,CAAC,IAAA,YAAI,EAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACnB,OAAO,IAAI,uBAAe,CACtB,iBAAiB,GAAG,iCAAiC,IAAI,CAAC,EAAE,EAAE,EAAE,CACnE,CAAC;QACN,CAAC;QACD,OAAO,GAAG,CAAC;IACf,CAAC;IAED,EAAE;QACE,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,aAAa,CAAC;IACvD,CAAC;IAED,IAAI,MAAM;QACN,OAAO,IAAI,CAAC,GAAG,CAAC;IACpB,CAAC;IAES,WAAW,CAAC,KAAa,EAAE,GAAW,EAAE,KAAa;QAC3D,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QAEhC,kEAAkE;QAClE,IAAA,kCAA0B,EAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;CAGJ;AA3ED,wCA2EC;AAED,MAAa,UAAW,SAAQ,cAA+B;IAC3D,MAAM,CAAC,KAAa;QAChB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,CAAC,KAAa,EAAE,KAAa;QAC/B,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;CACJ;AARD,gCAQC;AAED,MAAa,cAAe,SAAQ,cAAoC;IACpE,MAAM,CAAC,KAAa;QAChB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACpD,OAAO,IAAA,iBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,cAAO,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,KAAa;QAChC,iEAAiE;QACjE,MAAM,CAAC,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACvB,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;CACJ;AAZD,wCAYC;AAED,MAAM,WAAW,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;AACvC,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;AAEpB,MAAa,WAAY,SAAQ,cAAiC;IAC9D,MAAM,CAAC,KAAa;QAChB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC9C,OAAO,IAAA,iBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAA,4BAAoB,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC;IAC7D,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,KAAa;QAChC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,oBAAY,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACzE,CAAC;CACJ;AATD,kCASC;AAED,MAAa,iBAAkB,SAAQ,cAA0C;IAC7E,MAAM,CAAC,KAAa;QAChB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,KAAkC,EAAE,KAAa;QACpD,MAAM,CAAC,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;CACJ;AAVD,8CAUC;AAED,MAAsB,kBAGpB,SAAQ,cAAoB;IAChB,aAAa,CAAC,GAAW,EAAE,KAAa;QAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,eAAO,EAAE,KAAK,CAAC,CAAC;QAElD,IAAI,IAAA,iBAAS,EAAC,GAAG,CAAC,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC;QACf,CAAC;QAED,IAAI,GAAG,IAAI,4BAAoB,EAAE,CAAC;YAC9B,OAAO,IAAI,uBAAe,CAAC,+BAA+B,GAAG,EAAE,CAAC,CAAC;QACrE,CAAC;QAED,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,GAAG,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IAES,aAAa,CAAC,KAAiB,EAAE,GAAW,EAAE,KAAa;QACjE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,GAAG,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;CACJ;AAtBD,gDAsBC;AAED,MAAa,YAAa,SAAQ,kBAAyC;IACvE,MAAM,CAAC,KAAa;QAChB,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,CAAC,KAAiB,EAAE,KAAa;QACnC,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;CACJ;AARD,oCAQC;AAED,MAAa,aAAc,SAAQ,kBAAsC;IACrE,MAAM,CAAC,KAAa;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAClD,OAAO,IAAA,iBAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAA,kBAAW,EAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,CAAC,KAAa,EAAE,KAAa;QAC/B,IAAI,CAAC,aAAa,CAAC,IAAA,mBAAW,EAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC5D,CAAC;CACJ;AATD,sCASC;AAED,MAAa,YAAa,SAAQ,cAAkC;IAChE,MAAM,CAAC,KAAa;QAChB,IAAI,UAAoC,CAAC;QACzC,IAAI,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;QAEpB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,eAAO,EAAE,KAAK,CAAC,CAAC;YAEpD,IAAI,IAAA,iBAAS,EAAC,UAAU,CAAC,EAAE,CAAC;gBACxB,OAAO,UAAU,CAAC;YACtB,CAAC;YAED,IAAI,IAAI,GAAG,CAAC;QAChB,CAAC;aAAM,CAAC;YACJ,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,CAAC;QAED,IAAI,UAAU,IAAI,4BAAoB,EAAE,CAAC;YACrC,OAAO,IAAI,uBAAe,CAAC,8BAA8B,UAAU,EAAE,CAAC,CAAC;QAC3E,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,GAAG,GAAY,EAAE,CAAC;QAExB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACtD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,GAAG,CAAC;QAChB,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,KAAa,EAAE,KAAgB;QAClD,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QAEnB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACnD,GAAG,IAAI,GAAG,CAAC;QACf,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAC7B,GAAG,IAAI,GAAG,CAAC;QACf,CAAC;IACL,CAAC;CACJ;AA/CD,oCA+CC;AAED,MAAa,aAAc,SAAQ,cAAqC;IACpE,MAAM,CAAC,KAAa;QAChB,MAAM,OAAO,GAA2B,EAAE,CAAC;QAE3C,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC;QAEtB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1C,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,CAAC;QAClB,CAAC;QAED,OAAO,IAAI,cAAM,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,KAAa,EAAE,KAAa,EAAE,KAAgB;QACjD,IAAI,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC;QAEtB,IAAA,uBAAM,EAAC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,6BAA6B,CAAC,CAAC;QAExF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1C,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,CAAC;QAClB,CAAC;IACL,CAAC;CACJ;AA3BD,sCA2BC;AAED,MAAa,cAAe,SAAQ,cAAkC;IAClE,MAAM,CAAC,KAAa;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,eAAO,EAAE,KAAK,CAAC,CAAC;QAE1D,IAAI,IAAA,iBAAS,EAAC,MAAM,CAAC,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC;QAClB,CAAC;QAED,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,SAAS,CAAC,CAAoB,EAAE,CAAW;QAC9C,IAAI,CAAC,YAAY,0BAAS,EAAE,CAAC;YACzB,OAAO,CACF,CAAa,CAAC,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,QAAQ,CAAC;gBACvE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAClC,CAAC;QACN,CAAC;QAED,IAAI,CAAC,YAAY,yBAAa,EAAE,CAAC;YAC7B,IAAI,IAAI,GAAG,CAAC,CAAC;YACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,IAAI,IAAI,cAAc,CAAC,SAAS,CAAE,CAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClF,CAAC;YAED,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,CAAC,YAAY,gCAAe,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAwB,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC;QAC7D,CAAC;QAED,OAAO,EAAE,CAAC;IACd,CAAC;IAED,MAAM,CAAC,KAAY,EAAE,KAAa,EAAE,KAAgB;QAChD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;CACJ;AA7CD,wCA6CC;AAED,MAAa,cAAe,SAAQ,cAAkC;IAClE,MAAM;QACF,OAAO,IAAI,uBAAe,CACtB,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CACxE,CAAC;IACN,CAAC;IAED,MAAM;QACF,MAAM,IAAI,oBAAa,CAAC,8BAA8B,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5E,CAAC;CACJ;AAVD,wCAUC;AAED,SAAgB,cAAc,CAAC,IAAc,EAAE,GAAW;IACtD,IAAI,IAAI,YAAY,wBAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,IAAI,YAAY,yBAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,IAAI,YAAY,4BAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,IAAI,YAAY,+BAAc,EAAE,CAAC;QACjC,OAAO,IAAI,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,IAAI,YAAY,yBAAa,EAAE,CAAC;QAChC,OAAO,IAAI,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,IAAI,YAAY,0BAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,IAAI,YAAY,2BAAU,EAAE,CAAC;QAC7B,OAAO,IAAI,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,IAAI,YAAY,0BAAS,EAAE,CAAC;QAC5B,OAAO,IAAI,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,IAAI,YAAY,4BAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,IAAI,YAAY,uBAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IAED,IAAA,WAAG,EAAC,kBAAkB,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AACxC,CAAC"}

package/dist/debug/decoding/stack/index.d.ts

@@ -0,0 +1,2 @@
+export { makeStackView } from "./view";
+//# sourceMappingURL=index.d.ts.map

package/dist/debug/decoding/stack/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/debug/decoding/stack/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC"}

package/dist/debug/decoding/stack/index.js

@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.makeStackView = void 0;
+var view_1 = require("./view");
+Object.defineProperty(exports, "makeStackView", { enumerable: true, get: function () { return view_1.makeStackView; } });
+//# sourceMappingURL=index.js.map

package/dist/debug/decoding/stack/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/debug/decoding/stack/index.ts"],"names":[],"mappings":";;;AAAA,+BAAuC;AAA9B,qGAAA,aAAa,OAAA"}

package/dist/debug/decoding/stack/view.d.ts

@@ -0,0 +1,36 @@
+import { AddressType, BoolType, FixedBytesType, IntType, PointerType, TypeNode } from "solc-typed-ast";
+import { Stack } from "../../types";
+import { DecodingFailure, Value } from "../value";
+import { View } from "../view";
+import { Address } from "@ethereumjs/util";
+export declare abstract class BaseStackView<Val extends Value, Type extends TypeNode> extends View<Stack, Val, number, Type> {
+    fetchStackWord(offsetFromTop: number, state: Stack): Uint8Array | DecodingFailure;
+    decodeIntAt(offsetFromTop: number, typ: IntType, state: Stack): bigint | DecodingFailure;
+    pp(): string;
+    abstract encode(value: Val, state: Stack): void;
+    encodeIntAt(value: bigint, type: IntType, offsetFromTop: number, state: Stack): void;
+}
+export declare class IntStackView extends BaseStackView<bigint, IntType> {
+    decode(state: Stack): bigint | DecodingFailure;
+    encode(value: bigint, state: Stack): void;
+}
+export declare class BoolStackView extends BaseStackView<boolean, BoolType> {
+    decode(state: Stack): boolean | DecodingFailure;
+    encode(value: boolean, state: Stack): void;
+}
+export declare class AddressStackView extends BaseStackView<Address, AddressType> {
+    decode(state: Stack): Address | DecodingFailure;
+    encode(value: Address, state: Stack): void;
+}
+export declare class FixedBytesStackView extends BaseStackView<Uint8Array, FixedBytesType> {
+    decode(state: Stack): Uint8Array | DecodingFailure;
+    encode(value: Uint8Array, state: Stack): void;
+}
+type PointerValue = View<any, Value, any, TypeNode>;
+export declare class PointerStackView extends BaseStackView<PointerValue, PointerType> {
+    decode(state: Stack): PointerValue | DecodingFailure;
+    encode(value: PointerValue, state: Stack): void;
+}
+export declare function makeStackView(type: TypeNode, loc: number): BaseStackView<Value, TypeNode>;
+export {};
+//# sourceMappingURL=view.d.ts.map

package/dist/debug/decoding/stack/view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../../src/debug/decoding/stack/view.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,WAAW,EAEX,QAAQ,EAER,cAAc,EACd,OAAO,EACP,WAAW,EACX,QAAQ,EACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAClD,OAAO,EAAiB,IAAI,EAAE,MAAM,SAAS,CAAC;AAU9C,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAQ3C,8BAAsB,aAAa,CAAC,GAAG,SAAS,KAAK,EAAE,IAAI,SAAS,QAAQ,CAAE,SAAQ,IAAI,CACtF,KAAK,EACL,GAAG,EACH,MAAM,EACN,IAAI,CACP;IACG,cAAc,CAAC,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,UAAU,GAAG,eAAe;IAUjF,WAAW,CAAC,aAAa,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,eAAe;IAsBxF,EAAE,IAAI,MAAM;IAIZ,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;IAE/C,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;CAOvF;AAED,qBAAa,YAAa,SAAQ,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC;IAC5D,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,eAAe;IAI9C,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;CAG5C;AAED,qBAAa,aAAc,SAAQ,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC/D,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,eAAe;IAK/C,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;CAG7C;AAED,qBAAa,gBAAiB,SAAQ,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC;IACrE,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,eAAe;IAK/C,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;CAS7C;AAED,qBAAa,mBAAoB,SAAQ,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC;IAC9E,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,GAAG,eAAe;IAKlD,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;CAQhD;AAED,KAAK,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;AAEpD,qBAAa,gBAAiB,SAAQ,aAAa,CAAC,YAAY,EAAE,WAAW,CAAC;IAC1E,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,YAAY,GAAG,eAAe;IAoCpD,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,IAAI;CAelD;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAsBzF"}

package/dist/debug/decoding/stack/view.js

@@ -0,0 +1,156 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PointerStackView = exports.FixedBytesStackView = exports.AddressStackView = exports.BoolStackView = exports.IntStackView = exports.BaseStackView = void 0;
+exports.makeStackView = makeStackView;
+const solc_typed_ast_1 = require("solc-typed-ast");
+const value_1 = require("../value");
+const view_1 = require("../view");
+const utils_1 = require("../../../utils");
+const storage_1 = require("../storage");
+const utils_2 = require("../utils");
+const view_2 = require("../calldata/view");
+const memory_1 = require("../memory");
+const view_3 = require("../storage/view");
+const view_4 = require("../memory/view");
+class BaseStackView extends view_1.View {
+    fetchStackWord(offsetFromTop, state) {
+        const len = state.length;
+        if (len <= offsetFromTop) {
+            return new value_1.DecodingFailure(`${offsetFromTop} OoB in stack of length ${len}`);
+        }
+        return state[len - offsetFromTop - 1];
+    }
+    decodeIntAt(offsetFromTop, typ, state) {
+        const word = this.fetchStackWord(offsetFromTop, state);
+        if ((0, utils_2.isFailure)(word)) {
+            return word;
+        }
+        let res = (0, utils_1.bigEndianBufToBigint)(word);
+        // Convert signed negative 2's complement values
+        if (typ.signed && (res & (BigInt(1) << BigInt(typ.nBits - 1))) !== BigInt(0)) {
+            // Mask out any 1's above the number's size
+            res = res & ((BigInt(1) << BigInt(typ.nBits)) - BigInt(1));
+            res = -((BigInt(1) << BigInt(typ.nBits)) - res);
+        }
+        if (!(0, utils_1.fits)(res, typ)) {
+            return new value_1.DecodingFailure(`${res} doesnt fit in type ${typ.pp()}`);
+        }
+        return res;
+    }
+    pp() {
+        return `<${this.type.pp()}@${this.loc} in stack>`;
+    }
+    encodeIntAt(value, type, offsetFromTop, state) {
+        if (state.length <= offsetFromTop) {
+            throw new view_1.EncodingError(`OoB access at ${offsetFromTop} in stack`);
+        }
+        (0, utils_1.encodeBigintInBigEndianBuf)(value, state[offsetFromTop], type.nBits / 8);
+    }
+}
+exports.BaseStackView = BaseStackView;
+class IntStackView extends BaseStackView {
+    decode(state) {
+        return this.decodeIntAt(this.loc, this.type, state);
+    }
+    encode(value, state) {
+        this.encodeIntAt(value, this.type, this.loc, state);
+    }
+}
+exports.IntStackView = IntStackView;
+class BoolStackView extends BaseStackView {
+    decode(state) {
+        const res = this.decodeIntAt(this.loc, utils_1.uint256, state);
+        return (0, utils_2.isFailure)(res) ? res : res === 1n;
+    }
+    encode(value, state) {
+        this.encodeIntAt(value ? 1n : 0n, utils_1.uint8, this.loc, state);
+    }
+}
+exports.BoolStackView = BoolStackView;
+class AddressStackView extends BaseStackView {
+    decode(state) {
+        const w = this.fetchStackWord(this.loc, state);
+        return (0, utils_2.isFailure)(w) ? w : (0, utils_1.wordToAddress)(w);
+    }
+    encode(value, state) {
+        const w = this.fetchStackWord(this.loc, state);
+        if ((0, utils_2.isFailure)(w)) {
+            throw new view_1.EncodingError(w.reason);
+        }
+        w.set(value.bytes, 12);
+    }
+}
+exports.AddressStackView = AddressStackView;
+class FixedBytesStackView extends BaseStackView {
+    decode(state) {
+        const w = this.fetchStackWord(this.loc, state);
+        return (0, utils_2.isFailure)(w) ? w : w.slice(0, this.type.size);
+    }
+    encode(value, state) {
+        const w = this.fetchStackWord(this.loc, state);
+        if ((0, utils_2.isFailure)(w)) {
+            throw new view_1.EncodingError(w.reason);
+        }
+        w.set(value);
+    }
+}
+exports.FixedBytesStackView = FixedBytesStackView;
+class PointerStackView extends BaseStackView {
+    decode(state) {
+        const off = this.decodeIntAt(this.loc, utils_1.uint256, state);
+        if ((0, utils_2.isFailure)(off)) {
+            return off;
+        }
+        if ((0, utils_2.isCalldataArrayType)(this.type)) {
+            // Calldata Array slice - fetch 2 words from stack
+            const len = this.decodeIntAt(this.loc - 1, utils_1.uint256, state);
+            if ((0, utils_2.isFailure)(len)) {
+                return len;
+            }
+            return new view_2.ArraySliceCalldataView(this.type.to, off, len);
+        }
+        if (this.type.location === solc_typed_ast_1.DataLocation.CallData) {
+            return (0, view_2.makeCalldataView)(this.type.to, off, 0n);
+        }
+        if (this.type.location === solc_typed_ast_1.DataLocation.Memory) {
+            return (0, memory_1.makeMemoryView)(this.type.to, off);
+        }
+        if (this.type.location === solc_typed_ast_1.DataLocation.Storage ||
+            this.type.location === solc_typed_ast_1.DataLocation.Transient) {
+            return (0, storage_1.makeStorageView)(this.type.to, [off, 32]);
+        }
+        (0, utils_1.nyi)(`Stack pointer to ${this.type.location}`);
+    }
+    encode(value, state) {
+        if (value instanceof view_3.BaseStorageView) {
+            if (value.endOffsetInWord !== 32) {
+                throw new view_1.EncodingError(`Unexpected non-word-aligned storage pointer in stack encoding`);
+            }
+            this.encodeIntAt(value.key, utils_1.uint256, this.loc, state);
+        }
+        else if (value instanceof view_4.BaseMemoryView || value instanceof view_2.BaseCalldataView) {
+            this.encodeIntAt(value.offset, utils_1.uint256, this.loc, state);
+        }
+        (0, utils_1.nyi)(`Unexpected pointer ${value.pp()}`);
+    }
+}
+exports.PointerStackView = PointerStackView;
+function makeStackView(type, loc) {
+    if (type instanceof solc_typed_ast_1.IntType) {
+        return new IntStackView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.AddressType) {
+        return new AddressStackView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.FixedBytesType) {
+        return new FixedBytesStackView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.BoolType) {
+        return new BoolStackView(type, loc);
+    }
+    if (type instanceof solc_typed_ast_1.PointerType) {
+        return new PointerStackView(type, loc);
+    }
+    (0, utils_1.nyi)(`makeStackView(${type.pp()}, ${loc})`);
+}
+//# sourceMappingURL=view.js.map

package/dist/debug/decoding/stack/view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../../../../src/debug/decoding/stack/view.ts"],"names":[],"mappings":";;;AAiMA,sCAsBC;AAvND,mDASwB;AAExB,oCAAkD;AAClD,kCAA8C;AAC9C,0CAQwB;AAExB,wCAA6C;AAC7C,oCAA0D;AAC1D,2CAA8F;AAC9F,sCAA2C;AAC3C,0CAAkD;AAClD,yCAAgD;AAEhD,MAAsB,aAAwD,SAAQ,WAKrF;IACG,cAAc,CAAC,aAAqB,EAAE,KAAY;QAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;QAEzB,IAAI,GAAG,IAAI,aAAa,EAAE,CAAC;YACvB,OAAO,IAAI,uBAAe,CAAC,GAAG,aAAa,2BAA2B,GAAG,EAAE,CAAC,CAAC;QACjF,CAAC;QAED,OAAO,KAAK,CAAC,GAAG,GAAG,aAAa,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,WAAW,CAAC,aAAqB,EAAE,GAAY,EAAE,KAAY;QACzD,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QAEvD,IAAI,IAAA,iBAAS,EAAC,IAAI,CAAC,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,IAAI,GAAG,GAAG,IAAA,4BAAoB,EAAC,IAAI,CAAC,CAAC;QACrC,gDAAgD;QAChD,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,2CAA2C;YAC3C,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,CAAC,IAAA,YAAI,EAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAClB,OAAO,IAAI,uBAAe,CAAC,GAAG,GAAG,uBAAuB,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxE,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAED,EAAE;QACE,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,YAAY,CAAC;IACtD,CAAC;IAID,WAAW,CAAC,KAAa,EAAE,IAAa,EAAE,aAAqB,EAAE,KAAY;QACzE,IAAI,KAAK,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC;YAChC,MAAM,IAAI,oBAAa,CAAC,iBAAiB,aAAa,WAAW,CAAC,CAAC;QACvE,CAAC;QAED,IAAA,kCAA0B,EAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC5E,CAAC;CACJ;AAnDD,sCAmDC;AAED,MAAa,YAAa,SAAQ,aAA8B;IAC5D,MAAM,CAAC,KAAY;QACf,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,CAAC,KAAa,EAAE,KAAY;QAC9B,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;CACJ;AARD,oCAQC;AAED,MAAa,aAAc,SAAQ,aAAgC;IAC/D,MAAM,CAAC,KAAY;QACf,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,eAAO,EAAE,KAAK,CAAC,CAAC;QACvD,OAAO,IAAA,iBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;IAC7C,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,KAAY;QAC/B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,aAAK,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9D,CAAC;CACJ;AATD,sCASC;AAED,MAAa,gBAAiB,SAAQ,aAAmC;IACrE,MAAM,CAAC,KAAY;QACf,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC/C,OAAO,IAAA,iBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAA,qBAAa,EAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,CAAC,KAAc,EAAE,KAAY;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAE/C,IAAI,IAAA,iBAAS,EAAC,CAAC,CAAC,EAAE,CAAC;YACf,MAAM,IAAI,oBAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;QAED,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3B,CAAC;CACJ;AAfD,4CAeC;AAED,MAAa,mBAAoB,SAAQ,aAAyC;IAC9E,MAAM,CAAC,KAAY;QACf,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC/C,OAAO,IAAA,iBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,CAAC,KAAiB,EAAE,KAAY;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC/C,IAAI,IAAA,iBAAS,EAAC,CAAC,CAAC,EAAE,CAAC;YACf,MAAM,IAAI,oBAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;QAED,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;CACJ;AAdD,kDAcC;AAID,MAAa,gBAAiB,SAAQ,aAAwC;IAC1E,MAAM,CAAC,KAAY;QACf,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,eAAO,EAAE,KAAK,CAAC,CAAC;QAEvD,IAAI,IAAA,iBAAS,EAAC,GAAG,CAAC,EAAE,CAAC;YACjB,OAAO,GAAG,CAAC;QACf,CAAC;QAED,IAAI,IAAA,2BAAmB,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,kDAAkD;YAClD,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,eAAO,EAAE,KAAK,CAAC,CAAC;YAE3D,IAAI,IAAA,iBAAS,EAAC,GAAG,CAAC,EAAE,CAAC;gBACjB,OAAO,GAAG,CAAC;YACf,CAAC;YAED,OAAO,IAAI,6BAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAe,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3E,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,6BAAY,CAAC,QAAQ,EAAE,CAAC;YAC/C,OAAO,IAAA,uBAAgB,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,6BAAY,CAAC,MAAM,EAAE,CAAC;YAC7C,OAAO,IAAA,uBAAc,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC7C,CAAC;QAED,IACI,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,6BAAY,CAAC,OAAO;YAC3C,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,6BAAY,CAAC,SAAS,EAC/C,CAAC;YACC,OAAO,IAAA,yBAAe,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACpD,CAAC;QAED,IAAA,WAAG,EAAC,oBAAoB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,CAAC,KAAmB,EAAE,KAAY;QACpC,IAAI,KAAK,YAAY,sBAAe,EAAE,CAAC;YACnC,IAAI,KAAK,CAAC,eAAe,KAAK,EAAE,EAAE,CAAC;gBAC/B,MAAM,IAAI,oBAAa,CACnB,+DAA+D,CAClE,CAAC;YACN,CAAC;YAED,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,eAAO,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC1D,CAAC;aAAM,IAAI,KAAK,YAAY,qBAAc,IAAI,KAAK,YAAY,uBAAgB,EAAE,CAAC;YAC9E,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,eAAO,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7D,CAAC;QAED,IAAA,WAAG,EAAC,sBAAsB,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC;CACJ;AApDD,4CAoDC;AAED,SAAgB,aAAa,CAAC,IAAc,EAAE,GAAW;IACrD,IAAI,IAAI,YAAY,wBAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,IAAI,IAAI,YAAY,4BAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,IAAI,YAAY,+BAAc,EAAE,CAAC;QACjC,OAAO,IAAI,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,IAAI,YAAY,yBAAQ,EAAE,CAAC;QAC3B,OAAO,IAAI,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,IAAI,YAAY,4BAAW,EAAE,CAAC;QAC9B,OAAO,IAAI,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,IAAA,WAAG,EAAC,iBAAiB,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,GAAG,CAAC,CAAC;AAC/C,CAAC"}

package/dist/debug/decoding/storage/index.d.ts

@@ -0,0 +1,2 @@
+export { makeStorageView } from "./view";
+//# sourceMappingURL=index.d.ts.map

package/dist/debug/decoding/storage/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/debug/decoding/storage/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,QAAQ,CAAC"}

package/dist/debug/decoding/storage/index.js

@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.makeStorageView = void 0;
+var view_1 = require("./view");
+Object.defineProperty(exports, "makeStorageView", { enumerable: true, get: function () { return view_1.makeStorageView; } });
+//# sourceMappingURL=index.js.map

package/dist/debug/decoding/storage/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/debug/decoding/storage/index.ts"],"names":[],"mappings":";;;AAAA,+BAAyC;AAAhC,uGAAA,eAAe,OAAA"}

package/dist/debug/decoding/storage/view.d.ts

@@ -0,0 +1,105 @@
+import { AddressType, ArrayType, BoolType, BytesType, FixedBytesType, IntType, MappingType, PointerType, StringType, TypeNode } from "solc-typed-ast";
+import { DecodingFailure, Struct, Value } from "../value";
+import { View } from "../view";
+import { Storage } from "../../types";
+import { Address } from "@ethereumjs/util";
+import { ExpStructType, MissingType } from "../exp_types";
+import { MapKeys } from "../../tracers";
+type StorageLocation = [bigint, number];
+export declare abstract class BaseStorageView<Val extends Value, Type extends TypeNode = TypeNode> extends View<Storage, Val, [bigint, number], Type> {
+    key: bigint;
+    endOffsetInWord: number;
+    constructor(type: Type, loc: [bigint, number]);
+    /**
+     * Helper to fetch the word residing at key `key` from `storage`. If the key is missing return an all-0 value.
+     */
+    protected fetchWord(key: bigint, storage: Storage): Uint8Array;
+    protected setWord(key: bigint, value: Uint8Array, storage: Storage): Storage;
+    /**
+     * Helper to fetch `numBytes` bytes from `storage` starting at offset `off`.
+     */
+    protected fetchBytes(wordOff: bigint, offInWord: number, numBytes: number, state: Storage): Uint8Array;
+    /**
+     * Helper to decode an int type at a given location in storage.
+     */
+    protected decodeIntAt(key: bigint, endOffsetInWord: number, type: IntType, state: Storage): bigint | DecodingFailure;
+    protected encodeIntAt(val: bigint, key: bigint, endOffsetInWord: number, type: IntType, state: Storage): Storage;
+    pp(): string;
+    /**
+     * The first location after the end of this view
+     */
+    abstract nextLoc(): StorageLocation | undefined;
+    abstract decode(state: Storage, mapKeys?: MapKeys): Val | DecodingFailure;
+    abstract encode(value: Val, state: Storage): Storage;
+}
+export declare class IntStorageView extends BaseStorageView<bigint, IntType> {
+    decode(state: Storage): bigint | DecodingFailure;
+    nextLoc(): StorageLocation;
+    encode(value: bigint, state: Storage): Storage;
+}
+export declare class BoolStorageView extends BaseStorageView<boolean, BoolType> {
+    decode(state: Storage): boolean | DecodingFailure;
+    encode(value: boolean, state: Storage): Storage;
+    nextLoc(): StorageLocation;
+}
+export declare class AddressStorageView extends BaseStorageView<Address, AddressType> {
+    decode(state: Storage): Address | DecodingFailure;
+    encode(value: Address, state: Storage): Storage;
+    nextLoc(): StorageLocation;
+}
+export declare class FixedBytesStorageView extends BaseStorageView<Uint8Array, FixedBytesType> {
+    decode(state: Storage): Uint8Array | DecodingFailure;
+    encode(value: Uint8Array, state: Storage): Storage;
+    nextLoc(): StorageLocation;
+}
+export declare class PointerStorageView extends BaseStorageView<Value, PointerType> {
+    innerView: BaseStorageView<Value, TypeNode>;
+    constructor(type: PointerType, loc: [bigint, number]);
+    decode(state: Storage, mapKeys?: MapKeys): Value;
+    encode(value: Value, state: Storage): Storage;
+    nextLoc(): StorageLocation | undefined;
+}
+export declare class ArrayStorageView extends BaseStorageView<Value[], ArrayType> {
+    private _nextLoc;
+    constructor(type: ArrayType, loc: [bigint, number]);
+    nextLoc(): StorageLocation | undefined;
+    decode(state: Storage, mapKeys?: MapKeys): Value[] | DecodingFailure;
+    encode(value: Value[], state: Storage): Storage;
+}
+export declare class StructStorageView extends BaseStorageView<Struct, ExpStructType> {
+    fieldViews: Array<[string, BaseStorageView<Value, TypeNode>]>;
+    private _nextLoc;
+    constructor(type: ExpStructType, loc: StorageLocation);
+    nextLoc(): StorageLocation | undefined;
+    decode(state: Storage, mapKeys?: MapKeys): Struct;
+    encode(value: Struct, state: Storage): Storage;
+}
+export declare class MapStorageView extends BaseStorageView<Map<Value, Value>, MappingType> {
+    constructor(type: MappingType, loc: StorageLocation);
+    nextLoc(): StorageLocation;
+    decode(state: Storage, mapKeys?: MapKeys): Map<Value, Value>;
+    encode(value: Map<Value, Value>, state: Storage): Storage;
+}
+export declare abstract class PackedArrayStorageView<V extends Value, T extends TypeNode> extends BaseStorageView<V, T> {
+    nextLoc(): StorageLocation;
+    decodeBytes(state: Storage): Uint8Array | DecodingFailure;
+    encodeBytesAt(bytes: Uint8Array, slot: bigint, state: Storage): Storage;
+}
+export declare class BytesStorageView extends PackedArrayStorageView<Uint8Array, BytesType> {
+    decode(state: Storage): Uint8Array | DecodingFailure;
+    encode(value: Uint8Array, state: Storage): Storage;
+}
+export declare class StringStorageView extends PackedArrayStorageView<string, StringType> {
+    decode(state: Storage): string | DecodingFailure;
+    encode(value: string, state: Storage): Storage;
+}
+export declare class MissingStorageView extends BaseStorageView<DecodingFailure, MissingType> {
+    constructor(type: MissingType, loc: StorageLocation);
+    decode(): DecodingFailure;
+    encode(): Storage;
+    nextLoc(): StorageLocation | undefined;
+}
+export declare function nextWord(loc: StorageLocation): StorageLocation;
+export declare function makeStorageView(type: TypeNode, loc: StorageLocation): BaseStorageView<Value, TypeNode>;
+export {};
+//# sourceMappingURL=view.d.ts.map