sol-dbg 0.6.13 → 0.7.1

package/dist/debug/decoding/general.d.ts

@@ -1,10 +1,6 @@
-import { InferType, TypeNode } from "solc-typed-ast";
-import { DataView, StepState } from "..";
-import { MapKeys } from "../tracers/transformers";
-export declare function isCalldataType2Slots(typ: TypeNode): boolean;
-/**
- * Decode a generic value expressed as a `DataView` (i.e. a tuple of type and location) given
- * the dbg state `state` at some step.
- */
-export declare function decodeValue(view: DataView, state: StepState, infer: InferType, mapKeys?: MapKeys): any;
+import { MapKeys } from "../tracers/transformers/keccak256_invert";
+import { StepState } from "../types";
+import { View } from "./view";
+import { Value } from "./value";
+export declare function decodeView(v: View, state: StepState, mapKeys?: MapKeys): Value;
 //# sourceMappingURL=general.d.ts.map

package/dist/debug/decoding/general.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"general.d.ts","sourceRoot":"","sources":["../../../src/debug/decoding/general.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,SAAS,EAGT,QAAQ,EACX,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAGH,QAAQ,EAGR,SAAS,EAEZ,MAAM,IAAI,CAAC;AAEZ,OAAO,EAAE,OAAO,EAAe,MAAM,yBAAyB,CAAC;AAwD/D,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,QAAQ,GAAG,OAAO,CAO3D;AAED;;;GAGG;AACH,wBAAgB,WAAW,CACvB,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,SAAS,EAChB,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE,OAAO,GAClB,GAAG,CAqFL"}
+{"version":3,"file":"general.d.ts","sourceRoot":"","sources":["../../../src/debug/decoding/general.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,0CAA0C,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAMhC,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,KAAK,CA+B9E"}

package/dist/debug/decoding/general.js

@@ -1,113 +1,35 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.isCalldataType2Slots = isCalldataType2Slots;
-exports.decodeValue = decodeValue;
-const solc_typed_ast_1 = require("solc-typed-ast");
-const abi_1 = require("solc-typed-ast/dist/types/abi");
-const __1 = require("..");
-const __2 = require("../..");
-const transformers_1 = require("../tracers/transformers");
-const calldata_1 = require("./calldata");
-const memory_1 = require("./memory");
-const stack_1 = require("./stack");
-const storage_1 = require("./storage");
-function solLocToDataKind(loc) {
-    if (loc === solc_typed_ast_1.DataLocation.Default) {
-        return __1.DataLocationKind.Memory;
-    }
-    return loc;
-}
-/**
- * Helper to dispatch the decoding of a given type `typ` at a given data location `loc` in a given `state`.
- * to the proper decoding logic (memory, calldata, storage, stack)
- */
-function decodeValInt(typ, loc, state, infer, mapKeys) {
-    if (loc.kind === __1.DataLocationKind.Memory) {
-        const res = (0, memory_1.mem_decodeValue)(typ, loc, state.memory, infer);
-        return res === undefined ? res : res[0];
-    }
-    if (loc.kind === __1.DataLocationKind.CallData) {
-        const lastExtFrame = (0, transformers_1.topExtFrame)(state);
-        let abiType;
-        try {
-            abiType = infer.toABIEncodedType(typ, abi_1.ABIEncoderVersion.V2);
+exports.decodeView = decodeView;
+const misc_1 = require("../../utils/misc");
+const ext_stack_1 = require("../tracers/transformers/ext_stack");
+const view_1 = require("./view");
+const view_2 = require("./stack/view");
+const view_3 = require("./memory/view");
+const view_4 = require("./calldata/view");
+const view_5 = require("./storage/view");
+function decodeView(v, state, mapKeys) {
+    if (v instanceof view_2.BaseStackView) {
+        const res = v.decode(state.evmStack);
+        if (res instanceof view_1.View) {
+            return decodeView(res, state, mapKeys);
         }
-        catch (e) {
-            return undefined;
-        }
-        const res = (0, calldata_1.cd_decodeValue)(abiType, typ, loc, lastExtFrame.msgData, BigInt(4), infer);
-        return res === undefined ? res : res[0];
+        return res;
     }
-    if (loc.kind === __1.DataLocationKind.Stack) {
-        return (0, stack_1.st_decodeValue)(typ, loc, state.evmStack, infer);
+    if (v instanceof view_3.BaseMemoryView) {
+        return v.decode(state.memory);
     }
-    const res = (0, storage_1.stor_decodeValue)(typ, loc, state.storage, infer, mapKeys);
-    return res === undefined ? res : res[0];
-}
-function isCalldataType2Slots(typ) {
-    return (typ instanceof solc_typed_ast_1.PointerType &&
-        typ.to instanceof solc_typed_ast_1.ArrayType &&
-        typ.location === solc_typed_ast_1.DataLocation.CallData &&
-        typ.to.size === undefined);
-}
-/**
- * Decode a generic value expressed as a `DataView` (i.e. a tuple of type and location) given
- * the dbg state `state` at some step.
- */
-function decodeValue(view, state, infer, mapKeys) {
-    const typ = view.type;
-    const loc = view.loc;
-    /**
-     * The only case where a pointer from one area of the state crosses into another
-     * area of the state are pointers in the stack. All other pointers stay in their
-     * own memory region
-     */
-    if (typ instanceof solc_typed_ast_1.PointerType && loc.kind === __1.DataLocationKind.Stack) {
-        const off = (0, stack_1.st_decodeInt)(__2.uint256, loc, state.evmStack);
-        if (off === undefined) {
-            return undefined;
-        }
-        const kind = solLocToDataKind(typ.location);
-        let pointedToLoc;
-        if (isCalldataType2Slots(typ)) {
-            const lastExtFrame = (0, transformers_1.topExtFrame)(state);
-            let abiType;
-            try {
-                abiType = infer.toABIEncodedType(typ, abi_1.ABIEncoderVersion.V2);
-            }
-            catch (e) {
-                return undefined;
-            }
-            (0, solc_typed_ast_1.assert)(abiType instanceof solc_typed_ast_1.PointerType && abiType.to instanceof solc_typed_ast_1.ArrayType, `InternalError`);
-            const len = (0, stack_1.st_decodeInt)(__2.uint256, { kind: loc.kind, offsetFromTop: loc.offsetFromTop - 1 }, state.evmStack);
-            if (len === undefined) {
-                return undefined;
-            }
-            if (len > __2.MAX_ARR_DECODE_LIMIT) {
-                return undefined;
-            }
-            const res = (0, calldata_1.cd_decodeArrayContents)(abiType.to, typ.to, off, Number(len), lastExtFrame.msgData, infer);
-            return res === undefined ? res : res[0];
-        }
-        if (kind === __1.DataLocationKind.Storage) {
-            pointedToLoc = {
-                kind,
-                address: off,
-                endOffsetInWord: 32
-            };
+    if (v instanceof view_4.BaseCalldataView) {
+        const lastExtFrame = (0, ext_stack_1.topExtFrame)(state);
+        const res = v.decode(lastExtFrame.msgData);
+        if (res instanceof view_1.View) {
+            return decodeView(res, state, mapKeys);
         }
-        else {
-            pointedToLoc = {
-                kind,
-                address: off
-            };
-        }
-        const res = decodeValInt(typ.to, pointedToLoc, state, infer, mapKeys);
-        //console.error(`decodeValue: res ${res}`);
         return res;
     }
-    const res = decodeValInt(typ, loc, state, infer, mapKeys);
-    //console.error(`decodeValue: res ${res}`);
-    return res;
+    if (v instanceof view_5.BaseStorageView) {
+        return v.decode(state.storage, mapKeys);
+    }
+    (0, misc_1.nyi)(`View ${v.pp()}`);
 }
 //# sourceMappingURL=general.js.map

package/dist/debug/decoding/general.js.map

@@ -1 +1 @@
-{"version":3,"file":"general.js","sourceRoot":"","sources":["../../../src/debug/decoding/general.ts"],"names":[],"mappings":";;AA2EA,oDAOC;AAMD,kCA0FC;AAlLD,mDAOwB;AACxB,uDAAkE;AAClE,0BAQY;AACZ,6BAAsD;AACtD,0DAA+D;AAC/D,yCAAoE;AACpE,qCAA2C;AAC3C,mCAAuD;AACvD,uCAA6C;AAE7C,SAAS,gBAAgB,CAAC,GAAoB;IAC1C,IAAI,GAAG,KAAK,6BAAe,CAAC,OAAO,EAAE,CAAC;QAClC,OAAO,oBAAgB,CAAC,MAAM,CAAC;IACnC,CAAC;IAED,OAAO,GAAoC,CAAC;AAChD,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CACjB,GAAa,EACb,GAAiB,EACjB,KAAgB,EAChB,KAAgB,EAChB,OAAiB;IAEjB,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAgB,CAAC,MAAM,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,IAAA,wBAAe,EAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAE3D,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAgB,CAAC,QAAQ,EAAE,CAAC;QACzC,MAAM,YAAY,GAAG,IAAA,0BAAW,EAAC,KAAK,CAAC,CAAC;QAExC,IAAI,OAAiB,CAAC;QAEtB,IAAI,CAAC;YACD,OAAO,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,EAAE,uBAAiB,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,GAAG,GAAG,IAAA,yBAAc,EAAC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAEtF,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAgB,CAAC,KAAK,EAAE,CAAC;QACtC,OAAO,IAAA,sBAAc,EAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,GAAG,GAAG,IAAA,0BAAgB,EAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAEtE,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,SAAgB,oBAAoB,CAAC,GAAa;IAC9C,OAAO,CACH,GAAG,YAAY,4BAAW;QAC1B,GAAG,CAAC,EAAE,YAAY,0BAAS;QAC3B,GAAG,CAAC,QAAQ,KAAK,6BAAe,CAAC,QAAQ;QACzC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;AACN,CAAC;AAED;;;GAGG;AACH,SAAgB,WAAW,CACvB,IAAc,EACd,KAAgB,EAChB,KAAgB,EAChB,OAAiB;IAEjB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IAErB;;;;OAIG;IACH,IAAI,GAAG,YAAY,4BAAW,IAAI,GAAG,CAAC,IAAI,KAAK,oBAAgB,CAAC,KAAK,EAAE,CAAC;QACpE,MAAM,GAAG,GAAG,IAAA,oBAAY,EAAC,WAAO,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAEvD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpB,OAAO,SAAS,CAAC;QACrB,CAAC;QAED,MAAM,IAAI,GAAuB,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAEhE,IAAI,YAA4B,CAAC;QAEjC,IAAI,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,YAAY,GAAG,IAAA,0BAAW,EAAC,KAAK,CAAC,CAAC;YAExC,IAAI,OAAiB,CAAC;YAEtB,IAAI,CAAC;gBACD,OAAO,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,EAAE,uBAAiB,CAAC,EAAE,CAAC,CAAC;YAChE,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACT,OAAO,SAAS,CAAC;YACrB,CAAC;YAED,IAAA,uBAAM,EACF,OAAO,YAAY,4BAAW,IAAI,OAAO,CAAC,EAAE,YAAY,0BAAS,EACjE,eAAe,CAClB,CAAC;YAEF,MAAM,GAAG,GAAG,IAAA,oBAAY,EACpB,WAAO,EACP,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,GAAG,CAAC,EAAE,EACxD,KAAK,CAAC,QAAQ,CACjB,CAAC;YAEF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACpB,OAAO,SAAS,CAAC;YACrB,CAAC;YAED,IAAI,GAAG,GAAG,wBAAoB,EAAE,CAAC;gBAC7B,OAAO,SAAS,CAAC;YACrB,CAAC;YAED,MAAM,GAAG,GAAG,IAAA,iCAAsB,EAC9B,OAAO,CAAC,EAAE,EACV,GAAG,CAAC,EAAe,EACnB,GAAG,EACH,MAAM,CAAC,GAAG,CAAC,EACX,YAAY,CAAC,OAAO,EACpB,KAAK,CACR,CAAC;YAEF,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QAED,IAAI,IAAI,KAAK,oBAAgB,CAAC,OAAO,EAAE,CAAC;YACpC,YAAY,GAAG;gBACX,IAAI;gBACJ,OAAO,EAAE,GAAG;gBACZ,eAAe,EAAE,EAAE;aACH,CAAC;QACzB,CAAC;aAAM,CAAC;YACJ,YAAY,GAAG;gBACX,IAAI;gBACJ,OAAO,EAAE,GAAG;aACf,CAAC;QACN,CAAC;QAED,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAEtE,2CAA2C;QAC3C,OAAO,GAAG,CAAC;IACf,CAAC;IAED,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1D,2CAA2C;IAE3C,OAAO,GAAG,CAAC;AACf,CAAC"}
+{"version":3,"file":"general.js","sourceRoot":"","sources":["../../../src/debug/decoding/general.ts"],"names":[],"mappings":";;AAWA,gCA+BC;AA1CD,2CAAuC;AACvC,iEAAgE;AAGhE,iCAA8B;AAE9B,uCAA6C;AAC7C,wCAA+C;AAC/C,0CAAmD;AACnD,yCAAiD;AAEjD,SAAgB,UAAU,CAAC,CAAO,EAAE,KAAgB,EAAE,OAAiB;IACnE,IAAI,CAAC,YAAY,oBAAa,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAErC,IAAI,GAAG,YAAY,WAAI,EAAE,CAAC;YACtB,OAAO,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAED,IAAI,CAAC,YAAY,qBAAc,EAAE,CAAC;QAC9B,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,CAAC,YAAY,uBAAgB,EAAE,CAAC;QAChC,MAAM,YAAY,GAAG,IAAA,uBAAW,EAAC,KAAK,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAE3C,IAAI,GAAG,YAAY,WAAI,EAAE,CAAC;YACtB,OAAO,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,GAAG,CAAC;IACf,CAAC;IAED,IAAI,CAAC,YAAY,sBAAe,EAAE,CAAC;QAC/B,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5C,CAAC;IAED,IAAA,UAAG,EAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAC1B,CAAC"}

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

@@ -3,4 +3,5 @@ export * from "./general";
 export * from "./memory";
 export * from "./stack";
 export * from "./storage";
+export * from "./exp_types";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/debug/decoding/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/debug/decoding/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC"}

package/dist/debug/decoding/index.js

@@ -19,4 +19,5 @@ __exportStar(require("./general"), exports);
 __exportStar(require("./memory"), exports);
 __exportStar(require("./stack"), exports);
 __exportStar(require("./storage"), exports);
+__exportStar(require("./exp_types"), exports);
 //# sourceMappingURL=index.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/debug/decoding/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,6CAA2B;AAC3B,4CAA0B;AAC1B,2CAAyB;AACzB,0CAAwB;AACxB,4CAA0B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/debug/decoding/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,6CAA2B;AAC3B,4CAA0B;AAC1B,2CAAyB;AACzB,0CAAwB;AACxB,4CAA0B;AAC1B,8CAA4B"}

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/debug/decoding/memory/index.ts"],"names":[],"mappings":";;;AAAA,+BAAwC;AAA/B,sGAAA,cAAc,OAAA"}

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

@@ -0,0 +1,44 @@
+import { AddressType, ArrayType, BoolType, BytesType, FixedBytesType, IntType, PointerType, StringType, TypeNode } from "solc-typed-ast";
+import { Memory } from "../../types";
+import { View } from "../view";
+import { DecodingFailure, Struct, Value } from "../value";
+import { Address } from "@ethereumjs/util";
+import { ExpStructType, MissingType } from "../exp_types";
+export declare abstract class BaseMemoryView<Val extends Value, Type extends TypeNode = TypeNode> extends View<Memory, Val, bigint, Type> {
+    protected readMemAt(off: bigint, calldata: Memory, len: bigint | number): Uint8Array | DecodingFailure;
+    protected decodeIntAt(off: bigint, type: IntType, state: Memory): bigint | DecodingFailure;
+    protected decodeBytesAt(loc: bigint, state: Memory): Uint8Array | DecodingFailure;
+    pp(): string;
+}
+export declare class IntMemView extends BaseMemoryView<bigint, IntType> {
+    decode(state: Memory): bigint | DecodingFailure;
+}
+export declare class AddressMemView extends BaseMemoryView<Address, AddressType> {
+    decode(state: Memory): Address | DecodingFailure;
+}
+export declare class BoolMemView extends BaseMemoryView<boolean, BoolType> {
+    decode(state: Memory): boolean | DecodingFailure;
+}
+export declare class FixedBytesMemView extends BaseMemoryView<Uint8Array, FixedBytesType> {
+    decode(state: Memory): Uint8Array | DecodingFailure;
+}
+export declare class BytesMemView extends BaseMemoryView<Uint8Array, BytesType> {
+    decode(state: Memory): Uint8Array | DecodingFailure;
+}
+export declare class StringMemView extends BaseMemoryView<string, StringType> {
+    decode(state: Memory): string | DecodingFailure;
+}
+export declare class ArrayMemView extends BaseMemoryView<Value[], ArrayType> {
+    decode(state: Memory): Value[] | DecodingFailure;
+}
+export declare class StructMemView extends BaseMemoryView<Struct, ExpStructType> {
+    decode(state: Memory): Struct;
+}
+export declare class PointerMemView extends BaseMemoryView<Value, PointerType> {
+    decode(state: Memory): Value | DecodingFailure;
+}
+export declare class MissingMemView extends BaseMemoryView<Value, MissingType> {
+    decode(): DecodingFailure;
+}
+export declare function makeMemoryView(type: TypeNode, loc: bigint): BaseMemoryView<Value, TypeNode>;
+//# sourceMappingURL=view.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../../src/debug/decoding/memory/view.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,WAAW,EACX,SAAS,EACT,QAAQ,EACR,SAAS,EACT,cAAc,EACd,OAAO,EACP,WAAW,EACX,UAAU,EACV,QAAQ,EACX,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAS1D,OAAO,EAAE,OAAO,EAAe,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG1D,8BAAsB,cAAc,CAChC,GAAG,SAAS,KAAK,EACjB,IAAI,SAAS,QAAQ,GAAG,QAAQ,CAClC,SAAQ,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC;IACrC,SAAS,CAAC,SAAS,CACf,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,GAAG,MAAM,GACrB,UAAU,GAAG,eAAe;IAa/B,SAAS,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,eAAe;IAwB1F,SAAS,CAAC,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,eAAe;IAcjF,EAAE,IAAI,MAAM;CAGf;AAED,qBAAa,UAAW,SAAQ,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC;IAC3D,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,eAAe;CAGlD;AAED,qBAAa,cAAe,SAAQ,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC;IACpE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,eAAe;CAInD;AAED,qBAAa,WAAY,SAAQ,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC9D,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,eAAe;CAInD;AAED,qBAAa,iBAAkB,SAAQ,cAAc,CAAC,UAAU,EAAE,cAAc,CAAC;IAC7E,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,eAAe;CAGtD;AAED,qBAAa,YAAa,SAAQ,cAAc,CAAC,UAAU,EAAE,SAAS,CAAC;IACnE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,eAAe;CAGtD;AAED,qBAAa,aAAc,SAAQ,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC;IACjE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,eAAe;CAIlD;AAED,qBAAa,YAAa,SAAQ,cAAc,CAAC,KAAK,EAAE,EAAE,SAAS,CAAC;IAChE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,EAAE,GAAG,eAAe;CA+BnD;AAED,qBAAa,aAAc,SAAQ,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC;IACpE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;CAahC;AAED,qBAAa,cAAe,SAAQ,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC;IAClE,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,GAAG,eAAe;CAUjD;AAED,qBAAa,cAAe,SAAQ,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC;IAClE,MAAM,IAAI,eAAe;CAK5B;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CA0C3F"}

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

@@ -0,0 +1,183 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MissingMemView = exports.PointerMemView = exports.StructMemView = exports.ArrayMemView = exports.StringMemView = exports.BytesMemView = 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");
+class BaseMemoryView extends view_1.View {
+    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;
+    }
+    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);
+    }
+    pp() {
+        return `<${this.type.pp()}@${this.loc} in memory>`;
+    }
+}
+exports.BaseMemoryView = BaseMemoryView;
+class IntMemView extends BaseMemoryView {
+    decode(state) {
+        return this.decodeIntAt(this.loc, this.type, 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);
+    }
+}
+exports.AddressMemView = AddressMemView;
+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;
+    }
+}
+exports.BoolMemView = BoolMemView;
+class FixedBytesMemView extends BaseMemoryView {
+    decode(state) {
+        return this.readMemAt(this.loc, state, this.type.size);
+    }
+}
+exports.FixedBytesMemView = FixedBytesMemView;
+class BytesMemView extends BaseMemoryView {
+    decode(state) {
+        return this.decodeBytesAt(this.loc, state);
+    }
+}
+exports.BytesMemView = BytesMemView;
+class StringMemView extends BaseMemoryView {
+    decode(state) {
+        const bytes = this.decodeBytesAt(this.loc, state);
+        return (0, utils_2.isFailure)(bytes) ? bytes : (0, util_1.bytesToUtf8)(bytes);
+    }
+}
+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;
+    }
+}
+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);
+    }
+}
+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);
+    }
+}
+exports.PointerMemView = PointerMemView;
+class MissingMemView extends BaseMemoryView {
+    decode() {
+        return new value_1.DecodingFailure(`${this.type.rawTypeName ? this.type.rawTypeName.type : "<unknown>"}`);
+    }
+}
+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":";;;AAwMA,wCA0CC;AAlPD,mDAUwB;AAExB,kCAA+B;AAC/B,oCAA0D;AAC1D,0CAOwB;AACxB,2CAAwD;AACxD,4CAA0D;AAC1D,oCAAqC;AAErC,MAAsB,cAGpB,SAAQ,WAA+B;IAC3B,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;IAES,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;IAED,EAAE;QACE,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,aAAa,CAAC;IACvD,CAAC;CACJ;AA9DD,wCA8DC;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;CACJ;AAJD,gCAIC;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;CACJ;AALD,wCAKC;AAED,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;CACJ;AALD,kCAKC;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;CACJ;AAJD,8CAIC;AAED,MAAa,YAAa,SAAQ,cAAqC;IACnE,MAAM,CAAC,KAAa;QAChB,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;CACJ;AAJD,oCAIC;AAED,MAAa,aAAc,SAAQ,cAAkC;IACjE,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;CACJ;AALD,sCAKC;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;CACJ;AAhCD,oCAgCC;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;CACJ;AAdD,sCAcC;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;CACJ;AAXD,wCAWC;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;CACJ;AAND,wCAMC;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,29 @@
+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;
+}
+export declare class IntStackView extends BaseStackView<bigint, IntType> {
+    decode(state: Stack): bigint | DecodingFailure;
+}
+export declare class BoolStackView extends BaseStackView<boolean, BoolType> {
+    decode(state: Stack): boolean | DecodingFailure;
+}
+export declare class AddressStackView extends BaseStackView<Address, AddressType> {
+    decode(state: Stack): Address | DecodingFailure;
+}
+export declare class FixedBytesStackView extends BaseStackView<Uint8Array, FixedBytesType> {
+    decode(state: Stack): Uint8Array | DecodingFailure;
+}
+type PointerValue = View<any, Value, any, TypeNode>;
+export declare class PointerStackView extends BaseStackView<PointerValue, PointerType> {
+    decode(state: Stack): PointerValue | DecodingFailure;
+}
+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,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAE/B,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAM3C,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;CAGf;AAED,qBAAa,YAAa,SAAQ,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC;IAC5D,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,eAAe;CAGjD;AAED,qBAAa,aAAc,SAAQ,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC/D,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,eAAe;CAIlD;AAED,qBAAa,gBAAiB,SAAQ,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC;IACrE,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,eAAe;CAIlD;AAED,qBAAa,mBAAoB,SAAQ,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC;IAC9E,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,GAAG,eAAe;CAIrD;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;CAmCvD;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,116 @@
+"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");
+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>`;
+    }
+}
+exports.BaseStackView = BaseStackView;
+class IntStackView extends BaseStackView {
+    decode(state) {
+        return this.decodeIntAt(this.loc, this.type, 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;
+    }
+}
+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);
+    }
+}
+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);
+    }
+}
+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}`);
+    }
+}
+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