019ba8e4-06e4-73ff-8519-9976050ccaec
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 |
|---|---|---|---|---|
| 33289 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 33290 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 33291 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 33292 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 33293 | capability.graph | complete | 1 / 3 | 3 months ago |
| 33294 | detector.run | complete | 1 / 3 | 3 months ago |
| 33295 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "etherscan_only",
"etherscan_hint": {
"source": "etherscan",
"etherscan": {
"proxy_flag": true,
"implementation": "0xaab13f63eb4b4099e53d40397d4793e208ae1f16"
}
},
"implementation": "0xaab13f63eb4b4099e53d40397d4793e208ae1f16"
}
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 0x0169 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x7147855d 00000018: GT 00000019: PUSH2 0x00d0 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xcdd1f70d 00000023: GT 00000024: PUSH2 0x0089 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xe02904c6 0000002e: GT 0000002f: PUSH2 0x0063 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xe02904c6 00000039: EQ 0000003a: PUSH2 0x052a 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xe907fa3c 00000044: EQ 00000045: PUSH2 0x055d 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xed9ef16a 0000004f: EQ 00000050: PUSH2 0x0591 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xee0e6807 0000005a: EQ 0000005b: PUSH2 0x05b0 0000005e: JUMPI 0000005f: PUSH2 0x01bb 00000062: JUMP 00000063: JUMPDEST 00000064: DUP1 00000065: PUSH4 0xcdd1f70d 0000006a: EQ 0000006b: PUSH2 0x04d6 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0xd38d8d7a 00000075: EQ 00000076: PUSH2 0x04f5 00000079: JUMPI 0000007a: DUP1 0000007b: PUSH4 0xdeec9c5a 00000080: EQ 00000081: PUSH2 0x050b 00000084: JUMPI 00000085: PUSH2 0x01bb 00000088: JUMP 00000089: JUMPDEST 0000008a: DUP1 0000008b: PUSH4 0x7147855d 00000090: EQ 00000091: PUSH2 0x0415 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x72a44f07 0000009b: EQ 0000009c: PUSH2 0x0428 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x8e5224ff 000000a6: EQ 000000a7: PUSH2 0x043c 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x9463629a 000000b1: EQ 000000b2: PUSH2 0x045b 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xc5ab8453 000000bc: EQ 000000bd: PUSH2 0x047a 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xcb1cccce 000000c7: EQ 000000c8: PUSH2 0x04b7 000000cb: JUMPI 000000cc: PUSH2 0x01bb 000000cf: JUMP 000000d0: JUMPDEST 000000d1: DUP1 000000d2: PUSH4 0x5a5d1bb9 000000d7: GT 000000d8: PUSH2 0x0122 000000db: JUMPI 000000dc: DUP1 000000dd: PUSH4 0x5a5d1bb9 000000e2: EQ 000000e3: PUSH2 0x0337 000000e6: JUMPI 000000e7: DUP1 000000e8: PUSH4 0x5c60da1b 000000ed: EQ 000000ee: PUSH2 0x0366 000000f1: JUMPI 000000f2: DUP1 000000f3: PUSH4 0x5cef2e86 000000f8: EQ 000000f9: PUSH2 0x0399 000000fc: JUMPI 000000fd: DUP1 000000fe: PUSH4 0x5e3a97e7 00000103: EQ 00000104: PUSH2 0x03b8 00000107: JUMPI 00000108: DUP1 00000109: PUSH4 0x6c04d9d5 0000010e: EQ 0000010f: PUSH2 0x03d7 00000112: JUMPI 00000113: DUP1 00000114: PUSH4 0x6fc97cbf 00000119: EQ 0000011a: PUSH2 0x03f6 0000011d: JUMPI 0000011e: PUSH2 0x01bb 00000121: JUMP 00000122: JUMPDEST 00000123: DUP1 00000124: PUSH4 0x17896383 00000129: EQ 0000012a: PUSH2 0x0242 0000012d: JUMPI 0000012e: DUP1 0000012f: PUSH4 0x20cea94d 00000134: EQ 00000135: PUSH2 0x0261 00000138: JUMPI 00000139: DUP1 0000013a: PUSH4 0x2f951985 0000013f: EQ 00000140: PUSH2 0x02a7 00000143: JUMPI 00000144: DUP1 00000145: PUSH4 0x36568abe 0000014a: EQ 0000014b: PUSH2 0x02c6 0000014e: JUMPI 0000014f: DUP1 00000150: PUSH4 0x439fab91 00000155: EQ 00000156: PUSH2 0x02e5 00000159: JUMPI 0000015a: DUP1 0000015b: PUSH4 0x52b1e35e 00000160: EQ 00000161: PUSH2 0x0304 00000164: JUMPI 00000165: PUSH2 0x01bb 00000168: JUMP 00000169: JUMPDEST 0000016a: CALLDATASIZE 0000016b: PUSH2 0x01bb 0000016e: JUMPI 0000016f: PUSH1 0x40 00000171: MLOAD 00000172: PUSH3 0x461bcd 00000176: PUSH1 0xe5 00000178: SHL 00000179: DUP2 0000017a: MSTORE 0000017b: PUSH1 0x20 0000017d: PUSH1 0x04 0000017f: DUP3 00000180: ADD 00000181: DUP2 00000182: SWAP1 00000183: MSTORE 00000184: PUSH1 0x24 00000186: DUP3 00000187: ADD 00000188: MSTORE 00000189: PUSH32 0x434f4e54524143545f4e4f545f45585045435445445f544f5f52454345495645 000001aa: PUSH1 0x44 000001ac: DUP3 000001ad: ADD 000001ae: MSTORE 000001af: PUSH1 0x64 000001b1: ADD 000001b2: JUMPDEST 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: DUP1 000001b7: SWAP2 000001b8: SUB 000001b9: SWAP1 000001ba: REVERT 000001bb: JUMPDEST 000001bc: PUSH0 000001bd: PUSH2 0x01d1 000001c0: PUSH0 000001c1: DUP1 000001c2: MLOAD 000001c3: PUSH1 0x20 000001c5: PUSH2 0x1af3 000001c8: DUP4 000001c9: CODECOPY 000001ca: DUP2 000001cb: MLOAD 000001cc: SWAP2 000001cd: MSTORE 000001ce: SLOAD 000001cf: SWAP1 000001d0: JUMP 000001d1: JUMPDEST 000001d2: SWAP1 000001d3: POP 000001d4: PUSH1 0x01 000001d6: PUSH1 0x01 000001d8: PUSH1 0xa0 000001da: SHL 000001db: SUB 000001dc: DUP2 000001dd: AND 000001de: PUSH2 0x0222 000001e1: JUMPI 000001e2: PUSH1 0x40 000001e4: MLOAD 000001e5: PUSH3 0x461bcd 000001e9: PUSH1 0xe5 000001eb: SHL 000001ec: DUP2 000001ed: MSTORE 000001ee: PUSH1 0x20 000001f0: PUSH1 0x04 000001f2: DUP3 000001f3: ADD 000001f4: MSTORE 000001f5: PUSH1 0x16 000001f7: PUSH1 0x24 000001f9: DUP3 000001fa: ADD 000001fb: MSTORE 000001fc: PUSH22 0x26a4a9a9a4a723afa4a6a82622a6a2a72a20aa24a7a7 00000213: PUSH1 0x51 00000215: SHL 00000216: PUSH1 0x44 00000218: DUP3 00000219: ADD 0000021a: MSTORE 0000021b: PUSH1 0x64 0000021d: ADD 0000021e: PUSH2 0x01b2 00000221: JUMP 00000222: JUMPDEST 00000223: CALLDATASIZE 00000224: PUSH0 00000225: DUP1 00000226: CALLDATACOPY 00000227: PUSH0 00000228: DUP1 00000229: CALLDATASIZE 0000022a: PUSH0 0000022b: DUP5 0000022c: GAS 0000022d: DELEGATECALL 0000022e: RETURNDATASIZE 0000022f: PUSH0 00000230: DUP1 00000231: RETURNDATACOPY 00000232: DUP1 00000233: DUP1 00000234: ISZERO 00000235: PUSH2 0x023c 00000238: JUMPI 00000239: RETURNDATASIZE 0000023a: PUSH0 0000023b: RETURN 0000023c: JUMPDEST 0000023d: RETURNDATASIZE 0000023e: PUSH0 0000023f: REVERT 00000240: JUMPDEST 00000241: STOP 00000242: JUMPDEST 00000243: CALLVALUE 00000244: DUP1 00000245: ISZERO 00000246: PUSH2 0x024d 00000249: JUMPI 0000024a: PUSH0 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x0240 00000252: PUSH2 0x025c 00000255: CALLDATASIZE 00000256: PUSH1 0x04 00000258: PUSH2 0x1735 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH2 0x05cf 00000260: JUMP 00000261: JUMPDEST 00000262: CALLVALUE 00000263: DUP1 00000264: ISZERO 00000265: PUSH2 0x026c 00000268: JUMPI 00000269: PUSH0 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x0294 00000271: PUSH32 0xc21dbb3089fcb2c4f4c6a67854ab4db2b0f233ea4b21b21f912d52d18fc5db1f 00000292: DUP2 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH1 0x40 00000297: MLOAD 00000298: SWAP1 00000299: DUP2 0000029a: MSTORE 0000029b: PUSH1 0x20 0000029d: ADD 0000029e: JUMPDEST 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: DUP1 000002a3: SWAP2 000002a4: SUB 000002a5: SWAP1 000002a6: RETURN 000002a7: JUMPDEST 000002a8: CALLVALUE 000002a9: DUP1 000002aa: ISZERO 000002ab: PUSH2 0x02b2 000002ae: JUMPI 000002af: PUSH0 000002b0: DUP1 000002b1: REVERT 000002b2: JUMPDEST 000002b3: POP 000002b4: PUSH2 0x0240 000002b7: PUSH2 0x02c1 000002ba: CALLDATASIZE 000002bb: PUSH1 0x04 000002bd: PUSH2 0x1735 000002c0: JUMP 000002c1: JUMPDEST 000002c2: PUSH2 0x05fc 000002c5: JUMP 000002c6: JUMPDEST 000002c7: CALLVALUE 000002c8: DUP1 000002c9: ISZERO 000002ca: PUSH2 0x02d1 000002cd: JUMPI 000002ce: PUSH0 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: PUSH2 0x0240 000002d6: PUSH2 0x02e0 000002d9: CALLDATASIZE 000002da: PUSH1 0x04 000002dc: PUSH2 0x174e 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH2 0x067c 000002e4: JUMP 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x02f0 000002ec: JUMPI 000002ed: PUSH0 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x0240 000002f5: PUSH2 0x02ff 000002f8: CALLDATASIZE 000002f9: PUSH1 0x04 000002fb: PUSH2 0x17bd 000002fe: JUMP 000002ff: JUMPDEST 00000300: PUSH2 0x070d 00000303: JUMP 00000304: JUMPDEST 00000305: CALLVALUE 00000306: DUP1 00000307: ISZERO 00000308: PUSH2 0x030f 0000030b: JUMPI 0000030c: PUSH0 0000030d: DUP1 0000030e: REVERT 0000030f: JUMPDEST 00000310: POP 00000311: PUSH2 0x0294 00000314: PUSH32 0xb00a6109e73dbe7bbf8d3f18fb9221d2d024dc2671e3d5ff02532ccc40590738 00000335: DUP2 00000336: JUMP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: DUP1 0000033a: ISZERO 0000033b: PUSH2 0x0342 0000033e: JUMPI 0000033f: PUSH0 00000340: DUP1 00000341: REVERT 00000342: JUMPDEST 00000343: POP 00000344: PUSH2 0x0356 00000347: PUSH2 0x0351 0000034a: CALLDATASIZE 0000034b: PUSH1 0x04 0000034d: PUSH2 0x1735 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH2 0x074e 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH1 0x40 00000359: MLOAD 0000035a: SWAP1 0000035b: ISZERO 0000035c: ISZERO 0000035d: DUP2 0000035e: MSTORE 0000035f: PUSH1 0x20 00000361: ADD 00000362: PUSH2 0x029e 00000365: JUMP 00000366: JUMPDEST 00000367: CALLVALUE 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0371 0000036d: JUMPI 0000036e: PUSH0 0000036f: DUP1 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: PUSH0 00000374: DUP1 00000375: MLOAD 00000376: PUSH1 0x20 00000378: PUSH2 0x1af3 0000037b: DUP4 0000037c: CODECOPY 0000037d: DUP2 0000037e: MLOAD 0000037f: SWAP2 00000380: MSTORE 00000381: SLOAD 00000382: PUSH1 0x40 00000384: MLOAD 00000385: PUSH1 0x01 00000387: PUSH1 0x01 00000389: PUSH1 0xa0 0000038b: SHL 0000038c: SUB 0000038d: SWAP1 0000038e: SWAP2 0000038f: AND 00000390: DUP2 00000391: MSTORE 00000392: PUSH1 0x20 00000394: ADD 00000395: PUSH2 0x029e 00000398: JUMP 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: DUP1 0000039c: ISZERO 0000039d: PUSH2 0x03a4 000003a0: JUMPI 000003a1: PUSH0 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: PUSH2 0x0240 000003a9: PUSH2 0x03b3 000003ac: CALLDATASIZE 000003ad: PUSH1 0x04 000003af: PUSH2 0x1809 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH2 0x077e 000003b7: JUMP 000003b8: JUMPDEST 000003b9: CALLVALUE 000003ba: DUP1 000003bb: ISZERO 000003bc: PUSH2 0x03c3 000003bf: JUMPI 000003c0: PUSH0 000003c1: DUP1 000003c2: REVERT 000003c3: JUMPDEST 000003c4: POP 000003c5: PUSH2 0x0240 000003c8: PUSH2 0x03d2 000003cb: CALLDATASIZE 000003cc: PUSH1 0x04 000003ce: PUSH2 0x1809 000003d1: JUMP 000003d2: JUMPDEST 000003d3: PUSH2 0x08b8 000003d6: JUMP 000003d7: JUMPDEST 000003d8: CALLVALUE 000003d9: DUP1 000003da: ISZERO 000003db: PUSH2 0x03e2 000003de: JUMPI 000003df: PUSH0 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: POP 000003e4: PUSH2 0x0356 000003e7: PUSH2 0x03f1 000003ea: CALLDATASIZE 000003eb: PUSH1 0x04 000003ed: PUSH2 0x1735 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH2 0x0a27 000003f5: JUMP 000003f6: JUMPDEST 000003f7: CALLVALUE 000003f8: DUP1 000003f9: ISZERO 000003fa: PUSH2 0x0401 000003fd: JUMPI 000003fe: PUSH0 000003ff: DUP1 00000400: REVERT 00000401: JUMPDEST 00000402: POP 00000403: PUSH2 0x0240 00000406: PUSH2 0x0410 00000409: CALLDATASIZE 0000040a: PUSH1 0x04 0000040c: PUSH2 0x1735 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH2 0x0a52 00000414: JUMP 00000415: JUMPDEST 00000416: PUSH2 0x0240 00000419: PUSH2 0x0423 0000041c: CALLDATASIZE 0000041d: PUSH1 0x04 0000041f: PUSH2 0x1809 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH2 0x0a7c 00000427: JUMP 00000428: JUMPDEST 00000429: CALLVALUE 0000042a: DUP1 0000042b: ISZERO 0000042c: PUSH2 0x0433 0000042f: JUMPI 00000430: PUSH0 00000431: DUP1 00000432: REVERT 00000433: JUMPDEST 00000434: POP 00000435: PUSH2 0x0294 00000438: PUSH2 0x1003 0000043b: JUMP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: DUP1 0000043f: ISZERO 00000440: PUSH2 0x0447 00000443: JUMPI 00000444: PUSH0 00000445: DUP1 00000446: REVERT 00000447: JUMPDEST 00000448: POP 00000449: PUSH2 0x0356 0000044c: PUSH2 0x0456 0000044f: CALLDATASIZE 00000450: PUSH1 0x04 00000452: PUSH2 0x1735 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH2 0x1042 0000045a: JUMP 0000045b: JUMPDEST 0000045c: CALLVALUE 0000045d: DUP1 0000045e: ISZERO 0000045f: PUSH2 0x0466 00000462: JUMPI 00000463: PUSH0 00000464: DUP1 00000465: REVERT 00000466: JUMPDEST 00000467: POP 00000468: PUSH2 0x0240 0000046b: PUSH2 0x0475 0000046e: CALLDATASIZE 0000046f: PUSH1 0x04 00000471: PUSH2 0x1735 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH2 0x106d 00000479: JUMP 0000047a: JUMPDEST 0000047b: CALLVALUE 0000047c: DUP1 0000047d: ISZERO 0000047e: PUSH2 0x0485 00000481: JUMPI 00000482: PUSH0 00000483: DUP1 00000484: REVERT 00000485: JUMPDEST 00000486: POP 00000487: PUSH2 0x04aa 0000048a: PUSH1 0x40 0000048c: MLOAD 0000048d: DUP1 0000048e: PUSH1 0x40 00000490: ADD 00000491: PUSH1 0x40 00000493: MSTORE 00000494: DUP1 00000495: PUSH1 0x05 00000497: DUP2 00000498: MSTORE 00000499: PUSH1 0x20 0000049b: ADD 0000049c: PUSH5 0x352e302e31 000004a2: PUSH1 0xd8 000004a4: SHL 000004a5: DUP2 000004a6: MSTORE 000004a7: POP 000004a8: DUP2 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: PUSH2 0x029e 000004b1: SWAP2 000004b2: SWAP1 000004b3: PUSH2 0x188d 000004b6: JUMP 000004b7: JUMPDEST 000004b8: CALLVALUE 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c2 000004be: JUMPI 000004bf: PUSH0 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: POP 000004c4: PUSH2 0x0356 000004c7: PUSH2 0x04d1 000004ca: CALLDATASIZE 000004cb: PUSH1 0x04 000004cd: PUSH2 0x1735 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH2 0x1084 000004d5: JUMP 000004d6: JUMPDEST 000004d7: CALLVALUE 000004d8: DUP1 000004d9: ISZERO 000004da: PUSH2 0x04e1 000004dd: JUMPI 000004de: PUSH0 000004df: DUP1 000004e0: REVERT 000004e1: JUMPDEST 000004e2: POP 000004e3: PUSH2 0x0240 000004e6: PUSH2 0x04f0 000004e9: CALLDATASIZE 000004ea: PUSH1 0x04 000004ec: PUSH2 0x1735 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH2 0x109c 000004f4: JUMP 000004f5: JUMPDEST 000004f6: CALLVALUE 000004f7: DUP1 000004f8: ISZERO 000004f9: PUSH2 0x0500 000004fc: JUMPI 000004fd: PUSH0 000004fe: DUP1 000004ff: REVERT 00000500: JUMPDEST 00000501: POP 00000502: PUSH2 0x0294 00000505: PUSH3 0xed4e00 00000509: DUP2 0000050a: JUMP 0000050b: JUMPDEST 0000050c: CALLVALUE 0000050d: DUP1 0000050e: ISZERO 0000050f: PUSH2 0x0516 00000512: JUMPI 00000513: PUSH0 00000514: DUP1 00000515: REVERT 00000516: JUMPDEST 00000517: POP 00000518: PUSH2 0x0240 0000051b: PUSH2 0x0525 0000051e: CALLDATASIZE 0000051f: PUSH1 0x04 00000521: PUSH2 0x1735 00000524: JUMP 00000525: JUMPDEST 00000526: PUSH2 0x10c5 00000529: JUMP 0000052a: JUMPDEST 0000052b: CALLVALUE 0000052c: DUP1 0000052d: ISZERO 0000052e: PUSH2 0x0535 00000531: JUMPI 00000532: PUSH0 00000533: DUP1 00000534: REVERT 00000535: JUMPDEST 00000536: POP 00000537: PUSH32 0xb00a6109e73dbe7bbf8d3f18fb9221d2d024dc2671e3d5ff02532ccc40590738 00000558: SLOAD 00000559: PUSH2 0x0294 0000055c: JUMP 0000055d: JUMPDEST 0000055e: CALLVALUE 0000055f: DUP1 00000560: ISZERO 00000561: PUSH2 0x0568 00000564: JUMPI 00000565: PUSH0 00000566: DUP1 00000567: REVERT 00000568: JUMPDEST 00000569: POP 0000056a: PUSH32 0x7d433c6f837e8f93009937c466c82efbb5ba621fae36886d0cac433c5d0aa7d2 0000058b: SLOAD 0000058c: ISZERO 0000058d: PUSH2 0x0356 00000590: JUMP 00000591: JUMPDEST 00000592: CALLVALUE 00000593: DUP1 00000594: ISZERO 00000595: PUSH2 0x059c 00000598: JUMPI 00000599: PUSH0 0000059a: DUP1 0000059b: REVERT 0000059c: JUMPDEST 0000059d: POP 0000059e: PUSH2 0x0240 000005a1: PUSH2 0x05ab 000005a4: CALLDATASIZE 000005a5: PUSH1 0x04 000005a7: PUSH2 0x1735 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH2 0x10ee 000005af: JUMP 000005b0: JUMPDEST 000005b1: CALLVALUE 000005b2: DUP1 000005b3: ISZERO 000005b4: PUSH2 0x05bb 000005b7: JUMPI 000005b8: PUSH0 000005b9: DUP1 000005ba: REVERT 000005bb: JUMPDEST 000005bc: POP 000005bd: PUSH2 0x0240 000005c0: PUSH2 0x05ca 000005c3: CALLDATASIZE 000005c4: PUSH1 0x04 000005c6: PUSH2 0x1735 000005c9: JUMP 000005ca: JUMPDEST 000005cb: PUSH2 0x1118 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH2 0x05f9 000005d3: PUSH32 0x03e615638e0b79444a70f8c695bf8f2a47033bf1cf95691ec3130f64939cee99 000005f4: DUP3 000005f5: PUSH2 0x1181 000005f8: JUMP 000005f9: JUMPDEST 000005fa: POP 000005fb: JUMP 000005fc: JUMPDEST 000005fd: DUP1 000005fe: CALLER 000005ff: PUSH1 0x01 00000601: PUSH1 0x01 00000603: PUSH1 0xa0 00000605: SHL 00000606: SUB 00000607: DUP3 00000608: AND 00000609: SUB 0000060a: PUSH2 0x064e 0000060d: JUMPI 0000060e: PUSH1 0x40 00000610: MLOAD 00000611: PUSH3 0x461bcd 00000615: PUSH1 0xe5 00000617: SHL 00000618: DUP2 00000619: MSTORE 0000061a: PUSH1 0x20 0000061c: PUSH1 0x04 0000061e: DUP3 0000061f: ADD 00000620: MSTORE 00000621: PUSH1 0x16 00000623: PUSH1 0x24 00000625: DUP3 00000626: ADD 00000627: MSTORE 00000628: PUSH22 0x21a0a72727aa2fa822a92327a926afa7a72fa9a2a623 0000063f: PUSH1 0x51 00000641: SHL 00000642: PUSH1 0x44 00000644: DUP3 00000645: ADD 00000646: MSTORE 00000647: PUSH1 0x64 00000649: ADD 0000064a: PUSH2 0x01b2 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH2 0x0678 00000652: PUSH32 0x03e615638e0b79444a70f8c695bf8f2a47033bf1cf95691ec3130f64939cee99 00000673: DUP4 00000674: PUSH2 0x11b6 00000677: JUMP 00000678: JUMPDEST 00000679: POP 0000067a: POP 0000067b: JUMP 0000067c: JUMPDEST 0000067d: PUSH0 0000067e: DUP1 0000067f: MLOAD 00000680: PUSH1 0x20 00000682: PUSH2 0x1ab3 00000685: DUP4 00000686: CODECOPY 00000687: DUP2 00000688: MLOAD 00000689: SWAP2 0000068a: MSTORE 0000068b: DUP3 0000068c: EQ 0000068d: DUP1 0000068e: ISZERO 0000068f: PUSH2 0x06b6 00000692: JUMPI 00000693: POP 00000694: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000000 000006b5: ISZERO 000006b6: JUMPDEST 000006b7: ISZERO 000006b8: PUSH2 0x0703 000006bb: JUMPI 000006bc: PUSH1 0x40 000006be: MLOAD 000006bf: PUSH3 0x461bcd 000006c3: PUSH1 0xe5 000006c5: SHL 000006c6: DUP2 000006c7: MSTORE 000006c8: PUSH1 0x20 000006ca: PUSH1 0x04 000006cc: DUP3 000006cd: ADD 000006ce: DUP2 000006cf: SWAP1 000006d0: MSTORE 000006d1: PUSH1 0x24 000006d3: DUP3 000006d4: ADD 000006d5: MSTORE 000006d6: PUSH32 0x43414e4e4f545f52454e4f554e43455f474f5645524e414e43455f41444d494e 000006f7: PUSH1 0x44 000006f9: DUP3 000006fa: ADD 000006fb: MSTORE 000006fc: PUSH1 0x64 000006fe: ADD 000006ff: PUSH2 0x01b2 00000702: JUMP 00000703: JUMPDEST 00000704: PUSH2 0x0678 00000707: DUP3 00000708: DUP3 00000709: PUSH2 0x11e6 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH1 0x40 00000710: MLOAD 00000711: PUSH3 0x461bcd 00000715: PUSH1 0xe5 00000717: SHL 00000718: DUP2 00000719: MSTORE 0000071a: PUSH1 0x20 0000071c: PUSH1 0x04 0000071e: DUP3 0000071f: ADD 00000720: MSTORE 00000721: PUSH1 0x16 00000723: PUSH1 0x24 00000725: DUP3 00000726: ADD 00000727: MSTORE 00000728: PUSH22 0x43414e4e4f545f43414c4c5f494e495449414c495a45 0000073f: PUSH1 0x50 00000741: SHL 00000742: PUSH1 0x44 00000744: DUP3 00000745: ADD 00000746: MSTORE 00000747: PUSH1 0x64 00000749: ADD 0000074a: PUSH2 0x01b2 0000074d: JUMP 0000074e: JUMPDEST 0000074f: PUSH0 00000750: PUSH2 0x0778 00000753: PUSH31 0xd2ead78c620e94b02d0a996e99298c59ddccfa1d8a0149080ac3a20de06068 00000773: DUP4 00000774: PUSH2 0x1260 00000777: JUMP 00000778: JUMPDEST 00000779: SWAP3 0000077a: SWAP2 0000077b: POP 0000077c: POP 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH2 0x0787 00000782: CALLER 00000783: PUSH2 0x0a27 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH2 0x07a3 0000078b: JUMPI 0000078c: PUSH1 0x40 0000078e: MLOAD 0000078f: PUSH3 0x461bcd 00000793: PUSH1 0xe5 00000795: SHL 00000796: DUP2 00000797: MSTORE 00000798: PUSH1 0x04 0000079a: ADD 0000079b: PUSH2 0x01b2 0000079e: SWAP1 0000079f: PUSH2 0x18bf 000007a2: JUMP 000007a3: JUMPDEST 000007a4: PUSH0 000007a5: DUP5 000007a6: DUP5 000007a7: DUP5 000007a8: DUP5 000007a9: PUSH1 0x40 000007ab: MLOAD 000007ac: PUSH1 0x20 000007ae: ADD 000007af: PUSH2 0x07bb 000007b2: SWAP5 000007b3: SWAP4 000007b4: SWAP3 000007b5: SWAP2 000007b6: SWAP1 000007b7: PUSH2 0x1916 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: PUSH1 0x20 000007c1: DUP2 000007c2: DUP4 000007c3: SUB 000007c4: SUB 000007c5: DUP2 000007c6: MSTORE 000007c7: SWAP1 000007c8: PUSH1 0x40 000007ca: MSTORE 000007cb: DUP1 000007cc: MLOAD 000007cd: SWAP1 000007ce: PUSH1 0x20 000007d0: ADD 000007d1: KECCAK256 000007d2: SWAP1 000007d3: POP 000007d4: PUSH0 000007d5: PUSH2 0x07dc 000007d8: PUSH2 0x1296 000007db: JUMP 000007dc: JUMPDEST 000007dd: PUSH0 000007de: DUP4 000007df: DUP2 000007e0: MSTORE 000007e1: PUSH1 0x20 000007e3: SWAP2 000007e4: SWAP1 000007e5: SWAP2 000007e6: MSTORE 000007e7: PUSH1 0x40 000007e9: SWAP1 000007ea: KECCAK256 000007eb: SLOAD 000007ec: SWAP1 000007ed: POP 000007ee: DUP1 000007ef: PUSH2 0x083a 000007f2: JUMPI 000007f3: PUSH1 0x40 000007f5: MLOAD 000007f6: PUSH3 0x461bcd 000007fa: PUSH1 0xe5 000007fc: SHL 000007fd: DUP2 000007fe: MSTORE 000007ff: PUSH1 0x20 00000801: PUSH1 0x04 00000803: DUP3 00000804: ADD 00000805: MSTORE 00000806: PUSH1 0x1b 00000808: PUSH1 0x24 0000080a: DUP3 0000080b: ADD 0000080c: MSTORE 0000080d: PUSH32 0x554e4b4e4f574e5f555047524144455f494e464f524d4154494f4e0000000000 0000082e: PUSH1 0x44 00000830: DUP3 00000831: ADD 00000832: MSTORE 00000833: PUSH1 0x64 00000835: ADD 00000836: PUSH2 0x01b2 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH2 0x0842 0000083e: PUSH2 0x1296 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH0 00000844: DUP4 00000845: DUP2 00000846: MSTORE 00000847: PUSH1 0x20 00000849: SWAP2 0000084a: SWAP1 0000084b: SWAP2 0000084c: MSTORE 0000084d: PUSH1 0x40 0000084f: DUP2 00000850: KECCAK256 00000851: SSTORE 00000852: PUSH2 0x0859 00000855: PUSH2 0x12d1 00000858: JUMP 00000859: JUMPDEST 0000085a: PUSH0 0000085b: DUP4 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x20 00000860: ADD 00000861: SWAP1 00000862: DUP2 00000863: MSTORE 00000864: PUSH1 0x20 00000866: ADD 00000867: PUSH0 00000868: KECCAK256 00000869: PUSH0 0000086a: SWAP1 0000086b: SSTORE 0000086c: DUP6 0000086d: PUSH1 0x01 0000086f: PUSH1 0x01 00000871: PUSH1 0xa0 00000873: SHL 00000874: SUB 00000875: AND 00000876: PUSH32 0xe99b980b5259f200e4c1da973ff0251b6d9aaa144714c8773976ecd62b8ebe8d 00000897: DUP7 00000898: DUP7 00000899: DUP7 0000089a: PUSH1 0x40 0000089c: MLOAD 0000089d: PUSH2 0x08a8 000008a0: SWAP4 000008a1: SWAP3 000008a2: SWAP2 000008a3: SWAP1 000008a4: PUSH2 0x194d 000008a7: JUMP 000008a8: JUMPDEST 000008a9: PUSH1 0x40 000008ab: MLOAD 000008ac: DUP1 000008ad: SWAP2 000008ae: SUB 000008af: SWAP1 000008b0: LOG2 000008b1: POP 000008b2: POP 000008b3: POP 000008b4: POP 000008b5: POP 000008b6: POP 000008b7: JUMP 000008b8: JUMPDEST 000008b9: PUSH2 0x08c1 000008bc: CALLER 000008bd: PUSH2 0x0a27 000008c0: JUMP 000008c1: JUMPDEST 000008c2: PUSH2 0x08dd 000008c5: JUMPI 000008c6: PUSH1 0x40 000008c8: MLOAD 000008c9: PUSH3 0x461bcd 000008cd: PUSH1 0xe5 000008cf: SHL 000008d0: DUP2 000008d1: MSTORE 000008d2: PUSH1 0x04 000008d4: ADD 000008d5: PUSH2 0x01b2 000008d8: SWAP1 000008d9: PUSH2 0x18bf 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x01 000008e0: PUSH1 0x01 000008e2: PUSH1 0xa0 000008e4: SHL 000008e5: SUB 000008e6: DUP5 000008e7: AND 000008e8: EXTCODESIZE 000008e9: PUSH2 0x092b 000008ec: JUMPI 000008ed: PUSH1 0x40 000008ef: MLOAD 000008f0: PUSH3 0x461bcd 000008f4: PUSH1 0xe5 000008f6: SHL 000008f7: DUP2 000008f8: MSTORE 000008f9: PUSH1 0x20 000008fb: PUSH1 0x04 000008fd: DUP3 000008fe: ADD 000008ff: MSTORE 00000900: PUSH1 0x14 00000902: PUSH1 0x24 00000904: DUP3 00000905: ADD 00000906: MSTORE 00000907: PUSH20 0x105111149154d4d7d393d517d0d3d395149050d5 0000091c: PUSH1 0x62 0000091e: SHL 0000091f: PUSH1 0x44 00000921: DUP3 00000922: ADD 00000923: MSTORE 00000924: PUSH1 0x64 00000926: ADD 00000927: PUSH2 0x01b2 0000092a: JUMP 0000092b: JUMPDEST 0000092c: PUSH0 0000092d: DUP5 0000092e: DUP5 0000092f: DUP5 00000930: DUP5 00000931: PUSH1 0x40 00000933: MLOAD 00000934: PUSH1 0x20 00000936: ADD 00000937: PUSH2 0x0943 0000093a: SWAP5 0000093b: SWAP4 0000093c: SWAP3 0000093d: SWAP2 0000093e: SWAP1 0000093f: PUSH2 0x1916 00000942: JUMP 00000943: JUMPDEST 00000944: PUSH1 0x40 00000946: MLOAD 00000947: PUSH1 0x20 00000949: DUP2 0000094a: DUP4 0000094b: SUB 0000094c: SUB 0000094d: DUP2 0000094e: MSTORE 0000094f: SWAP1 00000950: PUSH1 0x40 00000952: MSTORE 00000953: DUP1 00000954: MLOAD 00000955: SWAP1 00000956: PUSH1 0x20 00000958: ADD 00000959: KECCAK256 0000095a: SWAP1 0000095b: POP 0000095c: PUSH0 0000095d: PUSH2 0x0964 00000960: PUSH2 0x1003 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH2 0x096e 00000968: SWAP1 00000969: TIMESTAMP 0000096a: PUSH2 0x1986 0000096d: JUMP 0000096e: JUMPDEST 0000096f: SWAP1 00000970: POP 00000971: PUSH0 00000972: PUSH2 0x0999 00000975: PUSH32 0xb00a6109e73dbe7bbf8d3f18fb9221d2d024dc2671e3d5ff02532ccc40590738 00000996: SLOAD 00000997: SWAP1 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH2 0x09a3 0000099d: SWAP1 0000099e: DUP4 0000099f: PUSH2 0x1986 000009a2: JUMP 000009a3: JUMPDEST 000009a4: SWAP1 000009a5: POP 000009a6: DUP2 000009a7: PUSH2 0x09ae 000009aa: PUSH2 0x1296 000009ad: JUMP 000009ae: JUMPDEST 000009af: PUSH0 000009b0: DUP6 000009b1: DUP2 000009b2: MSTORE 000009b3: PUSH1 0x20 000009b5: SWAP2 000009b6: SWAP1 000009b7: SWAP2 000009b8: MSTORE 000009b9: PUSH1 0x40 000009bb: SWAP1 000009bc: KECCAK256 000009bd: SSTORE 000009be: DUP1 000009bf: PUSH2 0x09c6 000009c2: PUSH2 0x12d1 000009c5: JUMP 000009c6: JUMPDEST 000009c7: PUSH0 000009c8: DUP6 000009c9: DUP2 000009ca: MSTORE 000009cb: PUSH1 0x20 000009cd: ADD 000009ce: SWAP1 000009cf: DUP2 000009d0: MSTORE 000009d1: PUSH1 0x20 000009d3: ADD 000009d4: PUSH0 000009d5: KECCAK256 000009d6: DUP2 000009d7: SWAP1 000009d8: SSTORE 000009d9: POP 000009da: DUP7 000009db: PUSH1 0x01 000009dd: PUSH1 0x01 000009df: PUSH1 0xa0 000009e1: SHL 000009e2: SUB 000009e3: AND 000009e4: PUSH32 0x723a7080d63c133cf338e44e00705cc1b7b2bde7e88d6218a8d62710a329ce1b 00000a05: DUP8 00000a06: DUP8 00000a07: DUP8 00000a08: PUSH1 0x40 00000a0a: MLOAD 00000a0b: PUSH2 0x0a16 00000a0e: SWAP4 00000a0f: SWAP3 00000a10: SWAP2 00000a11: SWAP1 00000a12: PUSH2 0x194d 00000a15: JUMP 00000a16: JUMPDEST 00000a17: PUSH1 0x40 00000a19: MLOAD 00000a1a: DUP1 00000a1b: SWAP2 00000a1c: SUB 00000a1d: SWAP1 00000a1e: LOG2 00000a1f: POP 00000a20: POP 00000a21: POP 00000a22: POP 00000a23: POP 00000a24: POP 00000a25: POP 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH0 00000a29: PUSH2 0x0778 00000a2c: PUSH32 0x0251e864ca2a080f55bce5da2452e8cfcafdbc951a3e7fff5023d558452ec228 00000a4d: DUP4 00000a4e: PUSH2 0x1260 00000a51: JUMP 00000a52: JUMPDEST 00000a53: PUSH2 0x05f9 00000a56: PUSH32 0x0251e864ca2a080f55bce5da2452e8cfcafdbc951a3e7fff5023d558452ec228 00000a77: DUP3 00000a78: PUSH2 0x1181 00000a7b: JUMP 00000a7c: JUMPDEST 00000a7d: PUSH2 0x0a85 00000a80: CALLER 00000a81: PUSH2 0x0a27 00000a84: JUMP 00000a85: JUMPDEST 00000a86: PUSH2 0x0aa1 00000a89: JUMPI 00000a8a: PUSH1 0x40 00000a8c: MLOAD 00000a8d: PUSH3 0x461bcd 00000a91: PUSH1 0xe5 00000a93: SHL 00000a94: DUP2 00000a95: MSTORE 00000a96: PUSH1 0x04 00000a98: ADD 00000a99: PUSH2 0x01b2 00000a9c: SWAP1 00000a9d: PUSH2 0x18bf 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH32 0x7d433c6f837e8f93009937c466c82efbb5ba621fae36886d0cac433c5d0aa7d2 00000ac3: SLOAD 00000ac4: ISZERO 00000ac5: PUSH2 0x0b10 00000ac8: JUMPI 00000ac9: PUSH1 0x40 00000acb: MLOAD 00000acc: PUSH3 0x461bcd 00000ad0: PUSH1 0xe5 00000ad2: SHL 00000ad3: DUP2 00000ad4: MSTORE 00000ad5: PUSH1 0x20 00000ad7: PUSH1 0x04 00000ad9: DUP3 00000ada: ADD 00000adb: MSTORE 00000adc: PUSH1 0x18 00000ade: PUSH1 0x24 00000ae0: DUP3 00000ae1: ADD 00000ae2: MSTORE 00000ae3: PUSH32 0x494d504c454d454e544154494f4e5f46494e414c495a45440000000000000000 00000b04: PUSH1 0x44 00000b06: DUP3 00000b07: ADD 00000b08: MSTORE 00000b09: PUSH1 0x64 00000b0b: ADD 00000b0c: PUSH2 0x01b2 00000b0f: JUMP 00000b10: JUMPDEST 00000b11: PUSH2 0x0b18 00000b14: PUSH2 0x1308 00000b17: JUMP 00000b18: JUMPDEST 00000b19: ISZERO 00000b1a: PUSH2 0x0b57 00000b1d: JUMPI 00000b1e: PUSH1 0x40 00000b20: MLOAD 00000b21: PUSH3 0x461bcd 00000b25: PUSH1 0xe5 00000b27: SHL 00000b28: DUP2 00000b29: MSTORE 00000b2a: PUSH1 0x20 00000b2c: PUSH1 0x04 00000b2e: DUP3 00000b2f: ADD 00000b30: MSTORE 00000b31: PUSH1 0x0f 00000b33: PUSH1 0x24 00000b35: DUP3 00000b36: ADD 00000b37: MSTORE 00000b38: PUSH15 0x29aa20aa22afa4a9afa32927ad22a7 00000b48: PUSH1 0x89 00000b4a: SHL 00000b4b: PUSH1 0x44 00000b4d: DUP3 00000b4e: ADD 00000b4f: MSTORE 00000b50: PUSH1 0x64 00000b52: ADD 00000b53: PUSH2 0x01b2 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH0 00000b59: DUP5 00000b5a: DUP5 00000b5b: DUP5 00000b5c: DUP5 00000b5d: PUSH1 0x40 00000b5f: MLOAD 00000b60: PUSH1 0x20 00000b62: ADD 00000b63: PUSH2 0x0b6f 00000b66: SWAP5 00000b67: SWAP4 00000b68: SWAP3 00000b69: SWAP2 00000b6a: SWAP1 00000b6b: PUSH2 0x1916 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH1 0x40 00000b72: MLOAD 00000b73: PUSH1 0x20 00000b75: DUP2 00000b76: DUP4 00000b77: SUB 00000b78: SUB 00000b79: DUP2 00000b7a: MSTORE 00000b7b: SWAP1 00000b7c: PUSH1 0x40 00000b7e: MSTORE 00000b7f: DUP1 00000b80: MLOAD 00000b81: SWAP1 00000b82: PUSH1 0x20 00000b84: ADD 00000b85: KECCAK256 00000b86: SWAP1 00000b87: POP 00000b88: PUSH0 00000b89: PUSH2 0x0b90 00000b8c: PUSH2 0x1296 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH0 00000b92: DUP4 00000b93: DUP2 00000b94: MSTORE 00000b95: PUSH1 0x20 00000b97: SWAP2 00000b98: SWAP1 00000b99: SWAP2 00000b9a: MSTORE 00000b9b: PUSH1 0x40 00000b9d: DUP2 00000b9e: KECCAK256 00000b9f: SLOAD 00000ba0: SWAP2 00000ba1: POP 00000ba2: PUSH2 0x0ba9 00000ba5: PUSH2 0x12d1 00000ba8: JUMP 00000ba9: JUMPDEST 00000baa: PUSH0 00000bab: DUP5 00000bac: DUP2 00000bad: MSTORE 00000bae: PUSH1 0x20 00000bb0: SWAP2 00000bb1: SWAP1 00000bb2: SWAP2 00000bb3: MSTORE 00000bb4: PUSH1 0x40 00000bb6: SWAP1 00000bb7: KECCAK256 00000bb8: SLOAD 00000bb9: SWAP1 00000bba: POP 00000bbb: DUP2 00000bbc: PUSH2 0x0c07 00000bbf: JUMPI 00000bc0: PUSH1 0x40 00000bc2: MLOAD 00000bc3: PUSH3 0x461bcd 00000bc7: PUSH1 0xe5 00000bc9: SHL 00000bca: DUP2 00000bcb: MSTORE 00000bcc: PUSH1 0x20 00000bce: PUSH1 0x04 00000bd0: DUP3 00000bd1: ADD 00000bd2: MSTORE 00000bd3: PUSH1 0x1b 00000bd5: PUSH1 0x24 00000bd7: DUP3 00000bd8: ADD 00000bd9: MSTORE 00000bda: PUSH32 0x554e4b4e4f574e5f555047524144455f494e464f524d4154494f4e0000000000 00000bfb: PUSH1 0x44 00000bfd: DUP3 00000bfe: ADD 00000bff: MSTORE 00000c00: PUSH1 0x64 00000c02: ADD 00000c03: PUSH2 0x01b2 00000c06: JUMP 00000c07: JUMPDEST 00000c08: PUSH1 0x01 00000c0a: PUSH1 0x01 00000c0c: PUSH1 0xa0 00000c0e: SHL 00000c0f: SUB 00000c10: DUP8 00000c11: AND 00000c12: EXTCODESIZE 00000c13: PUSH2 0x0c55 00000c16: JUMPI 00000c17: PUSH1 0x40 00000c19: MLOAD 00000c1a: PUSH3 0x461bcd 00000c1e: PUSH1 0xe5 00000c20: SHL 00000c21: DUP2 00000c22: MSTORE 00000c23: PUSH1 0x20 00000c25: PUSH1 0x04 00000c27: DUP3 00000c28: ADD 00000c29: MSTORE 00000c2a: PUSH1 0x14 00000c2c: PUSH1 0x24 00000c2e: DUP3 00000c2f: ADD 00000c30: MSTORE 00000c31: PUSH20 0x105111149154d4d7d393d517d0d3d395149050d5 00000c46: PUSH1 0x62 00000c48: SHL 00000c49: PUSH1 0x44 00000c4b: DUP3 00000c4c: ADD 00000c4d: MSTORE 00000c4e: PUSH1 0x64 00000c50: ADD 00000c51: PUSH2 0x01b2 00000c54: JUMP 00000c55: JUMPDEST 00000c56: TIMESTAMP 00000c57: DUP3 00000c58: GT 00000c59: ISZERO 00000c5a: DUP1 00000c5b: PUSH2 0x0c80 00000c5e: JUMPI 00000c5f: POP 00000c60: PUSH0 00000c61: PUSH2 0x0c75 00000c64: PUSH0 00000c65: DUP1 00000c66: MLOAD 00000c67: PUSH1 0x20 00000c69: PUSH2 0x1af3 00000c6c: DUP4 00000c6d: CODECOPY 00000c6e: DUP2 00000c6f: MLOAD 00000c70: SWAP2 00000c71: MSTORE 00000c72: SLOAD 00000c73: SWAP1 00000c74: JUMP 00000c75: JUMPDEST 00000c76: PUSH1 0x01 00000c78: PUSH1 0x01 00000c7a: PUSH1 0xa0 00000c7c: SHL 00000c7d: SUB 00000c7e: AND 00000c7f: EQ 00000c80: JUMPDEST 00000c81: PUSH2 0x0ccc 00000c84: JUMPI 00000c85: PUSH1 0x40 00000c87: MLOAD 00000c88: PUSH3 0x461bcd 00000c8c: PUSH1 0xe5 00000c8e: SHL 00000c8f: DUP2 00000c90: MSTORE 00000c91: PUSH1 0x20 00000c93: PUSH1 0x04 00000c95: DUP3 00000c96: ADD 00000c97: MSTORE 00000c98: PUSH1 0x17 00000c9a: PUSH1 0x24 00000c9c: DUP3 00000c9d: ADD 00000c9e: MSTORE 00000c9f: PUSH32 0x555047524144455f4e4f545f454e41424c45445f594554000000000000000000 00000cc0: PUSH1 0x44 00000cc2: DUP3 00000cc3: ADD 00000cc4: MSTORE 00000cc5: PUSH1 0x64 00000cc7: ADD 00000cc8: PUSH2 0x01b2 00000ccb: JUMP 00000ccc: JUMPDEST 00000ccd: TIMESTAMP 00000cce: DUP2 00000ccf: LT 00000cd0: ISZERO 00000cd1: PUSH2 0x0d15 00000cd4: JUMPI 00000cd5: PUSH1 0x40 00000cd7: MLOAD 00000cd8: PUSH3 0x461bcd 00000cdc: PUSH1 0xe5 00000cde: SHL 00000cdf: DUP2 00000ce0: MSTORE 00000ce1: PUSH1 0x20 00000ce3: PUSH1 0x04 00000ce5: DUP3 00000ce6: ADD 00000ce7: MSTORE 00000ce8: PUSH1 0x16 00000cea: PUSH1 0x24 00000cec: DUP3 00000ced: ADD 00000cee: MSTORE 00000cef: PUSH22 0x12535413115351539510551253d397d1561412549151 00000d06: PUSH1 0x52 00000d08: SHL 00000d09: PUSH1 0x44 00000d0b: DUP3 00000d0c: ADD 00000d0d: MSTORE 00000d0e: PUSH1 0x64 00000d10: ADD 00000d11: PUSH2 0x01b2 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH2 0x0d2a 00000d19: DUP8 00000d1a: PUSH0 00000d1b: DUP1 00000d1c: MLOAD 00000d1d: PUSH1 0x20 00000d1f: PUSH2 0x1af3 00000d22: DUP4 00000d23: CODECOPY 00000d24: DUP2 00000d25: MLOAD 00000d26: SWAP2 00000d27: MSTORE 00000d28: SSTORE 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH0 00000d2c: DUP1 00000d2d: DUP9 00000d2e: PUSH1 0x01 00000d30: PUSH1 0x01 00000d32: PUSH1 0xa0 00000d34: SHL 00000d35: SUB 00000d36: AND 00000d37: PUSH4 0x439fab91 00000d3c: PUSH1 0xe0 00000d3e: SHL 00000d3f: DUP10 00000d40: DUP10 00000d41: PUSH1 0x40 00000d43: MLOAD 00000d44: PUSH1 0x24 00000d46: ADD 00000d47: PUSH2 0x0d51 00000d4a: SWAP3 00000d4b: SWAP2 00000d4c: SWAP1 00000d4d: PUSH2 0x1999 00000d50: JUMP 00000d51: JUMPDEST 00000d52: PUSH1 0x40 00000d54: DUP1 00000d55: MLOAD 00000d56: PUSH1 0x1f 00000d58: NOT 00000d59: DUP2 00000d5a: DUP5 00000d5b: SUB 00000d5c: ADD 00000d5d: DUP2 00000d5e: MSTORE 00000d5f: SWAP2 00000d60: DUP2 00000d61: MSTORE 00000d62: PUSH1 0x20 00000d64: DUP3 00000d65: ADD 00000d66: DUP1 00000d67: MLOAD 00000d68: PUSH1 0x01 00000d6a: PUSH1 0x01 00000d6c: PUSH1 0xe0 00000d6e: SHL 00000d6f: SUB 00000d70: AND 00000d71: PUSH1 0x01 00000d73: PUSH1 0x01 00000d75: PUSH1 0xe0 00000d77: SHL 00000d78: SUB 00000d79: NOT 00000d7a: SWAP1 00000d7b: SWAP5 00000d7c: AND 00000d7d: SWAP4 00000d7e: SWAP1 00000d7f: SWAP4 00000d80: OR 00000d81: SWAP1 00000d82: SWAP3 00000d83: MSTORE 00000d84: SWAP1 00000d85: MLOAD 00000d86: PUSH2 0x0d8f 00000d89: SWAP2 00000d8a: SWAP1 00000d8b: PUSH2 0x19b4 00000d8e: JUMP 00000d8f: JUMPDEST 00000d90: PUSH0 00000d91: PUSH1 0x40 00000d93: MLOAD 00000d94: DUP1 00000d95: DUP4 00000d96: SUB 00000d97: DUP2 00000d98: DUP6 00000d99: GAS 00000d9a: DELEGATECALL 00000d9b: SWAP2 00000d9c: POP 00000d9d: POP 00000d9e: RETURNDATASIZE 00000d9f: DUP1 00000da0: PUSH0 00000da1: DUP2 00000da2: EQ 00000da3: PUSH2 0x0dc7 00000da6: JUMPI 00000da7: PUSH1 0x40 00000da9: MLOAD 00000daa: SWAP2 00000dab: POP 00000dac: PUSH1 0x1f 00000dae: NOT 00000daf: PUSH1 0x3f 00000db1: RETURNDATASIZE 00000db2: ADD 00000db3: AND 00000db4: DUP3 00000db5: ADD 00000db6: PUSH1 0x40 00000db8: MSTORE 00000db9: RETURNDATASIZE 00000dba: DUP3 00000dbb: MSTORE 00000dbc: RETURNDATASIZE 00000dbd: PUSH0 00000dbe: PUSH1 0x20 00000dc0: DUP5 00000dc1: ADD 00000dc2: RETURNDATACOPY 00000dc3: PUSH2 0x0dcc 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH1 0x60 00000dca: SWAP2 00000dcb: POP 00000dcc: JUMPDEST 00000dcd: POP 00000dce: SWAP2 00000dcf: POP 00000dd0: SWAP2 00000dd1: POP 00000dd2: DUP2 00000dd3: DUP2 00000dd4: SWAP1 00000dd5: PUSH2 0x0df1 00000dd8: JUMPI 00000dd9: PUSH1 0x40 00000ddb: MLOAD 00000ddc: PUSH3 0x461bcd 00000de0: PUSH1 0xe5 00000de2: SHL 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x04 00000de7: ADD 00000de8: PUSH2 0x01b2 00000deb: SWAP2 00000dec: SWAP1 00000ded: PUSH2 0x188d 00000df0: JUMP 00000df1: JUMPDEST 00000df2: POP 00000df3: PUSH1 0x40 00000df5: DUP1 00000df6: MLOAD 00000df7: PUSH1 0x04 00000df9: DUP2 00000dfa: MSTORE 00000dfb: PUSH1 0x24 00000dfd: DUP2 00000dfe: ADD 00000dff: DUP3 00000e00: MSTORE 00000e01: PUSH1 0x20 00000e03: DUP2 00000e04: ADD 00000e05: DUP1 00000e06: MLOAD 00000e07: PUSH1 0x01 00000e09: PUSH1 0x01 00000e0b: PUSH1 0xe0 00000e0d: SHL 00000e0e: SUB 00000e0f: AND 00000e10: PUSH4 0x33eeb147 00000e15: PUSH1 0xe0 00000e17: SHL 00000e18: OR 00000e19: SWAP1 00000e1a: MSTORE 00000e1b: SWAP1 00000e1c: MLOAD 00000e1d: PUSH1 0x01 00000e1f: PUSH1 0x01 00000e21: PUSH1 0xa0 00000e23: SHL 00000e24: SUB 00000e25: DUP12 00000e26: AND 00000e27: SWAP2 00000e28: PUSH2 0x0e30 00000e2b: SWAP2 00000e2c: PUSH2 0x19b4 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: PUSH0 00000e32: PUSH1 0x40 00000e34: MLOAD 00000e35: DUP1 00000e36: DUP4 00000e37: SUB 00000e38: DUP2 00000e39: DUP6 00000e3a: GAS 00000e3b: DELEGATECALL 00000e3c: SWAP2 00000e3d: POP 00000e3e: POP 00000e3f: RETURNDATASIZE 00000e40: DUP1 00000e41: PUSH0 00000e42: DUP2 00000e43: EQ 00000e44: PUSH2 0x0e68 00000e47: JUMPI 00000e48: PUSH1 0x40 00000e4a: MLOAD 00000e4b: SWAP2 00000e4c: POP 00000e4d: PUSH1 0x1f 00000e4f: NOT 00000e50: PUSH1 0x3f 00000e52: RETURNDATASIZE 00000e53: ADD 00000e54: AND 00000e55: DUP3 00000e56: ADD 00000e57: PUSH1 0x40 00000e59: MSTORE 00000e5a: RETURNDATASIZE 00000e5b: DUP3 00000e5c: MSTORE 00000e5d: RETURNDATASIZE 00000e5e: PUSH0 00000e5f: PUSH1 0x20 00000e61: DUP5 00000e62: ADD 00000e63: RETURNDATACOPY 00000e64: PUSH2 0x0e6d 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH1 0x60 00000e6b: SWAP2 00000e6c: POP 00000e6d: JUMPDEST 00000e6e: POP 00000e6f: SWAP1 00000e70: SWAP3 00000e71: POP 00000e72: SWAP1 00000e73: POP 00000e74: DUP2 00000e75: PUSH2 0x0ec0 00000e78: JUMPI 00000e79: PUSH1 0x40 00000e7b: MLOAD 00000e7c: PUSH3 0x461bcd 00000e80: PUSH1 0xe5 00000e82: SHL 00000e83: DUP2 00000e84: MSTORE 00000e85: PUSH1 0x20 00000e87: PUSH1 0x04 00000e89: DUP3 00000e8a: ADD 00000e8b: MSTORE 00000e8c: PUSH1 0x19 00000e8e: PUSH1 0x24 00000e90: DUP3 00000e91: ADD 00000e92: MSTORE 00000e93: PUSH32 0x43414c4c5f544f5f495346524f5a454e5f524556455254454400000000000000 00000eb4: PUSH1 0x44 00000eb6: DUP3 00000eb7: ADD 00000eb8: MSTORE 00000eb9: PUSH1 0x64 00000ebb: ADD 00000ebc: PUSH2 0x01b2 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: DUP1 00000ec2: DUP1 00000ec3: PUSH1 0x20 00000ec5: ADD 00000ec6: SWAP1 00000ec7: MLOAD 00000ec8: DUP2 00000ec9: ADD 00000eca: SWAP1 00000ecb: PUSH2 0x0ed4 00000ece: SWAP2 00000ecf: SWAP1 00000ed0: PUSH2 0x19cf 00000ed3: JUMP 00000ed4: JUMPDEST 00000ed5: ISZERO 00000ed6: PUSH2 0x0f21 00000ed9: JUMPI 00000eda: PUSH1 0x40 00000edc: MLOAD 00000edd: PUSH3 0x461bcd 00000ee1: PUSH1 0xe5 00000ee3: SHL 00000ee4: DUP2 00000ee5: MSTORE 00000ee6: PUSH1 0x20 00000ee8: PUSH1 0x04 00000eea: DUP3 00000eeb: ADD 00000eec: MSTORE 00000eed: PUSH1 0x19 00000eef: PUSH1 0x24 00000ef1: DUP3 00000ef2: ADD 00000ef3: MSTORE 00000ef4: PUSH32 0x4e45575f494d504c454d454e544154494f4e5f46524f5a454e00000000000000 00000f15: PUSH1 0x44 00000f17: DUP3 00000f18: ADD 00000f19: MSTORE 00000f1a: PUSH1 0x64 00000f1c: ADD 00000f1d: PUSH2 0x01b2 00000f20: JUMP 00000f21: JUMPDEST 00000f22: PUSH2 0x0f29 00000f25: PUSH2 0x1296 00000f28: JUMP 00000f29: JUMPDEST 00000f2a: PUSH0 00000f2b: DUP7 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: PUSH1 0x20 00000f30: SWAP2 00000f31: SWAP1 00000f32: SWAP2 00000f33: MSTORE 00000f34: PUSH1 0x40 00000f36: DUP2 00000f37: KECCAK256 00000f38: SSTORE 00000f39: PUSH2 0x0f40 00000f3c: PUSH2 0x12d1 00000f3f: JUMP 00000f40: JUMPDEST 00000f41: PUSH0 00000f42: DUP7 00000f43: DUP2 00000f44: MSTORE 00000f45: PUSH1 0x20 00000f47: ADD 00000f48: SWAP1 00000f49: DUP2 00000f4a: MSTORE 00000f4b: PUSH1 0x20 00000f4d: ADD 00000f4e: PUSH0 00000f4f: KECCAK256 00000f50: PUSH0 00000f51: SWAP1 00000f52: SSTORE 00000f53: DUP9 00000f54: PUSH1 0x01 00000f56: PUSH1 0x01 00000f58: PUSH1 0xa0 00000f5a: SHL 00000f5b: SUB 00000f5c: AND 00000f5d: PUSH32 0xff14288d542bc1c1d15a652cb52af735f065c0c9d70b48e454a203c260733544 00000f7e: DUP10 00000f7f: DUP10 00000f80: PUSH1 0x40 00000f82: MLOAD 00000f83: PUSH2 0x0f8d 00000f86: SWAP3 00000f87: SWAP2 00000f88: SWAP1 00000f89: PUSH2 0x1999 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: PUSH1 0x40 00000f90: MLOAD 00000f91: DUP1 00000f92: SWAP2 00000f93: SUB 00000f94: SWAP1 00000f95: LOG2 00000f96: DUP6 00000f97: ISZERO 00000f98: PUSH2 0x0ff8 00000f9b: JUMPI 00000f9c: PUSH2 0x0fc4 00000f9f: PUSH1 0x01 00000fa1: PUSH32 0x7d433c6f837e8f93009937c466c82efbb5ba621fae36886d0cac433c5d0aa7d2 00000fc2: SSTORE 00000fc3: JUMP 00000fc4: JUMPDEST 00000fc5: PUSH1 0x40 00000fc7: MLOAD 00000fc8: PUSH1 0x01 00000fca: PUSH1 0x01 00000fcc: PUSH1 0xa0 00000fce: SHL 00000fcf: SUB 00000fd0: DUP11 00000fd1: AND 00000fd2: SWAP1 00000fd3: PUSH32 0xc13b75a5f14b69ebdc2431a5d475b3bff371abe251b5064144306fbd9c4de35c 00000ff4: SWAP1 00000ff5: PUSH0 00000ff6: SWAP1 00000ff7: LOG2 00000ff8: JUMPDEST 00000ff9: POP 00000ffa: POP 00000ffb: POP 00000ffc: POP 00000ffd: POP 00000ffe: POP 00000fff: POP 00001000: POP 00001001: POP 00001002: JUMP 00001003: JUMPDEST 00001004: PUSH32 0xc21dbb3089fcb2c4f4c6a67854ab4db2b0f233ea4b21b21f912d52d18fc5db1f 00001025: DUP1 00001026: SLOAD 00001027: SWAP1 00001028: PUSH3 0xed4e00 0000102c: DUP3 0000102d: LT 0000102e: PUSH2 0x103a 00001031: JUMPI 00001032: PUSH3 0xed4e00 00001036: PUSH2 0x103c 00001039: JUMP 0000103a: JUMPDEST 0000103b: DUP2 0000103c: JUMPDEST 0000103d: SWAP2 0000103e: POP 0000103f: POP 00001040: SWAP1 00001041: JUMP 00001042: JUMPDEST 00001043: PUSH0 00001044: PUSH2 0x0778 00001047: PUSH32 0x03e615638e0b79444a70f8c695bf8f2a47033bf1cf95691ec3130f64939cee99 00001068: DUP4 00001069: PUSH2 0x1260 0000106c: JUMP 0000106d: JUMPDEST 0000106e: PUSH2 0x05f9 00001071: PUSH0 00001072: DUP1 00001073: MLOAD 00001074: PUSH1 0x20 00001076: PUSH2 0x1ab3 00001079: DUP4 0000107a: CODECOPY 0000107b: DUP2 0000107c: MLOAD 0000107d: SWAP2 0000107e: MSTORE 0000107f: DUP3 00001080: PUSH2 0x1181 00001083: JUMP 00001084: JUMPDEST 00001085: PUSH0 00001086: PUSH2 0x0778 00001089: PUSH0 0000108a: DUP1 0000108b: MLOAD 0000108c: PUSH1 0x20 0000108e: PUSH2 0x1ab3 00001091: DUP4 00001092: CODECOPY 00001093: DUP2 00001094: MLOAD 00001095: SWAP2 00001096: MSTORE 00001097: DUP4 00001098: PUSH2 0x1260 0000109b: JUMP 0000109c: JUMPDEST 0000109d: PUSH2 0x05f9 000010a0: PUSH31 0xd2ead78c620e94b02d0a996e99298c59ddccfa1d8a0149080ac3a20de06068 000010c0: DUP3 000010c1: PUSH2 0x1181 000010c4: JUMP 000010c5: JUMPDEST 000010c6: PUSH2 0x05f9 000010c9: PUSH31 0xd2ead78c620e94b02d0a996e99298c59ddccfa1d8a0149080ac3a20de06068 000010e9: DUP3 000010ea: PUSH2 0x11b6 000010ed: JUMP 000010ee: JUMPDEST 000010ef: PUSH2 0x05f9 000010f2: PUSH32 0x0251e864ca2a080f55bce5da2452e8cfcafdbc951a3e7fff5023d558452ec228 00001113: DUP3 00001114: PUSH2 0x11b6 00001117: JUMP 00001118: JUMPDEST 00001119: DUP1 0000111a: CALLER 0000111b: PUSH1 0x01 0000111d: PUSH1 0x01 0000111f: PUSH1 0xa0 00001121: SHL 00001122: SUB 00001123: DUP3 00001124: AND 00001125: SUB 00001126: PUSH2 0x116a 00001129: JUMPI 0000112a: PUSH1 0x40 0000112c: MLOAD 0000112d: PUSH3 0x461bcd 00001131: PUSH1 0xe5 00001133: SHL 00001134: DUP2 00001135: MSTORE 00001136: PUSH1 0x20 00001138: PUSH1 0x04 0000113a: DUP3 0000113b: ADD 0000113c: MSTORE 0000113d: PUSH1 0x16 0000113f: PUSH1 0x24 00001141: DUP3 00001142: ADD 00001143: MSTORE 00001144: PUSH22 0x21a0a72727aa2fa822a92327a926afa7a72fa9a2a623 0000115b: PUSH1 0x51 0000115d: SHL 0000115e: PUSH1 0x44 00001160: DUP3 00001161: ADD 00001162: MSTORE 00001163: PUSH1 0x64 00001165: ADD 00001166: PUSH2 0x01b2 00001169: JUMP 0000116a: JUMPDEST 0000116b: PUSH2 0x0678 0000116e: PUSH0 0000116f: DUP1 00001170: MLOAD 00001171: PUSH1 0x20 00001173: PUSH2 0x1ab3 00001176: DUP4 00001177: CODECOPY 00001178: DUP2 00001179: MLOAD 0000117a: SWAP2 0000117b: MSTORE 0000117c: DUP4 0000117d: PUSH2 0x11b6 00001180: JUMP 00001181: JUMPDEST 00001182: PUSH0 00001183: DUP3 00001184: DUP2 00001185: MSTORE 00001186: PUSH0 00001187: DUP1 00001188: MLOAD 00001189: PUSH1 0x20 0000118b: PUSH2 0x1ad3 0000118e: DUP4 0000118f: CODECOPY 00001190: DUP2 00001191: MLOAD 00001192: SWAP2 00001193: MSTORE 00001194: PUSH1 0x20 00001196: MSTORE 00001197: PUSH1 0x40 00001199: SWAP1 0000119a: KECCAK256 0000119b: PUSH1 0x01 0000119d: ADD 0000119e: SLOAD 0000119f: PUSH2 0x11a7 000011a2: DUP2 000011a3: PUSH2 0x13f7 000011a6: JUMP 000011a7: JUMPDEST 000011a8: PUSH2 0x11b1 000011ab: DUP4 000011ac: DUP4 000011ad: PUSH2 0x1401 000011b0: JUMP 000011b1: JUMPDEST 000011b2: POP 000011b3: POP 000011b4: POP 000011b5: JUMP 000011b6: JUMPDEST 000011b7: PUSH0 000011b8: DUP3 000011b9: DUP2 000011ba: MSTORE 000011bb: PUSH0 000011bc: DUP1 000011bd: MLOAD 000011be: PUSH1 0x20 000011c0: PUSH2 0x1ad3 000011c3: DUP4 000011c4: CODECOPY 000011c5: DUP2 000011c6: MLOAD 000011c7: SWAP2 000011c8: MSTORE 000011c9: PUSH1 0x20 000011cb: MSTORE 000011cc: PUSH1 0x40 000011ce: SWAP1 000011cf: KECCAK256 000011d0: PUSH1 0x01 000011d2: ADD 000011d3: SLOAD 000011d4: PUSH2 0x11dc 000011d7: DUP2 000011d8: PUSH2 0x13f7 000011db: JUMP 000011dc: JUMPDEST 000011dd: PUSH2 0x11b1 000011e0: DUP4 000011e1: DUP4 000011e2: PUSH2 0x1475 000011e5: JUMP 000011e6: JUMPDEST 000011e7: PUSH1 0x01 000011e9: PUSH1 0x01 000011eb: PUSH1 0xa0 000011ed: SHL 000011ee: SUB 000011ef: DUP2 000011f0: AND 000011f1: CALLER 000011f2: EQ 000011f3: PUSH2 0x1256 000011f6: JUMPI 000011f7: PUSH1 0x40 000011f9: MLOAD 000011fa: PUSH3 0x461bcd 000011fe: PUSH1 0xe5 00001200: SHL 00001201: DUP2 00001202: MSTORE 00001203: PUSH1 0x20 00001205: PUSH1 0x04 00001207: DUP3 00001208: ADD 00001209: MSTORE 0000120a: PUSH1 0x2f 0000120c: PUSH1 0x24 0000120e: DUP3 0000120f: ADD 00001210: MSTORE 00001211: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 00001232: PUSH1 0x44 00001234: DUP3 00001235: ADD 00001236: MSTORE 00001237: PUSH15 0x103937b632b9903337b91039b2b633 00001247: PUSH1 0x89 00001249: SHL 0000124a: PUSH1 0x64 0000124c: DUP3 0000124d: ADD 0000124e: MSTORE 0000124f: PUSH1 0x84 00001251: ADD 00001252: PUSH2 0x01b2 00001255: JUMP 00001256: JUMPDEST 00001257: PUSH2 0x0678 0000125a: DUP3 0000125b: DUP3 0000125c: PUSH2 0x1475 0000125f: JUMP 00001260: JUMPDEST 00001261: PUSH0 00001262: SWAP2 00001263: DUP3 00001264: MSTORE 00001265: PUSH0 00001266: DUP1 00001267: MLOAD 00001268: PUSH1 0x20 0000126a: PUSH2 0x1ad3 0000126d: DUP4 0000126e: CODECOPY 0000126f: DUP2 00001270: MLOAD 00001271: SWAP2 00001272: MSTORE 00001273: PUSH1 0x20 00001275: SWAP1 00001276: DUP2 00001277: MSTORE 00001278: PUSH1 0x40 0000127a: DUP1 0000127b: DUP5 0000127c: KECCAK256 0000127d: PUSH1 0x01 0000127f: PUSH1 0x01 00001281: PUSH1 0xa0 00001283: SHL 00001284: SUB 00001285: SWAP4 00001286: SWAP1 00001287: SWAP4 00001288: AND 00001289: DUP5 0000128a: MSTORE 0000128b: SWAP2 0000128c: SWAP1 0000128d: MSTORE 0000128e: SWAP1 0000128f: KECCAK256 00001290: SLOAD 00001291: PUSH1 0xff 00001293: AND 00001294: SWAP1 00001295: JUMP 00001296: JUMPDEST 00001297: PUSH0 00001298: PUSH2 0x12cc 0000129b: PUSH1 0x40 0000129d: MLOAD 0000129e: DUP1 0000129f: PUSH1 0x40 000012a1: ADD 000012a2: PUSH1 0x40 000012a4: MSTORE 000012a5: DUP1 000012a6: PUSH1 0x14 000012a8: DUP2 000012a9: MSTORE 000012aa: PUSH1 0x20 000012ac: ADD 000012ad: PUSH20 0x50524f58595f355f454e41424c45445f54494d45 000012c2: PUSH1 0x60 000012c4: SHL 000012c5: DUP2 000012c6: MSTORE 000012c7: POP 000012c8: PUSH2 0x14e7 000012cb: JUMP 000012cc: JUMPDEST 000012cd: SWAP1 000012ce: POP 000012cf: SWAP1 000012d0: JUMP 000012d1: JUMPDEST 000012d2: PUSH0 000012d3: PUSH2 0x12cc 000012d6: PUSH1 0x40 000012d8: MLOAD 000012d9: DUP1 000012da: PUSH1 0x40 000012dc: ADD 000012dd: PUSH1 0x40 000012df: MSTORE 000012e0: DUP1 000012e1: PUSH1 0x15 000012e3: DUP2 000012e4: MSTORE 000012e5: PUSH1 0x20 000012e7: ADD 000012e8: PUSH21 0x50524f58595f355f44495341424c45445f54494d45 000012fe: PUSH1 0x58 00001300: SHL 00001301: DUP2 00001302: MSTORE 00001303: POP 00001304: PUSH2 0x14e7 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH0 0000130a: DUP1 0000130b: PUSH2 0x131f 0000130e: PUSH0 0000130f: DUP1 00001310: MLOAD 00001311: PUSH1 0x20 00001313: PUSH2 0x1af3 00001316: DUP4 00001317: CODECOPY 00001318: DUP2 00001319: MLOAD 0000131a: SWAP2 0000131b: MSTORE 0000131c: SLOAD 0000131d: SWAP1 0000131e: JUMP 0000131f: JUMPDEST 00001320: SWAP1 00001321: POP 00001322: PUSH1 0x01 00001324: PUSH1 0x01 00001326: PUSH1 0xa0 00001328: SHL 00001329: SUB 0000132a: DUP2 0000132b: AND 0000132c: PUSH2 0x1336 0000132f: JUMPI 00001330: PUSH0 00001331: SWAP2 00001332: POP 00001333: POP 00001334: SWAP1 00001335: JUMP 00001336: JUMPDEST 00001337: PUSH1 0x40 00001339: DUP1 0000133a: MLOAD 0000133b: PUSH1 0x04 0000133d: DUP2 0000133e: MSTORE 0000133f: PUSH1 0x24 00001341: DUP2 00001342: ADD 00001343: DUP3 00001344: MSTORE 00001345: PUSH1 0x20 00001347: DUP2 00001348: ADD 00001349: DUP1 0000134a: MLOAD 0000134b: PUSH1 0x01 0000134d: PUSH1 0x01 0000134f: PUSH1 0xe0 00001351: SHL 00001352: SUB 00001353: AND 00001354: PUSH4 0x33eeb147 00001359: PUSH1 0xe0 0000135b: SHL 0000135c: OR 0000135d: SWAP1 0000135e: MSTORE 0000135f: SWAP1 00001360: MLOAD 00001361: PUSH0 00001362: SWAP2 00001363: DUP3 00001364: SWAP2 00001365: PUSH1 0x01 00001367: PUSH1 0x01 00001369: PUSH1 0xa0 0000136b: SHL 0000136c: SUB 0000136d: DUP6 0000136e: AND 0000136f: SWAP2 00001370: PUSH2 0x1378 00001373: SWAP2 00001374: PUSH2 0x19b4 00001377: JUMP 00001378: JUMPDEST 00001379: PUSH0 0000137a: PUSH1 0x40 0000137c: MLOAD 0000137d: DUP1 0000137e: DUP4 0000137f: SUB 00001380: DUP2 00001381: DUP6 00001382: GAS 00001383: DELEGATECALL 00001384: SWAP2 00001385: POP 00001386: POP 00001387: RETURNDATASIZE 00001388: DUP1 00001389: PUSH0 0000138a: DUP2 0000138b: EQ 0000138c: PUSH2 0x13b0 0000138f: JUMPI 00001390: PUSH1 0x40 00001392: MLOAD 00001393: SWAP2 00001394: POP 00001395: PUSH1 0x1f 00001397: NOT 00001398: PUSH1 0x3f 0000139a: RETURNDATASIZE 0000139b: ADD 0000139c: AND 0000139d: DUP3 0000139e: ADD 0000139f: PUSH1 0x40 000013a1: MSTORE 000013a2: RETURNDATASIZE 000013a3: DUP3 000013a4: MSTORE 000013a5: RETURNDATASIZE 000013a6: PUSH0 000013a7: PUSH1 0x20 000013a9: DUP5 000013aa: ADD 000013ab: RETURNDATACOPY 000013ac: PUSH2 0x13b5 000013af: JUMP 000013b0: JUMPDEST 000013b1: PUSH1 0x60 000013b3: SWAP2 000013b4: POP 000013b5: JUMPDEST 000013b6: POP 000013b7: SWAP2 000013b8: POP 000013b9: SWAP2 000013ba: POP 000013bb: DUP2 000013bc: DUP2 000013bd: SWAP1 000013be: PUSH2 0x13da 000013c1: JUMPI 000013c2: PUSH1 0x40 000013c4: MLOAD 000013c5: PUSH3 0x461bcd 000013c9: PUSH1 0xe5 000013cb: SHL 000013cc: DUP2 000013cd: MSTORE 000013ce: PUSH1 0x04 000013d0: ADD 000013d1: PUSH2 0x01b2 000013d4: SWAP2 000013d5: SWAP1 000013d6: PUSH2 0x188d 000013d9: JUMP 000013da: JUMPDEST 000013db: POP 000013dc: DUP1 000013dd: DUP1 000013de: PUSH1 0x20 000013e0: ADD 000013e1: SWAP1 000013e2: MLOAD 000013e3: DUP2 000013e4: ADD 000013e5: SWAP1 000013e6: PUSH2 0x13ef 000013e9: SWAP2 000013ea: SWAP1 000013eb: PUSH2 0x19cf 000013ee: JUMP 000013ef: JUMPDEST 000013f0: SWAP4 000013f1: POP 000013f2: POP 000013f3: POP 000013f4: POP 000013f5: SWAP1 000013f6: JUMP 000013f7: JUMPDEST 000013f8: PUSH2 0x05f9 000013fb: DUP2 000013fc: CALLER 000013fd: PUSH2 0x1519 00001400: JUMP 00001401: JUMPDEST 00001402: PUSH2 0x140b 00001405: DUP3 00001406: DUP3 00001407: PUSH2 0x1260 0000140a: JUMP 0000140b: JUMPDEST 0000140c: PUSH2 0x0678 0000140f: JUMPI 00001410: PUSH0 00001411: DUP3 00001412: DUP2 00001413: MSTORE 00001414: PUSH0 00001415: DUP1 00001416: MLOAD 00001417: PUSH1 0x20 00001419: PUSH2 0x1ad3 0000141c: DUP4 0000141d: CODECOPY 0000141e: DUP2 0000141f: MLOAD 00001420: SWAP2 00001421: MSTORE 00001422: PUSH1 0x20 00001424: SWAP1 00001425: DUP2 00001426: MSTORE 00001427: PUSH1 0x40 00001429: DUP1 0000142a: DUP4 0000142b: KECCAK256 0000142c: PUSH1 0x01 0000142e: PUSH1 0x01 00001430: PUSH1 0xa0 00001432: SHL 00001433: SUB 00001434: DUP6 00001435: AND 00001436: DUP1 00001437: DUP6 00001438: MSTORE 00001439: SWAP3 0000143a: MSTORE 0000143b: DUP1 0000143c: DUP4 0000143d: KECCAK256 0000143e: DUP1 0000143f: SLOAD 00001440: PUSH1 0xff 00001442: NOT 00001443: AND 00001444: PUSH1 0x01 00001446: OR 00001447: SWAP1 00001448: SSTORE 00001449: MLOAD 0000144a: CALLER 0000144b: SWAP3 0000144c: DUP6 0000144d: SWAP2 0000144e: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 0000146f: SWAP2 00001470: SWAP1 00001471: LOG4 00001472: POP 00001473: POP 00001474: JUMP 00001475: JUMPDEST 00001476: PUSH2 0x147f 00001479: DUP3 0000147a: DUP3 0000147b: PUSH2 0x1260 0000147e: JUMP 0000147f: JUMPDEST 00001480: ISZERO 00001481: PUSH2 0x0678 00001484: JUMPI 00001485: PUSH0 00001486: DUP3 00001487: DUP2 00001488: MSTORE 00001489: PUSH0 0000148a: DUP1 0000148b: MLOAD 0000148c: PUSH1 0x20 0000148e: PUSH2 0x1ad3 00001491: DUP4 00001492: CODECOPY 00001493: DUP2 00001494: MLOAD 00001495: SWAP2 00001496: MSTORE 00001497: PUSH1 0x20 00001499: SWAP1 0000149a: DUP2 0000149b: MSTORE 0000149c: PUSH1 0x40 0000149e: DUP1 0000149f: DUP4 000014a0: KECCAK256 000014a1: PUSH1 0x01 000014a3: PUSH1 0x01 000014a5: PUSH1 0xa0 000014a7: SHL 000014a8: SUB 000014a9: DUP6 000014aa: AND 000014ab: DUP1 000014ac: DUP6 000014ad: MSTORE 000014ae: SWAP3 000014af: MSTORE 000014b0: DUP1 000014b1: DUP4 000014b2: KECCAK256 000014b3: DUP1 000014b4: SLOAD 000014b5: PUSH1 0xff 000014b7: NOT 000014b8: AND 000014b9: SWAP1 000014ba: SSTORE 000014bb: MLOAD 000014bc: CALLER 000014bd: SWAP3 000014be: DUP6 000014bf: SWAP2 000014c0: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 000014e1: SWAP2 000014e2: SWAP1 000014e3: LOG4 000014e4: POP 000014e5: POP 000014e6: JUMP 000014e7: JUMPDEST 000014e8: PUSH0 000014e9: DUP1 000014ea: DUP3 000014eb: PUSH1 0x40 000014ed: MLOAD 000014ee: PUSH1 0x20 000014f0: ADD 000014f1: PUSH2 0x14fa 000014f4: SWAP2 000014f5: SWAP1 000014f6: PUSH2 0x19b4 000014f9: JUMP 000014fa: JUMPDEST 000014fb: PUSH1 0x40 000014fd: DUP1 000014fe: MLOAD 000014ff: PUSH1 0x1f 00001501: NOT 00001502: DUP2 00001503: DUP5 00001504: SUB 00001505: ADD 00001506: DUP2 00001507: MSTORE 00001508: SWAP2 00001509: SWAP1 0000150a: MSTORE 0000150b: DUP1 0000150c: MLOAD 0000150d: PUSH1 0x20 0000150f: SWAP1 00001510: SWAP2 00001511: ADD 00001512: KECCAK256 00001513: SWAP4 00001514: SWAP3 00001515: POP 00001516: POP 00001517: POP 00001518: JUMP 00001519: JUMPDEST 0000151a: PUSH2 0x1523 0000151d: DUP3 0000151e: DUP3 0000151f: PUSH2 0x1260 00001522: JUMP 00001523: JUMPDEST 00001524: PUSH2 0x0678 00001527: JUMPI 00001528: PUSH2 0x153b 0000152b: DUP2 0000152c: PUSH1 0x01 0000152e: PUSH1 0x01 00001530: PUSH1 0xa0 00001532: SHL 00001533: SUB 00001534: AND 00001535: PUSH1 0x14 00001537: PUSH2 0x157d 0000153a: JUMP 0000153b: JUMPDEST 0000153c: PUSH2 0x1546 0000153f: DUP4 00001540: PUSH1 0x20 00001542: PUSH2 0x157d 00001545: JUMP 00001546: JUMPDEST 00001547: PUSH1 0x40 00001549: MLOAD 0000154a: PUSH1 0x20 0000154c: ADD 0000154d: PUSH2 0x1557 00001550: SWAP3 00001551: SWAP2 00001552: SWAP1 00001553: PUSH2 0x19ea 00001556: JUMP 00001557: JUMPDEST 00001558: PUSH1 0x40 0000155a: DUP1 0000155b: MLOAD 0000155c: PUSH1 0x1f 0000155e: NOT 0000155f: DUP2 00001560: DUP5 00001561: SUB 00001562: ADD 00001563: DUP2 00001564: MSTORE 00001565: SWAP1 00001566: DUP3 00001567: SWAP1 00001568: MSTORE 00001569: PUSH3 0x461bcd 0000156d: PUSH1 0xe5 0000156f: SHL 00001570: DUP3 00001571: MSTORE 00001572: PUSH2 0x01b2 00001575: SWAP2 00001576: PUSH1 0x04 00001578: ADD 00001579: PUSH2 0x188d 0000157c: JUMP 0000157d: JUMPDEST 0000157e: PUSH1 0x60 00001580: PUSH0 00001581: PUSH2 0x158b 00001584: DUP4 00001585: PUSH1 0x02 00001587: PUSH2 0x1a5e 0000158a: JUMP 0000158b: JUMPDEST 0000158c: PUSH2 0x1596 0000158f: SWAP1 00001590: PUSH1 0x02 00001592: PUSH2 0x1986 00001595: JUMP 00001596: JUMPDEST 00001597: PUSH8 0xffffffffffffffff 000015a0: DUP2 000015a1: GT 000015a2: ISZERO 000015a3: PUSH2 0x15ae 000015a6: JUMPI 000015a7: PUSH2 0x15ae 000015aa: PUSH2 0x1a75 000015ad: JUMP 000015ae: JUMPDEST 000015af: PUSH1 0x40 000015b1: MLOAD 000015b2: SWAP1 000015b3: DUP1 000015b4: DUP3 000015b5: MSTORE 000015b6: DUP1 000015b7: PUSH1 0x1f 000015b9: ADD 000015ba: PUSH1 0x1f 000015bc: NOT 000015bd: AND 000015be: PUSH1 0x20 000015c0: ADD 000015c1: DUP3 000015c2: ADD 000015c3: PUSH1 0x40 000015c5: MSTORE 000015c6: DUP1 000015c7: ISZERO 000015c8: PUSH2 0x15d8 000015cb: JUMPI 000015cc: PUSH1 0x20 000015ce: DUP3 000015cf: ADD 000015d0: DUP2 000015d1: DUP1 000015d2: CALLDATASIZE 000015d3: DUP4 000015d4: CALLDATACOPY 000015d5: ADD 000015d6: SWAP1 000015d7: POP 000015d8: JUMPDEST 000015d9: POP 000015da: SWAP1 000015db: POP 000015dc: PUSH1 0x03 000015de: PUSH1 0xfc 000015e0: SHL 000015e1: DUP2 000015e2: PUSH0 000015e3: DUP2 000015e4: MLOAD 000015e5: DUP2 000015e6: LT 000015e7: PUSH2 0x15f2 000015ea: JUMPI 000015eb: PUSH2 0x15f2 000015ee: PUSH2 0x1a89 000015f1: JUMP 000015f2: JUMPDEST 000015f3: PUSH1 0x20 000015f5: ADD 000015f6: ADD 000015f7: SWAP1 000015f8: PUSH1 0x01 000015fa: PUSH1 0x01 000015fc: PUSH1 0xf8 000015fe: SHL 000015ff: SUB 00001600: NOT 00001601: AND 00001602: SWAP1 00001603: DUP2 00001604: PUSH0 00001605: BYTE 00001606: SWAP1 00001607: MSTORE8 00001608: POP 00001609: PUSH1 0x0f 0000160b: PUSH1 0xfb 0000160d: SHL 0000160e: DUP2 0000160f: PUSH1 0x01 00001611: DUP2 00001612: MLOAD 00001613: DUP2 00001614: LT 00001615: PUSH2 0x1620 00001618: JUMPI 00001619: PUSH2 0x1620 0000161c: PUSH2 0x1a89 0000161f: JUMP 00001620: JUMPDEST 00001621: PUSH1 0x20 00001623: ADD 00001624: ADD 00001625: SWAP1 00001626: PUSH1 0x01 00001628: PUSH1 0x01 0000162a: PUSH1 0xf8 0000162c: SHL 0000162d: SUB 0000162e: NOT 0000162f: AND 00001630: SWAP1 00001631: DUP2 00001632: PUSH0 00001633: BYTE 00001634: SWAP1 00001635: MSTORE8 00001636: POP 00001637: PUSH0 00001638: PUSH2 0x1642 0000163b: DUP5 0000163c: PUSH1 0x02 0000163e: PUSH2 0x1a5e 00001641: JUMP 00001642: JUMPDEST 00001643: PUSH2 0x164d 00001646: SWAP1 00001647: PUSH1 0x01 00001649: PUSH2 0x1986 0000164c: JUMP 0000164d: JUMPDEST 0000164e: SWAP1 0000164f: POP 00001650: JUMPDEST 00001651: PUSH1 0x01 00001653: DUP2 00001654: GT 00001655: ISZERO 00001656: PUSH2 0x16c4 00001659: JUMPI 0000165a: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3 0000166b: PUSH1 0x81 0000166d: SHL 0000166e: DUP6 0000166f: PUSH1 0x0f 00001671: AND 00001672: PUSH1 0x10 00001674: DUP2 00001675: LT 00001676: PUSH2 0x1681 00001679: JUMPI 0000167a: PUSH2 0x1681 0000167d: PUSH2 0x1a89 00001680: JUMP 00001681: JUMPDEST 00001682: BYTE 00001683: PUSH1 0xf8 00001685: SHL 00001686: DUP3 00001687: DUP3 00001688: DUP2 00001689: MLOAD 0000168a: DUP2 0000168b: LT 0000168c: PUSH2 0x1697 0000168f: JUMPI 00001690: PUSH2 0x1697 00001693: PUSH2 0x1a89 00001696: JUMP 00001697: JUMPDEST 00001698: PUSH1 0x20 0000169a: ADD 0000169b: ADD 0000169c: SWAP1 0000169d: PUSH1 0x01 0000169f: PUSH1 0x01 000016a1: PUSH1 0xf8 000016a3: SHL 000016a4: SUB 000016a5: NOT 000016a6: AND 000016a7: SWAP1 000016a8: DUP2 000016a9: PUSH0 000016aa: BYTE 000016ab: SWAP1 000016ac: MSTORE8 000016ad: POP 000016ae: PUSH1 0x04 000016b0: SWAP5 000016b1: SWAP1 000016b2: SWAP5 000016b3: SHR 000016b4: SWAP4 000016b5: PUSH2 0x16bd 000016b8: DUP2 000016b9: PUSH2 0x1a9d 000016bc: JUMP 000016bd: JUMPDEST 000016be: SWAP1 000016bf: POP 000016c0: PUSH2 0x1650 000016c3: JUMP 000016c4: JUMPDEST 000016c5: POP 000016c6: DUP4 000016c7: ISZERO 000016c8: PUSH2 0x1713 000016cb: JUMPI 000016cc: PUSH1 0x40 000016ce: MLOAD 000016cf: PUSH3 0x461bcd 000016d3: PUSH1 0xe5 000016d5: SHL 000016d6: DUP2 000016d7: MSTORE 000016d8: PUSH1 0x20 000016da: PUSH1 0x04 000016dc: DUP3 000016dd: ADD 000016de: DUP2 000016df: SWAP1 000016e0: MSTORE 000016e1: PUSH1 0x24 000016e3: DUP3 000016e4: ADD 000016e5: MSTORE 000016e6: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 00001707: PUSH1 0x44 00001709: DUP3 0000170a: ADD 0000170b: MSTORE 0000170c: PUSH1 0x64 0000170e: ADD 0000170f: PUSH2 0x01b2 00001712: JUMP 00001713: JUMPDEST 00001714: SWAP4 00001715: SWAP3 00001716: POP 00001717: POP 00001718: POP 00001719: JUMP 0000171a: JUMPDEST 0000171b: DUP1 0000171c: CALLDATALOAD 0000171d: PUSH1 0x01 0000171f: PUSH1 0x01 00001721: PUSH1 0xa0 00001723: SHL 00001724: SUB 00001725: DUP2 00001726: AND 00001727: DUP2 00001728: EQ 00001729: PUSH2 0x1730 0000172c: JUMPI 0000172d: PUSH0 0000172e: DUP1 0000172f: REVERT 00001730: JUMPDEST 00001731: SWAP2 00001732: SWAP1 00001733: POP 00001734: JUMP 00001735: JUMPDEST 00001736: PUSH0 00001737: PUSH1 0x20 00001739: DUP3 0000173a: DUP5 0000173b: SUB 0000173c: SLT 0000173d: ISZERO 0000173e: PUSH2 0x1745 00001741: JUMPI 00001742: PUSH0 00001743: DUP1 00001744: REVERT 00001745: JUMPDEST 00001746: PUSH2 0x1713 00001749: DUP3 0000174a: PUSH2 0x171a 0000174d: JUMP 0000174e: JUMPDEST 0000174f: PUSH0 00001750: DUP1 00001751: PUSH1 0x40 00001753: DUP4 00001754: DUP6 00001755: SUB 00001756: SLT 00001757: ISZERO 00001758: PUSH2 0x175f 0000175b: JUMPI 0000175c: PUSH0 0000175d: DUP1 0000175e: REVERT 0000175f: JUMPDEST 00001760: DUP3 00001761: CALLDATALOAD 00001762: SWAP2 00001763: POP 00001764: PUSH2 0x176f 00001767: PUSH1 0x20 00001769: DUP5 0000176a: ADD 0000176b: PUSH2 0x171a 0000176e: JUMP 0000176f: JUMPDEST 00001770: SWAP1 00001771: POP 00001772: SWAP3 00001773: POP 00001774: SWAP3 00001775: SWAP1 00001776: POP 00001777: JUMP 00001778: JUMPDEST 00001779: PUSH0 0000177a: DUP1 0000177b: DUP4 0000177c: PUSH1 0x1f 0000177e: DUP5 0000177f: ADD 00001780: SLT 00001781: PUSH2 0x1788 00001784: JUMPI 00001785: PUSH0 00001786: DUP1 00001787: REVERT 00001788: JUMPDEST 00001789: POP 0000178a: DUP2 0000178b: CALLDATALOAD 0000178c: PUSH8 0xffffffffffffffff 00001795: DUP2 00001796: GT 00001797: ISZERO 00001798: PUSH2 0x179f 0000179b: JUMPI 0000179c: PUSH0 0000179d: DUP1 0000179e: REVERT 0000179f: JUMPDEST 000017a0: PUSH1 0x20 000017a2: DUP4 000017a3: ADD 000017a4: SWAP2 000017a5: POP 000017a6: DUP4 000017a7: PUSH1 0x20 000017a9: DUP3 000017aa: DUP6 000017ab: ADD 000017ac: ADD 000017ad: GT 000017ae: ISZERO 000017af: PUSH2 0x17b6 000017b2: JUMPI 000017b3: PUSH0 000017b4: DUP1 000017b5: REVERT 000017b6: JUMPDEST 000017b7: SWAP3 000017b8: POP 000017b9: SWAP3 000017ba: SWAP1 000017bb: POP 000017bc: JUMP 000017bd: JUMPDEST 000017be: PUSH0 000017bf: DUP1 000017c0: PUSH1 0x20 000017c2: DUP4 000017c3: DUP6 000017c4: SUB 000017c5: SLT 000017c6: ISZERO 000017c7: PUSH2 0x17ce 000017ca: JUMPI 000017cb: PUSH0 000017cc: DUP1 000017cd: REVERT 000017ce: JUMPDEST 000017cf: DUP3 000017d0: CALLDATALOAD 000017d1: PUSH8 0xffffffffffffffff 000017da: DUP2 000017db: GT 000017dc: ISZERO 000017dd: PUSH2 0x17e4 000017e0: JUMPI 000017e1: PUSH0 000017e2: DUP1 000017e3: REVERT 000017e4: JUMPDEST 000017e5: PUSH2 0x17f0 000017e8: DUP6 000017e9: DUP3 000017ea: DUP7 000017eb: ADD 000017ec: PUSH2 0x1778 000017ef: JUMP 000017f0: JUMPDEST 000017f1: SWAP1 000017f2: SWAP7 000017f3: SWAP1 000017f4: SWAP6 000017f5: POP 000017f6: SWAP4 000017f7: POP 000017f8: POP 000017f9: POP 000017fa: POP 000017fb: JUMP 000017fc: JUMPDEST 000017fd: DUP1 000017fe: ISZERO 000017ff: ISZERO 00001800: DUP2 00001801: EQ 00001802: PUSH2 0x05f9 00001805: JUMPI 00001806: PUSH0 00001807: DUP1 00001808: REVERT 00001809: JUMPDEST 0000180a: PUSH0 0000180b: DUP1 0000180c: PUSH0 0000180d: DUP1 0000180e: PUSH1 0x60 00001810: DUP6 00001811: DUP8 00001812: SUB 00001813: SLT 00001814: ISZERO 00001815: PUSH2 0x181c 00001818: JUMPI 00001819: PUSH0 0000181a: DUP1 0000181b: REVERT 0000181c: JUMPDEST 0000181d: PUSH2 0x1825 00001820: DUP6 00001821: PUSH2 0x171a 00001824: JUMP 00001825: JUMPDEST 00001826: SWAP4 00001827: POP 00001828: PUSH1 0x20 0000182a: DUP6 0000182b: ADD 0000182c: CALLDATALOAD 0000182d: PUSH8 0xffffffffffffffff 00001836: DUP2 00001837: GT 00001838: ISZERO 00001839: PUSH2 0x1840 0000183c: JUMPI 0000183d: PUSH0 0000183e: DUP1 0000183f: REVERT 00001840: JUMPDEST 00001841: PUSH2 0x184c 00001844: DUP8 00001845: DUP3 00001846: DUP9 00001847: ADD 00001848: PUSH2 0x1778 0000184b: JUMP 0000184c: JUMPDEST 0000184d: SWAP1 0000184e: SWAP5 0000184f: POP 00001850: SWAP3 00001851: POP 00001852: POP 00001853: PUSH1 0x40 00001855: DUP6 00001856: ADD 00001857: CALLDATALOAD 00001858: PUSH2 0x1860 0000185b: DUP2 0000185c: PUSH2 0x17fc 0000185f: JUMP 00001860: JUMPDEST 00001861: SWAP4 00001862: SWAP7 00001863: SWAP3 00001864: SWAP6 00001865: POP 00001866: SWAP1 00001867: SWAP4 00001868: POP 00001869: POP 0000186a: JUMP 0000186b: JUMPDEST 0000186c: PUSH0 0000186d: JUMPDEST 0000186e: DUP4 0000186f: DUP2 00001870: LT 00001871: ISZERO 00001872: PUSH2 0x1885 00001875: JUMPI 00001876: DUP2 00001877: DUP2 00001878: ADD 00001879: MLOAD 0000187a: DUP4 0000187b: DUP3 0000187c: ADD 0000187d: MSTORE 0000187e: PUSH1 0x20 00001880: ADD 00001881: PUSH2 0x186d 00001884: JUMP 00001885: JUMPDEST 00001886: POP 00001887: POP 00001888: PUSH0 00001889: SWAP2 0000188a: ADD 0000188b: MSTORE 0000188c: JUMP 0000188d: JUMPDEST 0000188e: PUSH1 0x20 00001890: DUP2 00001891: MSTORE 00001892: PUSH0 00001893: DUP3 00001894: MLOAD 00001895: DUP1 00001896: PUSH1 0x20 00001898: DUP5 00001899: ADD 0000189a: MSTORE 0000189b: PUSH2 0x18ab 0000189e: DUP2 0000189f: PUSH1 0x40 000018a1: DUP6 000018a2: ADD 000018a3: PUSH1 0x20 000018a5: DUP8 000018a6: ADD 000018a7: PUSH2 0x186b 000018aa: JUMP 000018ab: JUMPDEST 000018ac: PUSH1 0x1f 000018ae: ADD 000018af: PUSH1 0x1f 000018b1: NOT 000018b2: AND 000018b3: SWAP2 000018b4: SWAP1 000018b5: SWAP2 000018b6: ADD 000018b7: PUSH1 0x40 000018b9: ADD 000018ba: SWAP3 000018bb: SWAP2 000018bc: POP 000018bd: POP 000018be: JUMP 000018bf: JUMPDEST 000018c0: PUSH1 0x20 000018c2: DUP1 000018c3: DUP3 000018c4: MSTORE 000018c5: PUSH1 0x15 000018c7: SWAP1 000018c8: DUP3 000018c9: ADD 000018ca: MSTORE 000018cb: PUSH21 0x27a7262cafaaa823a920a222afa3a7ab22a92727a9 000018e1: PUSH1 0x59 000018e3: SHL 000018e4: PUSH1 0x40 000018e6: DUP3 000018e7: ADD 000018e8: MSTORE 000018e9: PUSH1 0x60 000018eb: ADD 000018ec: SWAP1 000018ed: JUMP 000018ee: JUMPDEST 000018ef: DUP2 000018f0: DUP4 000018f1: MSTORE 000018f2: DUP2 000018f3: DUP2 000018f4: PUSH1 0x20 000018f6: DUP6 000018f7: ADD 000018f8: CALLDATACOPY 000018f9: POP 000018fa: PUSH0 000018fb: DUP3 000018fc: DUP3 000018fd: ADD 000018fe: PUSH1 0x20 00001900: SWAP1 00001901: DUP2 00001902: ADD 00001903: SWAP2 00001904: SWAP1 00001905: SWAP2 00001906: MSTORE 00001907: PUSH1 0x1f 00001909: SWAP1 0000190a: SWAP2 0000190b: ADD 0000190c: PUSH1 0x1f 0000190e: NOT 0000190f: AND 00001910: SWAP1 00001911: SWAP2 00001912: ADD 00001913: ADD 00001914: SWAP1 00001915: JUMP 00001916: JUMPDEST 00001917: PUSH1 0x01 00001919: PUSH1 0x01 0000191b: PUSH1 0xa0 0000191d: SHL 0000191e: SUB 0000191f: DUP6 00001920: AND 00001921: DUP2 00001922: MSTORE 00001923: PUSH1 0x60 00001925: PUSH1 0x20 00001927: DUP3 00001928: ADD 00001929: DUP2 0000192a: SWAP1 0000192b: MSTORE 0000192c: PUSH0 0000192d: SWAP1 0000192e: PUSH2 0x193a 00001931: SWAP1 00001932: DUP4 00001933: ADD 00001934: DUP6 00001935: DUP8 00001936: PUSH2 0x18ee 00001939: JUMP 0000193a: JUMPDEST 0000193b: SWAP1 0000193c: POP 0000193d: DUP3 0000193e: ISZERO 0000193f: ISZERO 00001940: PUSH1 0x40 00001942: DUP4 00001943: ADD 00001944: MSTORE 00001945: SWAP6 00001946: SWAP5 00001947: POP 00001948: POP 00001949: POP 0000194a: POP 0000194b: POP 0000194c: JUMP 0000194d: JUMPDEST 0000194e: PUSH1 0x40 00001950: DUP2 00001951: MSTORE 00001952: PUSH0 00001953: PUSH2 0x1960 00001956: PUSH1 0x40 00001958: DUP4 00001959: ADD 0000195a: DUP6 0000195b: DUP8 0000195c: PUSH2 0x18ee 0000195f: JUMP 00001960: JUMPDEST 00001961: SWAP1 00001962: POP 00001963: DUP3 00001964: ISZERO 00001965: ISZERO 00001966: PUSH1 0x20 00001968: DUP4 00001969: ADD 0000196a: MSTORE 0000196b: SWAP5 0000196c: SWAP4 0000196d: POP 0000196e: POP 0000196f: POP 00001970: POP 00001971: JUMP 00001972: JUMPDEST 00001973: PUSH4 0x4e487b71 00001978: PUSH1 0xe0 0000197a: SHL 0000197b: PUSH0 0000197c: MSTORE 0000197d: PUSH1 0x11 0000197f: PUSH1 0x04 00001981: MSTORE 00001982: PUSH1 0x24 00001984: PUSH0 00001985: REVERT 00001986: JUMPDEST 00001987: DUP1 00001988: DUP3 00001989: ADD 0000198a: DUP1 0000198b: DUP3 0000198c: GT 0000198d: ISZERO 0000198e: PUSH2 0x0778 00001991: JUMPI 00001992: PUSH2 0x0778 00001995: PUSH2 0x1972 00001998: JUMP 00001999: JUMPDEST 0000199a: PUSH1 0x20 0000199c: DUP2 0000199d: MSTORE 0000199e: PUSH0 0000199f: PUSH2 0x19ac 000019a2: PUSH1 0x20 000019a4: DUP4 000019a5: ADD 000019a6: DUP5 000019a7: DUP7 000019a8: PUSH2 0x18ee 000019ab: JUMP 000019ac: JUMPDEST 000019ad: SWAP5 000019ae: SWAP4 000019af: POP 000019b0: POP 000019b1: POP 000019b2: POP 000019b3: JUMP 000019b4: JUMPDEST 000019b5: PUSH0 000019b6: DUP3 000019b7: MLOAD 000019b8: PUSH2 0x19c5 000019bb: DUP2 000019bc: DUP5 000019bd: PUSH1 0x20 000019bf: DUP8 000019c0: ADD 000019c1: PUSH2 0x186b 000019c4: JUMP 000019c5: JUMPDEST 000019c6: SWAP2 000019c7: SWAP1 000019c8: SWAP2 000019c9: ADD 000019ca: SWAP3 000019cb: SWAP2 000019cc: POP 000019cd: POP 000019ce: JUMP 000019cf: JUMPDEST 000019d0: PUSH0 000019d1: PUSH1 0x20 000019d3: DUP3 000019d4: DUP5 000019d5: SUB 000019d6: SLT 000019d7: ISZERO 000019d8: PUSH2 0x19df 000019db: JUMPI 000019dc: PUSH0 000019dd: DUP1 000019de: REVERT 000019df: JUMPDEST 000019e0: DUP2 000019e1: MLOAD 000019e2: PUSH2 0x1713 000019e5: DUP2 000019e6: PUSH2 0x17fc 000019e9: JUMP 000019ea: JUMPDEST 000019eb: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 00001a0c: DUP2 00001a0d: MSTORE 00001a0e: PUSH0 00001a0f: DUP4 00001a10: MLOAD 00001a11: PUSH2 0x1a21 00001a14: DUP2 00001a15: PUSH1 0x17 00001a17: DUP6 00001a18: ADD 00001a19: PUSH1 0x20 00001a1b: DUP9 00001a1c: ADD 00001a1d: PUSH2 0x186b 00001a20: JUMP 00001a21: JUMPDEST 00001a22: PUSH17 0x01034b99036b4b9b9b4b733903937b6329 00001a34: PUSH1 0x7d 00001a36: SHL 00001a37: PUSH1 0x17 00001a39: SWAP2 00001a3a: DUP5 00001a3b: ADD 00001a3c: SWAP2 00001a3d: DUP3 00001a3e: ADD 00001a3f: MSTORE 00001a40: DUP4 00001a41: MLOAD 00001a42: PUSH2 0x1a52 00001a45: DUP2 00001a46: PUSH1 0x28 00001a48: DUP5 00001a49: ADD 00001a4a: PUSH1 0x20 00001a4c: DUP9 00001a4d: ADD 00001a4e: PUSH2 0x186b 00001a51: JUMP 00001a52: JUMPDEST 00001a53: ADD 00001a54: PUSH1 0x28 00001a56: ADD 00001a57: SWAP5 00001a58: SWAP4 00001a59: POP 00001a5a: POP 00001a5b: POP 00001a5c: POP 00001a5d: JUMP 00001a5e: JUMPDEST 00001a5f: DUP1 00001a60: DUP3 00001a61: MUL 00001a62: DUP2 00001a63: ISZERO 00001a64: DUP3 00001a65: DUP3 00001a66: DIV 00001a67: DUP5 00001a68: EQ 00001a69: OR 00001a6a: PUSH2 0x0778 00001a6d: JUMPI 00001a6e: PUSH2 0x0778 00001a71: PUSH2 0x1972 00001a74: JUMP 00001a75: JUMPDEST 00001a76: PUSH4 0x4e487b71 00001a7b: PUSH1 0xe0 00001a7d: SHL 00001a7e: PUSH0 00001a7f: MSTORE 00001a80: PUSH1 0x41 00001a82: PUSH1 0x04 00001a84: MSTORE 00001a85: PUSH1 0x24 00001a87: PUSH0 00001a88: REVERT 00001a89: JUMPDEST 00001a8a: PUSH4 0x4e487b71 00001a8f: PUSH1 0xe0 00001a91: SHL 00001a92: PUSH0 00001a93: MSTORE 00001a94: PUSH1 0x32 00001a96: PUSH1 0x04 00001a98: MSTORE 00001a99: PUSH1 0x24 00001a9b: PUSH0 00001a9c: REVERT 00001a9d: JUMPDEST 00001a9e: PUSH0 00001a9f: DUP2 00001aa0: PUSH2 0x1aab 00001aa3: JUMPI 00001aa4: PUSH2 0x1aab 00001aa7: PUSH2 0x1972 00001aaa: JUMP 00001aab: JUMPDEST 00001aac: POP 00001aad: PUSH0 00001aae: NOT 00001aaf: ADD 00001ab0: SWAP1 00001ab1: JUMP 00001ab2: INVALID 00001ab3: SUB 00001ab4: PUSH18 0x1c9d994faf6055172091cb841fd4831aa743 00001ac7: UNKNOWN(0xE6) 00001ac8: RETURN 00001ac9: BALANCE 00001aca: MLOAD 00001acb: PUSH4 0xb06a122c 00001ad0: DUP5 00001ad1: XOR 00001ad2: CHAINID 00001ad3: MSTORE8 00001ad4: UNKNOWN(0xE4) 00001ad5: EXTCODESIZE 00001ad6: SWAP6 00001ad7: UNKNOWN(0x4B) 00001ad8: LOG1 00001ad9: SWAP1 00001ada: UNKNOWN(0xA7) 00001adb: UNKNOWN(0xE4) 00001adc: SWAP4 00001add: DUP7 00001ade: CALL 00001adf: UNKNOWN(0xF7) 00001ae0: DUP12 00001ae1: ADD 00001ae2: UNKNOWN(0xDC) 00001ae3: UNKNOWN(0xD9) 00001ae4: UNKNOWN(0xF6) 00001ae5: UNKNOWN(0x28) 00001ae6: UNKNOWN(0xDB) 00001ae7: UNKNOWN(0x23) 00001ae8: DELEGATECALL 00001ae9: ORIGIN 00001aea: STATICCALL 00001aeb: MUL 00001aec: SWAP11 00001aed: PUSH30 0xfd6d98e8fb177667240aeeea7e35eabe3a35e18306f336219e1386f7710a 00001b0c: PUSH12 0xf8783f761b24a26469706673 00001b19: PC 00001b1a: UNKNOWN(0x22) 00001b1b: SLT 00001b1c: KECCAK256 00001b1d: UNKNOWN(0xDC) 00001b1e: LOG0 00001b1f: DUP16 00001b20: SWAP8 00001b21: SWAP10 00001b22: SWAP15 00001b23: UNKNOWN(0xE9) 00001b24: PC 00001b25: PUSH31 0xbdb7e3e91e743c1b9c5202db419d33657316ee32cd0d8364736f6c63430008 00001b45: EQ 00001b46: STOP 00001b47: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x1f10e018fcbc47035f1a1d96396b82eb053f7652b6cfd478650e8825931e886c
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x1f10e018fcbc47035f1a1d96396b82eb053f7652b6cfd478650e8825931e886c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xe02904c6",
"selector": "0xe02904c6",
"calldata_variants": [
"0xe02904c6",
"0xe02904c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe907fa3c",
"selector": "0xe907fa3c",
"calldata_variants": [
"0xe907fa3c",
"0xe907fa3c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xed9ef16a",
"selector": "0xed9ef16a",
"calldata_variants": [
"0xed9ef16a",
"0xed9ef16a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee0e6807",
"selector": "0xee0e6807",
"calldata_variants": [
"0xee0e6807",
"0xee0e68070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdd1f70d",
"selector": "0xcdd1f70d",
"calldata_variants": [
"0xcdd1f70d",
"0xcdd1f70d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd38d8d7a",
"selector": "0xd38d8d7a",
"calldata_variants": [
"0xd38d8d7a",
"0xd38d8d7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdeec9c5a",
"selector": "0xdeec9c5a",
"calldata_variants": [
"0xdeec9c5a",
"0xdeec9c5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7147855d",
"selector": "0x7147855d",
"calldata_variants": [
"0x7147855d",
"0x7147855d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 557,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3482,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 3643,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 6889,
"type": "tx_origin_used"
}
],
"delegatecall_count": 5,
"untrusted_delegatecall_count": 5
}
|
| 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": "0xe02904c6",
"selector": "0xe02904c6",
"calldata_variants": [
"0xe02904c6",
"0xe02904c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe907fa3c",
"selector": "0xe907fa3c",
"calldata_variants": [
"0xe907fa3c",
"0xe907fa3c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xed9ef16a",
"selector": "0xed9ef16a",
"calldata_variants": [
"0xed9ef16a",
"0xed9ef16a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee0e6807",
"selector": "0xee0e6807",
"calldata_variants": [
"0xee0e6807",
"0xee0e68070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdd1f70d",
"selector": "0xcdd1f70d",
"calldata_variants": [
"0xcdd1f70d",
"0xcdd1f70d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd38d8d7a",
"selector": "0xd38d8d7a",
"calldata_variants": [
"0xd38d8d7a",
"0xd38d8d7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdeec9c5a",
"selector": "0xdeec9c5a",
"calldata_variants": [
"0xdeec9c5a",
"0xdeec9c5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7147855d",
"selector": "0x7147855d",
"calldata_variants": [
"0x7147855d",
"0x7147855d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6889,
"type": "tx_origin_used"
}
]
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 5
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xbf0a0e938901b0f19996cfc924227a1947ab8fdfed0897b228d34b2462c2f065
call_targets:
0xc3b2ec1d107df4e3ccd761cbdc20182db300ddc0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbf0a0e938901b0f19996cfc924227a1947ab8fdfed0897b228d34b2462c2f065",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc3b2ec1d107df4e3ccd761cbdc20182db300ddc0"
],
"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": "0xe02904c6",
"selector": "0xe02904c6",
"calldata_variants": [
"0xe02904c6",
"0xe02904c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe907fa3c",
"selector": "0xe907fa3c",
"calldata_variants": [
"0xe907fa3c",
"0xe907fa3c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xed9ef16a",
"selector": "0xed9ef16a",
"calldata_variants": [
"0xed9ef16a",
"0xed9ef16a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee0e6807",
"selector": "0xee0e6807",
"calldata_variants": [
"0xee0e6807",
"0xee0e68070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdd1f70d",
"selector": "0xcdd1f70d",
"calldata_variants": [
"0xcdd1f70d",
"0xcdd1f70d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd38d8d7a",
"selector": "0xd38d8d7a",
"calldata_variants": [
"0xd38d8d7a",
"0xd38d8d7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdeec9c5a",
"selector": "0xdeec9c5a",
"calldata_variants": [
"0xdeec9c5a",
"0xdeec9c5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7147855d",
"selector": "0x7147855d",
"calldata_variants": [
"0x7147855d",
"0x7147855d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6878,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 6889,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xbf0a0e938901b0f19996cfc924227a1947ab8fdfed0897b228d34b2462c2f065
call_targets:
0xc3b2ec1d107df4e3ccd761cbdc20182db300ddc0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbf0a0e938901b0f19996cfc924227a1947ab8fdfed0897b228d34b2462c2f065",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc3b2ec1d107df4e3ccd761cbdc20182db300ddc0"
],
"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": "0xe02904c6",
"selector": "0xe02904c6",
"calldata_variants": [
"0xe02904c6",
"0xe02904c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe907fa3c",
"selector": "0xe907fa3c",
"calldata_variants": [
"0xe907fa3c",
"0xe907fa3c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xed9ef16a",
"selector": "0xed9ef16a",
"calldata_variants": [
"0xed9ef16a",
"0xed9ef16a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee0e6807",
"selector": "0xee0e6807",
"calldata_variants": [
"0xee0e6807",
"0xee0e68070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcdd1f70d",
"selector": "0xcdd1f70d",
"calldata_variants": [
"0xcdd1f70d",
"0xcdd1f70d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd38d8d7a",
"selector": "0xd38d8d7a",
"calldata_variants": [
"0xd38d8d7a",
"0xd38d8d7a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdeec9c5a",
"selector": "0xdeec9c5a",
"calldata_variants": [
"0xdeec9c5a",
"0xdeec9c5a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7147855d",
"selector": "0x7147855d",
"calldata_variants": [
"0x7147855d",
"0x7147855d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6878,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 6889,
"type": "tx_origin_used"
}
]
}
|