019b477e-cd6a-716f-8df8-71bf0c3cec1e
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 |
|---|---|---|---|---|
| 27029 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27030 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92081 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92082 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92083 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92084 | 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 0x00ca 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6a42b8f8 00000019: GT 0000001a: PUSH2 0x0079 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc1a287e2 00000024: GT 00000025: PUSH2 0x0056 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc1a287e2 0000002f: EQ 00000030: PUSH2 0x0222 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe177246e 0000003a: EQ 0000003b: PUSH2 0x0239 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2b06537 00000045: EQ 00000046: PUSH2 0x0259 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf851a440 00000050: EQ 00000051: PUSH2 0x0299 00000054: JUMPI 00000055: STOP 00000056: JUMPDEST 00000057: DUP1 00000058: PUSH4 0x6a42b8f8 0000005d: EQ 0000005e: PUSH2 0x01de 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x7d645fab 00000068: EQ 00000069: PUSH2 0x01f4 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xb1b43ae5 00000073: EQ 00000074: PUSH2 0x020b 00000077: JUMPI 00000078: STOP 00000079: JUMPDEST 0000007a: DUP1 0000007b: PUSH4 0x3a66f901 00000080: GT 00000081: PUSH2 0x00a7 00000084: JUMPI 00000085: DUP1 00000086: PUSH4 0x3a66f901 0000008b: EQ 0000008c: PUSH2 0x0170 0000008f: JUMPI 00000090: DUP1 00000091: PUSH4 0x4dd18bf5 00000096: EQ 00000097: PUSH2 0x019e 0000009a: JUMPI 0000009b: DUP1 0000009c: PUSH4 0x591fcdfe 000000a1: EQ 000000a2: PUSH2 0x01be 000000a5: JUMPI 000000a6: STOP 000000a7: JUMPDEST 000000a8: DUP1 000000a9: PUSH4 0x0825f38f 000000ae: EQ 000000af: PUSH2 0x00d3 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x0e18b681 000000b9: EQ 000000ba: PUSH2 0x0109 000000bd: JUMPI 000000be: DUP1 000000bf: PUSH4 0x26782247 000000c4: EQ 000000c5: PUSH2 0x011e 000000c8: JUMPI 000000c9: STOP 000000ca: JUMPDEST 000000cb: CALLDATASIZE 000000cc: PUSH2 0x00d1 000000cf: JUMPI 000000d0: STOP 000000d1: JUMPDEST 000000d2: STOP 000000d3: JUMPDEST 000000d4: CALLVALUE 000000d5: DUP1 000000d6: ISZERO 000000d7: PUSH2 0x00df 000000da: JUMPI 000000db: PUSH1 0x00 000000dd: DUP1 000000de: REVERT 000000df: JUMPDEST 000000e0: POP 000000e1: PUSH2 0x00f3 000000e4: PUSH2 0x00ee 000000e7: CALLDATASIZE 000000e8: PUSH1 0x04 000000ea: PUSH2 0x101d 000000ed: JUMP 000000ee: JUMPDEST 000000ef: PUSH2 0x02c6 000000f2: JUMP 000000f3: JUMPDEST 000000f4: PUSH1 0x40 000000f6: MLOAD 000000f7: PUSH2 0x0100 000000fa: SWAP2 000000fb: SWAP1 000000fc: PUSH2 0x113c 000000ff: JUMP 00000100: JUMPDEST 00000101: PUSH1 0x40 00000103: MLOAD 00000104: DUP1 00000105: SWAP2 00000106: SUB 00000107: SWAP1 00000108: RETURN 00000109: JUMPDEST 0000010a: CALLVALUE 0000010b: DUP1 0000010c: ISZERO 0000010d: PUSH2 0x0115 00000110: JUMPI 00000111: PUSH1 0x00 00000113: DUP1 00000114: REVERT 00000115: JUMPDEST 00000116: POP 00000117: PUSH2 0x00d1 0000011a: PUSH2 0x0777 0000011d: JUMP 0000011e: JUMPDEST 0000011f: CALLVALUE 00000120: DUP1 00000121: ISZERO 00000122: PUSH2 0x012a 00000125: JUMPI 00000126: PUSH1 0x00 00000128: DUP1 00000129: REVERT 0000012a: JUMPDEST 0000012b: POP 0000012c: PUSH1 0x01 0000012e: SLOAD 0000012f: PUSH2 0x014b 00000132: SWAP1 00000133: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000148: AND 00000149: DUP2 0000014a: JUMP 0000014b: JUMPDEST 0000014c: PUSH1 0x40 0000014e: MLOAD 0000014f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000164: SWAP1 00000165: SWAP2 00000166: AND 00000167: DUP2 00000168: MSTORE 00000169: PUSH1 0x20 0000016b: ADD 0000016c: PUSH2 0x0100 0000016f: JUMP 00000170: JUMPDEST 00000171: CALLVALUE 00000172: DUP1 00000173: ISZERO 00000174: PUSH2 0x017c 00000177: JUMPI 00000178: PUSH1 0x00 0000017a: DUP1 0000017b: REVERT 0000017c: JUMPDEST 0000017d: POP 0000017e: PUSH2 0x0190 00000181: PUSH2 0x018b 00000184: CALLDATASIZE 00000185: PUSH1 0x04 00000187: PUSH2 0x101d 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH2 0x088b 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH1 0x40 00000193: MLOAD 00000194: SWAP1 00000195: DUP2 00000196: MSTORE 00000197: PUSH1 0x20 00000199: ADD 0000019a: PUSH2 0x0100 0000019d: JUMP 0000019e: JUMPDEST 0000019f: CALLVALUE 000001a0: DUP1 000001a1: ISZERO 000001a2: PUSH2 0x01aa 000001a5: JUMPI 000001a6: PUSH1 0x00 000001a8: DUP1 000001a9: REVERT 000001aa: JUMPDEST 000001ab: POP 000001ac: PUSH2 0x00d1 000001af: PUSH2 0x01b9 000001b2: CALLDATASIZE 000001b3: PUSH1 0x04 000001b5: PUSH2 0x1156 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH2 0x0aab 000001bd: JUMP 000001be: JUMPDEST 000001bf: CALLVALUE 000001c0: DUP1 000001c1: ISZERO 000001c2: PUSH2 0x01ca 000001c5: JUMPI 000001c6: PUSH1 0x00 000001c8: DUP1 000001c9: REVERT 000001ca: JUMPDEST 000001cb: POP 000001cc: PUSH2 0x00d1 000001cf: PUSH2 0x01d9 000001d2: CALLDATASIZE 000001d3: PUSH1 0x04 000001d5: PUSH2 0x101d 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH2 0x0bb5 000001dd: JUMP 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: POP 000001ec: PUSH2 0x0190 000001ef: PUSH1 0x02 000001f1: SLOAD 000001f2: DUP2 000001f3: JUMP 000001f4: JUMPDEST 000001f5: CALLVALUE 000001f6: DUP1 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: PUSH2 0x0190 00000205: PUSH3 0x278d00 00000209: DUP2 0000020a: JUMP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: DUP1 0000020e: ISZERO 0000020f: PUSH2 0x0217 00000212: JUMPI 00000213: PUSH1 0x00 00000215: DUP1 00000216: REVERT 00000217: JUMPDEST 00000218: POP 00000219: PUSH2 0x0190 0000021c: PUSH3 0x02a300 00000220: DUP2 00000221: JUMP 00000222: JUMPDEST 00000223: CALLVALUE 00000224: DUP1 00000225: ISZERO 00000226: PUSH2 0x022e 00000229: JUMPI 0000022a: PUSH1 0x00 0000022c: DUP1 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: PUSH2 0x0190 00000233: PUSH3 0x127500 00000237: DUP2 00000238: JUMP 00000239: JUMPDEST 0000023a: CALLVALUE 0000023b: DUP1 0000023c: ISZERO 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: POP 00000247: PUSH2 0x00d1 0000024a: PUSH2 0x0254 0000024d: CALLDATASIZE 0000024e: PUSH1 0x04 00000250: PUSH2 0x1171 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH2 0x0d4b 00000258: JUMP 00000259: JUMPDEST 0000025a: CALLVALUE 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: PUSH2 0x0289 0000026a: PUSH2 0x0274 0000026d: CALLDATASIZE 0000026e: PUSH1 0x04 00000270: PUSH2 0x1171 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH1 0x03 00000277: PUSH1 0x20 00000279: MSTORE 0000027a: PUSH1 0x00 0000027c: SWAP1 0000027d: DUP2 0000027e: MSTORE 0000027f: PUSH1 0x40 00000281: SWAP1 00000282: KECCAK256 00000283: SLOAD 00000284: PUSH1 0xff 00000286: AND 00000287: DUP2 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH1 0x40 0000028c: MLOAD 0000028d: SWAP1 0000028e: ISZERO 0000028f: ISZERO 00000290: DUP2 00000291: MSTORE 00000292: PUSH1 0x20 00000294: ADD 00000295: PUSH2 0x0100 00000298: JUMP 00000299: JUMPDEST 0000029a: CALLVALUE 0000029b: DUP1 0000029c: ISZERO 0000029d: PUSH2 0x02a5 000002a0: JUMPI 000002a1: PUSH1 0x00 000002a3: DUP1 000002a4: REVERT 000002a5: JUMPDEST 000002a6: POP 000002a7: PUSH1 0x00 000002a9: SLOAD 000002aa: PUSH2 0x014b 000002ad: SWAP1 000002ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c3: AND 000002c4: DUP2 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH1 0x00 000002c9: SLOAD 000002ca: PUSH1 0x60 000002cc: SWAP1 000002cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e2: AND 000002e3: CALLER 000002e4: EQ 000002e5: PUSH2 0x0381 000002e8: JUMPI 000002e9: PUSH1 0x40 000002eb: MLOAD 000002ec: PUSH3 0x461bcd 000002f0: PUSH1 0xe5 000002f2: SHL 000002f3: DUP2 000002f4: MSTORE 000002f5: PUSH1 0x20 000002f7: PUSH1 0x04 000002f9: DUP3 000002fa: ADD 000002fb: MSTORE 000002fc: PUSH1 0x42 000002fe: PUSH1 0x24 00000300: DUP3 00000301: ADD 00000302: MSTORE 00000303: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a657865637574655472616e73 00000324: PUSH1 0x44 00000326: DUP3 00000327: ADD 00000328: MSTORE 00000329: PUSH32 0x616374696f6e3a2043616c6c206d75737420636f6d652066726f6d2061646d69 0000034a: PUSH1 0x64 0000034c: DUP3 0000034d: ADD 0000034e: MSTORE 0000034f: PUSH32 0x6e2e000000000000000000000000000000000000000000000000000000000000 00000370: PUSH1 0x84 00000372: DUP3 00000373: ADD 00000374: MSTORE 00000375: PUSH1 0xa4 00000377: ADD 00000378: JUMPDEST 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: DUP1 0000037d: SWAP2 0000037e: SUB 0000037f: SWAP1 00000380: REVERT 00000381: JUMPDEST 00000382: PUSH1 0x00 00000384: DUP7 00000385: DUP7 00000386: DUP7 00000387: DUP7 00000388: DUP7 00000389: PUSH1 0x40 0000038b: MLOAD 0000038c: PUSH1 0x20 0000038e: ADD 0000038f: PUSH2 0x039c 00000392: SWAP6 00000393: SWAP5 00000394: SWAP4 00000395: SWAP3 00000396: SWAP2 00000397: SWAP1 00000398: PUSH2 0x118a 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH1 0x40 0000039f: DUP1 000003a0: MLOAD 000003a1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000003c2: DUP2 000003c3: DUP5 000003c4: SUB 000003c5: ADD 000003c6: DUP2 000003c7: MSTORE 000003c8: SWAP2 000003c9: DUP2 000003ca: MSTORE 000003cb: DUP2 000003cc: MLOAD 000003cd: PUSH1 0x20 000003cf: SWAP3 000003d0: DUP4 000003d1: ADD 000003d2: KECCAK256 000003d3: PUSH1 0x00 000003d5: DUP2 000003d6: DUP2 000003d7: MSTORE 000003d8: PUSH1 0x03 000003da: SWAP1 000003db: SWAP4 000003dc: MSTORE 000003dd: SWAP2 000003de: KECCAK256 000003df: SLOAD 000003e0: SWAP1 000003e1: SWAP2 000003e2: POP 000003e3: PUSH1 0xff 000003e5: AND 000003e6: PUSH2 0x047d 000003e9: JUMPI 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: PUSH3 0x461bcd 000003f1: PUSH1 0xe5 000003f3: SHL 000003f4: DUP2 000003f5: MSTORE 000003f6: PUSH1 0x20 000003f8: PUSH1 0x04 000003fa: DUP3 000003fb: ADD 000003fc: MSTORE 000003fd: PUSH1 0x47 000003ff: PUSH1 0x24 00000401: DUP3 00000402: ADD 00000403: MSTORE 00000404: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a657865637574655472616e73 00000425: PUSH1 0x44 00000427: DUP3 00000428: ADD 00000429: MSTORE 0000042a: PUSH32 0x616374696f6e3a205472616e73616374696f6e206861736e2774206265656e20 0000044b: PUSH1 0x64 0000044d: DUP3 0000044e: ADD 0000044f: MSTORE 00000450: PUSH32 0x7175657565642e00000000000000000000000000000000000000000000000000 00000471: PUSH1 0x84 00000473: DUP3 00000474: ADD 00000475: MSTORE 00000476: PUSH1 0xa4 00000478: ADD 00000479: PUSH2 0x0378 0000047c: JUMP 0000047d: JUMPDEST 0000047e: DUP3 0000047f: TIMESTAMP 00000480: LT 00000481: ISZERO 00000482: PUSH2 0x0519 00000485: JUMPI 00000486: PUSH1 0x40 00000488: MLOAD 00000489: PUSH3 0x461bcd 0000048d: PUSH1 0xe5 0000048f: SHL 00000490: DUP2 00000491: MSTORE 00000492: PUSH1 0x20 00000494: PUSH1 0x04 00000496: DUP3 00000497: ADD 00000498: MSTORE 00000499: PUSH1 0x4f 0000049b: PUSH1 0x24 0000049d: DUP3 0000049e: ADD 0000049f: MSTORE 000004a0: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a657865637574655472616e73 000004c1: PUSH1 0x44 000004c3: DUP3 000004c4: ADD 000004c5: MSTORE 000004c6: PUSH32 0x616374696f6e3a205472616e73616374696f6e206861736e2774207375727061 000004e7: PUSH1 0x64 000004e9: DUP3 000004ea: ADD 000004eb: MSTORE 000004ec: PUSH32 0x737365642074696d65206c6f636b2e0000000000000000000000000000000000 0000050d: PUSH1 0x84 0000050f: DUP3 00000510: ADD 00000511: MSTORE 00000512: PUSH1 0xa4 00000514: ADD 00000515: PUSH2 0x0378 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH2 0x0526 0000051d: PUSH3 0x127500 00000521: DUP5 00000522: PUSH2 0x11e4 00000525: JUMP 00000526: JUMPDEST 00000527: TIMESTAMP 00000528: GT 00000529: ISZERO 0000052a: PUSH2 0x059b 0000052d: JUMPI 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: PUSH3 0x461bcd 00000535: PUSH1 0xe5 00000537: SHL 00000538: DUP2 00000539: MSTORE 0000053a: PUSH1 0x20 0000053c: PUSH1 0x04 0000053e: DUP3 0000053f: ADD 00000540: MSTORE 00000541: PUSH1 0x3d 00000543: PUSH1 0x24 00000545: DUP3 00000546: ADD 00000547: MSTORE 00000548: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a657865637574655472616e73 00000569: PUSH1 0x44 0000056b: DUP3 0000056c: ADD 0000056d: MSTORE 0000056e: PUSH32 0x616374696f6e3a205472616e73616374696f6e206973207374616c652e000000 0000058f: PUSH1 0x64 00000591: DUP3 00000592: ADD 00000593: MSTORE 00000594: PUSH1 0x84 00000596: ADD 00000597: PUSH2 0x0378 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x00 0000059e: DUP2 0000059f: DUP2 000005a0: MSTORE 000005a1: PUSH1 0x03 000005a3: PUSH1 0x20 000005a5: MSTORE 000005a6: PUSH1 0x40 000005a8: DUP2 000005a9: KECCAK256 000005aa: DUP1 000005ab: SLOAD 000005ac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000005cd: AND 000005ce: SWAP1 000005cf: SSTORE 000005d0: DUP6 000005d1: MLOAD 000005d2: PUSH1 0x60 000005d4: SWAP2 000005d5: SUB 000005d6: PUSH2 0x05e0 000005d9: JUMPI 000005da: POP 000005db: DUP4 000005dc: PUSH2 0x060c 000005df: JUMP 000005e0: JUMPDEST 000005e1: DUP6 000005e2: DUP1 000005e3: MLOAD 000005e4: SWAP1 000005e5: PUSH1 0x20 000005e7: ADD 000005e8: KECCAK256 000005e9: DUP6 000005ea: PUSH1 0x40 000005ec: MLOAD 000005ed: PUSH1 0x20 000005ef: ADD 000005f0: PUSH2 0x05fa 000005f3: SWAP3 000005f4: SWAP2 000005f5: SWAP1 000005f6: PUSH2 0x1224 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH1 0x40 000005fd: MLOAD 000005fe: PUSH1 0x20 00000600: DUP2 00000601: DUP4 00000602: SUB 00000603: SUB 00000604: DUP2 00000605: MSTORE 00000606: SWAP1 00000607: PUSH1 0x40 00000609: MSTORE 0000060a: SWAP1 0000060b: POP 0000060c: JUMPDEST 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: DUP10 00000611: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000626: AND 00000627: DUP10 00000628: DUP5 00000629: PUSH1 0x40 0000062b: MLOAD 0000062c: PUSH2 0x0635 0000062f: SWAP2 00000630: SWAP1 00000631: PUSH2 0x126c 00000634: JUMP 00000635: JUMPDEST 00000636: PUSH1 0x00 00000638: PUSH1 0x40 0000063a: MLOAD 0000063b: DUP1 0000063c: DUP4 0000063d: SUB 0000063e: DUP2 0000063f: DUP6 00000640: DUP8 00000641: GAS 00000642: CALL 00000643: SWAP3 00000644: POP 00000645: POP 00000646: POP 00000647: RETURNDATASIZE 00000648: DUP1 00000649: PUSH1 0x00 0000064b: DUP2 0000064c: EQ 0000064d: PUSH2 0x0672 00000650: JUMPI 00000651: PUSH1 0x40 00000653: MLOAD 00000654: SWAP2 00000655: POP 00000656: PUSH1 0x1f 00000658: NOT 00000659: PUSH1 0x3f 0000065b: RETURNDATASIZE 0000065c: ADD 0000065d: AND 0000065e: DUP3 0000065f: ADD 00000660: PUSH1 0x40 00000662: MSTORE 00000663: RETURNDATASIZE 00000664: DUP3 00000665: MSTORE 00000666: RETURNDATASIZE 00000667: PUSH1 0x00 00000669: PUSH1 0x20 0000066b: DUP5 0000066c: ADD 0000066d: RETURNDATACOPY 0000066e: PUSH2 0x0677 00000671: JUMP 00000672: JUMPDEST 00000673: PUSH1 0x60 00000675: SWAP2 00000676: POP 00000677: JUMPDEST 00000678: POP 00000679: SWAP2 0000067a: POP 0000067b: SWAP2 0000067c: POP 0000067d: DUP2 0000067e: PUSH2 0x0715 00000681: JUMPI 00000682: PUSH1 0x40 00000684: MLOAD 00000685: PUSH3 0x461bcd 00000689: PUSH1 0xe5 0000068b: SHL 0000068c: DUP2 0000068d: MSTORE 0000068e: PUSH1 0x20 00000690: PUSH1 0x04 00000692: DUP3 00000693: ADD 00000694: MSTORE 00000695: PUSH1 0x47 00000697: PUSH1 0x24 00000699: DUP3 0000069a: ADD 0000069b: MSTORE 0000069c: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a657865637574655472616e73 000006bd: PUSH1 0x44 000006bf: DUP3 000006c0: ADD 000006c1: MSTORE 000006c2: PUSH32 0x616374696f6e3a205472616e73616374696f6e20657865637574696f6e207265 000006e3: PUSH1 0x64 000006e5: DUP3 000006e6: ADD 000006e7: MSTORE 000006e8: PUSH32 0x7665727465642e00000000000000000000000000000000000000000000000000 00000709: PUSH1 0x84 0000070b: DUP3 0000070c: ADD 0000070d: MSTORE 0000070e: PUSH1 0xa4 00000710: ADD 00000711: PUSH2 0x0378 00000714: JUMP 00000715: JUMPDEST 00000716: DUP10 00000717: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000072c: AND 0000072d: DUP5 0000072e: PUSH32 0xa560e3198060a2f10670c1ec5b403077ea6ae93ca8de1c32b451dc1a943cd6e7 0000074f: DUP12 00000750: DUP12 00000751: DUP12 00000752: DUP12 00000753: PUSH1 0x40 00000755: MLOAD 00000756: PUSH2 0x0762 00000759: SWAP5 0000075a: SWAP4 0000075b: SWAP3 0000075c: SWAP2 0000075d: SWAP1 0000075e: PUSH2 0x1288 00000761: JUMP 00000762: JUMPDEST 00000763: PUSH1 0x40 00000765: MLOAD 00000766: DUP1 00000767: SWAP2 00000768: SUB 00000769: SWAP1 0000076a: LOG3 0000076b: SWAP10 0000076c: SWAP9 0000076d: POP 0000076e: POP 0000076f: POP 00000770: POP 00000771: POP 00000772: POP 00000773: POP 00000774: POP 00000775: POP 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH1 0x01 0000077a: SLOAD 0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000790: AND 00000791: CALLER 00000792: EQ 00000793: PUSH2 0x082a 00000796: JUMPI 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: PUSH3 0x461bcd 0000079e: PUSH1 0xe5 000007a0: SHL 000007a1: DUP2 000007a2: MSTORE 000007a3: PUSH1 0x20 000007a5: PUSH1 0x04 000007a7: DUP3 000007a8: ADD 000007a9: MSTORE 000007aa: PUSH1 0x42 000007ac: PUSH1 0x24 000007ae: DUP3 000007af: ADD 000007b0: MSTORE 000007b1: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a61636365707441646d696e3a 000007d2: PUSH1 0x44 000007d4: DUP3 000007d5: ADD 000007d6: MSTORE 000007d7: PUSH32 0x2043616c6c206d75737420636f6d652066726f6d2070656e64696e6741646d69 000007f8: PUSH1 0x64 000007fa: DUP3 000007fb: ADD 000007fc: MSTORE 000007fd: PUSH32 0x6e2e000000000000000000000000000000000000000000000000000000000000 0000081e: PUSH1 0x84 00000820: DUP3 00000821: ADD 00000822: MSTORE 00000823: PUSH1 0xa4 00000825: ADD 00000826: PUSH2 0x0378 00000829: JUMP 0000082a: JUMPDEST 0000082b: PUSH1 0x00 0000082d: DUP1 0000082e: SLOAD 0000082f: CALLER 00000830: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000851: SWAP2 00000852: DUP3 00000853: AND 00000854: DUP2 00000855: OR 00000856: DUP4 00000857: SSTORE 00000858: PUSH1 0x01 0000085a: DUP1 0000085b: SLOAD 0000085c: SWAP1 0000085d: SWAP3 0000085e: AND 0000085f: SWAP1 00000860: SWAP2 00000861: SSTORE 00000862: PUSH1 0x40 00000864: MLOAD 00000865: SWAP1 00000866: SWAP2 00000867: PUSH32 0x71614071b88dee5e0b2ae578a9dd7b2ebbe9ae832ba419dc0242cd065a290b6c 00000888: SWAP2 00000889: LOG2 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH1 0x00 0000088e: DUP1 0000088f: SLOAD 00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a5: AND 000008a6: CALLER 000008a7: EQ 000008a8: PUSH2 0x091b 000008ab: JUMPI 000008ac: PUSH1 0x40 000008ae: DUP1 000008af: MLOAD 000008b0: PUSH3 0x461bcd 000008b4: PUSH1 0xe5 000008b6: SHL 000008b7: DUP2 000008b8: MSTORE 000008b9: PUSH1 0x20 000008bb: PUSH1 0x04 000008bd: DUP3 000008be: ADD 000008bf: MSTORE 000008c0: PUSH1 0x24 000008c2: DUP2 000008c3: ADD 000008c4: SWAP2 000008c5: SWAP1 000008c6: SWAP2 000008c7: MSTORE 000008c8: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a71756575655472616e736163 000008e9: PUSH1 0x44 000008eb: DUP3 000008ec: ADD 000008ed: MSTORE 000008ee: PUSH32 0x74696f6e3a2043616c6c206d75737420636f6d652066726f6d2061646d696e2e 0000090f: PUSH1 0x64 00000911: DUP3 00000912: ADD 00000913: MSTORE 00000914: PUSH1 0x84 00000916: ADD 00000917: PUSH2 0x0378 0000091a: JUMP 0000091b: JUMPDEST 0000091c: PUSH1 0x02 0000091e: SLOAD 0000091f: PUSH2 0x0928 00000922: SWAP1 00000923: TIMESTAMP 00000924: PUSH2 0x11e4 00000927: JUMP 00000928: JUMPDEST 00000929: DUP3 0000092a: LT 0000092b: ISZERO 0000092c: PUSH2 0x09c3 0000092f: JUMPI 00000930: PUSH1 0x40 00000932: MLOAD 00000933: PUSH3 0x461bcd 00000937: PUSH1 0xe5 00000939: SHL 0000093a: DUP2 0000093b: MSTORE 0000093c: PUSH1 0x20 0000093e: PUSH1 0x04 00000940: DUP3 00000941: ADD 00000942: MSTORE 00000943: PUSH1 0x53 00000945: PUSH1 0x24 00000947: DUP3 00000948: ADD 00000949: MSTORE 0000094a: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a71756575655472616e736163 0000096b: PUSH1 0x44 0000096d: DUP3 0000096e: ADD 0000096f: MSTORE 00000970: PUSH32 0x74696f6e3a20457374696d6174656420657865637574696f6e20626c6f636b20 00000991: PUSH1 0x64 00000993: DUP3 00000994: ADD 00000995: MSTORE 00000996: PUSH32 0x6d75737420736174697366792064656c61792e00000000000000000000000000 000009b7: PUSH1 0x84 000009b9: DUP3 000009ba: ADD 000009bb: MSTORE 000009bc: PUSH1 0xa4 000009be: ADD 000009bf: PUSH2 0x0378 000009c2: JUMP 000009c3: JUMPDEST 000009c4: PUSH1 0x00 000009c6: DUP7 000009c7: DUP7 000009c8: DUP7 000009c9: DUP7 000009ca: DUP7 000009cb: PUSH1 0x40 000009cd: MLOAD 000009ce: PUSH1 0x20 000009d0: ADD 000009d1: PUSH2 0x09de 000009d4: SWAP6 000009d5: SWAP5 000009d6: SWAP4 000009d7: SWAP3 000009d8: SWAP2 000009d9: SWAP1 000009da: PUSH2 0x118a 000009dd: JUMP 000009de: JUMPDEST 000009df: PUSH1 0x40 000009e1: DUP1 000009e2: MLOAD 000009e3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000a04: DUP2 00000a05: DUP5 00000a06: SUB 00000a07: ADD 00000a08: DUP2 00000a09: MSTORE 00000a0a: DUP3 00000a0b: DUP3 00000a0c: MSTORE 00000a0d: DUP1 00000a0e: MLOAD 00000a0f: PUSH1 0x20 00000a11: SWAP2 00000a12: DUP3 00000a13: ADD 00000a14: KECCAK256 00000a15: PUSH1 0x00 00000a17: DUP2 00000a18: DUP2 00000a19: MSTORE 00000a1a: PUSH1 0x03 00000a1c: SWAP1 00000a1d: SWAP3 00000a1e: MSTORE 00000a1f: SWAP2 00000a20: SWAP1 00000a21: KECCAK256 00000a22: DUP1 00000a23: SLOAD 00000a24: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000a45: AND 00000a46: PUSH1 0x01 00000a48: OR 00000a49: SWAP1 00000a4a: SSTORE 00000a4b: SWAP2 00000a4c: POP 00000a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a62: DUP9 00000a63: AND 00000a64: SWAP1 00000a65: DUP3 00000a66: SWAP1 00000a67: PUSH32 0x76e2796dc3a81d57b0e8504b647febcbeeb5f4af818e164f11eef8131a6a763f 00000a88: SWAP1 00000a89: PUSH2 0x0a99 00000a8c: SWAP1 00000a8d: DUP11 00000a8e: SWAP1 00000a8f: DUP11 00000a90: SWAP1 00000a91: DUP11 00000a92: SWAP1 00000a93: DUP11 00000a94: SWAP1 00000a95: PUSH2 0x1288 00000a98: JUMP 00000a99: JUMPDEST 00000a9a: PUSH1 0x40 00000a9c: MLOAD 00000a9d: DUP1 00000a9e: SWAP2 00000a9f: SUB 00000aa0: SWAP1 00000aa1: LOG3 00000aa2: SWAP7 00000aa3: SWAP6 00000aa4: POP 00000aa5: POP 00000aa6: POP 00000aa7: POP 00000aa8: POP 00000aa9: POP 00000aaa: JUMP 00000aab: JUMPDEST 00000aac: CALLER 00000aad: ADDRESS 00000aae: EQ 00000aaf: PUSH2 0x0b46 00000ab2: JUMPI 00000ab3: PUSH1 0x40 00000ab5: MLOAD 00000ab6: PUSH3 0x461bcd 00000aba: PUSH1 0xe5 00000abc: SHL 00000abd: DUP2 00000abe: MSTORE 00000abf: PUSH1 0x20 00000ac1: PUSH1 0x04 00000ac3: DUP3 00000ac4: ADD 00000ac5: MSTORE 00000ac6: PUSH1 0x4c 00000ac8: PUSH1 0x24 00000aca: DUP3 00000acb: ADD 00000acc: MSTORE 00000acd: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a73657450656e64696e674164 00000aee: PUSH1 0x44 00000af0: DUP3 00000af1: ADD 00000af2: MSTORE 00000af3: PUSH32 0x6d696e3a2043616c6c206d75737420636f6d652066726f6d204e6f756e734252 00000b14: PUSH1 0x64 00000b16: DUP3 00000b17: ADD 00000b18: MSTORE 00000b19: PUSH32 0x44414f4578656375746f722e0000000000000000000000000000000000000000 00000b3a: PUSH1 0x84 00000b3c: DUP3 00000b3d: ADD 00000b3e: MSTORE 00000b3f: PUSH1 0xa4 00000b41: ADD 00000b42: PUSH2 0x0378 00000b45: JUMP 00000b46: JUMPDEST 00000b47: PUSH1 0x01 00000b49: DUP1 00000b4a: SLOAD 00000b4b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000b6c: AND 00000b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b82: DUP4 00000b83: AND 00000b84: SWAP1 00000b85: DUP2 00000b86: OR 00000b87: SWAP1 00000b88: SWAP2 00000b89: SSTORE 00000b8a: PUSH1 0x40 00000b8c: MLOAD 00000b8d: PUSH32 0x69d78e38a01985fbb1462961809b4b2d65531bc93b2b94037f3334b82ca4a756 00000bae: SWAP1 00000baf: PUSH1 0x00 00000bb1: SWAP1 00000bb2: LOG2 00000bb3: POP 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH1 0x00 00000bb8: SLOAD 00000bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bce: AND 00000bcf: CALLER 00000bd0: EQ 00000bd1: PUSH2 0x0c68 00000bd4: JUMPI 00000bd5: PUSH1 0x40 00000bd7: MLOAD 00000bd8: PUSH3 0x461bcd 00000bdc: PUSH1 0xe5 00000bde: SHL 00000bdf: DUP2 00000be0: MSTORE 00000be1: PUSH1 0x20 00000be3: PUSH1 0x04 00000be5: DUP3 00000be6: ADD 00000be7: MSTORE 00000be8: PUSH1 0x41 00000bea: PUSH1 0x24 00000bec: DUP3 00000bed: ADD 00000bee: MSTORE 00000bef: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a63616e63656c5472616e7361 00000c10: PUSH1 0x44 00000c12: DUP3 00000c13: ADD 00000c14: MSTORE 00000c15: PUSH32 0x6374696f6e3a2043616c6c206d75737420636f6d652066726f6d2061646d696e 00000c36: PUSH1 0x64 00000c38: DUP3 00000c39: ADD 00000c3a: MSTORE 00000c3b: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 00000c5c: PUSH1 0x84 00000c5e: DUP3 00000c5f: ADD 00000c60: MSTORE 00000c61: PUSH1 0xa4 00000c63: ADD 00000c64: PUSH2 0x0378 00000c67: JUMP 00000c68: JUMPDEST 00000c69: PUSH1 0x00 00000c6b: DUP6 00000c6c: DUP6 00000c6d: DUP6 00000c6e: DUP6 00000c6f: DUP6 00000c70: PUSH1 0x40 00000c72: MLOAD 00000c73: PUSH1 0x20 00000c75: ADD 00000c76: PUSH2 0x0c83 00000c79: SWAP6 00000c7a: SWAP5 00000c7b: SWAP4 00000c7c: SWAP3 00000c7d: SWAP2 00000c7e: SWAP1 00000c7f: PUSH2 0x118a 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH1 0x40 00000c86: DUP1 00000c87: MLOAD 00000c88: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000ca9: DUP2 00000caa: DUP5 00000cab: SUB 00000cac: ADD 00000cad: DUP2 00000cae: MSTORE 00000caf: DUP3 00000cb0: DUP3 00000cb1: MSTORE 00000cb2: DUP1 00000cb3: MLOAD 00000cb4: PUSH1 0x20 00000cb6: SWAP2 00000cb7: DUP3 00000cb8: ADD 00000cb9: KECCAK256 00000cba: PUSH1 0x00 00000cbc: DUP2 00000cbd: DUP2 00000cbe: MSTORE 00000cbf: PUSH1 0x03 00000cc1: SWAP1 00000cc2: SWAP3 00000cc3: MSTORE 00000cc4: SWAP2 00000cc5: SWAP1 00000cc6: KECCAK256 00000cc7: DUP1 00000cc8: SLOAD 00000cc9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000cea: AND 00000ceb: SWAP1 00000cec: SSTORE 00000ced: SWAP2 00000cee: POP 00000cef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d04: DUP8 00000d05: AND 00000d06: SWAP1 00000d07: DUP3 00000d08: SWAP1 00000d09: PUSH32 0x2fffc091a501fd91bfbff27141450d3acb40fb8e6d8382b243ec7a812a3aaf87 00000d2a: SWAP1 00000d2b: PUSH2 0x0d3b 00000d2e: SWAP1 00000d2f: DUP10 00000d30: SWAP1 00000d31: DUP10 00000d32: SWAP1 00000d33: DUP10 00000d34: SWAP1 00000d35: DUP10 00000d36: SWAP1 00000d37: PUSH2 0x1288 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH1 0x40 00000d3e: MLOAD 00000d3f: DUP1 00000d40: SWAP2 00000d41: SUB 00000d42: SWAP1 00000d43: LOG3 00000d44: POP 00000d45: POP 00000d46: POP 00000d47: POP 00000d48: POP 00000d49: POP 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: CALLER 00000d4d: ADDRESS 00000d4e: EQ 00000d4f: PUSH2 0x0de6 00000d52: JUMPI 00000d53: PUSH1 0x40 00000d55: MLOAD 00000d56: PUSH3 0x461bcd 00000d5a: PUSH1 0xe5 00000d5c: SHL 00000d5d: DUP2 00000d5e: MSTORE 00000d5f: PUSH1 0x20 00000d61: PUSH1 0x04 00000d63: DUP3 00000d64: ADD 00000d65: MSTORE 00000d66: PUSH1 0x45 00000d68: PUSH1 0x24 00000d6a: DUP3 00000d6b: ADD 00000d6c: MSTORE 00000d6d: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a73657444656c61793a204361 00000d8e: PUSH1 0x44 00000d90: DUP3 00000d91: ADD 00000d92: MSTORE 00000d93: PUSH32 0x6c6c206d75737420636f6d652066726f6d204e6f756e73425244414f45786563 00000db4: PUSH1 0x64 00000db6: DUP3 00000db7: ADD 00000db8: MSTORE 00000db9: PUSH32 0x75746f722e000000000000000000000000000000000000000000000000000000 00000dda: PUSH1 0x84 00000ddc: DUP3 00000ddd: ADD 00000dde: MSTORE 00000ddf: PUSH1 0xa4 00000de1: ADD 00000de2: PUSH2 0x0378 00000de5: JUMP 00000de6: JUMPDEST 00000de7: PUSH3 0x02a300 00000deb: DUP2 00000dec: LT 00000ded: ISZERO 00000dee: PUSH2 0x0e5f 00000df1: JUMPI 00000df2: PUSH1 0x40 00000df4: MLOAD 00000df5: PUSH3 0x461bcd 00000df9: PUSH1 0xe5 00000dfb: SHL 00000dfc: DUP2 00000dfd: MSTORE 00000dfe: PUSH1 0x20 00000e00: PUSH1 0x04 00000e02: DUP3 00000e03: ADD 00000e04: MSTORE 00000e05: PUSH1 0x3e 00000e07: PUSH1 0x24 00000e09: DUP3 00000e0a: ADD 00000e0b: MSTORE 00000e0c: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a73657444656c61793a204465 00000e2d: PUSH1 0x44 00000e2f: DUP3 00000e30: ADD 00000e31: MSTORE 00000e32: PUSH32 0x6c6179206d75737420657863656564206d696e696d756d2064656c61792e0000 00000e53: PUSH1 0x64 00000e55: DUP3 00000e56: ADD 00000e57: MSTORE 00000e58: PUSH1 0x84 00000e5a: ADD 00000e5b: PUSH2 0x0378 00000e5e: JUMP 00000e5f: JUMPDEST 00000e60: PUSH3 0x278d00 00000e64: DUP2 00000e65: GT 00000e66: ISZERO 00000e67: PUSH2 0x0efe 00000e6a: JUMPI 00000e6b: PUSH1 0x40 00000e6d: MLOAD 00000e6e: PUSH3 0x461bcd 00000e72: PUSH1 0xe5 00000e74: SHL 00000e75: DUP2 00000e76: MSTORE 00000e77: PUSH1 0x20 00000e79: PUSH1 0x04 00000e7b: DUP3 00000e7c: ADD 00000e7d: MSTORE 00000e7e: PUSH1 0x42 00000e80: PUSH1 0x24 00000e82: DUP3 00000e83: ADD 00000e84: MSTORE 00000e85: PUSH32 0x4e6f756e73425244414f4578656375746f723a3a73657444656c61793a204465 00000ea6: PUSH1 0x44 00000ea8: DUP3 00000ea9: ADD 00000eaa: MSTORE 00000eab: PUSH32 0x6c6179206d757374206e6f7420657863656564206d6178696d756d2064656c61 00000ecc: PUSH1 0x64 00000ece: DUP3 00000ecf: ADD 00000ed0: MSTORE 00000ed1: PUSH32 0x792e000000000000000000000000000000000000000000000000000000000000 00000ef2: PUSH1 0x84 00000ef4: DUP3 00000ef5: ADD 00000ef6: MSTORE 00000ef7: PUSH1 0xa4 00000ef9: ADD 00000efa: PUSH2 0x0378 00000efd: JUMP 00000efe: JUMPDEST 00000eff: PUSH1 0x02 00000f01: DUP2 00000f02: SWAP1 00000f03: SSTORE 00000f04: PUSH1 0x40 00000f06: MLOAD 00000f07: DUP2 00000f08: SWAP1 00000f09: PUSH32 0x948b1f6a42ee138b7e34058ba85a37f716d55ff25ff05a763f15bed6a04c8d2c 00000f2a: SWAP1 00000f2b: PUSH1 0x00 00000f2d: SWAP1 00000f2e: LOG2 00000f2f: POP 00000f30: JUMP 00000f31: JUMPDEST 00000f32: DUP1 00000f33: CALLDATALOAD 00000f34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f49: DUP2 00000f4a: AND 00000f4b: DUP2 00000f4c: EQ 00000f4d: PUSH2 0x0f55 00000f50: JUMPI 00000f51: PUSH1 0x00 00000f53: DUP1 00000f54: REVERT 00000f55: JUMPDEST 00000f56: SWAP2 00000f57: SWAP1 00000f58: POP 00000f59: JUMP 00000f5a: JUMPDEST 00000f5b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000f7c: PUSH1 0x00 00000f7e: MSTORE 00000f7f: PUSH1 0x41 00000f81: PUSH1 0x04 00000f83: MSTORE 00000f84: PUSH1 0x24 00000f86: PUSH1 0x00 00000f88: REVERT 00000f89: JUMPDEST 00000f8a: PUSH1 0x00 00000f8c: PUSH8 0xffffffffffffffff 00000f95: DUP1 00000f96: DUP5 00000f97: GT 00000f98: ISZERO 00000f99: PUSH2 0x0fa4 00000f9c: JUMPI 00000f9d: PUSH2 0x0fa4 00000fa0: PUSH2 0x0f5a 00000fa3: JUMP 00000fa4: JUMPDEST 00000fa5: PUSH1 0x40 00000fa7: MLOAD 00000fa8: PUSH1 0x1f 00000faa: DUP6 00000fab: ADD 00000fac: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000fcd: SWAP1 00000fce: DUP2 00000fcf: AND 00000fd0: PUSH1 0x3f 00000fd2: ADD 00000fd3: AND 00000fd4: DUP2 00000fd5: ADD 00000fd6: SWAP1 00000fd7: DUP3 00000fd8: DUP3 00000fd9: GT 00000fda: DUP2 00000fdb: DUP4 00000fdc: LT 00000fdd: OR 00000fde: ISZERO 00000fdf: PUSH2 0x0fea 00000fe2: JUMPI 00000fe3: PUSH2 0x0fea 00000fe6: PUSH2 0x0f5a 00000fe9: JUMP 00000fea: JUMPDEST 00000feb: DUP2 00000fec: PUSH1 0x40 00000fee: MSTORE 00000fef: DUP1 00000ff0: SWAP4 00000ff1: POP 00000ff2: DUP6 00000ff3: DUP2 00000ff4: MSTORE 00000ff5: DUP7 00000ff6: DUP7 00000ff7: DUP7 00000ff8: ADD 00000ff9: GT 00000ffa: ISZERO 00000ffb: PUSH2 0x1003 00000ffe: JUMPI 00000fff: PUSH1 0x00 00001001: DUP1 00001002: REVERT 00001003: JUMPDEST 00001004: DUP6 00001005: DUP6 00001006: PUSH1 0x20 00001008: DUP4 00001009: ADD 0000100a: CALLDATACOPY 0000100b: PUSH1 0x00 0000100d: PUSH1 0x20 0000100f: DUP8 00001010: DUP4 00001011: ADD 00001012: ADD 00001013: MSTORE 00001014: POP 00001015: POP 00001016: POP 00001017: SWAP4 00001018: SWAP3 00001019: POP 0000101a: POP 0000101b: POP 0000101c: JUMP 0000101d: JUMPDEST 0000101e: PUSH1 0x00 00001020: DUP1 00001021: PUSH1 0x00 00001023: DUP1 00001024: PUSH1 0x00 00001026: PUSH1 0xa0 00001028: DUP7 00001029: DUP9 0000102a: SUB 0000102b: SLT 0000102c: ISZERO 0000102d: PUSH2 0x1035 00001030: JUMPI 00001031: PUSH1 0x00 00001033: DUP1 00001034: REVERT 00001035: JUMPDEST 00001036: PUSH2 0x103e 00001039: DUP7 0000103a: PUSH2 0x0f31 0000103d: JUMP 0000103e: JUMPDEST 0000103f: SWAP5 00001040: POP 00001041: PUSH1 0x20 00001043: DUP7 00001044: ADD 00001045: CALLDATALOAD 00001046: SWAP4 00001047: POP 00001048: PUSH1 0x40 0000104a: DUP7 0000104b: ADD 0000104c: CALLDATALOAD 0000104d: PUSH8 0xffffffffffffffff 00001056: DUP1 00001057: DUP3 00001058: GT 00001059: ISZERO 0000105a: PUSH2 0x1062 0000105d: JUMPI 0000105e: PUSH1 0x00 00001060: DUP1 00001061: REVERT 00001062: JUMPDEST 00001063: DUP2 00001064: DUP9 00001065: ADD 00001066: SWAP2 00001067: POP 00001068: DUP9 00001069: PUSH1 0x1f 0000106b: DUP4 0000106c: ADD 0000106d: SLT 0000106e: PUSH2 0x1076 00001071: JUMPI 00001072: PUSH1 0x00 00001074: DUP1 00001075: REVERT 00001076: JUMPDEST 00001077: PUSH2 0x1085 0000107a: DUP10 0000107b: DUP4 0000107c: CALLDATALOAD 0000107d: PUSH1 0x20 0000107f: DUP6 00001080: ADD 00001081: PUSH2 0x0f89 00001084: JUMP 00001085: JUMPDEST 00001086: SWAP5 00001087: POP 00001088: PUSH1 0x60 0000108a: DUP9 0000108b: ADD 0000108c: CALLDATALOAD 0000108d: SWAP2 0000108e: POP 0000108f: DUP1 00001090: DUP3 00001091: GT 00001092: ISZERO 00001093: PUSH2 0x109b 00001096: JUMPI 00001097: PUSH1 0x00 00001099: DUP1 0000109a: REVERT 0000109b: JUMPDEST 0000109c: POP 0000109d: DUP7 0000109e: ADD 0000109f: PUSH1 0x1f 000010a1: DUP2 000010a2: ADD 000010a3: DUP9 000010a4: SGT 000010a5: PUSH2 0x10ad 000010a8: JUMPI 000010a9: PUSH1 0x00 000010ab: DUP1 000010ac: REVERT 000010ad: JUMPDEST 000010ae: PUSH2 0x10bc 000010b1: DUP9 000010b2: DUP3 000010b3: CALLDATALOAD 000010b4: PUSH1 0x20 000010b6: DUP5 000010b7: ADD 000010b8: PUSH2 0x0f89 000010bb: JUMP 000010bc: JUMPDEST 000010bd: SWAP6 000010be: SWAP9 000010bf: SWAP5 000010c0: SWAP8 000010c1: POP 000010c2: SWAP3 000010c3: SWAP6 000010c4: PUSH1 0x80 000010c6: ADD 000010c7: CALLDATALOAD 000010c8: SWAP4 000010c9: SWAP3 000010ca: POP 000010cb: POP 000010cc: POP 000010cd: JUMP 000010ce: JUMPDEST 000010cf: PUSH1 0x00 000010d1: JUMPDEST 000010d2: DUP4 000010d3: DUP2 000010d4: LT 000010d5: ISZERO 000010d6: PUSH2 0x10e9 000010d9: JUMPI 000010da: DUP2 000010db: DUP2 000010dc: ADD 000010dd: MLOAD 000010de: DUP4 000010df: DUP3 000010e0: ADD 000010e1: MSTORE 000010e2: PUSH1 0x20 000010e4: ADD 000010e5: PUSH2 0x10d1 000010e8: JUMP 000010e9: JUMPDEST 000010ea: POP 000010eb: POP 000010ec: PUSH1 0x00 000010ee: SWAP2 000010ef: ADD 000010f0: MSTORE 000010f1: JUMP 000010f2: JUMPDEST 000010f3: PUSH1 0x00 000010f5: DUP2 000010f6: MLOAD 000010f7: DUP1 000010f8: DUP5 000010f9: MSTORE 000010fa: PUSH2 0x110a 000010fd: DUP2 000010fe: PUSH1 0x20 00001100: DUP7 00001101: ADD 00001102: PUSH1 0x20 00001104: DUP7 00001105: ADD 00001106: PUSH2 0x10ce 00001109: JUMP 0000110a: JUMPDEST 0000110b: PUSH1 0x1f 0000110d: ADD 0000110e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000112f: AND 00001130: SWAP3 00001131: SWAP1 00001132: SWAP3 00001133: ADD 00001134: PUSH1 0x20 00001136: ADD 00001137: SWAP3 00001138: SWAP2 00001139: POP 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x20 0000113f: DUP2 00001140: MSTORE 00001141: PUSH1 0x00 00001143: PUSH2 0x114f 00001146: PUSH1 0x20 00001148: DUP4 00001149: ADD 0000114a: DUP5 0000114b: PUSH2 0x10f2 0000114e: JUMP 0000114f: JUMPDEST 00001150: SWAP4 00001151: SWAP3 00001152: POP 00001153: POP 00001154: POP 00001155: JUMP 00001156: JUMPDEST 00001157: PUSH1 0x00 00001159: PUSH1 0x20 0000115b: DUP3 0000115c: DUP5 0000115d: SUB 0000115e: SLT 0000115f: ISZERO 00001160: PUSH2 0x1168 00001163: JUMPI 00001164: PUSH1 0x00 00001166: DUP1 00001167: REVERT 00001168: JUMPDEST 00001169: PUSH2 0x114f 0000116c: DUP3 0000116d: PUSH2 0x0f31 00001170: JUMP 00001171: JUMPDEST 00001172: PUSH1 0x00 00001174: PUSH1 0x20 00001176: DUP3 00001177: DUP5 00001178: SUB 00001179: SLT 0000117a: ISZERO 0000117b: PUSH2 0x1183 0000117e: JUMPI 0000117f: PUSH1 0x00 00001181: DUP1 00001182: REVERT 00001183: JUMPDEST 00001184: POP 00001185: CALLDATALOAD 00001186: SWAP2 00001187: SWAP1 00001188: POP 00001189: JUMP 0000118a: JUMPDEST 0000118b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a0: DUP7 000011a1: AND 000011a2: DUP2 000011a3: MSTORE 000011a4: DUP5 000011a5: PUSH1 0x20 000011a7: DUP3 000011a8: ADD 000011a9: MSTORE 000011aa: PUSH1 0xa0 000011ac: PUSH1 0x40 000011ae: DUP3 000011af: ADD 000011b0: MSTORE 000011b1: PUSH1 0x00 000011b3: PUSH2 0x11bf 000011b6: PUSH1 0xa0 000011b8: DUP4 000011b9: ADD 000011ba: DUP7 000011bb: PUSH2 0x10f2 000011be: JUMP 000011bf: JUMPDEST 000011c0: DUP3 000011c1: DUP2 000011c2: SUB 000011c3: PUSH1 0x60 000011c5: DUP5 000011c6: ADD 000011c7: MSTORE 000011c8: PUSH2 0x11d1 000011cb: DUP2 000011cc: DUP7 000011cd: PUSH2 0x10f2 000011d0: JUMP 000011d1: JUMPDEST 000011d2: SWAP2 000011d3: POP 000011d4: POP 000011d5: DUP3 000011d6: PUSH1 0x80 000011d8: DUP4 000011d9: ADD 000011da: MSTORE 000011db: SWAP7 000011dc: SWAP6 000011dd: POP 000011de: POP 000011df: POP 000011e0: POP 000011e1: POP 000011e2: POP 000011e3: JUMP 000011e4: JUMPDEST 000011e5: DUP1 000011e6: DUP3 000011e7: ADD 000011e8: DUP1 000011e9: DUP3 000011ea: GT 000011eb: ISZERO 000011ec: PUSH2 0x121e 000011ef: JUMPI 000011f0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001211: PUSH1 0x00 00001213: MSTORE 00001214: PUSH1 0x11 00001216: PUSH1 0x04 00001218: MSTORE 00001219: PUSH1 0x24 0000121b: PUSH1 0x00 0000121d: REVERT 0000121e: JUMPDEST 0000121f: SWAP3 00001220: SWAP2 00001221: POP 00001222: POP 00001223: JUMP 00001224: JUMPDEST 00001225: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001246: DUP4 00001247: AND 00001248: DUP2 00001249: MSTORE 0000124a: PUSH1 0x00 0000124c: DUP3 0000124d: MLOAD 0000124e: PUSH2 0x125e 00001251: DUP2 00001252: PUSH1 0x04 00001254: DUP6 00001255: ADD 00001256: PUSH1 0x20 00001258: DUP8 00001259: ADD 0000125a: PUSH2 0x10ce 0000125d: JUMP 0000125e: JUMPDEST 0000125f: SWAP2 00001260: SWAP1 00001261: SWAP2 00001262: ADD 00001263: PUSH1 0x04 00001265: ADD 00001266: SWAP4 00001267: SWAP3 00001268: POP 00001269: POP 0000126a: POP 0000126b: JUMP 0000126c: JUMPDEST 0000126d: PUSH1 0x00 0000126f: DUP3 00001270: MLOAD 00001271: PUSH2 0x127e 00001274: DUP2 00001275: DUP5 00001276: PUSH1 0x20 00001278: DUP8 00001279: ADD 0000127a: PUSH2 0x10ce 0000127d: JUMP 0000127e: JUMPDEST 0000127f: SWAP2 00001280: SWAP1 00001281: SWAP2 00001282: ADD 00001283: SWAP3 00001284: SWAP2 00001285: POP 00001286: POP 00001287: JUMP 00001288: JUMPDEST 00001289: DUP5 0000128a: DUP2 0000128b: MSTORE 0000128c: PUSH1 0x80 0000128e: PUSH1 0x20 00001290: DUP3 00001291: ADD 00001292: MSTORE 00001293: PUSH1 0x00 00001295: PUSH2 0x12a1 00001298: PUSH1 0x80 0000129a: DUP4 0000129b: ADD 0000129c: DUP7 0000129d: PUSH2 0x10f2 000012a0: JUMP 000012a1: JUMPDEST 000012a2: DUP3 000012a3: DUP2 000012a4: SUB 000012a5: PUSH1 0x40 000012a7: DUP5 000012a8: ADD 000012a9: MSTORE 000012aa: PUSH2 0x12b3 000012ad: DUP2 000012ae: DUP7 000012af: PUSH2 0x10f2 000012b2: JUMP 000012b3: JUMPDEST 000012b4: SWAP2 000012b5: POP 000012b6: POP 000012b7: DUP3 000012b8: PUSH1 0x60 000012ba: DUP4 000012bb: ADD 000012bc: MSTORE 000012bd: SWAP6 000012be: SWAP5 000012bf: POP 000012c0: POP 000012c1: POP 000012c2: POP 000012c3: POP 000012c4: JUMP 000012c5: INVALID 000012c6: LOG2 000012c7: PUSH5 0x6970667358 000012cd: UNKNOWN(0x22) 000012ce: SLT 000012cf: KECCAK256 000012d0: UNKNOWN(0xE1) 000012d1: SMOD 000012d2: GT 000012d3: UNKNOWN(0xAB) 000012d4: ADD 000012d5: SSTORE 000012d6: RETURNDATASIZE 000012d7: PUSH9 0xe6e5c109c29ac17900 000012e1: SWAP15 000012e2: PUSH18 0x69c59b98f4cbdc9ce73a50fd4564736f6c63 000012f5: NUMBER 000012f6: STOP 000012f7: ADDMOD 000012f8: GT 000012f9: STOP 000012fa: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc27cffcb20197d45113763e908f14611b18e67942073d2168591e56632a1e89c
call_targets:
0x6159b003ff5a37de6ca0859f4617e9a0064226d1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc27cffcb20197d45113763e908f14611b18e67942073d2168591e56632a1e89c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6159b003ff5a37de6ca0859f4617e9a0064226d1"
],
"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": "0xc1a287e2",
"selector": "0xc1a287e2",
"calldata_variants": [
"0xc1a287e2",
"0xc1a287e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe177246e",
"selector": "0xe177246e",
"calldata_variants": [
"0xe177246e",
"0xe177246e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2b06537",
"selector": "0xf2b06537",
"calldata_variants": [
"0xf2b06537",
"0xf2b065370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6a42b8f8",
"selector": "0x6a42b8f8",
"calldata_variants": [
"0x6a42b8f8",
"0x6a42b8f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d645fab",
"selector": "0x7d645fab",
"calldata_variants": [
"0x7d645fab",
"0x7d645fab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1b43ae5",
"selector": "0xb1b43ae5",
"calldata_variants": [
"0xb1b43ae5",
"0xb1b43ae50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a66f901",
"selector": "0x3a66f901",
"calldata_variants": [
"0x3a66f901",
"0x3a66f9010000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1602,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc27cffcb20197d45113763e908f14611b18e67942073d2168591e56632a1e89c
call_targets:
0x6159b003ff5a37de6ca0859f4617e9a0064226d1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc27cffcb20197d45113763e908f14611b18e67942073d2168591e56632a1e89c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6159b003ff5a37de6ca0859f4617e9a0064226d1"
],
"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": "0xc1a287e2",
"selector": "0xc1a287e2",
"calldata_variants": [
"0xc1a287e2",
"0xc1a287e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe177246e",
"selector": "0xe177246e",
"calldata_variants": [
"0xe177246e",
"0xe177246e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2b06537",
"selector": "0xf2b06537",
"calldata_variants": [
"0xf2b06537",
"0xf2b065370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6a42b8f8",
"selector": "0x6a42b8f8",
"calldata_variants": [
"0x6a42b8f8",
"0x6a42b8f80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7d645fab",
"selector": "0x7d645fab",
"calldata_variants": [
"0x7d645fab",
"0x7d645fab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb1b43ae5",
"selector": "0xb1b43ae5",
"calldata_variants": [
"0xb1b43ae5",
"0xb1b43ae50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a66f901",
"selector": "0x3a66f901",
"calldata_variants": [
"0x3a66f901",
"0x3a66f9010000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1602,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|