019b477e-b144-7006-b66a-779438abe439
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 |
|---|---|---|---|---|
| 22121 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22122 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101943 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 101944 | capability.graph | complete | 1 / 3 | 1 week ago |
| 101945 | detector.run | complete | 1 / 3 | 1 week ago |
| 101946 | validation.fork | complete | 1 / 3 | 1 week 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 0x005e 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x1f75c390 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0063 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x521ceba7 0000002d: EQ 0000002e: PUSH2 0x009d 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x7bb98a68 00000038: EQ 00000039: PUSH2 0x00c4 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x91c05b0b 00000043: EQ 00000044: PUSH2 0x00d9 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0xb519cf31 0000004e: EQ 0000004f: PUSH2 0x00f3 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0xd0e30db0 00000059: EQ 0000005a: PUSH2 0x0108 0000005d: JUMPI 0000005e: JUMPDEST 0000005f: PUSH1 0x00 00000061: DUP1 00000062: REVERT 00000063: JUMPDEST 00000064: CALLVALUE 00000065: DUP1 00000066: ISZERO 00000067: PUSH2 0x006f 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: POP 00000071: PUSH2 0x0084 00000074: PUSH1 0x01 00000076: PUSH1 0xa0 00000078: PUSH1 0x02 0000007a: EXP 0000007b: SUB 0000007c: PUSH1 0x04 0000007e: CALLDATALOAD 0000007f: AND 00000080: PUSH2 0x0110 00000083: JUMP 00000084: JUMPDEST 00000085: PUSH1 0x40 00000087: DUP1 00000088: MLOAD 00000089: SWAP3 0000008a: DUP4 0000008b: MSTORE 0000008c: PUSH1 0x20 0000008e: DUP4 0000008f: ADD 00000090: SWAP2 00000091: SWAP1 00000092: SWAP2 00000093: MSTORE 00000094: DUP1 00000095: MLOAD 00000096: SWAP2 00000097: DUP3 00000098: SWAP1 00000099: SUB 0000009a: ADD 0000009b: SWAP1 0000009c: RETURN 0000009d: JUMPDEST 0000009e: CALLVALUE 0000009f: DUP1 000000a0: ISZERO 000000a1: PUSH2 0x00a9 000000a4: JUMPI 000000a5: PUSH1 0x00 000000a7: DUP1 000000a8: REVERT 000000a9: JUMPDEST 000000aa: POP 000000ab: PUSH2 0x00b2 000000ae: PUSH2 0x0129 000000b1: JUMP 000000b2: JUMPDEST 000000b3: PUSH1 0x40 000000b5: DUP1 000000b6: MLOAD 000000b7: SWAP2 000000b8: DUP3 000000b9: MSTORE 000000ba: MLOAD 000000bb: SWAP1 000000bc: DUP2 000000bd: SWAP1 000000be: SUB 000000bf: PUSH1 0x20 000000c1: ADD 000000c2: SWAP1 000000c3: RETURN 000000c4: JUMPDEST 000000c5: CALLVALUE 000000c6: DUP1 000000c7: ISZERO 000000c8: PUSH2 0x00d0 000000cb: JUMPI 000000cc: PUSH1 0x00 000000ce: DUP1 000000cf: REVERT 000000d0: JUMPDEST 000000d1: POP 000000d2: PUSH2 0x00b2 000000d5: PUSH2 0x012f 000000d8: JUMP 000000d9: JUMPDEST 000000da: CALLVALUE 000000db: DUP1 000000dc: ISZERO 000000dd: PUSH2 0x00e5 000000e0: JUMPI 000000e1: PUSH1 0x00 000000e3: DUP1 000000e4: REVERT 000000e5: JUMPDEST 000000e6: POP 000000e7: PUSH2 0x00f1 000000ea: PUSH1 0x04 000000ec: CALLDATALOAD 000000ed: PUSH2 0x0134 000000f0: JUMP 000000f1: JUMPDEST 000000f2: STOP 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: DUP1 000000f6: ISZERO 000000f7: PUSH2 0x00ff 000000fa: JUMPI 000000fb: PUSH1 0x00 000000fd: DUP1 000000fe: REVERT 000000ff: JUMPDEST 00000100: POP 00000101: PUSH2 0x00b2 00000104: PUSH2 0x095e 00000107: JUMP 00000108: JUMPDEST 00000109: PUSH2 0x00f1 0000010c: PUSH2 0x0964 0000010f: JUMP 00000110: JUMPDEST 00000111: PUSH1 0x01 00000113: PUSH1 0x20 00000115: DUP2 00000116: SWAP1 00000117: MSTORE 00000118: PUSH1 0x00 0000011a: SWAP2 0000011b: DUP3 0000011c: MSTORE 0000011d: PUSH1 0x40 0000011f: SWAP1 00000120: SWAP2 00000121: KECCAK256 00000122: DUP1 00000123: SLOAD 00000124: SWAP2 00000125: ADD 00000126: SLOAD 00000127: DUP3 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH1 0x00 0000012c: SLOAD 0000012d: DUP2 0000012e: JUMP 0000012f: JUMPDEST 00000130: ADDRESS 00000131: BALANCE 00000132: SWAP1 00000133: JUMP 00000134: JUMPDEST 00000135: PUSH1 0x00 00000137: DUP1 00000138: DUP1 00000139: DUP1 0000013a: DUP1 0000013b: DUP1 0000013c: CALLER 0000013d: DUP2 0000013e: ORIGIN 0000013f: DUP3 00000140: EQ 00000141: PUSH2 0x0149 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: POP 0000014b: DUP1 0000014c: EXTCODESIZE 0000014d: DUP1 0000014e: ISZERO 0000014f: PUSH2 0x01a2 00000152: JUMPI 00000153: PUSH1 0x40 00000155: DUP1 00000156: MLOAD 00000157: PUSH1 0xe5 00000159: PUSH1 0x02 0000015b: EXP 0000015c: PUSH3 0x461bcd 00000160: MUL 00000161: DUP2 00000162: MSTORE 00000163: PUSH1 0x20 00000165: PUSH1 0x04 00000167: DUP3 00000168: ADD 00000169: MSTORE 0000016a: PUSH1 0x11 0000016c: PUSH1 0x24 0000016e: DUP3 0000016f: ADD 00000170: MSTORE 00000171: PUSH32 0x736f7272792068756d616e73206f6e6c79000000000000000000000000000000 00000192: PUSH1 0x44 00000194: DUP3 00000195: ADD 00000196: MSTORE 00000197: SWAP1 00000198: MLOAD 00000199: SWAP1 0000019a: DUP2 0000019b: SWAP1 0000019c: SUB 0000019d: PUSH1 0x64 0000019f: ADD 000001a0: SWAP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: PUSH1 0x00 000001a5: DUP10 000001a6: GT 000001a7: DUP1 000001a8: ISZERO 000001a9: PUSH2 0x01b2 000001ac: JUMPI 000001ad: POP 000001ae: PUSH1 0x64 000001b0: DUP10 000001b1: LT 000001b2: JUMPDEST 000001b3: ISZERO 000001b4: ISZERO 000001b5: PUSH2 0x022e 000001b8: JUMPI 000001b9: PUSH1 0x40 000001bb: DUP1 000001bc: MLOAD 000001bd: PUSH1 0xe5 000001bf: PUSH1 0x02 000001c1: EXP 000001c2: PUSH3 0x461bcd 000001c6: MUL 000001c7: DUP2 000001c8: MSTORE 000001c9: PUSH1 0x20 000001cb: PUSH1 0x04 000001cd: DUP3 000001ce: ADD 000001cf: MSTORE 000001d0: PUSH1 0x26 000001d2: PUSH1 0x24 000001d4: DUP3 000001d5: ADD 000001d6: MSTORE 000001d7: PUSH32 0x706c65617365207069636b20612070657263656e74206265747765656e203120 000001f8: PUSH1 0x44 000001fa: DUP3 000001fb: ADD 000001fc: MSTORE 000001fd: PUSH32 0x616e642039390000000000000000000000000000000000000000000000000000 0000021e: PUSH1 0x64 00000220: DUP3 00000221: ADD 00000222: MSTORE 00000223: SWAP1 00000224: MLOAD 00000225: SWAP1 00000226: DUP2 00000227: SWAP1 00000228: SUB 00000229: PUSH1 0x84 0000022b: ADD 0000022c: SWAP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: PUSH1 0x00 00000231: SLOAD 00000232: CALLER 00000233: SWAP9 00000234: POP 00000235: ADDRESS 00000236: BALANCE 00000237: SWAP8 00000238: POP 00000239: PUSH2 0x0249 0000023c: SWAP1 0000023d: PUSH1 0x64 0000023f: PUSH4 0xffffffff 00000244: PUSH2 0x0966 00000247: AND 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x01 0000024c: PUSH1 0xa0 0000024e: PUSH1 0x02 00000250: EXP 00000251: SUB 00000252: DUP10 00000253: AND 00000254: PUSH1 0x00 00000256: SWAP1 00000257: DUP2 00000258: MSTORE 00000259: PUSH1 0x01 0000025b: PUSH1 0x20 0000025d: MSTORE 0000025e: PUSH1 0x40 00000260: SWAP1 00000261: KECCAK256 00000262: SLOAD 00000263: GT 00000264: DUP1 00000265: ISZERO 00000266: SWAP1 00000267: PUSH2 0x029e 0000026a: JUMPI 0000026b: POP 0000026c: PUSH1 0x01 0000026e: PUSH1 0xa0 00000270: PUSH1 0x02 00000272: EXP 00000273: SUB 00000274: DUP9 00000275: AND 00000276: PUSH1 0x00 00000278: SWAP1 00000279: DUP2 0000027a: MSTORE 0000027b: PUSH1 0x01 0000027d: PUSH1 0x20 0000027f: DUP2 00000280: SWAP1 00000281: MSTORE 00000282: PUSH1 0x40 00000284: SWAP1 00000285: SWAP2 00000286: KECCAK256 00000287: ADD 00000288: SLOAD 00000289: TIMESTAMP 0000028a: SWAP1 0000028b: PUSH2 0x029c 0000028e: SWAP1 0000028f: PUSH2 0x0e10 00000292: PUSH4 0xffffffff 00000297: PUSH2 0x09cb 0000029a: AND 0000029b: JUMP 0000029c: JUMPDEST 0000029d: LT 0000029e: JUMPDEST 0000029f: ISZERO 000002a0: PUSH2 0x084b 000002a3: JUMPI 000002a4: PUSH1 0x00 000002a6: DUP1 000002a7: SLOAD 000002a8: PUSH1 0x01 000002aa: PUSH1 0xa0 000002ac: PUSH1 0x02 000002ae: EXP 000002af: SUB 000002b0: DUP11 000002b1: AND 000002b2: DUP3 000002b3: MSTORE 000002b4: PUSH1 0x01 000002b6: PUSH1 0x20 000002b8: DUP2 000002b9: DUP2 000002ba: MSTORE 000002bb: PUSH1 0x40 000002bd: DUP1 000002be: DUP6 000002bf: KECCAK256 000002c0: DUP5 000002c1: SWAP1 000002c2: SSTORE 000002c3: SWAP2 000002c4: SWAP1 000002c5: SWAP3 000002c6: ADD 000002c7: DUP4 000002c8: SSTORE 000002c9: DUP1 000002ca: MLOAD 000002cb: PUSH32 0x56d399e800000000000000000000000000000000000000000000000000000000 000002ec: DUP2 000002ed: MSTORE 000002ee: SWAP1 000002ef: MLOAD 000002f0: PUSH20 0x97550ce17666bb49349ef0e50f9fdb88353edb64 00000305: SWAP4 00000306: PUSH4 0x56d399e8 0000030b: SWAP4 0000030c: PUSH1 0x04 0000030e: DUP1 0000030f: DUP6 00000310: ADD 00000311: SWAP5 00000312: SWAP2 00000313: SWAP4 00000314: SWAP3 00000315: SWAP2 00000316: DUP4 00000317: SWAP1 00000318: SUB 00000319: ADD 0000031a: SWAP1 0000031b: DUP3 0000031c: SWAP1 0000031d: DUP8 0000031e: DUP1 0000031f: EXTCODESIZE 00000320: ISZERO 00000321: DUP1 00000322: ISZERO 00000323: PUSH2 0x032b 00000326: JUMPI 00000327: PUSH1 0x00 00000329: DUP1 0000032a: REVERT 0000032b: JUMPDEST 0000032c: POP 0000032d: GAS 0000032e: CALL 0000032f: ISZERO 00000330: DUP1 00000331: ISZERO 00000332: PUSH2 0x033f 00000335: JUMPI 00000336: RETURNDATASIZE 00000337: PUSH1 0x00 00000339: DUP1 0000033a: RETURNDATACOPY 0000033b: RETURNDATASIZE 0000033c: PUSH1 0x00 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: POP 00000342: POP 00000343: POP 00000344: PUSH1 0x40 00000346: MLOAD 00000347: RETURNDATASIZE 00000348: PUSH1 0x20 0000034a: DUP2 0000034b: LT 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: MLOAD 00000358: PUSH1 0x40 0000035a: DUP1 0000035b: MLOAD 0000035c: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000037d: DUP2 0000037e: MSTORE 0000037f: PUSH1 0x01 00000381: PUSH1 0xa0 00000383: PUSH1 0x02 00000385: EXP 00000386: SUB 00000387: DUP12 00000388: AND 00000389: PUSH1 0x04 0000038b: DUP3 0000038c: ADD 0000038d: MSTORE 0000038e: SWAP1 0000038f: MLOAD 00000390: PUSH20 0x97550ce17666bb49349ef0e50f9fdb88353edb64 000003a5: SWAP2 000003a6: PUSH4 0x70a08231 000003ab: SWAP2 000003ac: PUSH1 0x24 000003ae: DUP1 000003af: DUP4 000003b0: ADD 000003b1: SWAP3 000003b2: PUSH1 0x20 000003b4: SWAP3 000003b5: SWAP2 000003b6: SWAP1 000003b7: DUP3 000003b8: SWAP1 000003b9: SUB 000003ba: ADD 000003bb: DUP2 000003bc: PUSH1 0x00 000003be: DUP8 000003bf: DUP1 000003c0: EXTCODESIZE 000003c1: ISZERO 000003c2: DUP1 000003c3: ISZERO 000003c4: PUSH2 0x03cc 000003c7: JUMPI 000003c8: PUSH1 0x00 000003ca: DUP1 000003cb: REVERT 000003cc: JUMPDEST 000003cd: POP 000003ce: GAS 000003cf: CALL 000003d0: ISZERO 000003d1: DUP1 000003d2: ISZERO 000003d3: PUSH2 0x03e0 000003d6: JUMPI 000003d7: RETURNDATASIZE 000003d8: PUSH1 0x00 000003da: DUP1 000003db: RETURNDATACOPY 000003dc: RETURNDATASIZE 000003dd: PUSH1 0x00 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: POP 000003e3: POP 000003e4: POP 000003e5: PUSH1 0x40 000003e7: MLOAD 000003e8: RETURNDATASIZE 000003e9: PUSH1 0x20 000003eb: DUP2 000003ec: LT 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: POP 000003f8: MLOAD 000003f9: LT 000003fa: PUSH2 0x0407 000003fd: JUMPI 000003fe: PUSH1 0x03 00000400: PUSH1 0x0a 00000402: DUP9 00000403: DIV 00000404: DIV 00000405: SWAP6 00000406: POP 00000407: JUMPDEST 00000408: PUSH1 0x64 0000040a: PUSH2 0x041b 0000040d: DUP9 0000040e: DUP12 0000040f: DUP4 00000410: SUB 00000411: PUSH4 0xffffffff 00000416: PUSH2 0x0a26 00000419: AND 0000041a: JUMP 0000041b: JUMPDEST 0000041c: DUP2 0000041d: ISZERO 0000041e: ISZERO 0000041f: PUSH2 0x0424 00000422: JUMPI 00000423: INVALID 00000424: JUMPDEST 00000425: DIV 00000426: SWAP4 00000427: POP 00000428: PUSH20 0x97550ce17666bb49349ef0e50f9fdb88353edb64 0000043d: PUSH1 0x01 0000043f: PUSH1 0xa0 00000441: PUSH1 0x02 00000443: EXP 00000444: SUB 00000445: AND 00000446: PUSH4 0xf088d547 0000044b: DUP9 0000044c: DUP11 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: DUP4 00000451: PUSH4 0xffffffff 00000456: AND 00000457: PUSH1 0xe0 00000459: PUSH1 0x02 0000045b: EXP 0000045c: MUL 0000045d: DUP2 0000045e: MSTORE 0000045f: PUSH1 0x04 00000461: ADD 00000462: DUP1 00000463: DUP3 00000464: PUSH1 0x01 00000466: PUSH1 0xa0 00000468: PUSH1 0x02 0000046a: EXP 0000046b: SUB 0000046c: AND 0000046d: PUSH1 0x01 0000046f: PUSH1 0xa0 00000471: PUSH1 0x02 00000473: EXP 00000474: SUB 00000475: AND 00000476: DUP2 00000477: MSTORE 00000478: PUSH1 0x20 0000047a: ADD 0000047b: SWAP2 0000047c: POP 0000047d: POP 0000047e: PUSH1 0x20 00000480: PUSH1 0x40 00000482: MLOAD 00000483: DUP1 00000484: DUP4 00000485: SUB 00000486: DUP2 00000487: DUP6 00000488: DUP9 00000489: DUP1 0000048a: EXTCODESIZE 0000048b: ISZERO 0000048c: DUP1 0000048d: ISZERO 0000048e: PUSH2 0x0496 00000491: JUMPI 00000492: PUSH1 0x00 00000494: DUP1 00000495: REVERT 00000496: JUMPDEST 00000497: POP 00000498: GAS 00000499: CALL 0000049a: ISZERO 0000049b: DUP1 0000049c: ISZERO 0000049d: PUSH2 0x04aa 000004a0: JUMPI 000004a1: RETURNDATASIZE 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: RETURNDATACOPY 000004a6: RETURNDATASIZE 000004a7: PUSH1 0x00 000004a9: REVERT 000004aa: JUMPDEST 000004ab: POP 000004ac: POP 000004ad: POP 000004ae: POP 000004af: POP 000004b0: PUSH1 0x40 000004b2: MLOAD 000004b3: RETURNDATASIZE 000004b4: PUSH1 0x20 000004b6: DUP2 000004b7: LT 000004b8: ISZERO 000004b9: PUSH2 0x04c1 000004bc: JUMPI 000004bd: PUSH1 0x00 000004bf: DUP1 000004c0: REVERT 000004c1: JUMPDEST 000004c2: POP 000004c3: POP 000004c4: PUSH1 0x40 000004c6: DUP1 000004c7: MLOAD 000004c8: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000004e9: DUP2 000004ea: MSTORE 000004eb: ADDRESS 000004ec: PUSH1 0x04 000004ee: DUP3 000004ef: ADD 000004f0: MSTORE 000004f1: SWAP1 000004f2: MLOAD 000004f3: PUSH20 0x97550ce17666bb49349ef0e50f9fdb88353edb64 00000508: SWAP2 00000509: PUSH4 0xe4849b32 0000050e: SWAP2 0000050f: DUP4 00000510: SWAP2 00000511: PUSH4 0x70a08231 00000516: SWAP2 00000517: PUSH1 0x24 00000519: DUP1 0000051a: DUP4 0000051b: ADD 0000051c: SWAP3 0000051d: PUSH1 0x20 0000051f: SWAP3 00000520: SWAP2 00000521: SWAP1 00000522: DUP3 00000523: SWAP1 00000524: SUB 00000525: ADD 00000526: DUP2 00000527: PUSH1 0x00 00000529: DUP8 0000052a: DUP1 0000052b: EXTCODESIZE 0000052c: ISZERO 0000052d: DUP1 0000052e: ISZERO 0000052f: PUSH2 0x0537 00000532: JUMPI 00000533: PUSH1 0x00 00000535: DUP1 00000536: REVERT 00000537: JUMPDEST 00000538: POP 00000539: GAS 0000053a: CALL 0000053b: ISZERO 0000053c: DUP1 0000053d: ISZERO 0000053e: PUSH2 0x054b 00000541: JUMPI 00000542: RETURNDATASIZE 00000543: PUSH1 0x00 00000545: DUP1 00000546: RETURNDATACOPY 00000547: RETURNDATASIZE 00000548: PUSH1 0x00 0000054a: REVERT 0000054b: JUMPDEST 0000054c: POP 0000054d: POP 0000054e: POP 0000054f: POP 00000550: PUSH1 0x40 00000552: MLOAD 00000553: RETURNDATASIZE 00000554: PUSH1 0x20 00000556: DUP2 00000557: LT 00000558: ISZERO 00000559: PUSH2 0x0561 0000055c: JUMPI 0000055d: PUSH1 0x00 0000055f: DUP1 00000560: REVERT 00000561: JUMPDEST 00000562: POP 00000563: MLOAD 00000564: PUSH1 0x40 00000566: DUP1 00000567: MLOAD 00000568: PUSH1 0xe0 0000056a: PUSH1 0x02 0000056c: EXP 0000056d: PUSH4 0xffffffff 00000572: DUP6 00000573: AND 00000574: MUL 00000575: DUP2 00000576: MSTORE 00000577: PUSH1 0x04 00000579: DUP2 0000057a: ADD 0000057b: SWAP3 0000057c: SWAP1 0000057d: SWAP3 0000057e: MSTORE 0000057f: MLOAD 00000580: PUSH1 0x24 00000582: DUP1 00000583: DUP4 00000584: ADD 00000585: SWAP3 00000586: PUSH1 0x00 00000588: SWAP3 00000589: SWAP2 0000058a: SWAP1 0000058b: DUP3 0000058c: SWAP1 0000058d: SUB 0000058e: ADD 0000058f: DUP2 00000590: DUP4 00000591: DUP8 00000592: DUP1 00000593: EXTCODESIZE 00000594: ISZERO 00000595: DUP1 00000596: ISZERO 00000597: PUSH2 0x059f 0000059a: JUMPI 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: REVERT 0000059f: JUMPDEST 000005a0: POP 000005a1: GAS 000005a2: CALL 000005a3: ISZERO 000005a4: DUP1 000005a5: ISZERO 000005a6: PUSH2 0x05b3 000005a9: JUMPI 000005aa: RETURNDATASIZE 000005ab: PUSH1 0x00 000005ad: DUP1 000005ae: RETURNDATACOPY 000005af: RETURNDATASIZE 000005b0: PUSH1 0x00 000005b2: REVERT 000005b3: JUMPDEST 000005b4: POP 000005b5: POP 000005b6: PUSH1 0x40 000005b8: DUP1 000005b9: MLOAD 000005ba: PUSH31 0x65318b00000000000000000000000000000000000000000000000000000000 000005da: DUP2 000005db: MSTORE 000005dc: ADDRESS 000005dd: PUSH1 0x04 000005df: DUP3 000005e0: ADD 000005e1: MSTORE 000005e2: SWAP1 000005e3: MLOAD 000005e4: PUSH20 0x97550ce17666bb49349ef0e50f9fdb88353edb64 000005f9: SWAP4 000005fa: POP 000005fb: PUSH3 0x65318b 000005ff: SWAP3 00000600: POP 00000601: PUSH1 0x24 00000603: DUP1 00000604: DUP4 00000605: ADD 00000606: SWAP3 00000607: PUSH1 0x20 00000609: SWAP3 0000060a: SWAP2 0000060b: SWAP1 0000060c: DUP3 0000060d: SWAP1 0000060e: SUB 0000060f: ADD 00000610: DUP2 00000611: PUSH1 0x00 00000613: DUP8 00000614: DUP1 00000615: EXTCODESIZE 00000616: ISZERO 00000617: DUP1 00000618: ISZERO 00000619: PUSH2 0x0621 0000061c: JUMPI 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: REVERT 00000621: JUMPDEST 00000622: POP 00000623: GAS 00000624: CALL 00000625: ISZERO 00000626: DUP1 00000627: ISZERO 00000628: PUSH2 0x0635 0000062b: JUMPI 0000062c: RETURNDATASIZE 0000062d: PUSH1 0x00 0000062f: DUP1 00000630: RETURNDATACOPY 00000631: RETURNDATASIZE 00000632: PUSH1 0x00 00000634: REVERT 00000635: JUMPDEST 00000636: POP 00000637: POP 00000638: POP 00000639: POP 0000063a: PUSH1 0x40 0000063c: MLOAD 0000063d: RETURNDATASIZE 0000063e: PUSH1 0x20 00000640: DUP2 00000641: LT 00000642: ISZERO 00000643: PUSH2 0x064b 00000646: JUMPI 00000647: PUSH1 0x00 00000649: DUP1 0000064a: REVERT 0000064b: JUMPDEST 0000064c: POP 0000064d: MLOAD 0000064e: SWAP3 0000064f: POP 00000650: JUMPDEST 00000651: DUP4 00000652: DUP4 00000653: LT 00000654: PUSH2 0x07dc 00000657: JUMPI 00000658: PUSH20 0x97550ce17666bb49349ef0e50f9fdb88353edb64 0000066d: PUSH1 0x01 0000066f: PUSH1 0xa0 00000671: PUSH1 0x02 00000673: EXP 00000674: SUB 00000675: AND 00000676: PUSH4 0xfdb5a03e 0000067b: PUSH1 0x40 0000067d: MLOAD 0000067e: DUP2 0000067f: PUSH4 0xffffffff 00000684: AND 00000685: PUSH1 0xe0 00000687: PUSH1 0x02 00000689: EXP 0000068a: MUL 0000068b: DUP2 0000068c: MSTORE 0000068d: PUSH1 0x04 0000068f: ADD 00000690: PUSH1 0x00 00000692: PUSH1 0x40 00000694: MLOAD 00000695: DUP1 00000696: DUP4 00000697: SUB 00000698: DUP2 00000699: PUSH1 0x00 0000069b: DUP8 0000069c: DUP1 0000069d: EXTCODESIZE 0000069e: ISZERO 0000069f: DUP1 000006a0: ISZERO 000006a1: PUSH2 0x06a9 000006a4: JUMPI 000006a5: PUSH1 0x00 000006a7: DUP1 000006a8: REVERT 000006a9: JUMPDEST 000006aa: POP 000006ab: GAS 000006ac: CALL 000006ad: ISZERO 000006ae: DUP1 000006af: ISZERO 000006b0: PUSH2 0x06bd 000006b3: JUMPI 000006b4: RETURNDATASIZE 000006b5: PUSH1 0x00 000006b7: DUP1 000006b8: RETURNDATACOPY 000006b9: RETURNDATASIZE 000006ba: PUSH1 0x00 000006bc: REVERT 000006bd: JUMPDEST 000006be: POP 000006bf: POP 000006c0: PUSH1 0x40 000006c2: DUP1 000006c3: MLOAD 000006c4: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000006e5: DUP2 000006e6: MSTORE 000006e7: ADDRESS 000006e8: PUSH1 0x04 000006ea: DUP3 000006eb: ADD 000006ec: MSTORE 000006ed: SWAP1 000006ee: MLOAD 000006ef: PUSH20 0x97550ce17666bb49349ef0e50f9fdb88353edb64 00000704: SWAP4 00000705: POP 00000706: PUSH4 0xe4849b32 0000070b: SWAP3 0000070c: POP 0000070d: DUP4 0000070e: SWAP2 0000070f: PUSH4 0x70a08231 00000714: SWAP2 00000715: PUSH1 0x24 00000717: DUP1 00000718: DUP4 00000719: ADD 0000071a: SWAP3 0000071b: PUSH1 0x20 0000071d: SWAP3 0000071e: SWAP2 0000071f: SWAP1 00000720: DUP3 00000721: SWAP1 00000722: SUB 00000723: ADD 00000724: DUP2 00000725: PUSH1 0x00 00000727: DUP8 00000728: DUP1 00000729: EXTCODESIZE 0000072a: ISZERO 0000072b: DUP1 0000072c: ISZERO 0000072d: PUSH2 0x0735 00000730: JUMPI 00000731: PUSH1 0x00 00000733: DUP1 00000734: REVERT 00000735: JUMPDEST 00000736: POP 00000737: GAS 00000738: CALL 00000739: ISZERO 0000073a: DUP1 0000073b: ISZERO 0000073c: PUSH2 0x0749 0000073f: JUMPI 00000740: RETURNDATASIZE 00000741: PUSH1 0x00 00000743: DUP1 00000744: RETURNDATACOPY 00000745: RETURNDATASIZE 00000746: PUSH1 0x00 00000748: REVERT 00000749: JUMPDEST 0000074a: POP 0000074b: POP 0000074c: POP 0000074d: POP 0000074e: PUSH1 0x40 00000750: MLOAD 00000751: RETURNDATASIZE 00000752: PUSH1 0x20 00000754: DUP2 00000755: LT 00000756: ISZERO 00000757: PUSH2 0x075f 0000075a: JUMPI 0000075b: PUSH1 0x00 0000075d: DUP1 0000075e: REVERT 0000075f: JUMPDEST 00000760: POP 00000761: MLOAD 00000762: PUSH1 0x40 00000764: DUP1 00000765: MLOAD 00000766: PUSH1 0xe0 00000768: PUSH1 0x02 0000076a: EXP 0000076b: PUSH4 0xffffffff 00000770: DUP6 00000771: AND 00000772: MUL 00000773: DUP2 00000774: MSTORE 00000775: PUSH1 0x04 00000777: DUP2 00000778: ADD 00000779: SWAP3 0000077a: SWAP1 0000077b: SWAP3 0000077c: MSTORE 0000077d: MLOAD 0000077e: PUSH1 0x24 00000780: DUP1 00000781: DUP4 00000782: ADD 00000783: SWAP3 00000784: PUSH1 0x00 00000786: SWAP3 00000787: SWAP2 00000788: SWAP1 00000789: DUP3 0000078a: SWAP1 0000078b: SUB 0000078c: ADD 0000078d: DUP2 0000078e: DUP4 0000078f: DUP8 00000790: DUP1 00000791: EXTCODESIZE 00000792: ISZERO 00000793: DUP1 00000794: ISZERO 00000795: PUSH2 0x079d 00000798: JUMPI 00000799: PUSH1 0x00 0000079b: DUP1 0000079c: REVERT 0000079d: JUMPDEST 0000079e: POP 0000079f: GAS 000007a0: CALL 000007a1: ISZERO 000007a2: DUP1 000007a3: ISZERO 000007a4: PUSH2 0x07b1 000007a7: JUMPI 000007a8: RETURNDATASIZE 000007a9: PUSH1 0x00 000007ab: DUP1 000007ac: RETURNDATACOPY 000007ad: RETURNDATASIZE 000007ae: PUSH1 0x00 000007b0: REVERT 000007b1: JUMPDEST 000007b2: POP 000007b3: POP 000007b4: POP 000007b5: POP 000007b6: PUSH1 0x64 000007b8: PUSH2 0x07cb 000007bb: PUSH1 0x51 000007bd: DUP6 000007be: PUSH2 0x0a26 000007c1: SWAP1 000007c2: SWAP2 000007c3: SWAP1 000007c4: PUSH4 0xffffffff 000007c9: AND 000007ca: JUMP 000007cb: JUMPDEST 000007cc: DUP2 000007cd: ISZERO 000007ce: ISZERO 000007cf: PUSH2 0x07d4 000007d2: JUMPI 000007d3: INVALID 000007d4: JUMPDEST 000007d5: DIV 000007d6: SWAP3 000007d7: POP 000007d8: PUSH2 0x0650 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH20 0x97550ce17666bb49349ef0e50f9fdb88353edb64 000007f2: PUSH1 0x01 000007f4: PUSH1 0xa0 000007f6: PUSH1 0x02 000007f8: EXP 000007f9: SUB 000007fa: AND 000007fb: PUSH4 0x3ccfd60b 00000800: PUSH1 0x40 00000802: MLOAD 00000803: DUP2 00000804: PUSH4 0xffffffff 00000809: AND 0000080a: PUSH1 0xe0 0000080c: PUSH1 0x02 0000080e: EXP 0000080f: MUL 00000810: DUP2 00000811: MSTORE 00000812: PUSH1 0x04 00000814: ADD 00000815: PUSH1 0x00 00000817: PUSH1 0x40 00000819: MLOAD 0000081a: DUP1 0000081b: DUP4 0000081c: SUB 0000081d: DUP2 0000081e: PUSH1 0x00 00000820: DUP8 00000821: DUP1 00000822: EXTCODESIZE 00000823: ISZERO 00000824: DUP1 00000825: ISZERO 00000826: PUSH2 0x082e 00000829: JUMPI 0000082a: PUSH1 0x00 0000082c: DUP1 0000082d: REVERT 0000082e: JUMPDEST 0000082f: POP 00000830: GAS 00000831: CALL 00000832: ISZERO 00000833: DUP1 00000834: ISZERO 00000835: PUSH2 0x0842 00000838: JUMPI 00000839: RETURNDATASIZE 0000083a: PUSH1 0x00 0000083c: DUP1 0000083d: RETURNDATACOPY 0000083e: RETURNDATASIZE 0000083f: PUSH1 0x00 00000841: REVERT 00000842: JUMPDEST 00000843: POP 00000844: POP 00000845: POP 00000846: POP 00000847: PUSH2 0x0862 0000084a: JUMP 0000084b: JUMPDEST 0000084c: PUSH2 0x085f 0000084f: DUP6 00000850: PUSH1 0x01 00000852: PUSH1 0x2f 00000854: DUP1 00000855: PUSH4 0xffffffff 0000085a: PUSH2 0x0a9d 0000085d: AND 0000085e: JUMP 0000085f: JUMPDEST 00000860: SWAP5 00000861: POP 00000862: JUMPDEST 00000863: PUSH1 0x01 00000865: PUSH1 0xa0 00000867: PUSH1 0x02 00000869: EXP 0000086a: SUB 0000086b: DUP9 0000086c: AND 0000086d: PUSH1 0x00 0000086f: SWAP1 00000870: DUP2 00000871: MSTORE 00000872: PUSH1 0x01 00000874: PUSH1 0x20 00000876: DUP2 00000877: SWAP1 00000878: MSTORE 00000879: PUSH1 0x40 0000087b: DUP3 0000087c: KECCAK256 0000087d: TIMESTAMP 0000087e: SWAP2 0000087f: ADD 00000880: DUP2 00000881: SWAP1 00000882: SSTORE 00000883: PUSH2 0x0896 00000886: SWAP2 00000887: DUP8 00000888: SWAP2 00000889: SWAP1 0000088a: PUSH1 0x0e 0000088c: PUSH4 0xffffffff 00000891: PUSH2 0x0a9d 00000894: AND 00000895: JUMP 00000896: JUMPDEST 00000897: PUSH1 0x01 00000899: PUSH1 0xa0 0000089b: PUSH1 0x02 0000089d: EXP 0000089e: SUB 0000089f: DUP10 000008a0: AND 000008a1: PUSH1 0x00 000008a3: SWAP1 000008a4: DUP2 000008a5: MSTORE 000008a6: PUSH1 0x01 000008a8: PUSH1 0x20 000008aa: MSTORE 000008ab: PUSH1 0x40 000008ad: SWAP1 000008ae: KECCAK256 000008af: SLOAD 000008b0: SWAP1 000008b1: SWAP6 000008b2: POP 000008b3: PUSH2 0x08c7 000008b6: SWAP1 000008b7: DUP7 000008b8: SWAP1 000008b9: PUSH1 0x0f 000008bb: PUSH1 0x1d 000008bd: PUSH4 0xffffffff 000008c2: PUSH2 0x0a9d 000008c5: AND 000008c6: JUMP 000008c7: JUMPDEST 000008c8: PUSH1 0x00 000008ca: SLOAD 000008cb: SWAP1 000008cc: SWAP6 000008cd: POP 000008ce: PUSH2 0x08e2 000008d1: SWAP1 000008d2: DUP7 000008d3: SWAP1 000008d4: PUSH1 0x1e 000008d6: PUSH1 0x2c 000008d8: PUSH4 0xffffffff 000008dd: PUSH2 0x0a9d 000008e0: AND 000008e1: JUMP 000008e2: JUMPDEST 000008e3: SWAP5 000008e4: POP 000008e5: PUSH2 0x08f8 000008e8: DUP6 000008e9: DUP11 000008ea: PUSH1 0x2d 000008ec: PUSH1 0x2e 000008ee: PUSH4 0xffffffff 000008f3: PUSH2 0x0a9d 000008f6: AND 000008f7: JUMP 000008f8: JUMPDEST 000008f9: PUSH1 0x40 000008fb: DUP1 000008fc: MLOAD 000008fd: PUSH1 0x01 000008ff: PUSH1 0xa0 00000901: PUSH1 0x02 00000903: EXP 00000904: SUB 00000905: DUP12 00000906: AND 00000907: DUP2 00000908: MSTORE 00000909: PUSH1 0x20 0000090b: DUP2 0000090c: ADD 0000090d: DUP11 0000090e: SWAP1 0000090f: MSTORE 00000910: DUP1 00000911: DUP3 00000912: ADD 00000913: DUP10 00000914: SWAP1 00000915: MSTORE 00000916: ADDRESS 00000917: BALANCE 00000918: PUSH1 0x60 0000091a: DUP3 0000091b: ADD 0000091c: MSTORE 0000091d: PUSH1 0x80 0000091f: DUP2 00000920: ADD 00000921: DUP4 00000922: SWAP1 00000923: MSTORE 00000924: SWAP1 00000925: MLOAD 00000926: SWAP2 00000927: SWAP7 00000928: POP 00000929: PUSH32 0xa0e5739b8aab1e9b0469db4a982bc2211bdf4b0ed8b8aebe2e0d89d10057657d 0000094a: SWAP2 0000094b: SWAP1 0000094c: DUP2 0000094d: SWAP1 0000094e: SUB 0000094f: PUSH1 0xa0 00000951: ADD 00000952: SWAP1 00000953: LOG1 00000954: POP 00000955: POP 00000956: POP 00000957: POP 00000958: POP 00000959: POP 0000095a: POP 0000095b: POP 0000095c: POP 0000095d: JUMP 0000095e: JUMPDEST 0000095f: PUSH1 0x02 00000961: SLOAD 00000962: DUP2 00000963: JUMP 00000964: JUMPDEST 00000965: JUMP 00000966: JUMPDEST 00000967: PUSH1 0x00 00000969: DUP3 0000096a: DUP3 0000096b: GT 0000096c: ISZERO 0000096d: PUSH2 0x09c0 00000970: JUMPI 00000971: PUSH1 0x40 00000973: DUP1 00000974: MLOAD 00000975: PUSH1 0xe5 00000977: PUSH1 0x02 00000979: EXP 0000097a: PUSH3 0x461bcd 0000097e: MUL 0000097f: DUP2 00000980: MSTORE 00000981: PUSH1 0x20 00000983: PUSH1 0x04 00000985: DUP3 00000986: ADD 00000987: MSTORE 00000988: PUSH1 0x13 0000098a: PUSH1 0x24 0000098c: DUP3 0000098d: ADD 0000098e: MSTORE 0000098f: PUSH32 0x536166654d61746820737562206661696c656400000000000000000000000000 000009b0: PUSH1 0x44 000009b2: DUP3 000009b3: ADD 000009b4: MSTORE 000009b5: SWAP1 000009b6: MLOAD 000009b7: SWAP1 000009b8: DUP2 000009b9: SWAP1 000009ba: SUB 000009bb: PUSH1 0x64 000009bd: ADD 000009be: SWAP1 000009bf: REVERT 000009c0: JUMPDEST 000009c1: POP 000009c2: DUP1 000009c3: DUP3 000009c4: SUB 000009c5: JUMPDEST 000009c6: SWAP3 000009c7: SWAP2 000009c8: POP 000009c9: POP 000009ca: JUMP 000009cb: JUMPDEST 000009cc: DUP2 000009cd: DUP2 000009ce: ADD 000009cf: DUP3 000009d0: DUP2 000009d1: LT 000009d2: ISZERO 000009d3: PUSH2 0x09c5 000009d6: JUMPI 000009d7: PUSH1 0x40 000009d9: DUP1 000009da: MLOAD 000009db: PUSH1 0xe5 000009dd: PUSH1 0x02 000009df: EXP 000009e0: PUSH3 0x461bcd 000009e4: MUL 000009e5: DUP2 000009e6: MSTORE 000009e7: PUSH1 0x20 000009e9: PUSH1 0x04 000009eb: DUP3 000009ec: ADD 000009ed: MSTORE 000009ee: PUSH1 0x13 000009f0: PUSH1 0x24 000009f2: DUP3 000009f3: ADD 000009f4: MSTORE 000009f5: PUSH32 0x536166654d61746820616464206661696c656400000000000000000000000000 00000a16: PUSH1 0x44 00000a18: DUP3 00000a19: ADD 00000a1a: MSTORE 00000a1b: SWAP1 00000a1c: MLOAD 00000a1d: SWAP1 00000a1e: DUP2 00000a1f: SWAP1 00000a20: SUB 00000a21: PUSH1 0x64 00000a23: ADD 00000a24: SWAP1 00000a25: REVERT 00000a26: JUMPDEST 00000a27: PUSH1 0x00 00000a29: DUP3 00000a2a: ISZERO 00000a2b: ISZERO 00000a2c: PUSH2 0x0a37 00000a2f: JUMPI 00000a30: POP 00000a31: PUSH1 0x00 00000a33: PUSH2 0x09c5 00000a36: JUMP 00000a37: JUMPDEST 00000a38: POP 00000a39: DUP2 00000a3a: DUP2 00000a3b: MUL 00000a3c: DUP2 00000a3d: DUP4 00000a3e: DUP3 00000a3f: DUP2 00000a40: ISZERO 00000a41: ISZERO 00000a42: PUSH2 0x0a47 00000a45: JUMPI 00000a46: INVALID 00000a47: JUMPDEST 00000a48: DIV 00000a49: EQ 00000a4a: PUSH2 0x09c5 00000a4d: JUMPI 00000a4e: PUSH1 0x40 00000a50: DUP1 00000a51: MLOAD 00000a52: PUSH1 0xe5 00000a54: PUSH1 0x02 00000a56: EXP 00000a57: PUSH3 0x461bcd 00000a5b: MUL 00000a5c: DUP2 00000a5d: MSTORE 00000a5e: PUSH1 0x20 00000a60: PUSH1 0x04 00000a62: DUP3 00000a63: ADD 00000a64: MSTORE 00000a65: PUSH1 0x13 00000a67: PUSH1 0x24 00000a69: DUP3 00000a6a: ADD 00000a6b: MSTORE 00000a6c: PUSH32 0x536166654d617468206d756c206661696c656400000000000000000000000000 00000a8d: PUSH1 0x44 00000a8f: DUP3 00000a90: ADD 00000a91: MSTORE 00000a92: SWAP1 00000a93: MLOAD 00000a94: SWAP1 00000a95: DUP2 00000a96: SWAP1 00000a97: SUB 00000a98: PUSH1 0x64 00000a9a: ADD 00000a9b: SWAP1 00000a9c: REVERT 00000a9d: JUMPDEST 00000a9e: PUSH1 0x00 00000aa0: PUSH1 0x4d 00000aa2: DUP3 00000aa3: LT 00000aa4: DUP1 00000aa5: ISZERO 00000aa6: PUSH2 0x0aaf 00000aa9: JUMPI 00000aaa: POP 00000aab: PUSH1 0x4d 00000aad: DUP4 00000aae: LT 00000aaf: JUMPDEST 00000ab0: ISZERO 00000ab1: ISZERO 00000ab2: PUSH2 0x0b05 00000ab5: JUMPI 00000ab6: PUSH1 0x40 00000ab8: DUP1 00000ab9: MLOAD 00000aba: PUSH1 0xe5 00000abc: PUSH1 0x02 00000abe: EXP 00000abf: PUSH3 0x461bcd 00000ac3: MUL 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x20 00000ac8: PUSH1 0x04 00000aca: DUP3 00000acb: ADD 00000acc: MSTORE 00000acd: PUSH1 0x1e 00000acf: PUSH1 0x24 00000ad1: DUP3 00000ad2: ADD 00000ad3: MSTORE 00000ad4: PUSH32 0x73746172742f656e64206d757374206265206c657373207468616e2037370000 00000af5: PUSH1 0x44 00000af7: DUP3 00000af8: ADD 00000af9: MSTORE 00000afa: SWAP1 00000afb: MLOAD 00000afc: SWAP1 00000afd: DUP2 00000afe: SWAP1 00000aff: SUB 00000b00: PUSH1 0x64 00000b02: ADD 00000b03: SWAP1 00000b04: REVERT 00000b05: JUMPDEST 00000b06: DUP3 00000b07: DUP3 00000b08: LT 00000b09: ISZERO 00000b0a: PUSH2 0x0b5d 00000b0d: JUMPI 00000b0e: PUSH1 0x40 00000b10: DUP1 00000b11: MLOAD 00000b12: PUSH1 0xe5 00000b14: PUSH1 0x02 00000b16: EXP 00000b17: PUSH3 0x461bcd 00000b1b: MUL 00000b1c: DUP2 00000b1d: MSTORE 00000b1e: PUSH1 0x20 00000b20: PUSH1 0x04 00000b22: DUP3 00000b23: ADD 00000b24: MSTORE 00000b25: PUSH1 0x14 00000b27: PUSH1 0x24 00000b29: DUP3 00000b2a: ADD 00000b2b: MSTORE 00000b2c: PUSH32 0x656e64206d757374206265203e3d207374617274000000000000000000000000 00000b4d: PUSH1 0x44 00000b4f: DUP3 00000b50: ADD 00000b51: MSTORE 00000b52: SWAP1 00000b53: MLOAD 00000b54: SWAP1 00000b55: DUP2 00000b56: SWAP1 00000b57: SUB 00000b58: PUSH1 0x64 00000b5a: ADD 00000b5b: SWAP1 00000b5c: REVERT 00000b5d: JUMPDEST 00000b5e: PUSH2 0x0b77 00000b61: PUSH1 0x0a 00000b63: PUSH2 0x0b6b 00000b66: DUP5 00000b67: PUSH2 0x0c0e 00000b6a: JUMP 00000b6b: JUMPDEST 00000b6c: SWAP1 00000b6d: PUSH4 0xffffffff 00000b72: PUSH2 0x0a26 00000b75: AND 00000b76: JUMP 00000b77: JUMPDEST 00000b78: SWAP2 00000b79: POP 00000b7a: PUSH2 0x0b82 00000b7d: DUP4 00000b7e: PUSH2 0x0c0e 00000b81: JUMP 00000b82: JUMPDEST 00000b83: SWAP3 00000b84: POP 00000b85: DUP3 00000b86: DUP3 00000b87: DUP2 00000b88: ISZERO 00000b89: ISZERO 00000b8a: PUSH2 0x0b8f 00000b8d: JUMPI 00000b8e: INVALID 00000b8f: JUMPDEST 00000b90: DIV 00000b91: DUP5 00000b92: LT 00000b93: PUSH2 0x0b9b 00000b96: JUMPI 00000b97: PUSH1 0x00 00000b99: DUP1 00000b9a: REVERT 00000b9b: JUMPDEST 00000b9c: PUSH1 0x00 00000b9e: DUP5 00000b9f: GT 00000ba0: ISZERO 00000ba1: PUSH2 0x0bb7 00000ba4: JUMPI 00000ba5: PUSH2 0x0bb4 00000ba8: DUP5 00000ba9: DUP5 00000baa: PUSH4 0xffffffff 00000baf: PUSH2 0x0a26 00000bb2: AND 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: SWAP4 00000bb6: POP 00000bb7: JUMPDEST 00000bb8: PUSH2 0x0c05 00000bbb: PUSH2 0x0bd6 00000bbe: DUP4 00000bbf: DUP5 00000bc0: DUP9 00000bc1: DUP2 00000bc2: ISZERO 00000bc3: ISZERO 00000bc4: PUSH2 0x0bc9 00000bc7: JUMPI 00000bc8: INVALID 00000bc9: JUMPDEST 00000bca: DIV 00000bcb: SWAP1 00000bcc: PUSH4 0xffffffff 00000bd1: PUSH2 0x0a26 00000bd4: AND 00000bd5: JUMP 00000bd6: JUMPDEST 00000bd7: PUSH2 0x0bf9 00000bda: DUP7 00000bdb: PUSH2 0x0bf9 00000bde: PUSH2 0x0bec 00000be1: DUP9 00000be2: DUP10 00000be3: DUP13 00000be4: DUP2 00000be5: ISZERO 00000be6: ISZERO 00000be7: PUSH2 0x0bc9 00000bea: JUMPI 00000beb: INVALID 00000bec: JUMPDEST 00000bed: DUP11 00000bee: SWAP1 00000bef: PUSH4 0xffffffff 00000bf4: PUSH2 0x0966 00000bf7: AND 00000bf8: JUMP 00000bf9: JUMPDEST 00000bfa: SWAP1 00000bfb: PUSH4 0xffffffff 00000c00: PUSH2 0x09cb 00000c03: AND 00000c04: JUMP 00000c05: JUMPDEST 00000c06: SWAP6 00000c07: SWAP5 00000c08: POP 00000c09: POP 00000c0a: POP 00000c0b: POP 00000c0c: POP 00000c0d: JUMP 00000c0e: JUMPDEST 00000c0f: PUSH1 0x00 00000c11: PUSH2 0x09c5 00000c14: PUSH1 0x0a 00000c16: DUP4 00000c17: PUSH4 0xffffffff 00000c1c: PUSH2 0x0c21 00000c1f: AND 00000c20: JUMP 00000c21: JUMPDEST 00000c22: PUSH1 0x00 00000c24: DUP1 00000c25: DUP1 00000c26: DUP5 00000c27: ISZERO 00000c28: ISZERO 00000c29: PUSH2 0x0c35 00000c2c: JUMPI 00000c2d: PUSH1 0x00 00000c2f: SWAP3 00000c30: POP 00000c31: PUSH2 0x0c6c 00000c34: JUMP 00000c35: JUMPDEST 00000c36: DUP4 00000c37: ISZERO 00000c38: ISZERO 00000c39: PUSH2 0x0c45 00000c3c: JUMPI 00000c3d: PUSH1 0x01 00000c3f: SWAP3 00000c40: POP 00000c41: PUSH2 0x0c6c 00000c44: JUMP 00000c45: JUMPDEST 00000c46: POP 00000c47: DUP4 00000c48: SWAP1 00000c49: POP 00000c4a: PUSH1 0x01 00000c4c: JUMPDEST 00000c4d: DUP4 00000c4e: DUP2 00000c4f: LT 00000c50: ISZERO 00000c51: PUSH2 0x0c68 00000c54: JUMPI 00000c55: PUSH2 0x0c5e 00000c58: DUP3 00000c59: DUP7 00000c5a: PUSH2 0x0a26 00000c5d: JUMP 00000c5e: JUMPDEST 00000c5f: SWAP2 00000c60: POP 00000c61: PUSH1 0x01 00000c63: ADD 00000c64: PUSH2 0x0c4c 00000c67: JUMP 00000c68: JUMPDEST 00000c69: DUP2 00000c6a: SWAP3 00000c6b: POP 00000c6c: JUMPDEST 00000c6d: POP 00000c6e: POP 00000c6f: SWAP3 00000c70: SWAP2 00000c71: POP 00000c72: POP 00000c73: JUMP 00000c74: STOP 00000c75: LOG1 00000c76: PUSH6 0x627a7a723058 00000c7d: KECCAK256 00000c7e: PUSH29 0xf25f4d22934e12eeb0ada09f5f23a018d612985e9040c52fc4bce1cfe3 00000c9c: PUSH1 0xe8 00000c9e: STOP 00000c9f: UNKNOWN(0x29)
| 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": "0x1f75c390",
"selector": "0x1f75c390",
"calldata_variants": [
"0x1f75c390",
"0x1f75c3900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521ceba7",
"selector": "0x521ceba7",
"calldata_variants": [
"0x521ceba7",
"0x521ceba70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7bb98a68",
"selector": "0x7bb98a68",
"calldata_variants": [
"0x7bb98a68",
"0x7bb98a680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91c05b0b",
"selector": "0x91c05b0b",
"calldata_variants": [
"0x91c05b0b",
"0x91c05b0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb519cf31",
"selector": "0xb519cf31",
"calldata_variants": [
"0xb519cf31",
"0xb519cf310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 320,
"type": "tx_origin_used"
},
{
"pc": 318,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1c372b478b37c56b55fd8454a4dbd1ee9c97b9fd0b0f642dcb352f3e7eb8fa43
call_targets:
0xd2344f06ce022a7424619b2af222e71b65824975
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1c372b478b37c56b55fd8454a4dbd1ee9c97b9fd0b0f642dcb352f3e7eb8fa43",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd2344f06ce022a7424619b2af222e71b65824975"
],
"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": "0x1f75c390",
"selector": "0x1f75c390",
"calldata_variants": [
"0x1f75c390",
"0x1f75c3900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521ceba7",
"selector": "0x521ceba7",
"calldata_variants": [
"0x521ceba7",
"0x521ceba70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7bb98a68",
"selector": "0x7bb98a68",
"calldata_variants": [
"0x7bb98a68",
"0x7bb98a680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91c05b0b",
"selector": "0x91c05b0b",
"calldata_variants": [
"0x91c05b0b",
"0x91c05b0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb519cf31",
"selector": "0xb519cf31",
"calldata_variants": [
"0xb519cf31",
"0xb519cf310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 814,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 975,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1177,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 320,
"type": "tx_origin_used"
},
{
"pc": 318,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1c372b478b37c56b55fd8454a4dbd1ee9c97b9fd0b0f642dcb352f3e7eb8fa43
call_targets:
0xd2344f06ce022a7424619b2af222e71b65824975
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1c372b478b37c56b55fd8454a4dbd1ee9c97b9fd0b0f642dcb352f3e7eb8fa43",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd2344f06ce022a7424619b2af222e71b65824975"
],
"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": "0x1f75c390",
"selector": "0x1f75c390",
"calldata_variants": [
"0x1f75c390",
"0x1f75c3900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521ceba7",
"selector": "0x521ceba7",
"calldata_variants": [
"0x521ceba7",
"0x521ceba70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7bb98a68",
"selector": "0x7bb98a68",
"calldata_variants": [
"0x7bb98a68",
"0x7bb98a680000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91c05b0b",
"selector": "0x91c05b0b",
"calldata_variants": [
"0x91c05b0b",
"0x91c05b0b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb519cf31",
"selector": "0xb519cf31",
"calldata_variants": [
"0xb519cf31",
"0xb519cf310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0e30db0",
"selector": "0xd0e30db0",
"calldata_variants": [
"0xd0e30db0",
"0xd0e30db00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 814,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 975,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1177,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": [
{
"pc": 320,
"type": "tx_origin_used"
},
{
"pc": 318,
"type": "tx_origin_used"
}
]
}
|