019ba8a5-463d-70cb-91f8-2cc8f065165a
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 |
|---|---|---|---|---|
| 32467 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 32468 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 32469 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 32470 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 32471 | capability.graph | complete | 1 / 3 | 3 months ago |
| 32472 | detector.run | complete | 1 / 3 | 3 months ago |
| 32473 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
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 0x00d1 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x7356c177 00000018: GT 00000019: PUSH2 0x007c 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x946d9204 00000023: GT 00000024: PUSH2 0x0057 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x946d9204 0000002e: EQ 0000002f: PUSH2 0x0223 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xa44d57a0 00000039: EQ 0000003a: PUSH2 0x0242 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xbd79886c 00000044: EQ 00000045: PUSH2 0x0280 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf2fde38b 0000004f: EQ 00000050: PUSH2 0x029f 00000053: JUMPI 00000054: PUSH0 00000055: PUSH0 00000056: REVERT 00000057: JUMPDEST 00000058: DUP1 00000059: PUSH4 0x7356c177 0000005e: EQ 0000005f: PUSH2 0x0189 00000062: JUMPI 00000063: DUP1 00000064: PUSH4 0x7512d34e 00000069: EQ 0000006a: PUSH2 0x01da 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x8da5cb5b 00000074: EQ 00000075: PUSH2 0x01f9 00000078: JUMPI 00000079: PUSH0 0000007a: PUSH0 0000007b: REVERT 0000007c: JUMPDEST 0000007d: DUP1 0000007e: PUSH4 0x4f1ef286 00000083: GT 00000084: PUSH2 0x00ac 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x4f1ef286 0000008e: EQ 0000008f: PUSH2 0x013b 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x52d1902d 00000099: EQ 0000009a: PUSH2 0x014e 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x715018a6 000000a4: EQ 000000a5: PUSH2 0x0175 000000a8: JUMPI 000000a9: PUSH0 000000aa: PUSH0 000000ab: REVERT 000000ac: JUMPDEST 000000ad: DUP1 000000ae: PUSH4 0x0de30836 000000b3: EQ 000000b4: PUSH2 0x00dc 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x220f590d 000000be: EQ 000000bf: PUSH2 0x00fd 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x3659cfe6 000000c9: EQ 000000ca: PUSH2 0x011c 000000cd: JUMPI 000000ce: PUSH0 000000cf: PUSH0 000000d0: REVERT 000000d1: JUMPDEST 000000d2: CALLDATASIZE 000000d3: PUSH2 0x00d8 000000d6: JUMPI 000000d7: STOP 000000d8: JUMPDEST 000000d9: PUSH0 000000da: PUSH0 000000db: REVERT 000000dc: JUMPDEST 000000dd: CALLVALUE 000000de: DUP1 000000df: ISZERO 000000e0: PUSH2 0x00e7 000000e3: JUMPI 000000e4: PUSH0 000000e5: PUSH0 000000e6: REVERT 000000e7: JUMPDEST 000000e8: POP 000000e9: PUSH2 0x00fb 000000ec: PUSH2 0x00f6 000000ef: CALLDATASIZE 000000f0: PUSH1 0x04 000000f2: PUSH2 0x1eaf 000000f5: JUMP 000000f6: JUMPDEST 000000f7: PUSH2 0x02be 000000fa: JUMP 000000fb: JUMPDEST 000000fc: STOP 000000fd: JUMPDEST 000000fe: CALLVALUE 000000ff: DUP1 00000100: ISZERO 00000101: PUSH2 0x0108 00000104: JUMPI 00000105: PUSH0 00000106: PUSH0 00000107: REVERT 00000108: JUMPDEST 00000109: POP 0000010a: PUSH2 0x00fb 0000010d: PUSH2 0x0117 00000110: CALLDATASIZE 00000111: PUSH1 0x04 00000113: PUSH2 0x1eea 00000116: JUMP 00000117: JUMPDEST 00000118: PUSH2 0x03b7 0000011b: JUMP 0000011c: JUMPDEST 0000011d: CALLVALUE 0000011e: DUP1 0000011f: ISZERO 00000120: PUSH2 0x0127 00000123: JUMPI 00000124: PUSH0 00000125: PUSH0 00000126: REVERT 00000127: JUMPDEST 00000128: POP 00000129: PUSH2 0x00fb 0000012c: PUSH2 0x0136 0000012f: CALLDATASIZE 00000130: PUSH1 0x04 00000132: PUSH2 0x1f01 00000135: JUMP 00000136: JUMPDEST 00000137: PUSH2 0x04f4 0000013a: JUMP 0000013b: JUMPDEST 0000013c: PUSH2 0x00fb 0000013f: PUSH2 0x0149 00000142: CALLDATASIZE 00000143: PUSH1 0x04 00000145: PUSH2 0x2034 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH2 0x06fd 0000014d: JUMP 0000014e: JUMPDEST 0000014f: CALLVALUE 00000150: DUP1 00000151: ISZERO 00000152: PUSH2 0x0159 00000155: JUMPI 00000156: PUSH0 00000157: PUSH0 00000158: REVERT 00000159: JUMPDEST 0000015a: POP 0000015b: PUSH2 0x0162 0000015e: PUSH2 0x08f3 00000161: JUMP 00000162: JUMPDEST 00000163: PUSH1 0x40 00000165: MLOAD 00000166: SWAP1 00000167: DUP2 00000168: MSTORE 00000169: PUSH1 0x20 0000016b: ADD 0000016c: JUMPDEST 0000016d: PUSH1 0x40 0000016f: MLOAD 00000170: DUP1 00000171: SWAP2 00000172: SUB 00000173: SWAP1 00000174: RETURN 00000175: JUMPDEST 00000176: CALLVALUE 00000177: DUP1 00000178: ISZERO 00000179: PUSH2 0x0180 0000017c: JUMPI 0000017d: PUSH0 0000017e: PUSH0 0000017f: REVERT 00000180: JUMPDEST 00000181: POP 00000182: PUSH2 0x00fb 00000185: PUSH2 0x09de 00000188: JUMP 00000189: JUMPDEST 0000018a: CALLVALUE 0000018b: DUP1 0000018c: ISZERO 0000018d: PUSH2 0x0194 00000190: JUMPI 00000191: PUSH0 00000192: PUSH0 00000193: REVERT 00000194: JUMPDEST 00000195: POP 00000196: PUSH1 0x67 00000198: SLOAD 00000199: PUSH2 0x01b5 0000019c: SWAP1 0000019d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b2: AND 000001b3: DUP2 000001b4: JUMP 000001b5: JUMPDEST 000001b6: PUSH1 0x40 000001b8: MLOAD 000001b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ce: SWAP1 000001cf: SWAP2 000001d0: AND 000001d1: DUP2 000001d2: MSTORE 000001d3: PUSH1 0x20 000001d5: ADD 000001d6: PUSH2 0x016c 000001d9: JUMP 000001da: JUMPDEST 000001db: CALLVALUE 000001dc: DUP1 000001dd: ISZERO 000001de: PUSH2 0x01e5 000001e1: JUMPI 000001e2: PUSH0 000001e3: PUSH0 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x00fb 000001ea: PUSH2 0x01f4 000001ed: CALLDATASIZE 000001ee: PUSH1 0x04 000001f0: PUSH2 0x2081 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH2 0x0a18 000001f8: JUMP 000001f9: JUMPDEST 000001fa: CALLVALUE 000001fb: DUP1 000001fc: ISZERO 000001fd: PUSH2 0x0204 00000200: JUMPI 00000201: PUSH0 00000202: PUSH0 00000203: REVERT 00000204: JUMPDEST 00000205: POP 00000206: PUSH1 0x33 00000208: SLOAD 00000209: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000021e: AND 0000021f: PUSH2 0x01b5 00000222: JUMP 00000223: JUMPDEST 00000224: CALLVALUE 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x022e 0000022a: JUMPI 0000022b: PUSH0 0000022c: PUSH0 0000022d: REVERT 0000022e: JUMPDEST 0000022f: POP 00000230: PUSH2 0x00fb 00000233: PUSH2 0x023d 00000236: CALLDATASIZE 00000237: PUSH1 0x04 00000239: PUSH2 0x20ce 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH2 0x0b6e 00000241: JUMP 00000242: JUMPDEST 00000243: CALLVALUE 00000244: DUP1 00000245: ISZERO 00000246: PUSH2 0x024d 00000249: JUMPI 0000024a: PUSH0 0000024b: PUSH0 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x0270 00000252: PUSH2 0x025c 00000255: CALLDATASIZE 00000256: PUSH1 0x04 00000258: PUSH2 0x1f01 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH1 0x66 0000025f: PUSH1 0x20 00000261: MSTORE 00000262: PUSH0 00000263: SWAP1 00000264: DUP2 00000265: MSTORE 00000266: PUSH1 0x40 00000268: SWAP1 00000269: KECCAK256 0000026a: SLOAD 0000026b: PUSH1 0xff 0000026d: AND 0000026e: DUP2 0000026f: JUMP 00000270: JUMPDEST 00000271: PUSH1 0x40 00000273: MLOAD 00000274: SWAP1 00000275: ISZERO 00000276: ISZERO 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x20 0000027b: ADD 0000027c: PUSH2 0x016c 0000027f: JUMP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028b 00000287: JUMPI 00000288: PUSH0 00000289: PUSH0 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH2 0x0162 00000290: PUSH2 0x029a 00000293: CALLDATASIZE 00000294: PUSH1 0x04 00000296: PUSH2 0x220b 00000299: JUMP 0000029a: JUMPDEST 0000029b: PUSH2 0x0f3a 0000029e: JUMP 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02aa 000002a6: JUMPI 000002a7: PUSH0 000002a8: PUSH0 000002a9: REVERT 000002aa: JUMPDEST 000002ab: POP 000002ac: PUSH2 0x00fb 000002af: PUSH2 0x02b9 000002b2: CALLDATASIZE 000002b3: PUSH1 0x04 000002b5: PUSH2 0x1f01 000002b8: JUMP 000002b9: JUMPDEST 000002ba: PUSH2 0x16d7 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH2 0x02c6 000002c2: PUSH2 0x178b 000002c5: JUMP 000002c6: JUMPDEST 000002c7: PUSH1 0x65 000002c9: SLOAD 000002ca: PUSH1 0xff 000002cc: AND 000002cd: PUSH1 0x01 000002cf: EQ 000002d0: PUSH2 0x0305 000002d3: JUMPI 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: PUSH32 0x8533e2dc00000000000000000000000000000000000000000000000000000000 000002f8: DUP2 000002f9: MSTORE 000002fa: PUSH1 0x04 000002fc: ADD 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: DUP1 00000301: SWAP2 00000302: SUB 00000303: SWAP1 00000304: REVERT 00000305: JUMPDEST 00000306: PUSH1 0x65 00000308: DUP1 00000309: SLOAD 0000030a: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 0000032b: SWAP1 0000032c: DUP2 0000032d: AND 0000032e: PUSH1 0x02 00000330: OR 00000331: SWAP1 00000332: SWAP2 00000333: SSTORE 00000334: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000349: DUP4 0000034a: AND 0000034b: PUSH0 0000034c: DUP2 0000034d: DUP2 0000034e: MSTORE 0000034f: PUSH1 0x66 00000351: PUSH1 0x20 00000353: MSTORE 00000354: PUSH1 0x40 00000356: DUP1 00000357: DUP3 00000358: KECCAK256 00000359: DUP1 0000035a: SLOAD 0000035b: DUP7 0000035c: ISZERO 0000035d: ISZERO 0000035e: SWAP6 0000035f: AND 00000360: DUP6 00000361: OR 00000362: SWAP1 00000363: SSTORE 00000364: MLOAD 00000365: PUSH32 0xad476fc62f6b1b5d25b35bd756cfbfcd299b581b8dfb25d5492c4305a0969bd2 00000386: SWAP2 00000387: SWAP1 00000388: LOG3 00000389: POP 0000038a: POP 0000038b: PUSH1 0x65 0000038d: DUP1 0000038e: SLOAD 0000038f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000003b0: AND 000003b1: PUSH1 0x01 000003b3: OR 000003b4: SWAP1 000003b5: SSTORE 000003b6: JUMP 000003b7: JUMPDEST 000003b8: CALLER 000003b9: PUSH0 000003ba: SWAP1 000003bb: DUP2 000003bc: MSTORE 000003bd: PUSH1 0x66 000003bf: PUSH1 0x20 000003c1: MSTORE 000003c2: PUSH1 0x40 000003c4: SWAP1 000003c5: KECCAK256 000003c6: SLOAD 000003c7: PUSH1 0xff 000003c9: AND 000003ca: PUSH2 0x03ff 000003cd: JUMPI 000003ce: PUSH1 0x40 000003d0: MLOAD 000003d1: PUSH32 0x0c89490500000000000000000000000000000000000000000000000000000000 000003f2: DUP2 000003f3: MSTORE 000003f4: PUSH1 0x04 000003f6: ADD 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: DUP1 000003fb: SWAP2 000003fc: SUB 000003fd: SWAP1 000003fe: REVERT 000003ff: JUMPDEST 00000400: PUSH1 0x65 00000402: SLOAD 00000403: PUSH1 0xff 00000405: AND 00000406: PUSH1 0x01 00000408: EQ 00000409: PUSH2 0x043e 0000040c: JUMPI 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: PUSH32 0x8533e2dc00000000000000000000000000000000000000000000000000000000 00000431: DUP2 00000432: MSTORE 00000433: PUSH1 0x04 00000435: ADD 00000436: PUSH1 0x40 00000438: MLOAD 00000439: DUP1 0000043a: SWAP2 0000043b: SUB 0000043c: SWAP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: PUSH1 0x65 00000441: DUP1 00000442: SLOAD 00000443: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000464: AND 00000465: PUSH1 0x02 00000467: OR 00000468: SWAP1 00000469: SSTORE 0000046a: PUSH2 0x049c 0000046d: PUSH20 0x6f40d4a6237c257fff2db00fa0510deeecd303eb 00000482: PUSH20 0x28849d2b63fa8d361e5fc15cb8abb13019884d09 00000497: DUP4 00000498: PUSH2 0x180e 0000049b: JUMP 0000049c: JUMPDEST 0000049d: PUSH1 0x40 0000049f: MLOAD 000004a0: DUP2 000004a1: SWAP1 000004a2: PUSH32 0xd34456509a4baeb7e7ebc75f67ed5bc4d8793b2e4e7d101bc5822f7ddac54e97 000004c3: SWAP1 000004c4: PUSH0 000004c5: SWAP1 000004c6: LOG2 000004c7: POP 000004c8: PUSH1 0x65 000004ca: DUP1 000004cb: SLOAD 000004cc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000004ed: AND 000004ee: PUSH1 0x01 000004f0: OR 000004f1: SWAP1 000004f2: SSTORE 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050a: PUSH32 0x000000000000000000000000c27293043ef9b6c911aef47e4a563bae8a91654f 0000052b: AND 0000052c: ADDRESS 0000052d: SUB 0000052e: PUSH2 0x05be 00000531: JUMPI 00000532: PUSH1 0x40 00000534: MLOAD 00000535: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000556: DUP2 00000557: MSTORE 00000558: PUSH1 0x20 0000055a: PUSH1 0x04 0000055c: DUP3 0000055d: ADD 0000055e: MSTORE 0000055f: PUSH1 0x2c 00000561: PUSH1 0x24 00000563: DUP3 00000564: ADD 00000565: MSTORE 00000566: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00000587: PUSH1 0x44 00000589: DUP3 0000058a: ADD 0000058b: MSTORE 0000058c: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000 000005ad: PUSH1 0x64 000005af: DUP3 000005b0: ADD 000005b1: MSTORE 000005b2: PUSH1 0x84 000005b4: ADD 000005b5: JUMPDEST 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: SWAP2 000005bb: SUB 000005bc: SWAP1 000005bd: REVERT 000005be: JUMPDEST 000005bf: PUSH32 0x000000000000000000000000c27293043ef9b6c911aef47e4a563bae8a91654f 000005e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f5: AND 000005f6: PUSH2 0x0633 000005f9: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000061a: SLOAD 0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000630: AND 00000631: SWAP1 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000649: AND 0000064a: EQ 0000064b: PUSH2 0x06d6 0000064e: JUMPI 0000064f: PUSH1 0x40 00000651: MLOAD 00000652: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000673: DUP2 00000674: MSTORE 00000675: PUSH1 0x20 00000677: PUSH1 0x04 00000679: DUP3 0000067a: ADD 0000067b: MSTORE 0000067c: PUSH1 0x2c 0000067e: PUSH1 0x24 00000680: DUP3 00000681: ADD 00000682: MSTORE 00000683: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 000006a4: PUSH1 0x44 000006a6: DUP3 000006a7: ADD 000006a8: MSTORE 000006a9: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000 000006ca: PUSH1 0x64 000006cc: DUP3 000006cd: ADD 000006ce: MSTORE 000006cf: PUSH1 0x84 000006d1: ADD 000006d2: PUSH2 0x05b5 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH2 0x06df 000006da: DUP2 000006db: PUSH2 0x18b4 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x40 000006e2: DUP1 000006e3: MLOAD 000006e4: PUSH0 000006e5: DUP1 000006e6: DUP3 000006e7: MSTORE 000006e8: PUSH1 0x20 000006ea: DUP3 000006eb: ADD 000006ec: SWAP1 000006ed: SWAP3 000006ee: MSTORE 000006ef: PUSH2 0x06fa 000006f2: SWAP2 000006f3: DUP4 000006f4: SWAP2 000006f5: SWAP1 000006f6: PUSH2 0x18bc 000006f9: JUMP 000006fa: JUMPDEST 000006fb: POP 000006fc: JUMP 000006fd: JUMPDEST 000006fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000713: PUSH32 0x000000000000000000000000c27293043ef9b6c911aef47e4a563bae8a91654f 00000734: AND 00000735: ADDRESS 00000736: SUB 00000737: PUSH2 0x07c2 0000073a: JUMPI 0000073b: PUSH1 0x40 0000073d: MLOAD 0000073e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000075f: DUP2 00000760: MSTORE 00000761: PUSH1 0x20 00000763: PUSH1 0x04 00000765: DUP3 00000766: ADD 00000767: MSTORE 00000768: PUSH1 0x2c 0000076a: PUSH1 0x24 0000076c: DUP3 0000076d: ADD 0000076e: MSTORE 0000076f: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00000790: PUSH1 0x44 00000792: DUP3 00000793: ADD 00000794: MSTORE 00000795: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000 000007b6: PUSH1 0x64 000007b8: DUP3 000007b9: ADD 000007ba: MSTORE 000007bb: PUSH1 0x84 000007bd: ADD 000007be: PUSH2 0x05b5 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH32 0x000000000000000000000000c27293043ef9b6c911aef47e4a563bae8a91654f 000007e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f9: AND 000007fa: PUSH2 0x0837 000007fd: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 0000081e: SLOAD 0000081f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000834: AND 00000835: SWAP1 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084d: AND 0000084e: EQ 0000084f: PUSH2 0x08da 00000852: JUMPI 00000853: PUSH1 0x40 00000855: MLOAD 00000856: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000877: DUP2 00000878: MSTORE 00000879: PUSH1 0x20 0000087b: PUSH1 0x04 0000087d: DUP3 0000087e: ADD 0000087f: MSTORE 00000880: PUSH1 0x2c 00000882: PUSH1 0x24 00000884: DUP3 00000885: ADD 00000886: MSTORE 00000887: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 000008a8: PUSH1 0x44 000008aa: DUP3 000008ab: ADD 000008ac: MSTORE 000008ad: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000 000008ce: PUSH1 0x64 000008d0: DUP3 000008d1: ADD 000008d2: MSTORE 000008d3: PUSH1 0x84 000008d5: ADD 000008d6: PUSH2 0x05b5 000008d9: JUMP 000008da: JUMPDEST 000008db: PUSH2 0x08e3 000008de: DUP3 000008df: PUSH2 0x18b4 000008e2: JUMP 000008e3: JUMPDEST 000008e4: PUSH2 0x08ef 000008e7: DUP3 000008e8: DUP3 000008e9: PUSH1 0x01 000008eb: PUSH2 0x18bc 000008ee: JUMP 000008ef: JUMPDEST 000008f0: POP 000008f1: POP 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH0 000008f5: ADDRESS 000008f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090b: PUSH32 0x000000000000000000000000c27293043ef9b6c911aef47e4a563bae8a91654f 0000092c: AND 0000092d: EQ 0000092e: PUSH2 0x09b9 00000931: JUMPI 00000932: PUSH1 0x40 00000934: MLOAD 00000935: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000956: DUP2 00000957: MSTORE 00000958: PUSH1 0x20 0000095a: PUSH1 0x04 0000095c: DUP3 0000095d: ADD 0000095e: MSTORE 0000095f: PUSH1 0x38 00000961: PUSH1 0x24 00000963: DUP3 00000964: ADD 00000965: MSTORE 00000966: PUSH32 0x555550535570677261646561626c653a206d757374206e6f742062652063616c 00000987: PUSH1 0x44 00000989: DUP3 0000098a: ADD 0000098b: MSTORE 0000098c: PUSH32 0x6c6564207468726f7567682064656c656761746563616c6c0000000000000000 000009ad: PUSH1 0x64 000009af: DUP3 000009b0: ADD 000009b1: MSTORE 000009b2: PUSH1 0x84 000009b4: ADD 000009b5: PUSH2 0x05b5 000009b8: JUMP 000009b9: JUMPDEST 000009ba: POP 000009bb: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000009dc: SWAP1 000009dd: JUMP 000009de: JUMPDEST 000009df: PUSH2 0x09e6 000009e2: PUSH2 0x178b 000009e5: JUMP 000009e6: JUMPDEST 000009e7: PUSH1 0x40 000009e9: MLOAD 000009ea: PUSH32 0xee4c9fde00000000000000000000000000000000000000000000000000000000 00000a0b: DUP2 00000a0c: MSTORE 00000a0d: PUSH1 0x04 00000a0f: ADD 00000a10: PUSH1 0x40 00000a12: MLOAD 00000a13: DUP1 00000a14: SWAP2 00000a15: SUB 00000a16: SWAP1 00000a17: REVERT 00000a18: JUMPDEST 00000a19: PUSH2 0x0a20 00000a1c: PUSH2 0x178b 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: PUSH1 0x65 00000a23: SLOAD 00000a24: PUSH1 0xff 00000a26: AND 00000a27: PUSH1 0x01 00000a29: EQ 00000a2a: PUSH2 0x0a5f 00000a2d: JUMPI 00000a2e: PUSH1 0x40 00000a30: MLOAD 00000a31: PUSH32 0x8533e2dc00000000000000000000000000000000000000000000000000000000 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x04 00000a56: ADD 00000a57: PUSH1 0x40 00000a59: MLOAD 00000a5a: DUP1 00000a5b: SWAP2 00000a5c: SUB 00000a5d: SWAP1 00000a5e: REVERT 00000a5f: JUMPDEST 00000a60: PUSH1 0x65 00000a62: DUP1 00000a63: SLOAD 00000a64: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000a85: AND 00000a86: PUSH1 0x02 00000a88: OR 00000a89: SWAP1 00000a8a: SSTORE 00000a8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa0: DUP3 00000aa1: AND 00000aa2: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000ab7: EQ 00000ab8: PUSH2 0x0adf 00000abb: JUMPI 00000abc: PUSH2 0x0ada 00000abf: DUP3 00000ac0: PUSH20 0x28849d2b63fa8d361e5fc15cb8abb13019884d09 00000ad5: DUP4 00000ad6: PUSH2 0x180e 00000ad9: JUMP 00000ada: JUMPDEST 00000adb: PUSH2 0x0afd 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: PUSH2 0x0afd 00000ae3: PUSH20 0x28849d2b63fa8d361e5fc15cb8abb13019884d09 00000af8: DUP3 00000af9: PUSH2 0x1abb 00000afc: JUMP 00000afd: JUMPDEST 00000afe: PUSH1 0x40 00000b00: MLOAD 00000b01: DUP2 00000b02: SWAP1 00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b18: DUP5 00000b19: AND 00000b1a: SWAP1 00000b1b: PUSH32 0x3984eeef7808131e32bf9c48562da4dfa48c4fb5f35f4fb8d93e580dd51c080f 00000b3c: SWAP1 00000b3d: PUSH0 00000b3e: SWAP1 00000b3f: LOG3 00000b40: POP 00000b41: POP 00000b42: PUSH1 0x65 00000b44: DUP1 00000b45: SLOAD 00000b46: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000b67: AND 00000b68: PUSH1 0x01 00000b6a: OR 00000b6b: SWAP1 00000b6c: SSTORE 00000b6d: JUMP 00000b6e: JUMPDEST 00000b6f: PUSH0 00000b70: SLOAD 00000b71: PUSH2 0x0100 00000b74: SWAP1 00000b75: DIV 00000b76: PUSH1 0xff 00000b78: AND 00000b79: ISZERO 00000b7a: DUP1 00000b7b: DUP1 00000b7c: ISZERO 00000b7d: PUSH2 0x0b8c 00000b80: JUMPI 00000b81: POP 00000b82: PUSH0 00000b83: SLOAD 00000b84: PUSH1 0x01 00000b86: PUSH1 0xff 00000b88: SWAP1 00000b89: SWAP2 00000b8a: AND 00000b8b: LT 00000b8c: JUMPDEST 00000b8d: DUP1 00000b8e: PUSH2 0x0ba5 00000b91: JUMPI 00000b92: POP 00000b93: ADDRESS 00000b94: EXTCODESIZE 00000b95: ISZERO 00000b96: DUP1 00000b97: ISZERO 00000b98: PUSH2 0x0ba5 00000b9b: JUMPI 00000b9c: POP 00000b9d: PUSH0 00000b9e: SLOAD 00000b9f: PUSH1 0xff 00000ba1: AND 00000ba2: PUSH1 0x01 00000ba4: EQ 00000ba5: JUMPDEST 00000ba6: PUSH2 0x0c31 00000ba9: JUMPI 00000baa: PUSH1 0x40 00000bac: MLOAD 00000bad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bce: DUP2 00000bcf: MSTORE 00000bd0: PUSH1 0x20 00000bd2: PUSH1 0x04 00000bd4: DUP3 00000bd5: ADD 00000bd6: MSTORE 00000bd7: PUSH1 0x2e 00000bd9: PUSH1 0x24 00000bdb: DUP3 00000bdc: ADD 00000bdd: MSTORE 00000bde: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 00000bff: PUSH1 0x44 00000c01: DUP3 00000c02: ADD 00000c03: MSTORE 00000c04: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00000c25: PUSH1 0x64 00000c27: DUP3 00000c28: ADD 00000c29: MSTORE 00000c2a: PUSH1 0x84 00000c2c: ADD 00000c2d: PUSH2 0x05b5 00000c30: JUMP 00000c31: JUMPDEST 00000c32: PUSH0 00000c33: DUP1 00000c34: SLOAD 00000c35: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000c56: AND 00000c57: PUSH1 0x01 00000c59: OR 00000c5a: SWAP1 00000c5b: SSTORE 00000c5c: DUP1 00000c5d: ISZERO 00000c5e: PUSH2 0x0c8d 00000c61: JUMPI 00000c62: PUSH0 00000c63: DUP1 00000c64: SLOAD 00000c65: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00000c86: AND 00000c87: PUSH2 0x0100 00000c8a: OR 00000c8b: SWAP1 00000c8c: SSTORE 00000c8d: JUMPDEST 00000c8e: DUP3 00000c8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca4: DUP2 00000ca5: AND 00000ca6: PUSH2 0x0cdb 00000ca9: JUMPI 00000caa: PUSH1 0x40 00000cac: MLOAD 00000cad: PUSH32 0x45d986d500000000000000000000000000000000000000000000000000000000 00000cce: DUP2 00000ccf: MSTORE 00000cd0: PUSH1 0x04 00000cd2: ADD 00000cd3: PUSH1 0x40 00000cd5: MLOAD 00000cd6: DUP1 00000cd7: SWAP2 00000cd8: SUB 00000cd9: SWAP1 00000cda: REVERT 00000cdb: JUMPDEST 00000cdc: PUSH2 0x0ce4 00000cdf: DUP5 00000ce0: PUSH2 0x1b04 00000ce3: JUMP 00000ce4: JUMPDEST 00000ce5: PUSH0 00000ce6: JUMPDEST 00000ce7: DUP4 00000ce8: MLOAD 00000ce9: DUP2 00000cea: LT 00000ceb: ISZERO 00000cec: PUSH2 0x0dc5 00000cef: JUMPI 00000cf0: PUSH1 0x01 00000cf2: PUSH1 0x66 00000cf4: PUSH0 00000cf5: DUP7 00000cf6: DUP5 00000cf7: DUP2 00000cf8: MLOAD 00000cf9: DUP2 00000cfa: LT 00000cfb: PUSH2 0x0d06 00000cfe: JUMPI 00000cff: PUSH2 0x0d06 00000d02: PUSH2 0x232f 00000d05: JUMP 00000d06: JUMPDEST 00000d07: PUSH1 0x20 00000d09: MUL 00000d0a: PUSH1 0x20 00000d0c: ADD 00000d0d: ADD 00000d0e: MLOAD 00000d0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d24: AND 00000d25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d3a: AND 00000d3b: DUP2 00000d3c: MSTORE 00000d3d: PUSH1 0x20 00000d3f: ADD 00000d40: SWAP1 00000d41: DUP2 00000d42: MSTORE 00000d43: PUSH1 0x20 00000d45: ADD 00000d46: PUSH0 00000d47: KECCAK256 00000d48: PUSH0 00000d49: PUSH2 0x0100 00000d4c: EXP 00000d4d: DUP2 00000d4e: SLOAD 00000d4f: DUP2 00000d50: PUSH1 0xff 00000d52: MUL 00000d53: NOT 00000d54: AND 00000d55: SWAP1 00000d56: DUP4 00000d57: ISZERO 00000d58: ISZERO 00000d59: MUL 00000d5a: OR 00000d5b: SWAP1 00000d5c: SSTORE 00000d5d: POP 00000d5e: PUSH1 0x01 00000d60: ISZERO 00000d61: ISZERO 00000d62: DUP5 00000d63: DUP3 00000d64: DUP2 00000d65: MLOAD 00000d66: DUP2 00000d67: LT 00000d68: PUSH2 0x0d73 00000d6b: JUMPI 00000d6c: PUSH2 0x0d73 00000d6f: PUSH2 0x232f 00000d72: JUMP 00000d73: JUMPDEST 00000d74: PUSH1 0x20 00000d76: MUL 00000d77: PUSH1 0x20 00000d79: ADD 00000d7a: ADD 00000d7b: MLOAD 00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d91: AND 00000d92: PUSH32 0xad476fc62f6b1b5d25b35bd756cfbfcd299b581b8dfb25d5492c4305a0969bd2 00000db3: PUSH1 0x40 00000db5: MLOAD 00000db6: PUSH1 0x40 00000db8: MLOAD 00000db9: DUP1 00000dba: SWAP2 00000dbb: SUB 00000dbc: SWAP1 00000dbd: LOG3 00000dbe: PUSH1 0x01 00000dc0: ADD 00000dc1: PUSH2 0x0ce6 00000dc4: JUMP 00000dc5: JUMPDEST 00000dc6: POP 00000dc7: PUSH1 0x40 00000dc9: MLOAD 00000dca: PUSH32 0xbb7e70ef00000000000000000000000000000000000000000000000000000000 00000deb: DUP2 00000dec: MSTORE 00000ded: ADDRESS 00000dee: PUSH1 0x04 00000df0: DUP3 00000df1: ADD 00000df2: DUP2 00000df3: SWAP1 00000df4: MSTORE 00000df5: PUSH1 0x02 00000df7: PUSH1 0x24 00000df9: DUP4 00000dfa: ADD 00000dfb: MSTORE 00000dfc: PUSH1 0x44 00000dfe: DUP3 00000dff: ADD 00000e00: MSTORE 00000e01: PUSH0 00000e02: SWAP1 00000e03: PUSH20 0x2971adfa57b20e5a416ae5a708a8655a9c74f723 00000e18: SWAP1 00000e19: PUSH4 0xbb7e70ef 00000e1e: SWAP1 00000e1f: PUSH1 0x64 00000e21: ADD 00000e22: PUSH1 0x20 00000e24: PUSH1 0x40 00000e26: MLOAD 00000e27: DUP1 00000e28: DUP4 00000e29: SUB 00000e2a: DUP2 00000e2b: PUSH0 00000e2c: DUP8 00000e2d: GAS 00000e2e: CALL 00000e2f: ISZERO 00000e30: DUP1 00000e31: ISZERO 00000e32: PUSH2 0x0e3d 00000e35: JUMPI 00000e36: RETURNDATASIZE 00000e37: PUSH0 00000e38: PUSH0 00000e39: RETURNDATACOPY 00000e3a: RETURNDATASIZE 00000e3b: PUSH0 00000e3c: REVERT 00000e3d: JUMPDEST 00000e3e: POP 00000e3f: POP 00000e40: POP 00000e41: POP 00000e42: PUSH1 0x40 00000e44: MLOAD 00000e45: RETURNDATASIZE 00000e46: PUSH1 0x1f 00000e48: NOT 00000e49: PUSH1 0x1f 00000e4b: DUP3 00000e4c: ADD 00000e4d: AND 00000e4e: DUP3 00000e4f: ADD 00000e50: DUP1 00000e51: PUSH1 0x40 00000e53: MSTORE 00000e54: POP 00000e55: DUP2 00000e56: ADD 00000e57: SWAP1 00000e58: PUSH2 0x0e61 00000e5b: SWAP2 00000e5c: SWAP1 00000e5d: PUSH2 0x235c 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH1 0x67 00000e64: DUP1 00000e65: SLOAD 00000e66: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000e87: AND 00000e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9d: SWAP3 00000e9e: SWAP1 00000e9f: SWAP3 00000ea0: AND 00000ea1: SWAP2 00000ea2: SWAP1 00000ea3: SWAP2 00000ea4: OR 00000ea5: SWAP1 00000ea6: SSTORE 00000ea7: POP 00000ea8: POP 00000ea9: PUSH1 0x65 00000eab: DUP1 00000eac: SLOAD 00000ead: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000ece: AND 00000ecf: PUSH1 0x01 00000ed1: OR 00000ed2: SWAP1 00000ed3: SSTORE 00000ed4: DUP1 00000ed5: ISZERO 00000ed6: PUSH2 0x0f35 00000ed9: JUMPI 00000eda: PUSH0 00000edb: DUP1 00000edc: SLOAD 00000edd: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff 00000efe: AND 00000eff: SWAP1 00000f00: SSTORE 00000f01: PUSH1 0x40 00000f03: MLOAD 00000f04: PUSH1 0x01 00000f06: DUP2 00000f07: MSTORE 00000f08: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000f29: SWAP1 00000f2a: PUSH1 0x20 00000f2c: ADD 00000f2d: PUSH1 0x40 00000f2f: MLOAD 00000f30: DUP1 00000f31: SWAP2 00000f32: SUB 00000f33: SWAP1 00000f34: LOG1 00000f35: JUMPDEST 00000f36: POP 00000f37: POP 00000f38: POP 00000f39: JUMP 00000f3a: JUMPDEST 00000f3b: CALLER 00000f3c: PUSH0 00000f3d: SWAP1 00000f3e: DUP2 00000f3f: MSTORE 00000f40: PUSH1 0x66 00000f42: PUSH1 0x20 00000f44: MSTORE 00000f45: PUSH1 0x40 00000f47: DUP2 00000f48: KECCAK256 00000f49: SLOAD 00000f4a: PUSH1 0xff 00000f4c: AND 00000f4d: PUSH2 0x0f82 00000f50: JUMPI 00000f51: PUSH1 0x40 00000f53: MLOAD 00000f54: PUSH32 0x0c89490500000000000000000000000000000000000000000000000000000000 00000f75: DUP2 00000f76: MSTORE 00000f77: PUSH1 0x04 00000f79: ADD 00000f7a: PUSH1 0x40 00000f7c: MLOAD 00000f7d: DUP1 00000f7e: SWAP2 00000f7f: SUB 00000f80: SWAP1 00000f81: REVERT 00000f82: JUMPDEST 00000f83: PUSH1 0x65 00000f85: SLOAD 00000f86: PUSH1 0xff 00000f88: AND 00000f89: PUSH1 0x01 00000f8b: EQ 00000f8c: PUSH2 0x0fc1 00000f8f: JUMPI 00000f90: PUSH1 0x40 00000f92: MLOAD 00000f93: PUSH32 0x8533e2dc00000000000000000000000000000000000000000000000000000000 00000fb4: DUP2 00000fb5: MSTORE 00000fb6: PUSH1 0x04 00000fb8: ADD 00000fb9: PUSH1 0x40 00000fbb: MLOAD 00000fbc: DUP1 00000fbd: SWAP2 00000fbe: SUB 00000fbf: SWAP1 00000fc0: REVERT 00000fc1: JUMPDEST 00000fc2: PUSH1 0x65 00000fc4: DUP1 00000fc5: SLOAD 00000fc6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000fe7: AND 00000fe8: PUSH1 0x02 00000fea: SWAP1 00000feb: DUP2 00000fec: OR 00000fed: SWAP1 00000fee: SWAP2 00000fef: SSTORE 00000ff0: PUSH1 0x40 00000ff2: DUP1 00000ff3: MLOAD 00000ff4: DUP3 00000ff5: DUP2 00000ff6: MSTORE 00000ff7: PUSH1 0x60 00000ff9: DUP2 00000ffa: ADD 00000ffb: SWAP1 00000ffc: SWAP2 00000ffd: MSTORE 00000ffe: PUSH0 00000fff: SWAP2 00001000: PUSH1 0x20 00001002: DUP3 00001003: ADD 00001004: JUMPDEST 00001005: PUSH1 0x60 00001007: DUP2 00001008: MSTORE 00001009: PUSH1 0x20 0000100b: ADD 0000100c: SWAP1 0000100d: PUSH1 0x01 0000100f: SWAP1 00001010: SUB 00001011: SWAP1 00001012: DUP2 00001013: PUSH2 0x1004 00001016: JUMPI 00001017: POP 00001018: POP 00001019: PUSH1 0x40 0000101b: DUP1 0000101c: MLOAD 0000101d: PUSH1 0x02 0000101f: DUP1 00001020: DUP3 00001021: MSTORE 00001022: PUSH1 0x60 00001024: DUP3 00001025: ADD 00001026: SWAP1 00001027: SWAP3 00001028: MSTORE 00001029: SWAP2 0000102a: SWAP3 0000102b: POP 0000102c: PUSH0 0000102d: SWAP2 0000102e: SWAP1 0000102f: PUSH1 0x20 00001031: DUP3 00001032: ADD 00001033: JUMPDEST 00001034: PUSH1 0x60 00001036: DUP2 00001037: MSTORE 00001038: PUSH1 0x20 0000103a: ADD 0000103b: SWAP1 0000103c: PUSH1 0x01 0000103e: SWAP1 0000103f: SUB 00001040: SWAP1 00001041: DUP2 00001042: PUSH2 0x1033 00001045: JUMPI 00001046: SWAP1 00001047: POP 00001048: POP 00001049: SWAP1 0000104a: POP 0000104b: PUSH0 0000104c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001061: DUP10 00001062: AND 00001063: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001078: EQ 00001079: PUSH2 0x110d 0000107c: JUMPI 0000107d: PUSH1 0x40 0000107f: MLOAD 00001080: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000010a1: DUP2 000010a2: MSTORE 000010a3: ADDRESS 000010a4: PUSH1 0x04 000010a6: DUP3 000010a7: ADD 000010a8: MSTORE 000010a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010be: DUP11 000010bf: AND 000010c0: SWAP1 000010c1: PUSH4 0x70a08231 000010c6: SWAP1 000010c7: PUSH1 0x24 000010c9: ADD 000010ca: PUSH1 0x20 000010cc: PUSH1 0x40 000010ce: MLOAD 000010cf: DUP1 000010d0: DUP4 000010d1: SUB 000010d2: DUP2 000010d3: DUP7 000010d4: GAS 000010d5: STATICCALL 000010d6: ISZERO 000010d7: DUP1 000010d8: ISZERO 000010d9: PUSH2 0x10e4 000010dc: JUMPI 000010dd: RETURNDATASIZE 000010de: PUSH0 000010df: PUSH0 000010e0: RETURNDATACOPY 000010e1: RETURNDATASIZE 000010e2: PUSH0 000010e3: REVERT 000010e4: JUMPDEST 000010e5: POP 000010e6: POP 000010e7: POP 000010e8: POP 000010e9: PUSH1 0x40 000010eb: MLOAD 000010ec: RETURNDATASIZE 000010ed: PUSH1 0x1f 000010ef: NOT 000010f0: PUSH1 0x1f 000010f2: DUP3 000010f3: ADD 000010f4: AND 000010f5: DUP3 000010f6: ADD 000010f7: DUP1 000010f8: PUSH1 0x40 000010fa: MSTORE 000010fb: POP 000010fc: DUP2 000010fd: ADD 000010fe: SWAP1 000010ff: PUSH2 0x1108 00001102: SWAP2 00001103: SWAP1 00001104: PUSH2 0x2377 00001107: JUMP 00001108: JUMPDEST 00001109: PUSH2 0x110f 0000110c: JUMP 0000110d: JUMPDEST 0000110e: SELFBALANCE 0000110f: JUMPDEST 00001110: SWAP1 00001111: POP 00001112: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001127: DUP11 00001128: AND 00001129: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0000113e: EQ 0000113f: PUSH2 0x116c 00001142: JUMPI 00001143: PUSH1 0x67 00001145: SLOAD 00001146: PUSH2 0x1167 00001149: SWAP1 0000114a: DUP12 0000114b: SWAP1 0000114c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001161: AND 00001162: DUP11 00001163: PUSH2 0x180e 00001166: JUMP 00001167: JUMPDEST 00001168: PUSH2 0x118f 0000116b: JUMP 0000116c: JUMPDEST 0000116d: PUSH1 0x67 0000116f: SLOAD 00001170: PUSH2 0x118f 00001173: SWAP1 00001174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001189: AND 0000118a: DUP10 0000118b: PUSH2 0x1abb 0000118e: JUMP 0000118f: JUMPDEST 00001190: PUSH1 0x40 00001192: MLOAD 00001193: DUP1 00001194: PUSH1 0x40 00001196: ADD 00001197: PUSH1 0x40 00001199: MSTORE 0000119a: DUP1 0000119b: PUSH1 0x11 0000119d: DUP2 0000119e: MSTORE 0000119f: PUSH1 0x20 000011a1: ADD 000011a2: PUSH32 0x535741502d41474752454741544f522d41000000000000000000000000000000 000011c3: DUP2 000011c4: MSTORE 000011c5: POP 000011c6: DUP4 000011c7: PUSH0 000011c8: DUP2 000011c9: MLOAD 000011ca: DUP2 000011cb: LT 000011cc: PUSH2 0x11d7 000011cf: JUMPI 000011d0: PUSH2 0x11d7 000011d3: PUSH2 0x232f 000011d6: JUMP 000011d7: JUMPDEST 000011d8: PUSH1 0x20 000011da: MUL 000011db: PUSH1 0x20 000011dd: ADD 000011de: ADD 000011df: DUP2 000011e0: SWAP1 000011e1: MSTORE 000011e2: POP 000011e3: DUP6 000011e4: DUP6 000011e5: PUSH1 0x40 000011e7: MLOAD 000011e8: PUSH1 0x24 000011ea: ADD 000011eb: PUSH2 0x11f5 000011ee: SWAP3 000011ef: SWAP2 000011f0: SWAP1 000011f1: PUSH2 0x2452 000011f4: JUMP 000011f5: JUMPDEST 000011f6: PUSH1 0x40 000011f8: DUP1 000011f9: MLOAD 000011fa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000121b: DUP2 0000121c: DUP5 0000121d: SUB 0000121e: ADD 0000121f: DUP2 00001220: MSTORE 00001221: SWAP2 00001222: SWAP1 00001223: MSTORE 00001224: PUSH1 0x20 00001226: DUP2 00001227: ADD 00001228: DUP1 00001229: MLOAD 0000122a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001247: AND 00001248: PUSH32 0xfd05818300000000000000000000000000000000000000000000000000000000 00001269: OR 0000126a: SWAP1 0000126b: MSTORE 0000126c: DUP3 0000126d: MLOAD 0000126e: DUP4 0000126f: SWAP1 00001270: PUSH0 00001271: SWAP1 00001272: PUSH2 0x127d 00001275: JUMPI 00001276: PUSH2 0x127d 00001279: PUSH2 0x232f 0000127c: JUMP 0000127d: JUMPDEST 0000127e: PUSH1 0x20 00001280: MUL 00001281: PUSH1 0x20 00001283: ADD 00001284: ADD 00001285: DUP2 00001286: SWAP1 00001287: MSTORE 00001288: POP 00001289: PUSH1 0x40 0000128b: MLOAD 0000128c: DUP1 0000128d: PUSH1 0x40 0000128f: ADD 00001290: PUSH1 0x40 00001292: MSTORE 00001293: DUP1 00001294: PUSH1 0x07 00001296: DUP2 00001297: MSTORE 00001298: PUSH1 0x20 0000129a: ADD 0000129b: PUSH32 0x42415349432d4100000000000000000000000000000000000000000000000000 000012bc: DUP2 000012bd: MSTORE 000012be: POP 000012bf: DUP4 000012c0: PUSH1 0x01 000012c2: DUP2 000012c3: MLOAD 000012c4: DUP2 000012c5: LT 000012c6: PUSH2 0x12d1 000012c9: JUMPI 000012ca: PUSH2 0x12d1 000012cd: PUSH2 0x232f 000012d0: JUMP 000012d1: JUMPDEST 000012d2: PUSH1 0x20 000012d4: SWAP1 000012d5: DUP2 000012d6: MUL 000012d7: SWAP2 000012d8: SWAP1 000012d9: SWAP2 000012da: ADD 000012db: ADD 000012dc: MSTORE 000012dd: PUSH1 0x40 000012df: MLOAD 000012e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f5: DUP11 000012f6: AND 000012f7: PUSH1 0x24 000012f9: DUP3 000012fa: ADD 000012fb: MSTORE 000012fc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000131d: PUSH1 0x44 0000131f: DUP3 00001320: ADD 00001321: MSTORE 00001322: ADDRESS 00001323: PUSH1 0x64 00001325: DUP3 00001326: ADD 00001327: MSTORE 00001328: PUSH0 00001329: PUSH1 0x84 0000132b: DUP3 0000132c: ADD 0000132d: DUP2 0000132e: SWAP1 0000132f: MSTORE 00001330: PUSH1 0xa4 00001332: DUP3 00001333: ADD 00001334: MSTORE 00001335: PUSH1 0xc4 00001337: ADD 00001338: PUSH1 0x40 0000133a: DUP1 0000133b: MLOAD 0000133c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 0000135d: DUP2 0000135e: DUP5 0000135f: SUB 00001360: ADD 00001361: DUP2 00001362: MSTORE 00001363: SWAP2 00001364: SWAP1 00001365: MSTORE 00001366: PUSH1 0x20 00001368: DUP2 00001369: ADD 0000136a: DUP1 0000136b: MLOAD 0000136c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001389: AND 0000138a: PUSH32 0x4bd3ab8200000000000000000000000000000000000000000000000000000000 000013ab: OR 000013ac: SWAP1 000013ad: MSTORE 000013ae: DUP3 000013af: MLOAD 000013b0: DUP4 000013b1: SWAP1 000013b2: PUSH1 0x01 000013b4: SWAP1 000013b5: DUP2 000013b6: LT 000013b7: PUSH2 0x13c2 000013ba: JUMPI 000013bb: PUSH2 0x13c2 000013be: PUSH2 0x232f 000013c1: JUMP 000013c2: JUMPDEST 000013c3: PUSH1 0x20 000013c5: SWAP1 000013c6: DUP2 000013c7: MUL 000013c8: SWAP2 000013c9: SWAP1 000013ca: SWAP2 000013cb: ADD 000013cc: ADD 000013cd: MSTORE 000013ce: PUSH1 0x67 000013d0: SLOAD 000013d1: PUSH1 0x40 000013d3: MLOAD 000013d4: PUSH32 0x9304c93400000000000000000000000000000000000000000000000000000000 000013f5: DUP2 000013f6: MSTORE 000013f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000140c: SWAP1 0000140d: SWAP2 0000140e: AND 0000140f: SWAP1 00001410: PUSH4 0x9304c934 00001415: SWAP1 00001416: PUSH2 0x1427 00001419: SWAP1 0000141a: DUP7 0000141b: SWAP1 0000141c: DUP7 0000141d: SWAP1 0000141e: ADDRESS 0000141f: SWAP1 00001420: PUSH1 0x04 00001422: ADD 00001423: PUSH2 0x247f 00001426: JUMP 00001427: JUMPDEST 00001428: PUSH1 0x20 0000142a: PUSH1 0x40 0000142c: MLOAD 0000142d: DUP1 0000142e: DUP4 0000142f: SUB 00001430: DUP2 00001431: PUSH0 00001432: DUP8 00001433: GAS 00001434: CALL 00001435: ISZERO 00001436: DUP1 00001437: ISZERO 00001438: PUSH2 0x1443 0000143b: JUMPI 0000143c: RETURNDATASIZE 0000143d: PUSH0 0000143e: PUSH0 0000143f: RETURNDATACOPY 00001440: RETURNDATASIZE 00001441: PUSH0 00001442: REVERT 00001443: JUMPDEST 00001444: POP 00001445: POP 00001446: POP 00001447: POP 00001448: PUSH1 0x40 0000144a: MLOAD 0000144b: RETURNDATASIZE 0000144c: PUSH1 0x1f 0000144e: NOT 0000144f: PUSH1 0x1f 00001451: DUP3 00001452: ADD 00001453: AND 00001454: DUP3 00001455: ADD 00001456: DUP1 00001457: PUSH1 0x40 00001459: MSTORE 0000145a: POP 0000145b: DUP2 0000145c: ADD 0000145d: SWAP1 0000145e: PUSH2 0x1467 00001461: SWAP2 00001462: SWAP1 00001463: PUSH2 0x2377 00001466: JUMP 00001467: JUMPDEST 00001468: POP 00001469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000147e: DUP10 0000147f: AND 00001480: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001495: EQ 00001496: PUSH2 0x1536 00001499: JUMPI 0000149a: PUSH1 0x40 0000149c: MLOAD 0000149d: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000014be: DUP2 000014bf: MSTORE 000014c0: ADDRESS 000014c1: PUSH1 0x04 000014c3: DUP3 000014c4: ADD 000014c5: MSTORE 000014c6: DUP2 000014c7: SWAP1 000014c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014dd: DUP12 000014de: AND 000014df: SWAP1 000014e0: PUSH4 0x70a08231 000014e5: SWAP1 000014e6: PUSH1 0x24 000014e8: ADD 000014e9: PUSH1 0x20 000014eb: PUSH1 0x40 000014ed: MLOAD 000014ee: DUP1 000014ef: DUP4 000014f0: SUB 000014f1: DUP2 000014f2: DUP7 000014f3: GAS 000014f4: STATICCALL 000014f5: ISZERO 000014f6: DUP1 000014f7: ISZERO 000014f8: PUSH2 0x1503 000014fb: JUMPI 000014fc: RETURNDATASIZE 000014fd: PUSH0 000014fe: PUSH0 000014ff: RETURNDATACOPY 00001500: RETURNDATASIZE 00001501: PUSH0 00001502: REVERT 00001503: JUMPDEST 00001504: POP 00001505: POP 00001506: POP 00001507: POP 00001508: PUSH1 0x40 0000150a: MLOAD 0000150b: RETURNDATASIZE 0000150c: PUSH1 0x1f 0000150e: NOT 0000150f: PUSH1 0x1f 00001511: DUP3 00001512: ADD 00001513: AND 00001514: DUP3 00001515: ADD 00001516: DUP1 00001517: PUSH1 0x40 00001519: MSTORE 0000151a: POP 0000151b: DUP2 0000151c: ADD 0000151d: SWAP1 0000151e: PUSH2 0x1527 00001521: SWAP2 00001522: SWAP1 00001523: PUSH2 0x2377 00001526: JUMP 00001527: JUMPDEST 00001528: PUSH2 0x1531 0000152b: SWAP2 0000152c: SWAP1 0000152d: PUSH2 0x24ca 00001530: JUMP 00001531: JUMPDEST 00001532: PUSH2 0x1540 00001535: JUMP 00001536: JUMPDEST 00001537: PUSH2 0x1540 0000153a: DUP2 0000153b: SELFBALANCE 0000153c: PUSH2 0x24ca 0000153f: JUMP 00001540: JUMPDEST 00001541: SWAP4 00001542: POP 00001543: DUP7 00001544: DUP5 00001545: LT 00001546: ISZERO 00001547: PUSH2 0x157c 0000154a: JUMPI 0000154b: PUSH1 0x40 0000154d: MLOAD 0000154e: PUSH32 0xc8a0254a00000000000000000000000000000000000000000000000000000000 0000156f: DUP2 00001570: MSTORE 00001571: PUSH1 0x04 00001573: ADD 00001574: PUSH1 0x40 00001576: MLOAD 00001577: DUP1 00001578: SWAP2 00001579: SUB 0000157a: SWAP1 0000157b: REVERT 0000157c: JUMPDEST 0000157d: PUSH32 0xffffffffffffffffffffffff90bf2b59dc83da8000d24ff05faef211132cfc15 0000159e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b3: DUP11 000015b4: AND 000015b5: ADD 000015b6: PUSH2 0x162e 000015b9: JUMPI 000015ba: DUP9 000015bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d0: AND 000015d1: DUP11 000015d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015e7: AND 000015e8: PUSH32 0x8f05f94eed0b7316abb05990df81da789c0a1f51415a0ff7e8b03f58826018cb 00001609: DUP11 0000160a: DUP8 0000160b: PUSH1 0x40 0000160d: MLOAD 0000160e: PUSH2 0x1621 00001611: SWAP3 00001612: SWAP2 00001613: SWAP1 00001614: SWAP2 00001615: DUP3 00001616: MSTORE 00001617: PUSH1 0x20 00001619: DUP3 0000161a: ADD 0000161b: MSTORE 0000161c: PUSH1 0x40 0000161e: ADD 0000161f: SWAP1 00001620: JUMP 00001621: JUMPDEST 00001622: PUSH1 0x40 00001624: MLOAD 00001625: DUP1 00001626: SWAP2 00001627: SUB 00001628: SWAP1 00001629: LOG3 0000162a: PUSH2 0x169f 0000162d: JUMP 0000162e: JUMPDEST 0000162f: DUP9 00001630: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001645: AND 00001646: DUP11 00001647: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165c: AND 0000165d: PUSH32 0xfa2db04e390f7e79a96c51d4a145b9489194b6ed4ab81524af149409c4af6911 0000167e: DUP11 0000167f: DUP8 00001680: PUSH1 0x40 00001682: MLOAD 00001683: PUSH2 0x1696 00001686: SWAP3 00001687: SWAP2 00001688: SWAP1 00001689: SWAP2 0000168a: DUP3 0000168b: MSTORE 0000168c: PUSH1 0x20 0000168e: DUP3 0000168f: ADD 00001690: MSTORE 00001691: PUSH1 0x40 00001693: ADD 00001694: SWAP1 00001695: JUMP 00001696: JUMPDEST 00001697: PUSH1 0x40 00001699: MLOAD 0000169a: DUP1 0000169b: SWAP2 0000169c: SUB 0000169d: SWAP1 0000169e: LOG3 0000169f: JUMPDEST 000016a0: POP 000016a1: POP 000016a2: PUSH1 0x65 000016a4: DUP1 000016a5: SLOAD 000016a6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000016c7: AND 000016c8: PUSH1 0x01 000016ca: OR 000016cb: SWAP1 000016cc: SSTORE 000016cd: POP 000016ce: SWAP7 000016cf: SWAP6 000016d0: POP 000016d1: POP 000016d2: POP 000016d3: POP 000016d4: POP 000016d5: POP 000016d6: JUMP 000016d7: JUMPDEST 000016d8: PUSH2 0x16df 000016db: PUSH2 0x178b 000016de: JUMP 000016df: JUMPDEST 000016e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016f5: DUP2 000016f6: AND 000016f7: PUSH2 0x1782 000016fa: JUMPI 000016fb: PUSH1 0x40 000016fd: MLOAD 000016fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000171f: DUP2 00001720: MSTORE 00001721: PUSH1 0x20 00001723: PUSH1 0x04 00001725: DUP3 00001726: ADD 00001727: MSTORE 00001728: PUSH1 0x26 0000172a: PUSH1 0x24 0000172c: DUP3 0000172d: ADD 0000172e: MSTORE 0000172f: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001750: PUSH1 0x44 00001752: DUP3 00001753: ADD 00001754: MSTORE 00001755: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00001776: PUSH1 0x64 00001778: DUP3 00001779: ADD 0000177a: MSTORE 0000177b: PUSH1 0x84 0000177d: ADD 0000177e: PUSH2 0x05b5 00001781: JUMP 00001782: JUMPDEST 00001783: PUSH2 0x06fa 00001786: DUP2 00001787: PUSH2 0x1b04 0000178a: JUMP 0000178b: JUMPDEST 0000178c: PUSH1 0x33 0000178e: SLOAD 0000178f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017a4: AND 000017a5: CALLER 000017a6: EQ 000017a7: PUSH2 0x180c 000017aa: JUMPI 000017ab: PUSH1 0x40 000017ad: MLOAD 000017ae: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017cf: DUP2 000017d0: MSTORE 000017d1: PUSH1 0x20 000017d3: PUSH1 0x04 000017d5: DUP3 000017d6: ADD 000017d7: DUP2 000017d8: SWAP1 000017d9: MSTORE 000017da: PUSH1 0x24 000017dc: DUP3 000017dd: ADD 000017de: MSTORE 000017df: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001800: PUSH1 0x44 00001802: DUP3 00001803: ADD 00001804: MSTORE 00001805: PUSH1 0x64 00001807: ADD 00001808: PUSH2 0x05b5 0000180b: JUMP 0000180c: JUMPDEST 0000180d: JUMP 0000180e: JUMPDEST 0000180f: PUSH0 00001810: PUSH1 0x40 00001812: MLOAD 00001813: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001834: DUP2 00001835: MSTORE 00001836: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000184b: DUP5 0000184c: AND 0000184d: PUSH1 0x04 0000184f: DUP3 00001850: ADD 00001851: MSTORE 00001852: DUP3 00001853: PUSH1 0x24 00001855: DUP3 00001856: ADD 00001857: MSTORE 00001858: PUSH1 0x20 0000185a: PUSH0 0000185b: PUSH1 0x44 0000185d: DUP4 0000185e: PUSH0 0000185f: DUP10 00001860: GAS 00001861: CALL 00001862: RETURNDATASIZE 00001863: ISZERO 00001864: PUSH1 0x1f 00001866: RETURNDATASIZE 00001867: GT 00001868: PUSH1 0x01 0000186a: PUSH0 0000186b: MLOAD 0000186c: EQ 0000186d: AND 0000186e: OR 0000186f: AND 00001870: SWAP2 00001871: POP 00001872: POP 00001873: DUP1 00001874: PUSH2 0x18ae 00001877: JUMPI 00001878: PUSH1 0x40 0000187a: MLOAD 0000187b: PUSH32 0xdee51a8a00000000000000000000000000000000000000000000000000000000 0000189c: DUP2 0000189d: MSTORE 0000189e: PUSH3 0x01155a 000018a2: PUSH1 0x04 000018a4: DUP3 000018a5: ADD 000018a6: MSTORE 000018a7: PUSH1 0x24 000018a9: ADD 000018aa: PUSH2 0x05b5 000018ad: JUMP 000018ae: JUMPDEST 000018af: POP 000018b0: POP 000018b1: POP 000018b2: POP 000018b3: JUMP 000018b4: JUMPDEST 000018b5: PUSH2 0x06fa 000018b8: PUSH2 0x178b 000018bb: JUMP 000018bc: JUMPDEST 000018bd: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143 000018de: SLOAD 000018df: PUSH1 0xff 000018e1: AND 000018e2: ISZERO 000018e3: PUSH2 0x18ef 000018e6: JUMPI 000018e7: PUSH2 0x0f35 000018ea: DUP4 000018eb: PUSH2 0x1b7a 000018ee: JUMP 000018ef: JUMPDEST 000018f0: DUP3 000018f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001906: AND 00001907: PUSH4 0x52d1902d 0000190c: PUSH1 0x40 0000190e: MLOAD 0000190f: DUP2 00001910: PUSH4 0xffffffff 00001915: AND 00001916: PUSH1 0xe0 00001918: SHL 00001919: DUP2 0000191a: MSTORE 0000191b: PUSH1 0x04 0000191d: ADD 0000191e: PUSH1 0x20 00001920: PUSH1 0x40 00001922: MLOAD 00001923: DUP1 00001924: DUP4 00001925: SUB 00001926: DUP2 00001927: DUP7 00001928: GAS 00001929: STATICCALL 0000192a: SWAP3 0000192b: POP 0000192c: POP 0000192d: POP 0000192e: DUP1 0000192f: ISZERO 00001930: PUSH2 0x1974 00001933: JUMPI 00001934: POP 00001935: PUSH1 0x40 00001937: DUP1 00001938: MLOAD 00001939: PUSH1 0x1f 0000193b: RETURNDATASIZE 0000193c: SWAP1 0000193d: DUP2 0000193e: ADD 0000193f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001960: AND 00001961: DUP3 00001962: ADD 00001963: SWAP1 00001964: SWAP3 00001965: MSTORE 00001966: PUSH2 0x1971 00001969: SWAP2 0000196a: DUP2 0000196b: ADD 0000196c: SWAP1 0000196d: PUSH2 0x2377 00001970: JUMP 00001971: JUMPDEST 00001972: PUSH1 0x01 00001974: JUMPDEST 00001975: PUSH2 0x1a00 00001978: JUMPI 00001979: PUSH1 0x40 0000197b: MLOAD 0000197c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000199d: DUP2 0000199e: MSTORE 0000199f: PUSH1 0x20 000019a1: PUSH1 0x04 000019a3: DUP3 000019a4: ADD 000019a5: MSTORE 000019a6: PUSH1 0x2e 000019a8: PUSH1 0x24 000019aa: DUP3 000019ab: ADD 000019ac: MSTORE 000019ad: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469 000019ce: PUSH1 0x44 000019d0: DUP3 000019d1: ADD 000019d2: MSTORE 000019d3: PUSH32 0x6f6e206973206e6f742055555053000000000000000000000000000000000000 000019f4: PUSH1 0x64 000019f6: DUP3 000019f7: ADD 000019f8: MSTORE 000019f9: PUSH1 0x84 000019fb: ADD 000019fc: PUSH2 0x05b5 000019ff: JUMP 00001a00: JUMPDEST 00001a01: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00001a22: DUP2 00001a23: EQ 00001a24: PUSH2 0x1aaf 00001a27: JUMPI 00001a28: PUSH1 0x40 00001a2a: MLOAD 00001a2b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a4c: DUP2 00001a4d: MSTORE 00001a4e: PUSH1 0x20 00001a50: PUSH1 0x04 00001a52: DUP3 00001a53: ADD 00001a54: MSTORE 00001a55: PUSH1 0x29 00001a57: PUSH1 0x24 00001a59: DUP3 00001a5a: ADD 00001a5b: MSTORE 00001a5c: PUSH32 0x45524331393637557067726164653a20756e737570706f727465642070726f78 00001a7d: PUSH1 0x44 00001a7f: DUP3 00001a80: ADD 00001a81: MSTORE 00001a82: PUSH32 0x6961626c65555549440000000000000000000000000000000000000000000000 00001aa3: PUSH1 0x64 00001aa5: DUP3 00001aa6: ADD 00001aa7: MSTORE 00001aa8: PUSH1 0x84 00001aaa: ADD 00001aab: PUSH2 0x05b5 00001aae: JUMP 00001aaf: JUMPDEST 00001ab0: POP 00001ab1: PUSH2 0x0f35 00001ab4: DUP4 00001ab5: DUP4 00001ab6: DUP4 00001ab7: PUSH2 0x1c84 00001aba: JUMP 00001abb: JUMPDEST 00001abc: PUSH0 00001abd: PUSH0 00001abe: PUSH0 00001abf: PUSH0 00001ac0: PUSH0 00001ac1: DUP6 00001ac2: DUP8 00001ac3: PUSH2 0x4e20 00001ac6: CALL 00001ac7: SWAP1 00001ac8: POP 00001ac9: DUP1 00001aca: PUSH2 0x0f35 00001acd: JUMPI 00001ace: PUSH1 0x40 00001ad0: MLOAD 00001ad1: PUSH32 0xdee51a8a00000000000000000000000000000000000000000000000000000000 00001af2: DUP2 00001af3: MSTORE 00001af4: PUSH3 0x01155a 00001af8: PUSH1 0x04 00001afa: DUP3 00001afb: ADD 00001afc: MSTORE 00001afd: PUSH1 0x24 00001aff: ADD 00001b00: PUSH2 0x05b5 00001b03: JUMP 00001b04: JUMPDEST 00001b05: PUSH1 0x33 00001b07: DUP1 00001b08: SLOAD 00001b09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b1e: DUP4 00001b1f: DUP2 00001b20: AND 00001b21: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001b42: DUP4 00001b43: AND 00001b44: DUP2 00001b45: OR 00001b46: SWAP1 00001b47: SWAP4 00001b48: SSTORE 00001b49: PUSH1 0x40 00001b4b: MLOAD 00001b4c: SWAP2 00001b4d: AND 00001b4e: SWAP2 00001b4f: SWAP1 00001b50: DUP3 00001b51: SWAP1 00001b52: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001b73: SWAP1 00001b74: PUSH0 00001b75: SWAP1 00001b76: LOG3 00001b77: POP 00001b78: POP 00001b79: JUMP 00001b7a: JUMPDEST 00001b7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b90: DUP2 00001b91: AND 00001b92: EXTCODESIZE 00001b93: PUSH2 0x1c1e 00001b96: JUMPI 00001b97: PUSH1 0x40 00001b99: MLOAD 00001b9a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bbb: DUP2 00001bbc: MSTORE 00001bbd: PUSH1 0x20 00001bbf: PUSH1 0x04 00001bc1: DUP3 00001bc2: ADD 00001bc3: MSTORE 00001bc4: PUSH1 0x2d 00001bc6: PUSH1 0x24 00001bc8: DUP3 00001bc9: ADD 00001bca: MSTORE 00001bcb: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 00001bec: PUSH1 0x44 00001bee: DUP3 00001bef: ADD 00001bf0: MSTORE 00001bf1: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000 00001c12: PUSH1 0x64 00001c14: DUP3 00001c15: ADD 00001c16: MSTORE 00001c17: PUSH1 0x84 00001c19: ADD 00001c1a: PUSH2 0x05b5 00001c1d: JUMP 00001c1e: JUMPDEST 00001c1f: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00001c40: DUP1 00001c41: SLOAD 00001c42: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001c63: AND 00001c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c79: SWAP3 00001c7a: SWAP1 00001c7b: SWAP3 00001c7c: AND 00001c7d: SWAP2 00001c7e: SWAP1 00001c7f: SWAP2 00001c80: OR 00001c81: SWAP1 00001c82: SSTORE 00001c83: JUMP 00001c84: JUMPDEST 00001c85: PUSH2 0x1c8d 00001c88: DUP4 00001c89: PUSH2 0x1ca8 00001c8c: JUMP 00001c8d: JUMPDEST 00001c8e: PUSH0 00001c8f: DUP3 00001c90: MLOAD 00001c91: GT 00001c92: DUP1 00001c93: PUSH2 0x1c99 00001c96: JUMPI 00001c97: POP 00001c98: DUP1 00001c99: JUMPDEST 00001c9a: ISZERO 00001c9b: PUSH2 0x0f35 00001c9e: JUMPI 00001c9f: PUSH2 0x18ae 00001ca2: DUP4 00001ca3: DUP4 00001ca4: PUSH2 0x1cf4 00001ca7: JUMP 00001ca8: JUMPDEST 00001ca9: PUSH2 0x1cb1 00001cac: DUP2 00001cad: PUSH2 0x1b7a 00001cb0: JUMP 00001cb1: JUMPDEST 00001cb2: PUSH1 0x40 00001cb4: MLOAD 00001cb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cca: DUP3 00001ccb: AND 00001ccc: SWAP1 00001ccd: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00001cee: SWAP1 00001cef: PUSH0 00001cf0: SWAP1 00001cf1: LOG2 00001cf2: POP 00001cf3: JUMP 00001cf4: JUMPDEST 00001cf5: PUSH1 0x60 00001cf7: PUSH2 0x1d19 00001cfa: DUP4 00001cfb: DUP4 00001cfc: PUSH1 0x40 00001cfe: MLOAD 00001cff: DUP1 00001d00: PUSH1 0x60 00001d02: ADD 00001d03: PUSH1 0x40 00001d05: MSTORE 00001d06: DUP1 00001d07: PUSH1 0x27 00001d09: DUP2 00001d0a: MSTORE 00001d0b: PUSH1 0x20 00001d0d: ADD 00001d0e: PUSH2 0x252b 00001d11: PUSH1 0x27 00001d13: SWAP2 00001d14: CODECOPY 00001d15: PUSH2 0x1d22 00001d18: JUMP 00001d19: JUMPDEST 00001d1a: SWAP1 00001d1b: POP 00001d1c: JUMPDEST 00001d1d: SWAP3 00001d1e: SWAP2 00001d1f: POP 00001d20: POP 00001d21: JUMP 00001d22: JUMPDEST 00001d23: PUSH1 0x60 00001d25: PUSH0 00001d26: PUSH0 00001d27: DUP6 00001d28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3d: AND 00001d3e: DUP6 00001d3f: PUSH1 0x40 00001d41: MLOAD 00001d42: PUSH2 0x1d4b 00001d45: SWAP2 00001d46: SWAP1 00001d47: PUSH2 0x2502 00001d4a: JUMP 00001d4b: JUMPDEST 00001d4c: PUSH0 00001d4d: PUSH1 0x40 00001d4f: MLOAD 00001d50: DUP1 00001d51: DUP4 00001d52: SUB 00001d53: DUP2 00001d54: DUP6 00001d55: GAS 00001d56: DELEGATECALL 00001d57: SWAP2 00001d58: POP 00001d59: POP 00001d5a: RETURNDATASIZE 00001d5b: DUP1 00001d5c: PUSH0 00001d5d: DUP2 00001d5e: EQ 00001d5f: PUSH2 0x1d83 00001d62: JUMPI 00001d63: PUSH1 0x40 00001d65: MLOAD 00001d66: SWAP2 00001d67: POP 00001d68: PUSH1 0x1f 00001d6a: NOT 00001d6b: PUSH1 0x3f 00001d6d: RETURNDATASIZE 00001d6e: ADD 00001d6f: AND 00001d70: DUP3 00001d71: ADD 00001d72: PUSH1 0x40 00001d74: MSTORE 00001d75: RETURNDATASIZE 00001d76: DUP3 00001d77: MSTORE 00001d78: RETURNDATASIZE 00001d79: PUSH0 00001d7a: PUSH1 0x20 00001d7c: DUP5 00001d7d: ADD 00001d7e: RETURNDATACOPY 00001d7f: PUSH2 0x1d88 00001d82: JUMP 00001d83: JUMPDEST 00001d84: PUSH1 0x60 00001d86: SWAP2 00001d87: POP 00001d88: JUMPDEST 00001d89: POP 00001d8a: SWAP2 00001d8b: POP 00001d8c: SWAP2 00001d8d: POP 00001d8e: PUSH2 0x1d99 00001d91: DUP7 00001d92: DUP4 00001d93: DUP4 00001d94: DUP8 00001d95: PUSH2 0x1da3 00001d98: JUMP 00001d99: JUMPDEST 00001d9a: SWAP7 00001d9b: SWAP6 00001d9c: POP 00001d9d: POP 00001d9e: POP 00001d9f: POP 00001da0: POP 00001da1: POP 00001da2: JUMP 00001da3: JUMPDEST 00001da4: PUSH1 0x60 00001da6: DUP4 00001da7: ISZERO 00001da8: PUSH2 0x1e38 00001dab: JUMPI 00001dac: DUP3 00001dad: MLOAD 00001dae: PUSH0 00001daf: SUB 00001db0: PUSH2 0x1e31 00001db3: JUMPI 00001db4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc9: DUP6 00001dca: AND 00001dcb: EXTCODESIZE 00001dcc: PUSH2 0x1e31 00001dcf: JUMPI 00001dd0: PUSH1 0x40 00001dd2: MLOAD 00001dd3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001df4: DUP2 00001df5: MSTORE 00001df6: PUSH1 0x20 00001df8: PUSH1 0x04 00001dfa: DUP3 00001dfb: ADD 00001dfc: MSTORE 00001dfd: PUSH1 0x1d 00001dff: PUSH1 0x24 00001e01: DUP3 00001e02: ADD 00001e03: MSTORE 00001e04: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001e25: PUSH1 0x44 00001e27: DUP3 00001e28: ADD 00001e29: MSTORE 00001e2a: PUSH1 0x64 00001e2c: ADD 00001e2d: PUSH2 0x05b5 00001e30: JUMP 00001e31: JUMPDEST 00001e32: POP 00001e33: DUP2 00001e34: PUSH2 0x1e42 00001e37: JUMP 00001e38: JUMPDEST 00001e39: PUSH2 0x1e42 00001e3c: DUP4 00001e3d: DUP4 00001e3e: PUSH2 0x1e4a 00001e41: JUMP 00001e42: JUMPDEST 00001e43: SWAP5 00001e44: SWAP4 00001e45: POP 00001e46: POP 00001e47: POP 00001e48: POP 00001e49: JUMP 00001e4a: JUMPDEST 00001e4b: DUP2 00001e4c: MLOAD 00001e4d: ISZERO 00001e4e: PUSH2 0x1e5a 00001e51: JUMPI 00001e52: DUP2 00001e53: MLOAD 00001e54: DUP1 00001e55: DUP4 00001e56: PUSH1 0x20 00001e58: ADD 00001e59: REVERT 00001e5a: JUMPDEST 00001e5b: DUP1 00001e5c: PUSH1 0x40 00001e5e: MLOAD 00001e5f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e80: DUP2 00001e81: MSTORE 00001e82: PUSH1 0x04 00001e84: ADD 00001e85: PUSH2 0x05b5 00001e88: SWAP2 00001e89: SWAP1 00001e8a: PUSH2 0x2518 00001e8d: JUMP 00001e8e: JUMPDEST 00001e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ea4: DUP2 00001ea5: AND 00001ea6: DUP2 00001ea7: EQ 00001ea8: PUSH2 0x06fa 00001eab: JUMPI 00001eac: PUSH0 00001ead: PUSH0 00001eae: REVERT 00001eaf: JUMPDEST 00001eb0: PUSH0 00001eb1: PUSH0 00001eb2: PUSH1 0x40 00001eb4: DUP4 00001eb5: DUP6 00001eb6: SUB 00001eb7: SLT 00001eb8: ISZERO 00001eb9: PUSH2 0x1ec0 00001ebc: JUMPI 00001ebd: PUSH0 00001ebe: PUSH0 00001ebf: REVERT 00001ec0: JUMPDEST 00001ec1: DUP3 00001ec2: CALLDATALOAD 00001ec3: PUSH2 0x1ecb 00001ec6: DUP2 00001ec7: PUSH2 0x1e8e 00001eca: JUMP 00001ecb: JUMPDEST 00001ecc: SWAP2 00001ecd: POP 00001ece: PUSH1 0x20 00001ed0: DUP4 00001ed1: ADD 00001ed2: CALLDATALOAD 00001ed3: DUP1 00001ed4: ISZERO 00001ed5: ISZERO 00001ed6: DUP2 00001ed7: EQ 00001ed8: PUSH2 0x1edf 00001edb: JUMPI 00001edc: PUSH0 00001edd: PUSH0 00001ede: REVERT 00001edf: JUMPDEST 00001ee0: DUP1 00001ee1: SWAP2 00001ee2: POP 00001ee3: POP 00001ee4: SWAP3 00001ee5: POP 00001ee6: SWAP3 00001ee7: SWAP1 00001ee8: POP 00001ee9: JUMP 00001eea: JUMPDEST 00001eeb: PUSH0 00001eec: PUSH1 0x20 00001eee: DUP3 00001eef: DUP5 00001ef0: SUB 00001ef1: SLT 00001ef2: ISZERO 00001ef3: PUSH2 0x1efa 00001ef6: JUMPI 00001ef7: PUSH0 00001ef8: PUSH0 00001ef9: REVERT 00001efa: JUMPDEST 00001efb: POP 00001efc: CALLDATALOAD 00001efd: SWAP2 00001efe: SWAP1 00001eff: POP 00001f00: JUMP 00001f01: JUMPDEST 00001f02: PUSH0 00001f03: PUSH1 0x20 00001f05: DUP3 00001f06: DUP5 00001f07: SUB 00001f08: SLT 00001f09: ISZERO 00001f0a: PUSH2 0x1f11 00001f0d: JUMPI 00001f0e: PUSH0 00001f0f: PUSH0 00001f10: REVERT 00001f11: JUMPDEST 00001f12: DUP2 00001f13: CALLDATALOAD 00001f14: PUSH2 0x1f1c 00001f17: DUP2 00001f18: PUSH2 0x1e8e 00001f1b: JUMP 00001f1c: JUMPDEST 00001f1d: SWAP4 00001f1e: SWAP3 00001f1f: POP 00001f20: POP 00001f21: POP 00001f22: JUMP 00001f23: JUMPDEST 00001f24: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001f45: PUSH0 00001f46: MSTORE 00001f47: PUSH1 0x41 00001f49: PUSH1 0x04 00001f4b: MSTORE 00001f4c: PUSH1 0x24 00001f4e: PUSH0 00001f4f: REVERT 00001f50: JUMPDEST 00001f51: PUSH1 0x40 00001f53: MLOAD 00001f54: PUSH1 0x1f 00001f56: DUP3 00001f57: ADD 00001f58: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001f79: AND 00001f7a: DUP2 00001f7b: ADD 00001f7c: PUSH8 0xffffffffffffffff 00001f85: DUP2 00001f86: GT 00001f87: DUP3 00001f88: DUP3 00001f89: LT 00001f8a: OR 00001f8b: ISZERO 00001f8c: PUSH2 0x1f97 00001f8f: JUMPI 00001f90: PUSH2 0x1f97 00001f93: PUSH2 0x1f23 00001f96: JUMP 00001f97: JUMPDEST 00001f98: PUSH1 0x40 00001f9a: MSTORE 00001f9b: SWAP2 00001f9c: SWAP1 00001f9d: POP 00001f9e: JUMP 00001f9f: JUMPDEST 00001fa0: PUSH0 00001fa1: PUSH0 00001fa2: PUSH8 0xffffffffffffffff 00001fab: DUP5 00001fac: GT 00001fad: ISZERO 00001fae: PUSH2 0x1fb9 00001fb1: JUMPI 00001fb2: PUSH2 0x1fb9 00001fb5: PUSH2 0x1f23 00001fb8: JUMP 00001fb9: JUMPDEST 00001fba: POP 00001fbb: PUSH1 0x1f 00001fbd: DUP4 00001fbe: ADD 00001fbf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001fe0: AND 00001fe1: PUSH1 0x20 00001fe3: ADD 00001fe4: PUSH2 0x1fec 00001fe7: DUP2 00001fe8: PUSH2 0x1f50 00001feb: JUMP 00001fec: JUMPDEST 00001fed: SWAP2 00001fee: POP 00001fef: POP 00001ff0: DUP3 00001ff1: DUP2 00001ff2: MSTORE 00001ff3: DUP4 00001ff4: DUP4 00001ff5: DUP4 00001ff6: ADD 00001ff7: GT 00001ff8: ISZERO 00001ff9: PUSH2 0x2000 00001ffc: JUMPI 00001ffd: PUSH0 00001ffe: PUSH0 00001fff: REVERT 00002000: JUMPDEST 00002001: DUP3 00002002: DUP3 00002003: PUSH1 0x20 00002005: DUP4 00002006: ADD 00002007: CALLDATACOPY 00002008: PUSH0 00002009: PUSH1 0x20 0000200b: DUP5 0000200c: DUP4 0000200d: ADD 0000200e: ADD 0000200f: MSTORE 00002010: SWAP4 00002011: SWAP3 00002012: POP 00002013: POP 00002014: POP 00002015: JUMP 00002016: JUMPDEST 00002017: PUSH0 00002018: DUP3 00002019: PUSH1 0x1f 0000201b: DUP4 0000201c: ADD 0000201d: SLT 0000201e: PUSH2 0x2025 00002021: JUMPI 00002022: PUSH0 00002023: PUSH0 00002024: REVERT 00002025: JUMPDEST 00002026: PUSH2 0x1d19 00002029: DUP4 0000202a: DUP4 0000202b: CALLDATALOAD 0000202c: PUSH1 0x20 0000202e: DUP6 0000202f: ADD 00002030: PUSH2 0x1f9f 00002033: JUMP 00002034: JUMPDEST 00002035: PUSH0 00002036: PUSH0 00002037: PUSH1 0x40 00002039: DUP4 0000203a: DUP6 0000203b: SUB 0000203c: SLT 0000203d: ISZERO 0000203e: PUSH2 0x2045 00002041: JUMPI 00002042: PUSH0 00002043: PUSH0 00002044: REVERT 00002045: JUMPDEST 00002046: DUP3 00002047: CALLDATALOAD 00002048: PUSH2 0x2050 0000204b: DUP2 0000204c: PUSH2 0x1e8e 0000204f: JUMP 00002050: JUMPDEST 00002051: SWAP2 00002052: POP 00002053: PUSH1 0x20 00002055: DUP4 00002056: ADD 00002057: CALLDATALOAD 00002058: PUSH8 0xffffffffffffffff 00002061: DUP2 00002062: GT 00002063: ISZERO 00002064: PUSH2 0x206b 00002067: JUMPI 00002068: PUSH0 00002069: PUSH0 0000206a: REVERT 0000206b: JUMPDEST 0000206c: PUSH2 0x2077 0000206f: DUP6 00002070: DUP3 00002071: DUP7 00002072: ADD 00002073: PUSH2 0x2016 00002076: JUMP 00002077: JUMPDEST 00002078: SWAP2 00002079: POP 0000207a: POP 0000207b: SWAP3 0000207c: POP 0000207d: SWAP3 0000207e: SWAP1 0000207f: POP 00002080: JUMP 00002081: JUMPDEST 00002082: PUSH0 00002083: PUSH0 00002084: PUSH1 0x40 00002086: DUP4 00002087: DUP6 00002088: SUB 00002089: SLT 0000208a: ISZERO 0000208b: PUSH2 0x2092 0000208e: JUMPI 0000208f: PUSH0 00002090: PUSH0 00002091: REVERT 00002092: JUMPDEST 00002093: DUP3 00002094: CALLDATALOAD 00002095: PUSH2 0x209d 00002098: DUP2 00002099: PUSH2 0x1e8e 0000209c: JUMP 0000209d: JUMPDEST 0000209e: SWAP5 0000209f: PUSH1 0x20 000020a1: SWAP4 000020a2: SWAP1 000020a3: SWAP4 000020a4: ADD 000020a5: CALLDATALOAD 000020a6: SWAP4 000020a7: POP 000020a8: POP 000020a9: POP 000020aa: JUMP 000020ab: JUMPDEST 000020ac: PUSH0 000020ad: PUSH8 0xffffffffffffffff 000020b6: DUP3 000020b7: GT 000020b8: ISZERO 000020b9: PUSH2 0x20c4 000020bc: JUMPI 000020bd: PUSH2 0x20c4 000020c0: PUSH2 0x1f23 000020c3: JUMP 000020c4: JUMPDEST 000020c5: POP 000020c6: PUSH1 0x05 000020c8: SHL 000020c9: PUSH1 0x20 000020cb: ADD 000020cc: SWAP1 000020cd: JUMP 000020ce: JUMPDEST 000020cf: PUSH0 000020d0: PUSH0 000020d1: PUSH1 0x40 000020d3: DUP4 000020d4: DUP6 000020d5: SUB 000020d6: SLT 000020d7: ISZERO 000020d8: PUSH2 0x20df 000020db: JUMPI 000020dc: PUSH0 000020dd: PUSH0 000020de: REVERT 000020df: JUMPDEST 000020e0: DUP3 000020e1: CALLDATALOAD 000020e2: PUSH2 0x20ea 000020e5: DUP2 000020e6: PUSH2 0x1e8e 000020e9: JUMP 000020ea: JUMPDEST 000020eb: SWAP2 000020ec: POP 000020ed: PUSH1 0x20 000020ef: DUP4 000020f0: ADD 000020f1: CALLDATALOAD 000020f2: PUSH8 0xffffffffffffffff 000020fb: DUP2 000020fc: GT 000020fd: ISZERO 000020fe: PUSH2 0x2105 00002101: JUMPI 00002102: PUSH0 00002103: PUSH0 00002104: REVERT 00002105: JUMPDEST 00002106: DUP4 00002107: ADD 00002108: PUSH1 0x1f 0000210a: DUP2 0000210b: ADD 0000210c: DUP6 0000210d: SGT 0000210e: PUSH2 0x2115 00002111: JUMPI 00002112: PUSH0 00002113: PUSH0 00002114: REVERT 00002115: JUMPDEST 00002116: DUP1 00002117: CALLDATALOAD 00002118: PUSH2 0x2128 0000211b: PUSH2 0x2123 0000211e: DUP3 0000211f: PUSH2 0x20ab 00002122: JUMP 00002123: JUMPDEST 00002124: PUSH2 0x1f50 00002127: JUMP 00002128: JUMPDEST 00002129: DUP1 0000212a: DUP3 0000212b: DUP3 0000212c: MSTORE 0000212d: PUSH1 0x20 0000212f: DUP3 00002130: ADD 00002131: SWAP2 00002132: POP 00002133: PUSH1 0x20 00002135: DUP4 00002136: PUSH1 0x05 00002138: SHL 00002139: DUP6 0000213a: ADD 0000213b: ADD 0000213c: SWAP3 0000213d: POP 0000213e: DUP8 0000213f: DUP4 00002140: GT 00002141: ISZERO 00002142: PUSH2 0x2149 00002145: JUMPI 00002146: PUSH0 00002147: PUSH0 00002148: REVERT 00002149: JUMPDEST 0000214a: PUSH1 0x20 0000214c: DUP5 0000214d: ADD 0000214e: SWAP4 0000214f: POP 00002150: JUMPDEST 00002151: DUP3 00002152: DUP5 00002153: LT 00002154: ISZERO 00002155: PUSH2 0x2174 00002158: JUMPI 00002159: DUP4 0000215a: CALLDATALOAD 0000215b: PUSH2 0x2163 0000215e: DUP2 0000215f: PUSH2 0x1e8e 00002162: JUMP 00002163: JUMPDEST 00002164: DUP3 00002165: MSTORE 00002166: PUSH1 0x20 00002168: SWAP4 00002169: DUP5 0000216a: ADD 0000216b: SWAP4 0000216c: SWAP1 0000216d: SWAP2 0000216e: ADD 0000216f: SWAP1 00002170: PUSH2 0x2150 00002173: JUMP 00002174: JUMPDEST 00002175: DUP1 00002176: SWAP5 00002177: POP 00002178: POP 00002179: POP 0000217a: POP 0000217b: POP 0000217c: SWAP3 0000217d: POP 0000217e: SWAP3 0000217f: SWAP1 00002180: POP 00002181: JUMP 00002182: JUMPDEST 00002183: PUSH0 00002184: DUP3 00002185: PUSH1 0x1f 00002187: DUP4 00002188: ADD 00002189: SLT 0000218a: PUSH2 0x2191 0000218d: JUMPI 0000218e: PUSH0 0000218f: PUSH0 00002190: REVERT 00002191: JUMPDEST 00002192: DUP2 00002193: CALLDATALOAD 00002194: PUSH2 0x219f 00002197: PUSH2 0x2123 0000219a: DUP3 0000219b: PUSH2 0x20ab 0000219e: JUMP 0000219f: JUMPDEST 000021a0: DUP1 000021a1: DUP3 000021a2: DUP3 000021a3: MSTORE 000021a4: PUSH1 0x20 000021a6: DUP3 000021a7: ADD 000021a8: SWAP2 000021a9: POP 000021aa: PUSH1 0x20 000021ac: DUP4 000021ad: PUSH1 0x05 000021af: SHL 000021b0: DUP7 000021b1: ADD 000021b2: ADD 000021b3: SWAP3 000021b4: POP 000021b5: DUP6 000021b6: DUP4 000021b7: GT 000021b8: ISZERO 000021b9: PUSH2 0x21c0 000021bc: JUMPI 000021bd: PUSH0 000021be: PUSH0 000021bf: REVERT 000021c0: JUMPDEST 000021c1: PUSH1 0x20 000021c3: DUP6 000021c4: ADD 000021c5: JUMPDEST 000021c6: DUP4 000021c7: DUP2 000021c8: LT 000021c9: ISZERO 000021ca: PUSH2 0x2201 000021cd: JUMPI 000021ce: DUP1 000021cf: CALLDATALOAD 000021d0: PUSH8 0xffffffffffffffff 000021d9: DUP2 000021da: GT 000021db: ISZERO 000021dc: PUSH2 0x21e3 000021df: JUMPI 000021e0: PUSH0 000021e1: PUSH0 000021e2: REVERT 000021e3: JUMPDEST 000021e4: PUSH2 0x21f2 000021e7: DUP9 000021e8: PUSH1 0x20 000021ea: DUP4 000021eb: DUP11 000021ec: ADD 000021ed: ADD 000021ee: PUSH2 0x2016 000021f1: JUMP 000021f2: JUMPDEST 000021f3: DUP5 000021f4: MSTORE 000021f5: POP 000021f6: PUSH1 0x20 000021f8: SWAP3 000021f9: DUP4 000021fa: ADD 000021fb: SWAP3 000021fc: ADD 000021fd: PUSH2 0x21c5 00002200: JUMP 00002201: JUMPDEST 00002202: POP 00002203: SWAP6 00002204: SWAP5 00002205: POP 00002206: POP 00002207: POP 00002208: POP 00002209: POP 0000220a: JUMP 0000220b: JUMPDEST 0000220c: PUSH0 0000220d: PUSH0 0000220e: PUSH0 0000220f: PUSH0 00002210: PUSH0 00002211: PUSH0 00002212: PUSH1 0xc0 00002214: DUP8 00002215: DUP10 00002216: SUB 00002217: SLT 00002218: ISZERO 00002219: PUSH2 0x2220 0000221c: JUMPI 0000221d: PUSH0 0000221e: PUSH0 0000221f: REVERT 00002220: JUMPDEST 00002221: DUP7 00002222: CALLDATALOAD 00002223: PUSH2 0x222b 00002226: DUP2 00002227: PUSH2 0x1e8e 0000222a: JUMP 0000222b: JUMPDEST 0000222c: SWAP6 0000222d: POP 0000222e: PUSH1 0x20 00002230: DUP8 00002231: ADD 00002232: CALLDATALOAD 00002233: PUSH2 0x223b 00002236: DUP2 00002237: PUSH2 0x1e8e 0000223a: JUMP 0000223b: JUMPDEST 0000223c: SWAP5 0000223d: POP 0000223e: PUSH1 0x40 00002240: DUP8 00002241: ADD 00002242: CALLDATALOAD 00002243: SWAP4 00002244: POP 00002245: PUSH1 0x60 00002247: DUP8 00002248: ADD 00002249: CALLDATALOAD 0000224a: SWAP3 0000224b: POP 0000224c: PUSH1 0x80 0000224e: DUP8 0000224f: ADD 00002250: CALLDATALOAD 00002251: PUSH8 0xffffffffffffffff 0000225a: DUP2 0000225b: GT 0000225c: ISZERO 0000225d: PUSH2 0x2264 00002260: JUMPI 00002261: PUSH0 00002262: PUSH0 00002263: REVERT 00002264: JUMPDEST 00002265: DUP8 00002266: ADD 00002267: PUSH1 0x1f 00002269: DUP2 0000226a: ADD 0000226b: DUP10 0000226c: SGT 0000226d: PUSH2 0x2274 00002270: JUMPI 00002271: PUSH0 00002272: PUSH0 00002273: REVERT 00002274: JUMPDEST 00002275: DUP1 00002276: CALLDATALOAD 00002277: PUSH2 0x2282 0000227a: PUSH2 0x2123 0000227d: DUP3 0000227e: PUSH2 0x20ab 00002281: JUMP 00002282: JUMPDEST 00002283: DUP1 00002284: DUP3 00002285: DUP3 00002286: MSTORE 00002287: PUSH1 0x20 00002289: DUP3 0000228a: ADD 0000228b: SWAP2 0000228c: POP 0000228d: PUSH1 0x20 0000228f: DUP4 00002290: PUSH1 0x05 00002292: SHL 00002293: DUP6 00002294: ADD 00002295: ADD 00002296: SWAP3 00002297: POP 00002298: DUP12 00002299: DUP4 0000229a: GT 0000229b: ISZERO 0000229c: PUSH2 0x22a3 0000229f: JUMPI 000022a0: PUSH0 000022a1: PUSH0 000022a2: REVERT 000022a3: JUMPDEST 000022a4: PUSH1 0x20 000022a6: DUP5 000022a7: ADD 000022a8: JUMPDEST 000022a9: DUP4 000022aa: DUP2 000022ab: LT 000022ac: ISZERO 000022ad: PUSH2 0x22f7 000022b0: JUMPI 000022b1: DUP1 000022b2: CALLDATALOAD 000022b3: PUSH8 0xffffffffffffffff 000022bc: DUP2 000022bd: GT 000022be: ISZERO 000022bf: PUSH2 0x22c6 000022c2: JUMPI 000022c3: PUSH0 000022c4: PUSH0 000022c5: REVERT 000022c6: JUMPDEST 000022c7: DUP6 000022c8: ADD 000022c9: PUSH1 0x3f 000022cb: DUP2 000022cc: ADD 000022cd: DUP15 000022ce: SGT 000022cf: PUSH2 0x22d6 000022d2: JUMPI 000022d3: PUSH0 000022d4: PUSH0 000022d5: REVERT 000022d6: JUMPDEST 000022d7: PUSH2 0x22e8 000022da: DUP15 000022db: PUSH1 0x20 000022dd: DUP4 000022de: ADD 000022df: CALLDATALOAD 000022e0: PUSH1 0x40 000022e2: DUP5 000022e3: ADD 000022e4: PUSH2 0x1f9f 000022e7: JUMP 000022e8: JUMPDEST 000022e9: DUP5 000022ea: MSTORE 000022eb: POP 000022ec: PUSH1 0x20 000022ee: SWAP3 000022ef: DUP4 000022f0: ADD 000022f1: SWAP3 000022f2: ADD 000022f3: PUSH2 0x22a8 000022f6: JUMP 000022f7: JUMPDEST 000022f8: POP 000022f9: SWAP5 000022fa: POP 000022fb: POP 000022fc: POP 000022fd: POP 000022fe: PUSH1 0xa0 00002300: DUP8 00002301: ADD 00002302: CALLDATALOAD 00002303: PUSH8 0xffffffffffffffff 0000230c: DUP2 0000230d: GT 0000230e: ISZERO 0000230f: PUSH2 0x2316 00002312: JUMPI 00002313: PUSH0 00002314: PUSH0 00002315: REVERT 00002316: JUMPDEST 00002317: PUSH2 0x2322 0000231a: DUP10 0000231b: DUP3 0000231c: DUP11 0000231d: ADD 0000231e: PUSH2 0x2182 00002321: JUMP 00002322: JUMPDEST 00002323: SWAP2 00002324: POP 00002325: POP 00002326: SWAP3 00002327: SWAP6 00002328: POP 00002329: SWAP3 0000232a: SWAP6 0000232b: POP 0000232c: SWAP3 0000232d: SWAP6 0000232e: JUMP 0000232f: JUMPDEST 00002330: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002351: PUSH0 00002352: MSTORE 00002353: PUSH1 0x32 00002355: PUSH1 0x04 00002357: MSTORE 00002358: PUSH1 0x24 0000235a: PUSH0 0000235b: REVERT 0000235c: JUMPDEST 0000235d: PUSH0 0000235e: PUSH1 0x20 00002360: DUP3 00002361: DUP5 00002362: SUB 00002363: SLT 00002364: ISZERO 00002365: PUSH2 0x236c 00002368: JUMPI 00002369: PUSH0 0000236a: PUSH0 0000236b: REVERT 0000236c: JUMPDEST 0000236d: DUP2 0000236e: MLOAD 0000236f: PUSH2 0x1f1c 00002372: DUP2 00002373: PUSH2 0x1e8e 00002376: JUMP 00002377: JUMPDEST 00002378: PUSH0 00002379: PUSH1 0x20 0000237b: DUP3 0000237c: DUP5 0000237d: SUB 0000237e: SLT 0000237f: ISZERO 00002380: PUSH2 0x2387 00002383: JUMPI 00002384: PUSH0 00002385: PUSH0 00002386: REVERT 00002387: JUMPDEST 00002388: POP 00002389: MLOAD 0000238a: SWAP2 0000238b: SWAP1 0000238c: POP 0000238d: JUMP 0000238e: JUMPDEST 0000238f: PUSH0 00002390: DUP2 00002391: MLOAD 00002392: DUP1 00002393: DUP5 00002394: MSTORE 00002395: DUP1 00002396: PUSH1 0x20 00002398: DUP5 00002399: ADD 0000239a: PUSH1 0x20 0000239c: DUP7 0000239d: ADD 0000239e: MCOPY 0000239f: PUSH0 000023a0: PUSH1 0x20 000023a2: DUP3 000023a3: DUP7 000023a4: ADD 000023a5: ADD 000023a6: MSTORE 000023a7: PUSH1 0x20 000023a9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000023ca: PUSH1 0x1f 000023cc: DUP4 000023cd: ADD 000023ce: AND 000023cf: DUP6 000023d0: ADD 000023d1: ADD 000023d2: SWAP2 000023d3: POP 000023d4: POP 000023d5: SWAP3 000023d6: SWAP2 000023d7: POP 000023d8: POP 000023d9: JUMP 000023da: JUMPDEST 000023db: PUSH0 000023dc: DUP3 000023dd: DUP3 000023de: MLOAD 000023df: DUP1 000023e0: DUP6 000023e1: MSTORE 000023e2: PUSH1 0x20 000023e4: DUP6 000023e5: ADD 000023e6: SWAP5 000023e7: POP 000023e8: PUSH1 0x20 000023ea: DUP2 000023eb: PUSH1 0x05 000023ed: SHL 000023ee: DUP4 000023ef: ADD 000023f0: ADD 000023f1: PUSH1 0x20 000023f3: DUP6 000023f4: ADD 000023f5: PUSH0 000023f6: JUMPDEST 000023f7: DUP4 000023f8: DUP2 000023f9: LT 000023fa: ISZERO 000023fb: PUSH2 0x2446 000023fe: JUMPI 000023ff: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002420: DUP6 00002421: DUP5 00002422: SUB 00002423: ADD 00002424: DUP9 00002425: MSTORE 00002426: PUSH2 0x2430 00002429: DUP4 0000242a: DUP4 0000242b: MLOAD 0000242c: PUSH2 0x238e 0000242f: JUMP 00002430: JUMPDEST 00002431: PUSH1 0x20 00002433: SWAP9 00002434: DUP10 00002435: ADD 00002436: SWAP9 00002437: SWAP1 00002438: SWAP4 00002439: POP 0000243a: SWAP2 0000243b: SWAP1 0000243c: SWAP2 0000243d: ADD 0000243e: SWAP1 0000243f: PUSH1 0x01 00002441: ADD 00002442: PUSH2 0x23f6 00002445: JUMP 00002446: JUMPDEST 00002447: POP 00002448: SWAP1 00002449: SWAP7 0000244a: SWAP6 0000244b: POP 0000244c: POP 0000244d: POP 0000244e: POP 0000244f: POP 00002450: POP 00002451: JUMP 00002452: JUMPDEST 00002453: PUSH1 0x40 00002455: DUP2 00002456: MSTORE 00002457: PUSH0 00002458: PUSH2 0x2464 0000245b: PUSH1 0x40 0000245d: DUP4 0000245e: ADD 0000245f: DUP6 00002460: PUSH2 0x23da 00002463: JUMP 00002464: JUMPDEST 00002465: DUP3 00002466: DUP2 00002467: SUB 00002468: PUSH1 0x20 0000246a: DUP5 0000246b: ADD 0000246c: MSTORE 0000246d: PUSH2 0x2476 00002470: DUP2 00002471: DUP6 00002472: PUSH2 0x23da 00002475: JUMP 00002476: JUMPDEST 00002477: SWAP6 00002478: SWAP5 00002479: POP 0000247a: POP 0000247b: POP 0000247c: POP 0000247d: POP 0000247e: JUMP 0000247f: JUMPDEST 00002480: PUSH1 0x60 00002482: DUP2 00002483: MSTORE 00002484: PUSH0 00002485: PUSH2 0x2491 00002488: PUSH1 0x60 0000248a: DUP4 0000248b: ADD 0000248c: DUP7 0000248d: PUSH2 0x23da 00002490: JUMP 00002491: JUMPDEST 00002492: DUP3 00002493: DUP2 00002494: SUB 00002495: PUSH1 0x20 00002497: DUP5 00002498: ADD 00002499: MSTORE 0000249a: PUSH2 0x24a3 0000249d: DUP2 0000249e: DUP7 0000249f: PUSH2 0x23da 000024a2: JUMP 000024a3: JUMPDEST 000024a4: SWAP2 000024a5: POP 000024a6: POP 000024a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024bc: DUP4 000024bd: AND 000024be: PUSH1 0x40 000024c0: DUP4 000024c1: ADD 000024c2: MSTORE 000024c3: SWAP5 000024c4: SWAP4 000024c5: POP 000024c6: POP 000024c7: POP 000024c8: POP 000024c9: JUMP 000024ca: JUMPDEST 000024cb: DUP2 000024cc: DUP2 000024cd: SUB 000024ce: DUP2 000024cf: DUP2 000024d0: GT 000024d1: ISZERO 000024d2: PUSH2 0x1d1c 000024d5: JUMPI 000024d6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000024f7: PUSH0 000024f8: MSTORE 000024f9: PUSH1 0x11 000024fb: PUSH1 0x04 000024fd: MSTORE 000024fe: PUSH1 0x24 00002500: PUSH0 00002501: REVERT 00002502: JUMPDEST 00002503: PUSH0 00002504: DUP3 00002505: MLOAD 00002506: DUP1 00002507: PUSH1 0x20 00002509: DUP6 0000250a: ADD 0000250b: DUP5 0000250c: MCOPY 0000250d: PUSH0 0000250e: SWAP3 0000250f: ADD 00002510: SWAP2 00002511: DUP3 00002512: MSTORE 00002513: POP 00002514: SWAP2 00002515: SWAP1 00002516: POP 00002517: JUMP 00002518: JUMPDEST 00002519: PUSH1 0x20 0000251b: DUP2 0000251c: MSTORE 0000251d: PUSH0 0000251e: PUSH2 0x1d19 00002521: PUSH1 0x20 00002523: DUP4 00002524: ADD 00002525: DUP5 00002526: PUSH2 0x238e 00002529: JUMP 0000252a: INVALID 0000252b: COINBASE 0000252c: PUSH5 0x6472657373 00002532: GASPRICE 00002533: KECCAK256 00002534: PUSH13 0x6f772d6c6576656c2064656c65 00002542: PUSH8 0x6174652063616c6c 0000254b: KECCAK256 0000254c: PUSH7 0x61696c6564a264 00002554: PUSH10 0x70667358221220e617aa 0000255f: SWAP1 00002560: COINBASE 00002561: UNKNOWN(0xC9) 00002562: UNKNOWN(0xC3) 00002563: UNKNOWN(0xB9) 00002564: DIV 00002565: UNKNOWN(0xBC) 00002566: PUSH17 0xf632c204c2413aa78416612688606d7534 00002578: ORIGIN 00002579: UNKNOWN(0x0F) 0000257a: UNKNOWN(0xC0) 0000257b: UNKNOWN(0x25) 0000257c: PUSH5 0x736f6c6343 00002582: STOP 00002583: ADDMOD 00002584: SAR 00002585: STOP 00002586: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x891da7c8d316a5431dde29989f62e9e4aa805324be9e80767aedfdc953ec2a6b
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 156,
"trace_id": "0x891da7c8d316a5431dde29989f62e9e4aa805324be9e80767aedfdc953ec2a6b",
"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": "0x946d9204",
"selector": "0x946d9204",
"calldata_variants": [
"0x946d9204",
"0x946d92040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa44d57a0",
"selector": "0xa44d57a0",
"calldata_variants": [
"0xa44d57a0",
"0xa44d57a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd79886c",
"selector": "0xbd79886c",
"calldata_variants": [
"0xbd79886c",
"0xbd79886c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7356c177",
"selector": "0x7356c177",
"calldata_variants": [
"0x7356c177",
"0x7356c1770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7512d34e",
"selector": "0x7512d34e",
"calldata_variants": [
"0x7512d34e",
"0x7512d34e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f1ef286",
"selector": "0x4f1ef286",
"calldata_variants": [
"0x4f1ef286",
"0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 7510,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 9592,
"type": "tx_origin_used"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| 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": "0x946d9204",
"selector": "0x946d9204",
"calldata_variants": [
"0x946d9204",
"0x946d92040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa44d57a0",
"selector": "0xa44d57a0",
"calldata_variants": [
"0xa44d57a0",
"0xa44d57a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd79886c",
"selector": "0xbd79886c",
"calldata_variants": [
"0xbd79886c",
"0xbd79886c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7356c177",
"selector": "0x7356c177",
"calldata_variants": [
"0x7356c177",
"0x7356c1770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7512d34e",
"selector": "0x7512d34e",
"calldata_variants": [
"0x7512d34e",
"0x7512d34e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f1ef286",
"selector": "0x4f1ef286",
"calldata_variants": [
"0x4f1ef286",
"0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 9592,
"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": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xee699a3df663c7baba948538ed0a17cd31efc8c3e9242fea1819f80652c32431
call_targets:
0xc27293043ef9b6c911aef47e4a563bae8a91654f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xee699a3df663c7baba948538ed0a17cd31efc8c3e9242fea1819f80652c32431",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc27293043ef9b6c911aef47e4a563bae8a91654f"
],
"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": "0x946d9204",
"selector": "0x946d9204",
"calldata_variants": [
"0x946d9204",
"0x946d92040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa44d57a0",
"selector": "0xa44d57a0",
"calldata_variants": [
"0xa44d57a0",
"0xa44d57a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd79886c",
"selector": "0xbd79886c",
"calldata_variants": [
"0xbd79886c",
"0xbd79886c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7356c177",
"selector": "0x7356c177",
"calldata_variants": [
"0x7356c177",
"0x7356c1770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7512d34e",
"selector": "0x7512d34e",
"calldata_variants": [
"0x7512d34e",
"0x7512d34e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f1ef286",
"selector": "0x4f1ef286",
"calldata_variants": [
"0x4f1ef286",
"0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3630,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
},
{
"pc": 5172,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6241,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 9592,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xee699a3df663c7baba948538ed0a17cd31efc8c3e9242fea1819f80652c32431
call_targets:
0xc27293043ef9b6c911aef47e4a563bae8a91654f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xee699a3df663c7baba948538ed0a17cd31efc8c3e9242fea1819f80652c32431",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc27293043ef9b6c911aef47e4a563bae8a91654f"
],
"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": "0x946d9204",
"selector": "0x946d9204",
"calldata_variants": [
"0x946d9204",
"0x946d92040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa44d57a0",
"selector": "0xa44d57a0",
"calldata_variants": [
"0xa44d57a0",
"0xa44d57a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd79886c",
"selector": "0xbd79886c",
"calldata_variants": [
"0xbd79886c",
"0xbd79886c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7356c177",
"selector": "0x7356c177",
"calldata_variants": [
"0x7356c177",
"0x7356c1770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7512d34e",
"selector": "0x7512d34e",
"calldata_variants": [
"0x7512d34e",
"0x7512d34e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f1ef286",
"selector": "0x4f1ef286",
"calldata_variants": [
"0x4f1ef286",
"0x4f1ef2860000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5172,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6241,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 9592,
"type": "tx_origin_used"
}
]
}
|