019b477e-d50e-7049-85f8-b5c10b1afee3
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 28463 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28464 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92509 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92510 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92511 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92512 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x004c 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x10d1e85c 00000018: EQ 00000019: PUSH2 0x0057 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x6d4ce63c 00000023: EQ 00000024: PUSH2 0x0078 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x6dbf2fa0 0000002e: EQ 0000002f: PUSH2 0x008c 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x732c45a0 00000039: EQ 0000003a: PUSH2 0x00ab 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xfa461e33 00000044: EQ 00000045: PUSH2 0x00d7 00000048: JUMPI 00000049: PUSH0 0000004a: DUP1 0000004b: REVERT 0000004c: JUMPDEST 0000004d: CALLDATASIZE 0000004e: PUSH2 0x0053 00000051: JUMPI 00000052: STOP 00000053: JUMPDEST 00000054: PUSH0 00000055: DUP1 00000056: REVERT 00000057: JUMPDEST 00000058: CALLVALUE 00000059: DUP1 0000005a: ISZERO 0000005b: PUSH2 0x0062 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: POP 00000064: PUSH2 0x0076 00000067: PUSH2 0x0071 0000006a: CALLDATASIZE 0000006b: PUSH1 0x04 0000006d: PUSH2 0x0b3b 00000070: JUMP 00000071: JUMPDEST 00000072: PUSH2 0x00f6 00000075: JUMP 00000076: JUMPDEST 00000077: STOP 00000078: JUMPDEST 00000079: CALLVALUE 0000007a: DUP1 0000007b: ISZERO 0000007c: PUSH2 0x0083 0000007f: JUMPI 00000080: PUSH0 00000081: DUP1 00000082: REVERT 00000083: JUMPDEST 00000084: POP 00000085: PUSH2 0x0076 00000088: PUSH2 0x02f1 0000008b: JUMP 0000008c: JUMPDEST 0000008d: CALLVALUE 0000008e: DUP1 0000008f: ISZERO 00000090: PUSH2 0x0097 00000093: JUMPI 00000094: PUSH0 00000095: DUP1 00000096: REVERT 00000097: JUMPDEST 00000098: POP 00000099: PUSH2 0x0076 0000009c: PUSH2 0x00a6 0000009f: CALLDATASIZE 000000a0: PUSH1 0x04 000000a2: PUSH2 0x0b9e 000000a5: JUMP 000000a6: JUMPDEST 000000a7: PUSH2 0x035c 000000aa: JUMP 000000ab: JUMPDEST 000000ac: PUSH2 0x00be 000000af: PUSH2 0x00b9 000000b2: CALLDATASIZE 000000b3: PUSH1 0x04 000000b5: PUSH2 0x0bf4 000000b8: JUMP 000000b9: JUMPDEST 000000ba: PUSH2 0x03e5 000000bd: JUMP 000000be: JUMPDEST 000000bf: PUSH1 0x40 000000c1: DUP1 000000c2: MLOAD 000000c3: SWAP3 000000c4: DUP4 000000c5: MSTORE 000000c6: PUSH1 0x20 000000c8: DUP4 000000c9: ADD 000000ca: SWAP2 000000cb: SWAP1 000000cc: SWAP2 000000cd: MSTORE 000000ce: ADD 000000cf: PUSH1 0x40 000000d1: MLOAD 000000d2: DUP1 000000d3: SWAP2 000000d4: SUB 000000d5: SWAP1 000000d6: RETURN 000000d7: JUMPDEST 000000d8: CALLVALUE 000000d9: DUP1 000000da: ISZERO 000000db: PUSH2 0x00e2 000000de: JUMPI 000000df: PUSH0 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: POP 000000e4: PUSH2 0x0076 000000e7: PUSH2 0x00f1 000000ea: CALLDATASIZE 000000eb: PUSH1 0x04 000000ed: PUSH2 0x0c23 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH2 0x068f 000000f5: JUMP 000000f6: JUMPDEST 000000f7: ORIGIN 000000f8: PUSH1 0x01 000000fa: PUSH1 0x01 000000fc: PUSH1 0xa0 000000fe: SHL 000000ff: SUB 00000100: PUSH32 0x000000000000000000000000e311bfd4ce91a5c3f600a8f235111003c7d6f987 00000121: AND 00000122: EQ 00000123: PUSH2 0x012a 00000126: JUMPI 00000127: PUSH0 00000128: DUP1 00000129: REVERT 0000012a: JUMPDEST 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: PUSH4 0x0ea598cb 00000133: PUSH1 0xe4 00000135: SHL 00000136: DUP2 00000137: MSTORE 00000138: PUSH1 0x04 0000013a: DUP2 0000013b: ADD 0000013c: DUP6 0000013d: SWAP1 0000013e: MSTORE 0000013f: PUSH32 0x00000000000000000000000018e5f92103d1b34623738ee79214b1659f2ee109 00000160: PUSH1 0x01 00000162: PUSH1 0x01 00000164: PUSH1 0xa0 00000166: SHL 00000167: SUB 00000168: AND 00000169: SWAP1 0000016a: PUSH4 0xea598cb0 0000016f: SWAP1 00000170: PUSH1 0x24 00000172: ADD 00000173: PUSH0 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: DUP4 00000179: SUB 0000017a: DUP2 0000017b: PUSH0 0000017c: DUP8 0000017d: DUP1 0000017e: EXTCODESIZE 0000017f: ISZERO 00000180: DUP1 00000181: ISZERO 00000182: PUSH2 0x0189 00000185: JUMPI 00000186: PUSH0 00000187: DUP1 00000188: REVERT 00000189: JUMPDEST 0000018a: POP 0000018b: GAS 0000018c: CALL 0000018d: ISZERO 0000018e: DUP1 0000018f: ISZERO 00000190: PUSH2 0x019b 00000193: JUMPI 00000194: RETURNDATASIZE 00000195: PUSH0 00000196: DUP1 00000197: RETURNDATACOPY 00000198: RETURNDATASIZE 00000199: PUSH0 0000019a: REVERT 0000019b: JUMPDEST 0000019c: POP 0000019d: PUSH0 0000019e: SWAP3 0000019f: POP 000001a0: PUSH2 0x01ae 000001a3: SWAP2 000001a4: POP 000001a5: POP 000001a6: DUP3 000001a7: DUP5 000001a8: ADD 000001a9: DUP5 000001aa: PUSH2 0x0c5a 000001ad: JUMP 000001ae: JUMPDEST 000001af: SWAP1 000001b0: POP 000001b1: PUSH1 0x01 000001b3: PUSH1 0x01 000001b5: PUSH1 0xa0 000001b7: SHL 000001b8: SUB 000001b9: PUSH32 0x000000000000000000000000685c401540c103631a0ba7f14a3d16ae3cb4e50b 000001da: AND 000001db: PUSH4 0x128acb08 000001e0: ADDRESS 000001e1: PUSH1 0x01 000001e3: PUSH2 0x01f4 000001e6: DUP10 000001e7: PUSH8 0x0de0b6b3a7640000 000001f0: PUSH2 0x0c85 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH5 0x01000276a4 000001fb: PUSH1 0x40 000001fd: MLOAD 000001fe: DUP6 000001ff: PUSH4 0xffffffff 00000204: AND 00000205: PUSH1 0xe0 00000207: SHL 00000208: DUP2 00000209: MSTORE 0000020a: PUSH1 0x04 0000020c: ADD 0000020d: PUSH2 0x0219 00000210: SWAP5 00000211: SWAP4 00000212: SWAP3 00000213: SWAP2 00000214: SWAP1 00000215: PUSH2 0x0ca2 00000218: JUMP 00000219: JUMPDEST 0000021a: PUSH1 0x40 0000021c: DUP1 0000021d: MLOAD 0000021e: DUP1 0000021f: DUP4 00000220: SUB 00000221: DUP2 00000222: PUSH0 00000223: DUP8 00000224: GAS 00000225: CALL 00000226: ISZERO 00000227: DUP1 00000228: ISZERO 00000229: PUSH2 0x0234 0000022c: JUMPI 0000022d: RETURNDATASIZE 0000022e: PUSH0 0000022f: DUP1 00000230: RETURNDATACOPY 00000231: RETURNDATASIZE 00000232: PUSH0 00000233: REVERT 00000234: JUMPDEST 00000235: POP 00000236: POP 00000237: POP 00000238: POP 00000239: PUSH1 0x40 0000023b: MLOAD 0000023c: RETURNDATASIZE 0000023d: PUSH1 0x1f 0000023f: NOT 00000240: PUSH1 0x1f 00000242: DUP3 00000243: ADD 00000244: AND 00000245: DUP3 00000246: ADD 00000247: DUP1 00000248: PUSH1 0x40 0000024a: MSTORE 0000024b: POP 0000024c: DUP2 0000024d: ADD 0000024e: SWAP1 0000024f: PUSH2 0x0258 00000252: SWAP2 00000253: SWAP1 00000254: PUSH2 0x0cdb 00000257: JUMP 00000258: JUMPDEST 00000259: POP 0000025a: POP 0000025b: PUSH1 0x40 0000025d: MLOAD 0000025e: PUSH4 0xa9059cbb 00000263: PUSH1 0xe0 00000265: SHL 00000266: DUP2 00000267: MSTORE 00000268: CALLER 00000269: PUSH1 0x04 0000026b: DUP3 0000026c: ADD 0000026d: MSTORE 0000026e: PUSH1 0x24 00000270: DUP2 00000271: ADD 00000272: DUP3 00000273: SWAP1 00000274: MSTORE 00000275: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000296: PUSH1 0x01 00000298: PUSH1 0x01 0000029a: PUSH1 0xa0 0000029c: SHL 0000029d: SUB 0000029e: AND 0000029f: SWAP1 000002a0: PUSH4 0xa9059cbb 000002a5: SWAP1 000002a6: PUSH1 0x44 000002a8: ADD 000002a9: PUSH1 0x20 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP1 000002af: DUP4 000002b0: SUB 000002b1: DUP2 000002b2: PUSH0 000002b3: DUP8 000002b4: GAS 000002b5: CALL 000002b6: ISZERO 000002b7: DUP1 000002b8: ISZERO 000002b9: PUSH2 0x02c4 000002bc: JUMPI 000002bd: RETURNDATASIZE 000002be: PUSH0 000002bf: DUP1 000002c0: RETURNDATACOPY 000002c1: RETURNDATASIZE 000002c2: PUSH0 000002c3: REVERT 000002c4: JUMPDEST 000002c5: POP 000002c6: POP 000002c7: POP 000002c8: POP 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: RETURNDATASIZE 000002cd: PUSH1 0x1f 000002cf: NOT 000002d0: PUSH1 0x1f 000002d2: DUP3 000002d3: ADD 000002d4: AND 000002d5: DUP3 000002d6: ADD 000002d7: DUP1 000002d8: PUSH1 0x40 000002da: MSTORE 000002db: POP 000002dc: DUP2 000002dd: ADD 000002de: SWAP1 000002df: PUSH2 0x02e8 000002e2: SWAP2 000002e3: SWAP1 000002e4: PUSH2 0x0cfd 000002e7: JUMP 000002e8: JUMPDEST 000002e9: POP 000002ea: POP 000002eb: POP 000002ec: POP 000002ed: POP 000002ee: POP 000002ef: POP 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: PUSH1 0x01 000002f7: PUSH1 0x01 000002f9: PUSH1 0xa0 000002fb: SHL 000002fc: SUB 000002fd: PUSH32 0x000000000000000000000000e311bfd4ce91a5c3f600a8f235111003c7d6f987 0000031e: AND 0000031f: SWAP1 00000320: SELFBALANCE 00000321: SWAP1 00000322: PUSH0 00000323: DUP2 00000324: DUP2 00000325: DUP2 00000326: DUP6 00000327: DUP8 00000328: GAS 00000329: CALL 0000032a: SWAP3 0000032b: POP 0000032c: POP 0000032d: POP 0000032e: RETURNDATASIZE 0000032f: DUP1 00000330: PUSH0 00000331: DUP2 00000332: EQ 00000333: PUSH2 0x0357 00000336: JUMPI 00000337: PUSH1 0x40 00000339: MLOAD 0000033a: SWAP2 0000033b: POP 0000033c: PUSH1 0x1f 0000033e: NOT 0000033f: PUSH1 0x3f 00000341: RETURNDATASIZE 00000342: ADD 00000343: AND 00000344: DUP3 00000345: ADD 00000346: PUSH1 0x40 00000348: MSTORE 00000349: RETURNDATASIZE 0000034a: DUP3 0000034b: MSTORE 0000034c: RETURNDATASIZE 0000034d: PUSH0 0000034e: PUSH1 0x20 00000350: DUP5 00000351: ADD 00000352: RETURNDATACOPY 00000353: POP 00000354: POP 00000355: POP 00000356: JUMP 00000357: JUMPDEST 00000358: POP 00000359: POP 0000035a: POP 0000035b: JUMP 0000035c: JUMPDEST 0000035d: ORIGIN 0000035e: PUSH1 0x01 00000360: PUSH1 0x01 00000362: PUSH1 0xa0 00000364: SHL 00000365: SUB 00000366: PUSH32 0x000000000000000000000000e311bfd4ce91a5c3f600a8f235111003c7d6f987 00000387: AND 00000388: EQ 00000389: PUSH2 0x0390 0000038c: JUMPI 0000038d: PUSH0 0000038e: DUP1 0000038f: REVERT 00000390: JUMPDEST 00000391: DUP4 00000392: PUSH1 0x01 00000394: PUSH1 0x01 00000396: PUSH1 0xa0 00000398: SHL 00000399: SUB 0000039a: AND 0000039b: DUP4 0000039c: DUP4 0000039d: DUP4 0000039e: PUSH1 0x40 000003a0: MLOAD 000003a1: PUSH2 0x03ab 000003a4: SWAP3 000003a5: SWAP2 000003a6: SWAP1 000003a7: PUSH2 0x0d23 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH0 000003ad: PUSH1 0x40 000003af: MLOAD 000003b0: DUP1 000003b1: DUP4 000003b2: SUB 000003b3: DUP2 000003b4: DUP6 000003b5: DUP8 000003b6: GAS 000003b7: CALL 000003b8: SWAP3 000003b9: POP 000003ba: POP 000003bb: POP 000003bc: RETURNDATASIZE 000003bd: DUP1 000003be: PUSH0 000003bf: DUP2 000003c0: EQ 000003c1: PUSH2 0x02e8 000003c4: JUMPI 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: SWAP2 000003c9: POP 000003ca: PUSH1 0x1f 000003cc: NOT 000003cd: PUSH1 0x3f 000003cf: RETURNDATASIZE 000003d0: ADD 000003d1: AND 000003d2: DUP3 000003d3: ADD 000003d4: PUSH1 0x40 000003d6: MSTORE 000003d7: RETURNDATASIZE 000003d8: DUP3 000003d9: MSTORE 000003da: RETURNDATASIZE 000003db: PUSH0 000003dc: PUSH1 0x20 000003de: DUP5 000003df: ADD 000003e0: RETURNDATACOPY 000003e1: PUSH2 0x02e8 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH0 000003e7: DUP1 000003e8: DUP3 000003e9: PUSH0 000003ea: SUB 000003eb: PUSH2 0x049b 000003ee: JUMPI 000003ef: PUSH32 0x000000000000000000000000e849b038220dae1e1a1496cf53e8ff79b28b7e3a 00000410: PUSH1 0x01 00000412: PUSH1 0x01 00000414: PUSH1 0xa0 00000416: SHL 00000417: SUB 00000418: AND 00000419: PUSH4 0x022c0d9f 0000041e: DUP8 0000041f: PUSH0 00000420: ADDRESS 00000421: PUSH2 0x0429 00000424: DUP12 00000425: PUSH2 0x09c4 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH1 0x40 0000042c: MLOAD 0000042d: PUSH1 0x20 0000042f: ADD 00000430: PUSH2 0x043b 00000433: SWAP2 00000434: DUP2 00000435: MSTORE 00000436: PUSH1 0x20 00000438: ADD 00000439: SWAP1 0000043a: JUMP 0000043b: JUMPDEST 0000043c: PUSH1 0x40 0000043e: MLOAD 0000043f: PUSH1 0x20 00000441: DUP2 00000442: DUP4 00000443: SUB 00000444: SUB 00000445: DUP2 00000446: MSTORE 00000447: SWAP1 00000448: PUSH1 0x40 0000044a: MSTORE 0000044b: PUSH1 0x40 0000044d: MLOAD 0000044e: DUP6 0000044f: PUSH4 0xffffffff 00000454: AND 00000455: PUSH1 0xe0 00000457: SHL 00000458: DUP2 00000459: MSTORE 0000045a: PUSH1 0x04 0000045c: ADD 0000045d: PUSH2 0x0469 00000460: SWAP5 00000461: SWAP4 00000462: SWAP3 00000463: SWAP2 00000464: SWAP1 00000465: PUSH2 0x0d32 00000468: JUMP 00000469: JUMPDEST 0000046a: PUSH0 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: DUP1 0000046f: DUP4 00000470: SUB 00000471: DUP2 00000472: PUSH0 00000473: DUP8 00000474: DUP1 00000475: EXTCODESIZE 00000476: ISZERO 00000477: DUP1 00000478: ISZERO 00000479: PUSH2 0x0480 0000047c: JUMPI 0000047d: PUSH0 0000047e: DUP1 0000047f: REVERT 00000480: JUMPDEST 00000481: POP 00000482: GAS 00000483: CALL 00000484: ISZERO 00000485: DUP1 00000486: ISZERO 00000487: PUSH2 0x0492 0000048a: JUMPI 0000048b: RETURNDATASIZE 0000048c: PUSH0 0000048d: DUP1 0000048e: RETURNDATACOPY 0000048f: RETURNDATASIZE 00000490: PUSH0 00000491: REVERT 00000492: JUMPDEST 00000493: POP 00000494: POP 00000495: POP 00000496: POP 00000497: PUSH2 0x0553 0000049a: JUMP 0000049b: JUMPDEST 0000049c: DUP3 0000049d: PUSH1 0x01 0000049f: SUB 000004a0: PUSH2 0x0553 000004a3: JUMPI 000004a4: PUSH1 0x01 000004a6: PUSH1 0x01 000004a8: PUSH1 0xa0 000004aa: SHL 000004ab: SUB 000004ac: PUSH32 0x000000000000000000000000685c401540c103631a0ba7f14a3d16ae3cb4e50b 000004cd: AND 000004ce: PUSH4 0x128acb08 000004d3: ADDRESS 000004d4: PUSH0 000004d5: PUSH2 0x04dd 000004d8: DUP11 000004d9: PUSH2 0x0d9c 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH20 0xfffd8963efd1fc6a506488495d951d5263988d25 000004f3: PUSH1 0x40 000004f5: MLOAD 000004f6: DUP6 000004f7: PUSH4 0xffffffff 000004fc: AND 000004fd: PUSH1 0xe0 000004ff: SHL 00000500: DUP2 00000501: MSTORE 00000502: PUSH1 0x04 00000504: ADD 00000505: PUSH2 0x0511 00000508: SWAP5 00000509: SWAP4 0000050a: SWAP3 0000050b: SWAP2 0000050c: SWAP1 0000050d: PUSH2 0x0ca2 00000510: JUMP 00000511: JUMPDEST 00000512: PUSH1 0x40 00000514: DUP1 00000515: MLOAD 00000516: DUP1 00000517: DUP4 00000518: SUB 00000519: DUP2 0000051a: PUSH0 0000051b: DUP8 0000051c: GAS 0000051d: CALL 0000051e: ISZERO 0000051f: DUP1 00000520: ISZERO 00000521: PUSH2 0x052c 00000524: JUMPI 00000525: RETURNDATASIZE 00000526: PUSH0 00000527: DUP1 00000528: RETURNDATACOPY 00000529: RETURNDATASIZE 0000052a: PUSH0 0000052b: REVERT 0000052c: JUMPDEST 0000052d: POP 0000052e: POP 0000052f: POP 00000530: POP 00000531: PUSH1 0x40 00000533: MLOAD 00000534: RETURNDATASIZE 00000535: PUSH1 0x1f 00000537: NOT 00000538: PUSH1 0x1f 0000053a: DUP3 0000053b: ADD 0000053c: AND 0000053d: DUP3 0000053e: ADD 0000053f: DUP1 00000540: PUSH1 0x40 00000542: MSTORE 00000543: POP 00000544: DUP2 00000545: ADD 00000546: SWAP1 00000547: PUSH2 0x0550 0000054a: SWAP2 0000054b: SWAP1 0000054c: PUSH2 0x0cdb 0000054f: JUMP 00000550: JUMPDEST 00000551: POP 00000552: POP 00000553: JUMPDEST 00000554: PUSH1 0x40 00000556: MLOAD 00000557: PUSH4 0x70a08231 0000055c: PUSH1 0xe0 0000055e: SHL 0000055f: DUP2 00000560: MSTORE 00000561: ADDRESS 00000562: PUSH1 0x04 00000564: DUP3 00000565: ADD 00000566: MSTORE 00000567: PUSH1 0x01 00000569: SWAP1 0000056a: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000058b: PUSH1 0x01 0000058d: PUSH1 0x01 0000058f: PUSH1 0xa0 00000591: SHL 00000592: SUB 00000593: AND 00000594: SWAP1 00000595: PUSH4 0x70a08231 0000059a: SWAP1 0000059b: PUSH1 0x24 0000059d: ADD 0000059e: PUSH1 0x20 000005a0: PUSH1 0x40 000005a2: MLOAD 000005a3: DUP1 000005a4: DUP4 000005a5: SUB 000005a6: DUP2 000005a7: DUP7 000005a8: GAS 000005a9: STATICCALL 000005aa: ISZERO 000005ab: DUP1 000005ac: ISZERO 000005ad: PUSH2 0x05b8 000005b0: JUMPI 000005b1: RETURNDATASIZE 000005b2: PUSH0 000005b3: DUP1 000005b4: RETURNDATACOPY 000005b5: RETURNDATASIZE 000005b6: PUSH0 000005b7: REVERT 000005b8: JUMPDEST 000005b9: POP 000005ba: POP 000005bb: POP 000005bc: POP 000005bd: PUSH1 0x40 000005bf: MLOAD 000005c0: RETURNDATASIZE 000005c1: PUSH1 0x1f 000005c3: NOT 000005c4: PUSH1 0x1f 000005c6: DUP3 000005c7: ADD 000005c8: AND 000005c9: DUP3 000005ca: ADD 000005cb: DUP1 000005cc: PUSH1 0x40 000005ce: MSTORE 000005cf: POP 000005d0: DUP2 000005d1: ADD 000005d2: SWAP1 000005d3: PUSH2 0x05dc 000005d6: SWAP2 000005d7: SWAP1 000005d8: PUSH2 0x0db6 000005db: JUMP 000005dc: JUMPDEST 000005dd: PUSH2 0x05e6 000005e0: SWAP2 000005e1: SWAP1 000005e2: PUSH2 0x0dcd 000005e5: JUMP 000005e6: JUMPDEST 000005e7: PUSH1 0x40 000005e9: MLOAD 000005ea: PUSH4 0x2e1a7d4d 000005ef: PUSH1 0xe0 000005f1: SHL 000005f2: DUP2 000005f3: MSTORE 000005f4: PUSH1 0x04 000005f6: DUP2 000005f7: ADD 000005f8: DUP3 000005f9: SWAP1 000005fa: MSTORE 000005fb: SWAP1 000005fc: SWAP3 000005fd: POP 000005fe: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000061f: PUSH1 0x01 00000621: PUSH1 0x01 00000623: PUSH1 0xa0 00000625: SHL 00000626: SUB 00000627: AND 00000628: SWAP1 00000629: PUSH4 0x2e1a7d4d 0000062e: SWAP1 0000062f: PUSH1 0x24 00000631: ADD 00000632: PUSH0 00000633: PUSH1 0x40 00000635: MLOAD 00000636: DUP1 00000637: DUP4 00000638: SUB 00000639: DUP2 0000063a: PUSH0 0000063b: DUP8 0000063c: DUP1 0000063d: EXTCODESIZE 0000063e: ISZERO 0000063f: DUP1 00000640: ISZERO 00000641: PUSH2 0x0648 00000644: JUMPI 00000645: PUSH0 00000646: DUP1 00000647: REVERT 00000648: JUMPDEST 00000649: POP 0000064a: GAS 0000064b: CALL 0000064c: ISZERO 0000064d: DUP1 0000064e: ISZERO 0000064f: PUSH2 0x065a 00000652: JUMPI 00000653: RETURNDATASIZE 00000654: PUSH0 00000655: DUP1 00000656: RETURNDATACOPY 00000657: RETURNDATASIZE 00000658: PUSH0 00000659: REVERT 0000065a: JUMPDEST 0000065b: POP 0000065c: POP 0000065d: POP 0000065e: POP 0000065f: DUP5 00000660: DUP3 00000661: LT 00000662: ISZERO 00000663: PUSH2 0x066a 00000666: JUMPI 00000667: PUSH0 00000668: DUP1 00000669: REVERT 0000066a: JUMPDEST 0000066b: POP 0000066c: DUP4 0000066d: DUP2 0000066e: SUB 0000066f: DUP4 00000670: ISZERO 00000671: PUSH2 0x0686 00000674: JUMPI 00000675: PUSH2 0x03e8 00000678: DUP5 00000679: DUP3 0000067a: MUL 0000067b: DIV 0000067c: PUSH0 0000067d: DUP1 0000067e: DUP1 0000067f: DUP1 00000680: DUP5 00000681: COINBASE 00000682: GAS 00000683: CALL 00000684: POP 00000685: POP 00000686: JUMPDEST 00000687: SWAP5 00000688: POP 00000689: SWAP5 0000068a: SWAP3 0000068b: POP 0000068c: POP 0000068d: POP 0000068e: JUMP 0000068f: JUMPDEST 00000690: ORIGIN 00000691: PUSH1 0x01 00000693: PUSH1 0x01 00000695: PUSH1 0xa0 00000697: SHL 00000698: SUB 00000699: PUSH32 0x000000000000000000000000e311bfd4ce91a5c3f600a8f235111003c7d6f987 000006ba: AND 000006bb: EQ 000006bc: PUSH2 0x06c3 000006bf: JUMPI 000006c0: PUSH0 000006c1: DUP1 000006c2: REVERT 000006c3: JUMPDEST 000006c4: PUSH0 000006c5: DUP5 000006c6: SLT 000006c7: ISZERO 000006c8: PUSH2 0x0975 000006cb: JUMPI 000006cc: PUSH1 0x40 000006ce: MLOAD 000006cf: PUSH4 0x6f074d1f 000006d4: PUSH1 0xe1 000006d6: SHL 000006d7: DUP2 000006d8: MSTORE 000006d9: PUSH8 0x0de0b6b3a7640000 000006e2: PUSH0 000006e3: DUP7 000006e4: SWAP1 000006e5: SUB 000006e6: DIV 000006e7: PUSH1 0x04 000006e9: DUP3 000006ea: ADD 000006eb: DUP2 000006ec: SWAP1 000006ed: MSTORE 000006ee: SWAP1 000006ef: PUSH32 0x00000000000000000000000018e5f92103d1b34623738ee79214b1659f2ee109 00000710: PUSH1 0x01 00000712: PUSH1 0x01 00000714: PUSH1 0xa0 00000716: SHL 00000717: SUB 00000718: AND 00000719: SWAP1 0000071a: PUSH4 0xde0e9a3e 0000071f: SWAP1 00000720: PUSH1 0x24 00000722: ADD 00000723: PUSH0 00000724: PUSH1 0x40 00000726: MLOAD 00000727: DUP1 00000728: DUP4 00000729: SUB 0000072a: DUP2 0000072b: PUSH0 0000072c: DUP8 0000072d: DUP1 0000072e: EXTCODESIZE 0000072f: ISZERO 00000730: DUP1 00000731: ISZERO 00000732: PUSH2 0x0739 00000735: JUMPI 00000736: PUSH0 00000737: DUP1 00000738: REVERT 00000739: JUMPDEST 0000073a: POP 0000073b: GAS 0000073c: CALL 0000073d: ISZERO 0000073e: DUP1 0000073f: ISZERO 00000740: PUSH2 0x074b 00000743: JUMPI 00000744: RETURNDATASIZE 00000745: PUSH0 00000746: DUP1 00000747: RETURNDATACOPY 00000748: RETURNDATASIZE 00000749: PUSH0 0000074a: REVERT 0000074b: JUMPDEST 0000074c: POP 0000074d: POP 0000074e: PUSH1 0x40 00000750: MLOAD 00000751: PUSH4 0xa9059cbb 00000756: PUSH1 0xe0 00000758: SHL 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x01 0000075d: PUSH1 0x01 0000075f: PUSH1 0xa0 00000761: SHL 00000762: SUB 00000763: PUSH32 0x000000000000000000000000e849b038220dae1e1a1496cf53e8ff79b28b7e3a 00000784: DUP2 00000785: AND 00000786: PUSH1 0x04 00000788: DUP4 00000789: ADD 0000078a: MSTORE 0000078b: PUSH1 0x24 0000078d: DUP3 0000078e: ADD 0000078f: DUP6 00000790: SWAP1 00000791: MSTORE 00000792: PUSH32 0x0000000000000000000000007f59b64c6ee521c0d7e590cf8e4b843caa236f96 000007b3: AND 000007b4: SWAP3 000007b5: POP 000007b6: PUSH4 0xa9059cbb 000007bb: SWAP2 000007bc: POP 000007bd: PUSH1 0x44 000007bf: ADD 000007c0: PUSH1 0x20 000007c2: PUSH1 0x40 000007c4: MLOAD 000007c5: DUP1 000007c6: DUP4 000007c7: SUB 000007c8: DUP2 000007c9: PUSH0 000007ca: DUP8 000007cb: GAS 000007cc: CALL 000007cd: ISZERO 000007ce: DUP1 000007cf: ISZERO 000007d0: PUSH2 0x07db 000007d3: JUMPI 000007d4: RETURNDATASIZE 000007d5: PUSH0 000007d6: DUP1 000007d7: RETURNDATACOPY 000007d8: RETURNDATASIZE 000007d9: PUSH0 000007da: REVERT 000007db: JUMPDEST 000007dc: POP 000007dd: POP 000007de: POP 000007df: POP 000007e0: PUSH1 0x40 000007e2: MLOAD 000007e3: RETURNDATASIZE 000007e4: PUSH1 0x1f 000007e6: NOT 000007e7: PUSH1 0x1f 000007e9: DUP3 000007ea: ADD 000007eb: AND 000007ec: DUP3 000007ed: ADD 000007ee: DUP1 000007ef: PUSH1 0x40 000007f1: MSTORE 000007f2: POP 000007f3: DUP2 000007f4: ADD 000007f5: SWAP1 000007f6: PUSH2 0x07ff 000007f9: SWAP2 000007fa: SWAP1 000007fb: PUSH2 0x0cfd 000007fe: JUMP 000007ff: JUMPDEST 00000800: POP 00000801: PUSH0 00000802: DUP1 00000803: PUSH32 0x000000000000000000000000e849b038220dae1e1a1496cf53e8ff79b28b7e3a 00000824: PUSH1 0x01 00000826: PUSH1 0x01 00000828: PUSH1 0xa0 0000082a: SHL 0000082b: SUB 0000082c: AND 0000082d: PUSH4 0x0902f1ac 00000832: PUSH1 0x40 00000834: MLOAD 00000835: DUP2 00000836: PUSH4 0xffffffff 0000083b: AND 0000083c: PUSH1 0xe0 0000083e: SHL 0000083f: DUP2 00000840: MSTORE 00000841: PUSH1 0x04 00000843: ADD 00000844: PUSH1 0x60 00000846: PUSH1 0x40 00000848: MLOAD 00000849: DUP1 0000084a: DUP4 0000084b: SUB 0000084c: DUP2 0000084d: DUP7 0000084e: GAS 0000084f: STATICCALL 00000850: ISZERO 00000851: DUP1 00000852: ISZERO 00000853: PUSH2 0x085e 00000856: JUMPI 00000857: RETURNDATASIZE 00000858: PUSH0 00000859: DUP1 0000085a: RETURNDATACOPY 0000085b: RETURNDATASIZE 0000085c: PUSH0 0000085d: REVERT 0000085e: JUMPDEST 0000085f: POP 00000860: POP 00000861: POP 00000862: POP 00000863: PUSH1 0x40 00000865: MLOAD 00000866: RETURNDATASIZE 00000867: PUSH1 0x1f 00000869: NOT 0000086a: PUSH1 0x1f 0000086c: DUP3 0000086d: ADD 0000086e: AND 0000086f: DUP3 00000870: ADD 00000871: DUP1 00000872: PUSH1 0x40 00000874: MSTORE 00000875: POP 00000876: DUP2 00000877: ADD 00000878: SWAP1 00000879: PUSH2 0x0882 0000087c: SWAP2 0000087d: SWAP1 0000087e: PUSH2 0x0df4 00000881: JUMP 00000882: JUMPDEST 00000883: POP 00000884: SWAP2 00000885: POP 00000886: SWAP2 00000887: POP 00000888: PUSH2 0x0892 0000088b: DUP4 0000088c: DUP4 0000088d: DUP4 0000088e: PUSH2 0x0a5f 00000891: JUMP 00000892: JUMPDEST 00000893: PUSH1 0x40 00000895: MLOAD 00000896: PUSH4 0x022c0d9f 0000089b: PUSH1 0xe0 0000089d: SHL 0000089e: DUP2 0000089f: MSTORE 000008a0: PUSH0 000008a1: PUSH1 0x04 000008a3: DUP3 000008a4: ADD 000008a5: DUP2 000008a6: SWAP1 000008a7: MSTORE 000008a8: PUSH1 0x24 000008aa: DUP3 000008ab: ADD 000008ac: DUP4 000008ad: SWAP1 000008ae: MSTORE 000008af: ADDRESS 000008b0: PUSH1 0x44 000008b2: DUP4 000008b3: ADD 000008b4: MSTORE 000008b5: PUSH1 0x80 000008b7: PUSH1 0x64 000008b9: DUP4 000008ba: ADD 000008bb: MSTORE 000008bc: PUSH1 0x84 000008be: DUP3 000008bf: ADD 000008c0: MSTORE 000008c1: SWAP1 000008c2: SWAP4 000008c3: POP 000008c4: PUSH32 0x000000000000000000000000e849b038220dae1e1a1496cf53e8ff79b28b7e3a 000008e5: PUSH1 0x01 000008e7: PUSH1 0x01 000008e9: PUSH1 0xa0 000008eb: SHL 000008ec: SUB 000008ed: AND 000008ee: SWAP1 000008ef: PUSH4 0x022c0d9f 000008f4: SWAP1 000008f5: PUSH1 0xa4 000008f7: ADD 000008f8: PUSH0 000008f9: PUSH1 0x40 000008fb: MLOAD 000008fc: DUP1 000008fd: DUP4 000008fe: SUB 000008ff: DUP2 00000900: PUSH0 00000901: DUP8 00000902: DUP1 00000903: EXTCODESIZE 00000904: ISZERO 00000905: DUP1 00000906: ISZERO 00000907: PUSH2 0x090e 0000090a: JUMPI 0000090b: PUSH0 0000090c: DUP1 0000090d: REVERT 0000090e: JUMPDEST 0000090f: POP 00000910: GAS 00000911: CALL 00000912: ISZERO 00000913: DUP1 00000914: ISZERO 00000915: PUSH2 0x0920 00000918: JUMPI 00000919: RETURNDATASIZE 0000091a: PUSH0 0000091b: DUP1 0000091c: RETURNDATACOPY 0000091d: RETURNDATASIZE 0000091e: PUSH0 0000091f: REVERT 00000920: JUMPDEST 00000921: POP 00000922: POP 00000923: POP 00000924: POP 00000925: PUSH0 00000926: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000947: SWAP1 00000948: POP 00000949: PUSH1 0x40 0000094b: MLOAD 0000094c: PUSH4 0xa9059cbb 00000951: PUSH1 0xe0 00000953: SHL 00000954: DUP2 00000955: MSTORE 00000956: CALLER 00000957: PUSH1 0x04 00000959: DUP3 0000095a: ADD 0000095b: MSTORE 0000095c: DUP8 0000095d: PUSH1 0x24 0000095f: DUP3 00000960: ADD 00000961: MSTORE 00000962: PUSH0 00000963: DUP1 00000964: PUSH1 0x44 00000966: DUP4 00000967: PUSH0 00000968: DUP7 00000969: GAS 0000096a: CALL 0000096b: POP 0000096c: POP 0000096d: POP 0000096e: POP 0000096f: POP 00000970: POP 00000971: PUSH2 0x09be 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x40 00000978: MLOAD 00000979: PUSH4 0xa9059cbb 0000097e: PUSH1 0xe0 00000980: SHL 00000981: DUP2 00000982: MSTORE 00000983: CALLER 00000984: PUSH1 0x04 00000986: DUP3 00000987: ADD 00000988: MSTORE 00000989: PUSH1 0x24 0000098b: DUP2 0000098c: ADD 0000098d: DUP6 0000098e: SWAP1 0000098f: MSTORE 00000990: PUSH32 0x00000000000000000000000018e5f92103d1b34623738ee79214b1659f2ee109 000009b1: SWAP1 000009b2: PUSH0 000009b3: DUP1 000009b4: PUSH1 0x44 000009b6: DUP4 000009b7: DUP3 000009b8: DUP7 000009b9: GAS 000009ba: CALL 000009bb: POP 000009bc: POP 000009bd: POP 000009be: JUMPDEST 000009bf: POP 000009c0: POP 000009c1: POP 000009c2: POP 000009c3: JUMP 000009c4: JUMPDEST 000009c5: PUSH0 000009c6: DUP1 000009c7: PUSH0 000009c8: PUSH32 0x000000000000000000000000e849b038220dae1e1a1496cf53e8ff79b28b7e3a 000009e9: PUSH1 0x01 000009eb: PUSH1 0x01 000009ed: PUSH1 0xa0 000009ef: SHL 000009f0: SUB 000009f1: AND 000009f2: PUSH4 0x0902f1ac 000009f7: PUSH1 0x40 000009f9: MLOAD 000009fa: DUP2 000009fb: PUSH4 0xffffffff 00000a00: AND 00000a01: PUSH1 0xe0 00000a03: SHL 00000a04: DUP2 00000a05: MSTORE 00000a06: PUSH1 0x04 00000a08: ADD 00000a09: PUSH1 0x60 00000a0b: PUSH1 0x40 00000a0d: MLOAD 00000a0e: DUP1 00000a0f: DUP4 00000a10: SUB 00000a11: DUP2 00000a12: DUP7 00000a13: GAS 00000a14: STATICCALL 00000a15: ISZERO 00000a16: DUP1 00000a17: ISZERO 00000a18: PUSH2 0x0a23 00000a1b: JUMPI 00000a1c: RETURNDATASIZE 00000a1d: PUSH0 00000a1e: DUP1 00000a1f: RETURNDATACOPY 00000a20: RETURNDATASIZE 00000a21: PUSH0 00000a22: REVERT 00000a23: JUMPDEST 00000a24: POP 00000a25: POP 00000a26: POP 00000a27: POP 00000a28: PUSH1 0x40 00000a2a: MLOAD 00000a2b: RETURNDATASIZE 00000a2c: PUSH1 0x1f 00000a2e: NOT 00000a2f: PUSH1 0x1f 00000a31: DUP3 00000a32: ADD 00000a33: AND 00000a34: DUP3 00000a35: ADD 00000a36: DUP1 00000a37: PUSH1 0x40 00000a39: MSTORE 00000a3a: POP 00000a3b: DUP2 00000a3c: ADD 00000a3d: SWAP1 00000a3e: PUSH2 0x0a47 00000a41: SWAP2 00000a42: SWAP1 00000a43: PUSH2 0x0df4 00000a46: JUMP 00000a47: JUMPDEST 00000a48: POP 00000a49: SWAP2 00000a4a: POP 00000a4b: SWAP2 00000a4c: POP 00000a4d: PUSH2 0x0a57 00000a50: DUP5 00000a51: DUP3 00000a52: DUP5 00000a53: PUSH2 0x0a89 00000a56: JUMP 00000a57: JUMPDEST 00000a58: SWAP5 00000a59: SWAP4 00000a5a: POP 00000a5b: POP 00000a5c: POP 00000a5d: POP 00000a5e: JUMP 00000a5f: JUMPDEST 00000a60: PUSH0 00000a61: DUP1 00000a62: DUP5 00000a63: PUSH2 0x03e5 00000a66: MUL 00000a67: SWAP1 00000a68: POP 00000a69: DUP1 00000a6a: DUP5 00000a6b: PUSH2 0x03e8 00000a6e: MUL 00000a6f: ADD 00000a70: DUP4 00000a71: DUP3 00000a72: MUL 00000a73: DUP2 00000a74: PUSH2 0x0a7f 00000a77: JUMPI 00000a78: PUSH2 0x0a7f 00000a7b: PUSH2 0x0de0 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: DIV 00000a81: SWAP6 00000a82: SWAP5 00000a83: POP 00000a84: POP 00000a85: POP 00000a86: POP 00000a87: POP 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: PUSH0 00000a8b: DUP1 00000a8c: PUSH2 0x0a95 00000a8f: DUP6 00000a90: DUP6 00000a91: PUSH2 0x0c85 00000a94: JUMP 00000a95: JUMPDEST 00000a96: PUSH2 0x0aa1 00000a99: SWAP1 00000a9a: PUSH2 0x03e8 00000a9d: PUSH2 0x0c85 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: SWAP1 00000aa3: POP 00000aa4: PUSH0 00000aa5: PUSH2 0x0aae 00000aa8: DUP7 00000aa9: DUP6 00000aaa: PUSH2 0x0dcd 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH2 0x0aba 00000ab2: SWAP1 00000ab3: PUSH2 0x03e5 00000ab6: PUSH2 0x0c85 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: SWAP1 00000abc: POP 00000abd: PUSH2 0x0ac6 00000ac0: DUP2 00000ac1: DUP4 00000ac2: PUSH2 0x0e1f 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH2 0x0ad1 00000aca: SWAP1 00000acb: PUSH1 0x01 00000acd: PUSH2 0x0e3e 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: SWAP7 00000ad3: SWAP6 00000ad4: POP 00000ad5: POP 00000ad6: POP 00000ad7: POP 00000ad8: POP 00000ad9: POP 00000ada: JUMP 00000adb: JUMPDEST 00000adc: DUP1 00000add: CALLDATALOAD 00000ade: PUSH1 0x01 00000ae0: PUSH1 0x01 00000ae2: PUSH1 0xa0 00000ae4: SHL 00000ae5: SUB 00000ae6: DUP2 00000ae7: AND 00000ae8: DUP2 00000ae9: EQ 00000aea: PUSH2 0x0af1 00000aed: JUMPI 00000aee: PUSH0 00000aef: DUP1 00000af0: REVERT 00000af1: JUMPDEST 00000af2: SWAP2 00000af3: SWAP1 00000af4: POP 00000af5: JUMP 00000af6: JUMPDEST 00000af7: PUSH0 00000af8: DUP1 00000af9: DUP4 00000afa: PUSH1 0x1f 00000afc: DUP5 00000afd: ADD 00000afe: SLT 00000aff: PUSH2 0x0b06 00000b02: JUMPI 00000b03: PUSH0 00000b04: DUP1 00000b05: REVERT 00000b06: JUMPDEST 00000b07: POP 00000b08: DUP2 00000b09: CALLDATALOAD 00000b0a: PUSH8 0xffffffffffffffff 00000b13: DUP2 00000b14: GT 00000b15: ISZERO 00000b16: PUSH2 0x0b1d 00000b19: JUMPI 00000b1a: PUSH0 00000b1b: DUP1 00000b1c: REVERT 00000b1d: JUMPDEST 00000b1e: PUSH1 0x20 00000b20: DUP4 00000b21: ADD 00000b22: SWAP2 00000b23: POP 00000b24: DUP4 00000b25: PUSH1 0x20 00000b27: DUP3 00000b28: DUP6 00000b29: ADD 00000b2a: ADD 00000b2b: GT 00000b2c: ISZERO 00000b2d: PUSH2 0x0b34 00000b30: JUMPI 00000b31: PUSH0 00000b32: DUP1 00000b33: REVERT 00000b34: JUMPDEST 00000b35: SWAP3 00000b36: POP 00000b37: SWAP3 00000b38: SWAP1 00000b39: POP 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH0 00000b3d: DUP1 00000b3e: PUSH0 00000b3f: DUP1 00000b40: PUSH0 00000b41: PUSH1 0x80 00000b43: DUP7 00000b44: DUP9 00000b45: SUB 00000b46: SLT 00000b47: ISZERO 00000b48: PUSH2 0x0b4f 00000b4b: JUMPI 00000b4c: PUSH0 00000b4d: DUP1 00000b4e: REVERT 00000b4f: JUMPDEST 00000b50: PUSH2 0x0b58 00000b53: DUP7 00000b54: PUSH2 0x0adb 00000b57: JUMP 00000b58: JUMPDEST 00000b59: SWAP5 00000b5a: POP 00000b5b: PUSH1 0x20 00000b5d: DUP7 00000b5e: ADD 00000b5f: CALLDATALOAD 00000b60: SWAP4 00000b61: POP 00000b62: PUSH1 0x40 00000b64: DUP7 00000b65: ADD 00000b66: CALLDATALOAD 00000b67: SWAP3 00000b68: POP 00000b69: PUSH1 0x60 00000b6b: DUP7 00000b6c: ADD 00000b6d: CALLDATALOAD 00000b6e: PUSH8 0xffffffffffffffff 00000b77: DUP2 00000b78: GT 00000b79: ISZERO 00000b7a: PUSH2 0x0b81 00000b7d: JUMPI 00000b7e: PUSH0 00000b7f: DUP1 00000b80: REVERT 00000b81: JUMPDEST 00000b82: PUSH2 0x0b8d 00000b85: DUP9 00000b86: DUP3 00000b87: DUP10 00000b88: ADD 00000b89: PUSH2 0x0af6 00000b8c: JUMP 00000b8d: JUMPDEST 00000b8e: SWAP7 00000b8f: SWAP10 00000b90: SWAP6 00000b91: SWAP9 00000b92: POP 00000b93: SWAP4 00000b94: SWAP7 00000b95: POP 00000b96: SWAP3 00000b97: SWAP5 00000b98: SWAP4 00000b99: SWAP3 00000b9a: POP 00000b9b: POP 00000b9c: POP 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: PUSH0 00000ba0: DUP1 00000ba1: PUSH0 00000ba2: DUP1 00000ba3: PUSH1 0x60 00000ba5: DUP6 00000ba6: DUP8 00000ba7: SUB 00000ba8: SLT 00000ba9: ISZERO 00000baa: PUSH2 0x0bb1 00000bad: JUMPI 00000bae: PUSH0 00000baf: DUP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: PUSH2 0x0bba 00000bb5: DUP6 00000bb6: PUSH2 0x0adb 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: SWAP4 00000bbc: POP 00000bbd: PUSH1 0x20 00000bbf: DUP6 00000bc0: ADD 00000bc1: CALLDATALOAD 00000bc2: SWAP3 00000bc3: POP 00000bc4: PUSH1 0x40 00000bc6: DUP6 00000bc7: ADD 00000bc8: CALLDATALOAD 00000bc9: PUSH8 0xffffffffffffffff 00000bd2: DUP2 00000bd3: GT 00000bd4: ISZERO 00000bd5: PUSH2 0x0bdc 00000bd8: JUMPI 00000bd9: PUSH0 00000bda: DUP1 00000bdb: REVERT 00000bdc: JUMPDEST 00000bdd: PUSH2 0x0be8 00000be0: DUP8 00000be1: DUP3 00000be2: DUP9 00000be3: ADD 00000be4: PUSH2 0x0af6 00000be7: JUMP 00000be8: JUMPDEST 00000be9: SWAP6 00000bea: SWAP9 00000beb: SWAP5 00000bec: SWAP8 00000bed: POP 00000bee: SWAP6 00000bef: POP 00000bf0: POP 00000bf1: POP 00000bf2: POP 00000bf3: JUMP 00000bf4: JUMPDEST 00000bf5: PUSH0 00000bf6: DUP1 00000bf7: PUSH0 00000bf8: DUP1 00000bf9: PUSH1 0x80 00000bfb: DUP6 00000bfc: DUP8 00000bfd: SUB 00000bfe: SLT 00000bff: ISZERO 00000c00: PUSH2 0x0c07 00000c03: JUMPI 00000c04: PUSH0 00000c05: DUP1 00000c06: REVERT 00000c07: JUMPDEST 00000c08: POP 00000c09: POP 00000c0a: DUP3 00000c0b: CALLDATALOAD 00000c0c: SWAP5 00000c0d: PUSH1 0x20 00000c0f: DUP5 00000c10: ADD 00000c11: CALLDATALOAD 00000c12: SWAP5 00000c13: POP 00000c14: PUSH1 0x40 00000c16: DUP5 00000c17: ADD 00000c18: CALLDATALOAD 00000c19: SWAP4 00000c1a: PUSH1 0x60 00000c1c: ADD 00000c1d: CALLDATALOAD 00000c1e: SWAP3 00000c1f: POP 00000c20: SWAP1 00000c21: POP 00000c22: JUMP 00000c23: JUMPDEST 00000c24: PUSH0 00000c25: DUP1 00000c26: PUSH0 00000c27: DUP1 00000c28: PUSH1 0x60 00000c2a: DUP6 00000c2b: DUP8 00000c2c: SUB 00000c2d: SLT 00000c2e: ISZERO 00000c2f: PUSH2 0x0c36 00000c32: JUMPI 00000c33: PUSH0 00000c34: DUP1 00000c35: REVERT 00000c36: JUMPDEST 00000c37: DUP5 00000c38: CALLDATALOAD 00000c39: SWAP4 00000c3a: POP 00000c3b: PUSH1 0x20 00000c3d: DUP6 00000c3e: ADD 00000c3f: CALLDATALOAD 00000c40: SWAP3 00000c41: POP 00000c42: PUSH1 0x40 00000c44: DUP6 00000c45: ADD 00000c46: CALLDATALOAD 00000c47: PUSH8 0xffffffffffffffff 00000c50: DUP2 00000c51: GT 00000c52: ISZERO 00000c53: PUSH2 0x0bdc 00000c56: JUMPI 00000c57: PUSH0 00000c58: DUP1 00000c59: REVERT 00000c5a: JUMPDEST 00000c5b: PUSH0 00000c5c: PUSH1 0x20 00000c5e: DUP3 00000c5f: DUP5 00000c60: SUB 00000c61: SLT 00000c62: ISZERO 00000c63: PUSH2 0x0c6a 00000c66: JUMPI 00000c67: PUSH0 00000c68: DUP1 00000c69: REVERT 00000c6a: JUMPDEST 00000c6b: POP 00000c6c: CALLDATALOAD 00000c6d: SWAP2 00000c6e: SWAP1 00000c6f: POP 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH4 0x4e487b71 00000c77: PUSH1 0xe0 00000c79: SHL 00000c7a: PUSH0 00000c7b: MSTORE 00000c7c: PUSH1 0x11 00000c7e: PUSH1 0x04 00000c80: MSTORE 00000c81: PUSH1 0x24 00000c83: PUSH0 00000c84: REVERT 00000c85: JUMPDEST 00000c86: DUP1 00000c87: DUP3 00000c88: MUL 00000c89: DUP2 00000c8a: ISZERO 00000c8b: DUP3 00000c8c: DUP3 00000c8d: DIV 00000c8e: DUP5 00000c8f: EQ 00000c90: OR 00000c91: PUSH2 0x0c9c 00000c94: JUMPI 00000c95: PUSH2 0x0c9c 00000c98: PUSH2 0x0c71 00000c9b: JUMP 00000c9c: JUMPDEST 00000c9d: SWAP3 00000c9e: SWAP2 00000c9f: POP 00000ca0: POP 00000ca1: JUMP 00000ca2: JUMPDEST 00000ca3: PUSH1 0x01 00000ca5: PUSH1 0x01 00000ca7: PUSH1 0xa0 00000ca9: SHL 00000caa: SUB 00000cab: SWAP5 00000cac: DUP6 00000cad: AND 00000cae: DUP2 00000caf: MSTORE 00000cb0: SWAP3 00000cb1: ISZERO 00000cb2: ISZERO 00000cb3: PUSH1 0x20 00000cb5: DUP5 00000cb6: ADD 00000cb7: MSTORE 00000cb8: PUSH1 0x40 00000cba: DUP4 00000cbb: ADD 00000cbc: SWAP2 00000cbd: SWAP1 00000cbe: SWAP2 00000cbf: MSTORE 00000cc0: SWAP1 00000cc1: SWAP2 00000cc2: AND 00000cc3: PUSH1 0x60 00000cc5: DUP3 00000cc6: ADD 00000cc7: MSTORE 00000cc8: PUSH1 0xa0 00000cca: PUSH1 0x80 00000ccc: DUP3 00000ccd: ADD 00000cce: DUP2 00000ccf: SWAP1 00000cd0: MSTORE 00000cd1: PUSH0 00000cd2: SWAP1 00000cd3: DUP3 00000cd4: ADD 00000cd5: MSTORE 00000cd6: PUSH1 0xc0 00000cd8: ADD 00000cd9: SWAP1 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH0 00000cdd: DUP1 00000cde: PUSH1 0x40 00000ce0: DUP4 00000ce1: DUP6 00000ce2: SUB 00000ce3: SLT 00000ce4: ISZERO 00000ce5: PUSH2 0x0cec 00000ce8: JUMPI 00000ce9: PUSH0 00000cea: DUP1 00000ceb: REVERT 00000cec: JUMPDEST 00000ced: POP 00000cee: POP 00000cef: DUP1 00000cf0: MLOAD 00000cf1: PUSH1 0x20 00000cf3: SWAP1 00000cf4: SWAP2 00000cf5: ADD 00000cf6: MLOAD 00000cf7: SWAP1 00000cf8: SWAP3 00000cf9: SWAP1 00000cfa: SWAP2 00000cfb: POP 00000cfc: JUMP 00000cfd: JUMPDEST 00000cfe: PUSH0 00000cff: PUSH1 0x20 00000d01: DUP3 00000d02: DUP5 00000d03: SUB 00000d04: SLT 00000d05: ISZERO 00000d06: PUSH2 0x0d0d 00000d09: JUMPI 00000d0a: PUSH0 00000d0b: DUP1 00000d0c: REVERT 00000d0d: JUMPDEST 00000d0e: DUP2 00000d0f: MLOAD 00000d10: DUP1 00000d11: ISZERO 00000d12: ISZERO 00000d13: DUP2 00000d14: EQ 00000d15: PUSH2 0x0d1c 00000d18: JUMPI 00000d19: PUSH0 00000d1a: DUP1 00000d1b: REVERT 00000d1c: JUMPDEST 00000d1d: SWAP4 00000d1e: SWAP3 00000d1f: POP 00000d20: POP 00000d21: POP 00000d22: JUMP 00000d23: JUMPDEST 00000d24: DUP2 00000d25: DUP4 00000d26: DUP3 00000d27: CALLDATACOPY 00000d28: PUSH0 00000d29: SWAP2 00000d2a: ADD 00000d2b: SWAP1 00000d2c: DUP2 00000d2d: MSTORE 00000d2e: SWAP2 00000d2f: SWAP1 00000d30: POP 00000d31: JUMP 00000d32: JUMPDEST 00000d33: DUP5 00000d34: DUP2 00000d35: MSTORE 00000d36: PUSH0 00000d37: PUSH1 0x20 00000d39: DUP6 00000d3a: PUSH1 0x20 00000d3c: DUP5 00000d3d: ADD 00000d3e: MSTORE 00000d3f: PUSH1 0x01 00000d41: DUP1 00000d42: PUSH1 0xa0 00000d44: SHL 00000d45: SUB 00000d46: DUP6 00000d47: AND 00000d48: PUSH1 0x40 00000d4a: DUP5 00000d4b: ADD 00000d4c: MSTORE 00000d4d: PUSH1 0x80 00000d4f: PUSH1 0x60 00000d51: DUP5 00000d52: ADD 00000d53: MSTORE 00000d54: DUP4 00000d55: MLOAD 00000d56: DUP1 00000d57: PUSH1 0x80 00000d59: DUP6 00000d5a: ADD 00000d5b: MSTORE 00000d5c: PUSH0 00000d5d: JUMPDEST 00000d5e: DUP2 00000d5f: DUP2 00000d60: LT 00000d61: ISZERO 00000d62: PUSH2 0x0d79 00000d65: JUMPI 00000d66: DUP6 00000d67: DUP2 00000d68: ADD 00000d69: DUP4 00000d6a: ADD 00000d6b: MLOAD 00000d6c: DUP6 00000d6d: DUP3 00000d6e: ADD 00000d6f: PUSH1 0xa0 00000d71: ADD 00000d72: MSTORE 00000d73: DUP3 00000d74: ADD 00000d75: PUSH2 0x0d5d 00000d78: JUMP 00000d79: JUMPDEST 00000d7a: POP 00000d7b: PUSH0 00000d7c: PUSH1 0xa0 00000d7e: DUP3 00000d7f: DUP7 00000d80: ADD 00000d81: ADD 00000d82: MSTORE 00000d83: PUSH1 0xa0 00000d85: PUSH1 0x1f 00000d87: NOT 00000d88: PUSH1 0x1f 00000d8a: DUP4 00000d8b: ADD 00000d8c: AND 00000d8d: DUP6 00000d8e: ADD 00000d8f: ADD 00000d90: SWAP3 00000d91: POP 00000d92: POP 00000d93: POP 00000d94: SWAP6 00000d95: SWAP5 00000d96: POP 00000d97: POP 00000d98: POP 00000d99: POP 00000d9a: POP 00000d9b: JUMP 00000d9c: JUMPDEST 00000d9d: PUSH0 00000d9e: PUSH1 0x01 00000da0: PUSH1 0xff 00000da2: SHL 00000da3: DUP3 00000da4: ADD 00000da5: PUSH2 0x0db0 00000da8: JUMPI 00000da9: PUSH2 0x0db0 00000dac: PUSH2 0x0c71 00000daf: JUMP 00000db0: JUMPDEST 00000db1: POP 00000db2: PUSH0 00000db3: SUB 00000db4: SWAP1 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH0 00000db8: PUSH1 0x20 00000dba: DUP3 00000dbb: DUP5 00000dbc: SUB 00000dbd: SLT 00000dbe: ISZERO 00000dbf: PUSH2 0x0dc6 00000dc2: JUMPI 00000dc3: PUSH0 00000dc4: DUP1 00000dc5: REVERT 00000dc6: JUMPDEST 00000dc7: POP 00000dc8: MLOAD 00000dc9: SWAP2 00000dca: SWAP1 00000dcb: POP 00000dcc: JUMP 00000dcd: JUMPDEST 00000dce: DUP2 00000dcf: DUP2 00000dd0: SUB 00000dd1: DUP2 00000dd2: DUP2 00000dd3: GT 00000dd4: ISZERO 00000dd5: PUSH2 0x0c9c 00000dd8: JUMPI 00000dd9: PUSH2 0x0c9c 00000ddc: PUSH2 0x0c71 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: PUSH4 0x4e487b71 00000de6: PUSH1 0xe0 00000de8: SHL 00000de9: PUSH0 00000dea: MSTORE 00000deb: PUSH1 0x12 00000ded: PUSH1 0x04 00000def: MSTORE 00000df0: PUSH1 0x24 00000df2: PUSH0 00000df3: REVERT 00000df4: JUMPDEST 00000df5: PUSH0 00000df6: DUP1 00000df7: PUSH0 00000df8: PUSH1 0x60 00000dfa: DUP5 00000dfb: DUP7 00000dfc: SUB 00000dfd: SLT 00000dfe: ISZERO 00000dff: PUSH2 0x0e06 00000e02: JUMPI 00000e03: PUSH0 00000e04: DUP1 00000e05: REVERT 00000e06: JUMPDEST 00000e07: DUP4 00000e08: MLOAD 00000e09: SWAP3 00000e0a: POP 00000e0b: PUSH1 0x20 00000e0d: DUP5 00000e0e: ADD 00000e0f: MLOAD 00000e10: SWAP2 00000e11: POP 00000e12: PUSH1 0x40 00000e14: DUP5 00000e15: ADD 00000e16: MLOAD 00000e17: SWAP1 00000e18: POP 00000e19: SWAP3 00000e1a: POP 00000e1b: SWAP3 00000e1c: POP 00000e1d: SWAP3 00000e1e: JUMP 00000e1f: JUMPDEST 00000e20: PUSH0 00000e21: DUP3 00000e22: PUSH2 0x0e39 00000e25: JUMPI 00000e26: PUSH4 0x4e487b71 00000e2b: PUSH1 0xe0 00000e2d: SHL 00000e2e: PUSH0 00000e2f: MSTORE 00000e30: PUSH1 0x12 00000e32: PUSH1 0x04 00000e34: MSTORE 00000e35: PUSH1 0x24 00000e37: PUSH0 00000e38: REVERT 00000e39: JUMPDEST 00000e3a: POP 00000e3b: DIV 00000e3c: SWAP1 00000e3d: JUMP 00000e3e: JUMPDEST 00000e3f: DUP1 00000e40: DUP3 00000e41: ADD 00000e42: DUP1 00000e43: DUP3 00000e44: GT 00000e45: ISZERO 00000e46: PUSH2 0x0c9c 00000e49: JUMPI 00000e4a: PUSH2 0x0c9c 00000e4d: PUSH2 0x0c71 00000e50: JUMP 00000e51: INVALID 00000e52: LOG2 00000e53: PUSH5 0x6970667358 00000e59: UNKNOWN(0x22) 00000e5a: SLT 00000e5b: KECCAK256 00000e5c: DUP5 00000e5d: ORIGIN 00000e5e: UNKNOWN(0x4E) 00000e5f: PUSH7 0xb30e3fe34a2cc7 00000e67: UNKNOWN(0x27) 00000e68: UNKNOWN(0xA9) 00000e69: PUSH25 0xcbf815704e492e0f6aa196dba03ae746807864736f6c634300 00000e83: ADDMOD 00000e84: XOR 00000e85: STOP 00000e86: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x10d1e85c",
"selector": "0x10d1e85c",
"calldata_variants": [
"0x10d1e85c",
"0x10d1e85c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d4ce63c",
"selector": "0x6d4ce63c",
"calldata_variants": [
"0x6d4ce63c",
"0x6d4ce63c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x732c45a0",
"selector": "0x732c45a0",
"calldata_variants": [
"0x732c45a0",
"0x732c45a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa461e33",
"selector": "0xfa461e33",
"calldata_variants": [
"0xfa461e33",
"0xfa461e330000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 290,
"type": "tx_origin_used"
},
{
"pc": 904,
"type": "tx_origin_used"
},
{
"pc": 1723,
"type": "tx_origin_used"
},
{
"pc": 247,
"type": "tx_origin_used"
},
{
"pc": 861,
"type": "tx_origin_used"
},
{
"pc": 1680,
"type": "tx_origin_used"
},
{
"pc": 3677,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa2d420a35d7c026809dbc94a390f98f2198feb77dc88e6c67ac9bdb8442d50ad
call_targets:
0x1d3a328ab576d100ab8a3bf5615306bce9d7d9f4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa2d420a35d7c026809dbc94a390f98f2198feb77dc88e6c67ac9bdb8442d50ad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1d3a328ab576d100ab8a3bf5615306bce9d7d9f4"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x10d1e85c",
"selector": "0x10d1e85c",
"calldata_variants": [
"0x10d1e85c",
"0x10d1e85c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d4ce63c",
"selector": "0x6d4ce63c",
"calldata_variants": [
"0x6d4ce63c",
"0x6d4ce63c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x732c45a0",
"selector": "0x732c45a0",
"calldata_variants": [
"0x732c45a0",
"0x732c45a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa461e33",
"selector": "0xfa461e33",
"calldata_variants": [
"0xfa461e33",
"0xfa461e330000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 396,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 549,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 693,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 14,
"guards_detected": [
{
"pc": 290,
"type": "tx_origin_used"
},
{
"pc": 904,
"type": "tx_origin_used"
},
{
"pc": 1723,
"type": "tx_origin_used"
},
{
"pc": 247,
"type": "tx_origin_used"
},
{
"pc": 861,
"type": "tx_origin_used"
},
{
"pc": 1680,
"type": "tx_origin_used"
},
{
"pc": 3677,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 14
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa2d420a35d7c026809dbc94a390f98f2198feb77dc88e6c67ac9bdb8442d50ad
call_targets:
0x1d3a328ab576d100ab8a3bf5615306bce9d7d9f4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa2d420a35d7c026809dbc94a390f98f2198feb77dc88e6c67ac9bdb8442d50ad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1d3a328ab576d100ab8a3bf5615306bce9d7d9f4"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x10d1e85c",
"selector": "0x10d1e85c",
"calldata_variants": [
"0x10d1e85c",
"0x10d1e85c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d4ce63c",
"selector": "0x6d4ce63c",
"calldata_variants": [
"0x6d4ce63c",
"0x6d4ce63c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x732c45a0",
"selector": "0x732c45a0",
"calldata_variants": [
"0x732c45a0",
"0x732c45a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa461e33",
"selector": "0xfa461e33",
"calldata_variants": [
"0xfa461e33",
"0xfa461e330000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 396,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 549,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 693,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 14,
"guards_detected": [
{
"pc": 290,
"type": "tx_origin_used"
},
{
"pc": 904,
"type": "tx_origin_used"
},
{
"pc": 1723,
"type": "tx_origin_used"
},
{
"pc": 247,
"type": "tx_origin_used"
},
{
"pc": 861,
"type": "tx_origin_used"
},
{
"pc": 1680,
"type": "tx_origin_used"
},
{
"pc": 3677,
"type": "tx_origin_used"
}
]
}
|