019b477e-d52b-70a2-93d2-2995b0237e34
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 |
|---|---|---|---|---|
| 28485 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28486 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92549 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 92550 | capability.graph | complete | 1 / 3 | 1 week ago |
| 92551 | detector.run | complete | 1 / 3 | 1 week ago |
| 92552 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x009a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x908bfe5e 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb5c736e4 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb5c736e4 0000002f: EQ 00000030: PUSH2 0x0241 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc39aa07d 0000003a: EQ 0000003b: PUSH2 0x026e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf0c01b42 00000045: EQ 00000046: PUSH2 0x028e 00000049: JUMPI 0000004a: PUSH2 0x00a1 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x908bfe5e 00000055: EQ 00000056: PUSH2 0x020c 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0xa5fcc8bc 00000060: EQ 00000061: PUSH2 0x0221 00000064: JUMPI 00000065: PUSH2 0x00a1 00000068: JUMP 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x22175a32 00000070: EQ 00000071: PUSH2 0x015e 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x6e9960c3 0000007b: EQ 0000007c: PUSH2 0x0180 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x704b6c02 00000086: EQ 00000087: PUSH2 0x01bf 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x89396dc8 00000091: EQ 00000092: PUSH2 0x01df 00000095: JUMPI 00000096: PUSH2 0x00a1 00000099: JUMP 0000009a: JUMPDEST 0000009b: CALLDATASIZE 0000009c: PUSH2 0x00a1 0000009f: JUMPI 000000a0: STOP 000000a1: JUMPDEST 000000a2: PUSH28 0x3ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000000bf: PUSH1 0x00 000000c1: CALLDATALOAD 000000c2: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000000e3: AND 000000e4: OR 000000e5: SLOAD 000000e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000fb: DUP2 000000fc: AND 000000fd: PUSH2 0x013b 00000100: JUMPI 00000101: PUSH1 0x40 00000103: MLOAD 00000104: PUSH32 0xc44f8d3b00000000000000000000000000000000000000000000000000000000 00000125: DUP2 00000126: MSTORE 00000127: PUSH2 0xc351 0000012a: PUSH1 0x04 0000012c: DUP3 0000012d: ADD 0000012e: MSTORE 0000012f: PUSH1 0x24 00000131: ADD 00000132: JUMPDEST 00000133: PUSH1 0x40 00000135: MLOAD 00000136: DUP1 00000137: SWAP2 00000138: SUB 00000139: SWAP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: CALLDATASIZE 0000013d: PUSH1 0x00 0000013f: DUP1 00000140: CALLDATACOPY 00000141: PUSH1 0x00 00000143: DUP1 00000144: CALLDATASIZE 00000145: PUSH1 0x00 00000147: DUP5 00000148: GAS 00000149: DELEGATECALL 0000014a: RETURNDATASIZE 0000014b: PUSH1 0x00 0000014d: DUP1 0000014e: RETURNDATACOPY 0000014f: DUP1 00000150: PUSH2 0x0158 00000153: JUMPI 00000154: RETURNDATASIZE 00000155: PUSH1 0x00 00000157: REVERT 00000158: JUMPDEST 00000159: POP 0000015a: RETURNDATASIZE 0000015b: PUSH1 0x00 0000015d: RETURN 0000015e: JUMPDEST 0000015f: CALLVALUE 00000160: DUP1 00000161: ISZERO 00000162: PUSH2 0x016a 00000165: JUMPI 00000166: PUSH1 0x00 00000168: DUP1 00000169: REVERT 0000016a: JUMPDEST 0000016b: POP 0000016c: PUSH2 0x017e 0000016f: PUSH2 0x0179 00000172: CALLDATASIZE 00000173: PUSH1 0x04 00000175: PUSH2 0x0f48 00000178: JUMP 00000179: JUMPDEST 0000017a: PUSH2 0x02ae 0000017d: JUMP 0000017e: JUMPDEST 0000017f: STOP 00000180: JUMPDEST 00000181: CALLVALUE 00000182: DUP1 00000183: ISZERO 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: POP 0000018e: PUSH2 0x0195 00000191: PUSH2 0x0356 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH1 0x40 00000198: MLOAD 00000199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ae: SWAP1 000001af: SWAP2 000001b0: AND 000001b1: DUP2 000001b2: MSTORE 000001b3: PUSH1 0x20 000001b5: ADD 000001b6: JUMPDEST 000001b7: PUSH1 0x40 000001b9: MLOAD 000001ba: DUP1 000001bb: SWAP2 000001bc: SUB 000001bd: SWAP1 000001be: RETURN 000001bf: JUMPDEST 000001c0: CALLVALUE 000001c1: DUP1 000001c2: ISZERO 000001c3: PUSH2 0x01cb 000001c6: JUMPI 000001c7: PUSH1 0x00 000001c9: DUP1 000001ca: REVERT 000001cb: JUMPDEST 000001cc: POP 000001cd: PUSH2 0x017e 000001d0: PUSH2 0x01da 000001d3: CALLDATASIZE 000001d4: PUSH1 0x04 000001d6: PUSH2 0x0f48 000001d9: JUMP 000001da: JUMPDEST 000001db: PUSH2 0x0365 000001de: JUMP 000001df: JUMPDEST 000001e0: CALLVALUE 000001e1: DUP1 000001e2: ISZERO 000001e3: PUSH2 0x01eb 000001e6: JUMPI 000001e7: PUSH1 0x00 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: POP 000001ed: PUSH2 0x01ff 000001f0: PUSH2 0x01fa 000001f3: CALLDATASIZE 000001f4: PUSH1 0x04 000001f6: PUSH2 0x0f48 000001f9: JUMP 000001fa: JUMPDEST 000001fb: PUSH2 0x040a 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH1 0x40 00000202: MLOAD 00000203: PUSH2 0x01b6 00000206: SWAP2 00000207: SWAP1 00000208: PUSH2 0x0f63 0000020b: JUMP 0000020c: JUMPDEST 0000020d: CALLVALUE 0000020e: DUP1 0000020f: ISZERO 00000210: PUSH2 0x0218 00000213: JUMPI 00000214: PUSH1 0x00 00000216: DUP1 00000217: REVERT 00000218: JUMPDEST 00000219: POP 0000021a: PUSH2 0x0195 0000021d: PUSH2 0x041b 00000220: JUMP 00000221: JUMPDEST 00000222: CALLVALUE 00000223: DUP1 00000224: ISZERO 00000225: PUSH2 0x022d 00000228: JUMPI 00000229: PUSH1 0x00 0000022b: DUP1 0000022c: REVERT 0000022d: JUMPDEST 0000022e: POP 0000022f: PUSH2 0x0195 00000232: PUSH2 0x023c 00000235: CALLDATASIZE 00000236: PUSH1 0x04 00000238: PUSH2 0x0fc9 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH2 0x0425 00000240: JUMP 00000241: JUMPDEST 00000242: CALLVALUE 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x024d 00000248: JUMPI 00000249: PUSH1 0x00 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x0260 00000252: PUSH2 0x025c 00000255: CALLDATASIZE 00000256: PUSH1 0x04 00000258: PUSH2 0x100b 0000025b: JUMP 0000025c: JUMPDEST 0000025d: SLOAD 0000025e: SWAP1 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH1 0x40 00000263: MLOAD 00000264: SWAP1 00000265: DUP2 00000266: MSTORE 00000267: PUSH1 0x20 00000269: ADD 0000026a: PUSH2 0x01b6 0000026d: JUMP 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: DUP1 00000271: ISZERO 00000272: PUSH2 0x027a 00000275: JUMPI 00000276: PUSH1 0x00 00000278: DUP1 00000279: REVERT 0000027a: JUMPDEST 0000027b: POP 0000027c: PUSH2 0x017e 0000027f: PUSH2 0x0289 00000282: CALLDATASIZE 00000283: PUSH1 0x04 00000285: PUSH2 0x0f48 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH2 0x0430 0000028d: JUMP 0000028e: JUMPDEST 0000028f: CALLVALUE 00000290: DUP1 00000291: ISZERO 00000292: PUSH2 0x029a 00000295: JUMPI 00000296: PUSH1 0x00 00000298: DUP1 00000299: REVERT 0000029a: JUMPDEST 0000029b: POP 0000029c: PUSH2 0x017e 0000029f: PUSH2 0x02a9 000002a2: CALLDATASIZE 000002a3: PUSH1 0x04 000002a5: PUSH2 0x1024 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH2 0x04d5 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH2 0x02b6 000002b2: PUSH2 0x05b3 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002cc: AND 000002cd: CALLER 000002ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e3: AND 000002e4: EQ 000002e5: PUSH2 0x034a 000002e8: JUMPI 000002e9: PUSH1 0x40 000002eb: MLOAD 000002ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000030d: DUP2 0000030e: MSTORE 0000030f: PUSH1 0x20 00000311: PUSH1 0x04 00000313: DUP3 00000314: ADD 00000315: MSTORE 00000316: PUSH1 0x0a 00000318: PUSH1 0x24 0000031a: DUP3 0000031b: ADD 0000031c: MSTORE 0000031d: PUSH32 0x6f6e6c792d61646d696e00000000000000000000000000000000000000000000 0000033e: PUSH1 0x44 00000340: DUP3 00000341: ADD 00000342: MSTORE 00000343: PUSH1 0x64 00000345: ADD 00000346: PUSH2 0x0132 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH2 0x0353 0000034e: DUP2 0000034f: PUSH2 0x05dd 00000352: JUMP 00000353: JUMPDEST 00000354: POP 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH1 0x00 00000359: PUSH2 0x0360 0000035c: PUSH2 0x05b3 0000035f: JUMP 00000360: JUMPDEST 00000361: SWAP1 00000362: POP 00000363: SWAP1 00000364: JUMP 00000365: JUMPDEST 00000366: PUSH2 0x036d 00000369: PUSH2 0x05b3 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000383: AND 00000384: CALLER 00000385: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039a: AND 0000039b: EQ 0000039c: PUSH2 0x0401 0000039f: JUMPI 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003c4: DUP2 000003c5: MSTORE 000003c6: PUSH1 0x20 000003c8: PUSH1 0x04 000003ca: DUP3 000003cb: ADD 000003cc: MSTORE 000003cd: PUSH1 0x0a 000003cf: PUSH1 0x24 000003d1: DUP3 000003d2: ADD 000003d3: MSTORE 000003d4: PUSH32 0x6f6e6c792d61646d696e00000000000000000000000000000000000000000000 000003f5: PUSH1 0x44 000003f7: DUP3 000003f8: ADD 000003f9: MSTORE 000003fa: PUSH1 0x64 000003fc: ADD 000003fd: PUSH2 0x0132 00000400: JUMP 00000401: JUMPDEST 00000402: PUSH2 0x0353 00000405: DUP2 00000406: PUSH2 0x07ff 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH1 0x60 0000040d: PUSH2 0x0415 00000410: DUP3 00000411: PUSH2 0x0935 00000414: JUMP 00000415: JUMPDEST 00000416: SWAP3 00000417: SWAP2 00000418: POP 00000419: POP 0000041a: JUMP 0000041b: JUMPDEST 0000041c: PUSH1 0x00 0000041e: PUSH2 0x0360 00000421: PUSH2 0x0a4f 00000424: JUMP 00000425: JUMPDEST 00000426: PUSH1 0x00 00000428: PUSH2 0x0415 0000042b: DUP3 0000042c: PUSH2 0x0a79 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH2 0x0438 00000434: PUSH2 0x05b3 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044e: AND 0000044f: CALLER 00000450: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000465: AND 00000466: EQ 00000467: PUSH2 0x04cc 0000046a: JUMPI 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000048f: DUP2 00000490: MSTORE 00000491: PUSH1 0x20 00000493: PUSH1 0x04 00000495: DUP3 00000496: ADD 00000497: MSTORE 00000498: PUSH1 0x0a 0000049a: PUSH1 0x24 0000049c: DUP3 0000049d: ADD 0000049e: MSTORE 0000049f: PUSH32 0x6f6e6c792d61646d696e00000000000000000000000000000000000000000000 000004c0: PUSH1 0x44 000004c2: DUP3 000004c3: ADD 000004c4: MSTORE 000004c5: PUSH1 0x64 000004c7: ADD 000004c8: PUSH2 0x0132 000004cb: JUMP 000004cc: JUMPDEST 000004cd: PUSH2 0x0353 000004d0: DUP2 000004d1: PUSH2 0x0aa6 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH2 0x04dd 000004d9: PUSH2 0x05b3 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f3: AND 000004f4: CALLER 000004f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050a: AND 0000050b: EQ 0000050c: PUSH2 0x0571 0000050f: JUMPI 00000510: PUSH1 0x40 00000512: MLOAD 00000513: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000534: DUP2 00000535: MSTORE 00000536: PUSH1 0x20 00000538: PUSH1 0x04 0000053a: DUP3 0000053b: ADD 0000053c: MSTORE 0000053d: PUSH1 0x0a 0000053f: PUSH1 0x24 00000541: DUP3 00000542: ADD 00000543: MSTORE 00000544: PUSH32 0x6f6e6c792d61646d696e00000000000000000000000000000000000000000000 00000565: PUSH1 0x44 00000567: DUP3 00000568: ADD 00000569: MSTORE 0000056a: PUSH1 0x64 0000056c: ADD 0000056d: PUSH2 0x0132 00000570: JUMP 00000571: JUMPDEST 00000572: PUSH2 0x05ae 00000575: DUP4 00000576: DUP4 00000577: DUP4 00000578: DUP1 00000579: DUP1 0000057a: PUSH1 0x20 0000057c: MUL 0000057d: PUSH1 0x20 0000057f: ADD 00000580: PUSH1 0x40 00000582: MLOAD 00000583: SWAP1 00000584: DUP2 00000585: ADD 00000586: PUSH1 0x40 00000588: MSTORE 00000589: DUP1 0000058a: SWAP4 0000058b: SWAP3 0000058c: SWAP2 0000058d: SWAP1 0000058e: DUP2 0000058f: DUP2 00000590: MSTORE 00000591: PUSH1 0x20 00000593: ADD 00000594: DUP4 00000595: DUP4 00000596: PUSH1 0x20 00000598: MUL 00000599: DUP1 0000059a: DUP3 0000059b: DUP5 0000059c: CALLDATACOPY 0000059d: PUSH1 0x00 0000059f: SWAP3 000005a0: ADD 000005a1: SWAP2 000005a2: SWAP1 000005a3: SWAP2 000005a4: MSTORE 000005a5: POP 000005a6: PUSH2 0x0b39 000005a9: SWAP3 000005aa: POP 000005ab: POP 000005ac: POP 000005ad: JUMP 000005ae: JUMPDEST 000005af: POP 000005b0: POP 000005b1: POP 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH1 0x00 000005b6: PUSH2 0x0360 000005b9: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 000005da: SLOAD 000005db: SWAP1 000005dc: JUMP 000005dd: JUMPDEST 000005de: PUSH1 0x40 000005e0: DUP1 000005e1: MLOAD 000005e2: PUSH1 0x20 000005e4: DUP1 000005e5: DUP3 000005e6: ADD 000005e7: DUP4 000005e8: SWAP1 000005e9: MSTORE 000005ea: PUSH1 0x1c 000005ec: PUSH1 0x60 000005ee: DUP4 000005ef: ADD 000005f0: MSTORE 000005f1: PUSH32 0x656970313936372e70726f78792e696d706c656d656e746174696f6e00000000 00000612: PUSH1 0x80 00000614: DUP1 00000615: DUP5 00000616: ADD 00000617: SWAP2 00000618: SWAP1 00000619: SWAP2 0000061a: MSTORE 0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000630: DUP6 00000631: AND 00000632: DUP4 00000633: DUP6 00000634: ADD 00000635: MSTORE 00000636: DUP4 00000637: MLOAD 00000638: DUP1 00000639: DUP5 0000063a: SUB 0000063b: SWAP1 0000063c: SWAP2 0000063d: ADD 0000063e: DUP2 0000063f: MSTORE 00000640: PUSH1 0xa0 00000642: SWAP1 00000643: SWAP3 00000644: ADD 00000645: SWAP1 00000646: SWAP3 00000647: MSTORE 00000648: DUP1 00000649: MLOAD 0000064a: SWAP2 0000064b: ADD 0000064c: KECCAK256 0000064d: PUSH1 0x00 0000064f: DUP2 00000650: DUP1 00000651: SLOAD 00000652: PUSH1 0x40 00000654: DUP1 00000655: MLOAD 00000656: PUSH1 0x20 00000658: DUP1 00000659: DUP5 0000065a: MUL 0000065b: DUP3 0000065c: ADD 0000065d: DUP2 0000065e: ADD 0000065f: SWAP1 00000660: SWAP3 00000661: MSTORE 00000662: DUP3 00000663: DUP2 00000664: MSTORE 00000665: SWAP3 00000666: SWAP2 00000667: SWAP1 00000668: DUP4 00000669: ADD 0000066a: DUP3 0000066b: DUP3 0000066c: DUP1 0000066d: ISZERO 0000066e: PUSH2 0x06d8 00000671: JUMPI 00000672: PUSH1 0x20 00000674: MUL 00000675: DUP3 00000676: ADD 00000677: SWAP2 00000678: SWAP1 00000679: PUSH1 0x00 0000067b: MSTORE 0000067c: PUSH1 0x20 0000067e: PUSH1 0x00 00000680: KECCAK256 00000681: SWAP1 00000682: PUSH1 0x00 00000684: SWAP1 00000685: JUMPDEST 00000686: DUP3 00000687: DUP3 00000688: SWAP1 00000689: SLOAD 0000068a: SWAP1 0000068b: PUSH2 0x0100 0000068e: EXP 0000068f: SWAP1 00000690: DIV 00000691: PUSH1 0xe0 00000693: SHL 00000694: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000006b1: NOT 000006b2: AND 000006b3: DUP2 000006b4: MSTORE 000006b5: PUSH1 0x20 000006b7: ADD 000006b8: SWAP1 000006b9: PUSH1 0x04 000006bb: ADD 000006bc: SWAP1 000006bd: PUSH1 0x20 000006bf: DUP3 000006c0: PUSH1 0x03 000006c2: ADD 000006c3: DIV 000006c4: SWAP3 000006c5: DUP4 000006c6: ADD 000006c7: SWAP3 000006c8: PUSH1 0x01 000006ca: SUB 000006cb: DUP3 000006cc: MUL 000006cd: SWAP2 000006ce: POP 000006cf: DUP1 000006d0: DUP5 000006d1: GT 000006d2: PUSH2 0x0685 000006d5: JUMPI 000006d6: SWAP1 000006d7: POP 000006d8: JUMPDEST 000006d9: POP 000006da: POP 000006db: POP 000006dc: POP 000006dd: POP 000006de: SWAP1 000006df: POP 000006e0: DUP1 000006e1: MLOAD 000006e2: PUSH1 0x00 000006e4: SUB 000006e5: PUSH2 0x074a 000006e8: JUMPI 000006e9: PUSH1 0x40 000006eb: MLOAD 000006ec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000070d: DUP2 0000070e: MSTORE 0000070f: PUSH1 0x20 00000711: PUSH1 0x04 00000713: DUP3 00000714: ADD 00000715: MSTORE 00000716: PUSH1 0x18 00000718: PUSH1 0x24 0000071a: DUP3 0000071b: ADD 0000071c: MSTORE 0000071d: PUSH32 0x696d706c656d656e746174696f6e2d6e6f742d65786973740000000000000000 0000073e: PUSH1 0x44 00000740: DUP3 00000741: ADD 00000742: MSTORE 00000743: PUSH1 0x64 00000745: ADD 00000746: PUSH2 0x0132 00000749: JUMP 0000074a: JUMPDEST 0000074b: PUSH1 0x00 0000074d: JUMPDEST 0000074e: DUP2 0000074f: MLOAD 00000750: DUP2 00000751: LT 00000752: ISZERO 00000753: PUSH2 0x07ad 00000756: JUMPI 00000757: PUSH1 0x00 00000759: PUSH2 0x0796 0000075c: DUP4 0000075d: DUP4 0000075e: DUP2 0000075f: MLOAD 00000760: DUP2 00000761: LT 00000762: PUSH2 0x076d 00000765: JUMPI 00000766: PUSH2 0x076d 00000769: PUSH2 0x10aa 0000076c: JUMP 0000076d: JUMPDEST 0000076e: PUSH1 0x20 00000770: MUL 00000771: PUSH1 0x20 00000773: ADD 00000774: ADD 00000775: MLOAD 00000776: PUSH28 0x3ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000793: OR 00000794: SWAP1 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x00 00000799: SWAP1 0000079a: SSTORE 0000079b: POP 0000079c: DUP1 0000079d: PUSH2 0x07a5 000007a0: DUP2 000007a1: PUSH2 0x10d9 000007a4: JUMP 000007a5: JUMPDEST 000007a6: SWAP2 000007a7: POP 000007a8: POP 000007a9: PUSH2 0x074d 000007ac: JUMP 000007ad: JUMPDEST 000007ae: POP 000007af: PUSH2 0x07b9 000007b2: DUP3 000007b3: PUSH1 0x00 000007b5: PUSH2 0x0e39 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH1 0x40 000007bc: MLOAD 000007bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d2: DUP5 000007d3: AND 000007d4: SWAP1 000007d5: PUSH32 0xda53aaefabec4c3f8ba693a2e3c67fa0152fbd71c369d51f669e66b28a4a0864 000007f6: SWAP1 000007f7: PUSH1 0x00 000007f9: SWAP1 000007fa: LOG2 000007fb: POP 000007fc: POP 000007fd: POP 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH1 0x00 00000802: PUSH2 0x0809 00000805: PUSH2 0x05b3 00000808: JUMP 00000809: JUMPDEST 0000080a: SWAP1 0000080b: POP 0000080c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000821: DUP3 00000822: AND 00000823: PUSH2 0x08ae 00000826: JUMPI 00000827: PUSH1 0x40 00000829: MLOAD 0000082a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000084b: DUP2 0000084c: MSTORE 0000084d: PUSH1 0x20 0000084f: PUSH1 0x04 00000851: DUP3 00000852: ADD 00000853: MSTORE 00000854: PUSH1 0x26 00000856: PUSH1 0x24 00000858: DUP3 00000859: ADD 0000085a: MSTORE 0000085b: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061 0000087c: PUSH1 0x44 0000087e: DUP3 0000087f: ADD 00000880: MSTORE 00000881: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000008a2: PUSH1 0x64 000008a4: DUP3 000008a5: ADD 000008a6: MSTORE 000008a7: PUSH1 0x84 000008a9: ADD 000008aa: PUSH2 0x0132 000008ad: JUMP 000008ae: JUMPDEST 000008af: PUSH2 0x08d7 000008b2: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 000008d3: DUP4 000008d4: SWAP1 000008d5: SSTORE 000008d6: JUMP 000008d7: JUMPDEST 000008d8: DUP2 000008d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ee: AND 000008ef: DUP2 000008f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000905: AND 00000906: PUSH32 0xb2396a4169c0fac3eb0713eb7d54220cbe5e21e585a59578ec4de929657c0733 00000927: PUSH1 0x40 00000929: MLOAD 0000092a: PUSH1 0x40 0000092c: MLOAD 0000092d: DUP1 0000092e: SWAP2 0000092f: SUB 00000930: SWAP1 00000931: LOG3 00000932: POP 00000933: POP 00000934: JUMP 00000935: JUMPDEST 00000936: PUSH1 0x60 00000938: PUSH1 0x00 0000093a: PUSH2 0x09b6 0000093d: DUP4 0000093e: PUSH1 0x40 00000940: DUP1 00000941: MLOAD 00000942: PUSH1 0x20 00000944: DUP2 00000945: ADD 00000946: DUP3 00000947: SWAP1 00000948: MSTORE 00000949: PUSH1 0x1c 0000094b: PUSH1 0x60 0000094d: DUP3 0000094e: ADD 0000094f: MSTORE 00000950: PUSH32 0x656970313936372e70726f78792e696d706c656d656e746174696f6e00000000 00000971: PUSH1 0x80 00000973: DUP3 00000974: ADD 00000975: MSTORE 00000976: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098b: DUP4 0000098c: AND 0000098d: SWAP2 0000098e: DUP2 0000098f: ADD 00000990: SWAP2 00000991: SWAP1 00000992: SWAP2 00000993: MSTORE 00000994: PUSH1 0x00 00000996: SWAP1 00000997: PUSH1 0xa0 00000999: ADD 0000099a: PUSH1 0x40 0000099c: MLOAD 0000099d: PUSH1 0x20 0000099f: DUP2 000009a0: DUP4 000009a1: SUB 000009a2: SUB 000009a3: DUP2 000009a4: MSTORE 000009a5: SWAP1 000009a6: PUSH1 0x40 000009a8: MSTORE 000009a9: DUP1 000009aa: MLOAD 000009ab: SWAP1 000009ac: PUSH1 0x20 000009ae: ADD 000009af: KECCAK256 000009b0: SWAP1 000009b1: POP 000009b2: SWAP2 000009b3: SWAP1 000009b4: POP 000009b5: JUMP 000009b6: JUMPDEST 000009b7: SWAP1 000009b8: POP 000009b9: DUP1 000009ba: DUP1 000009bb: SLOAD 000009bc: PUSH1 0x40 000009be: DUP1 000009bf: MLOAD 000009c0: PUSH1 0x20 000009c2: DUP1 000009c3: DUP5 000009c4: MUL 000009c5: DUP3 000009c6: ADD 000009c7: DUP2 000009c8: ADD 000009c9: SWAP1 000009ca: SWAP3 000009cb: MSTORE 000009cc: DUP3 000009cd: DUP2 000009ce: MSTORE 000009cf: SWAP3 000009d0: SWAP2 000009d1: SWAP1 000009d2: DUP4 000009d3: ADD 000009d4: DUP3 000009d5: DUP3 000009d6: DUP1 000009d7: ISZERO 000009d8: PUSH2 0x0a42 000009db: JUMPI 000009dc: PUSH1 0x20 000009de: MUL 000009df: DUP3 000009e0: ADD 000009e1: SWAP2 000009e2: SWAP1 000009e3: PUSH1 0x00 000009e5: MSTORE 000009e6: PUSH1 0x20 000009e8: PUSH1 0x00 000009ea: KECCAK256 000009eb: SWAP1 000009ec: PUSH1 0x00 000009ee: SWAP1 000009ef: JUMPDEST 000009f0: DUP3 000009f1: DUP3 000009f2: SWAP1 000009f3: SLOAD 000009f4: SWAP1 000009f5: PUSH2 0x0100 000009f8: EXP 000009f9: SWAP1 000009fa: DIV 000009fb: PUSH1 0xe0 000009fd: SHL 000009fe: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000a1b: NOT 00000a1c: AND 00000a1d: DUP2 00000a1e: MSTORE 00000a1f: PUSH1 0x20 00000a21: ADD 00000a22: SWAP1 00000a23: PUSH1 0x04 00000a25: ADD 00000a26: SWAP1 00000a27: PUSH1 0x20 00000a29: DUP3 00000a2a: PUSH1 0x03 00000a2c: ADD 00000a2d: DIV 00000a2e: SWAP3 00000a2f: DUP4 00000a30: ADD 00000a31: SWAP3 00000a32: PUSH1 0x01 00000a34: SUB 00000a35: DUP3 00000a36: MUL 00000a37: SWAP2 00000a38: POP 00000a39: DUP1 00000a3a: DUP5 00000a3b: GT 00000a3c: PUSH2 0x09ef 00000a3f: JUMPI 00000a40: SWAP1 00000a41: POP 00000a42: JUMPDEST 00000a43: POP 00000a44: POP 00000a45: POP 00000a46: POP 00000a47: POP 00000a48: SWAP2 00000a49: POP 00000a4a: POP 00000a4b: SWAP2 00000a4c: SWAP1 00000a4d: POP 00000a4e: JUMP 00000a4f: JUMPDEST 00000a50: PUSH1 0x00 00000a52: PUSH2 0x0360 00000a55: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000a76: SLOAD 00000a77: SWAP1 00000a78: JUMP 00000a79: JUMPDEST 00000a7a: PUSH28 0x3ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000a97: DUP2 00000a98: OR 00000a99: DUP1 00000a9a: SLOAD 00000a9b: PUSH1 0x00 00000a9d: SWAP2 00000a9e: SWAP1 00000a9f: JUMPDEST 00000aa0: SWAP4 00000aa1: SWAP3 00000aa2: POP 00000aa3: POP 00000aa4: POP 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: PUSH1 0x00 00000aa9: PUSH2 0x0ab0 00000aac: PUSH2 0x0a4f 00000aaf: JUMP 00000ab0: JUMPDEST 00000ab1: SWAP1 00000ab2: POP 00000ab3: PUSH2 0x0adb 00000ab6: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000ad7: DUP4 00000ad8: SWAP1 00000ad9: SSTORE 00000ada: JUMP 00000adb: JUMPDEST 00000adc: DUP2 00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af2: AND 00000af3: DUP2 00000af4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b09: AND 00000b0a: PUSH32 0x761380f4203cd2fcc7ee1ae32561463bc08bbf6761cb9d5caa925f99a6d54502 00000b2b: PUSH1 0x40 00000b2d: MLOAD 00000b2e: PUSH1 0x40 00000b30: MLOAD 00000b31: DUP1 00000b32: SWAP2 00000b33: SUB 00000b34: SWAP1 00000b35: LOG3 00000b36: POP 00000b37: POP 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: DUP1 00000b3b: MLOAD 00000b3c: PUSH1 0x00 00000b3e: SUB 00000b3f: PUSH2 0x0ba4 00000b42: JUMPI 00000b43: PUSH1 0x40 00000b45: MLOAD 00000b46: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x20 00000b6b: PUSH1 0x04 00000b6d: DUP3 00000b6e: ADD 00000b6f: MSTORE 00000b70: PUSH1 0x07 00000b72: PUSH1 0x24 00000b74: DUP3 00000b75: ADD 00000b76: MSTORE 00000b77: PUSH32 0x6e6f2d7369677300000000000000000000000000000000000000000000000000 00000b98: PUSH1 0x44 00000b9a: DUP3 00000b9b: ADD 00000b9c: MSTORE 00000b9d: PUSH1 0x64 00000b9f: ADD 00000ba0: PUSH2 0x0132 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x40 00000ba7: DUP1 00000ba8: MLOAD 00000ba9: PUSH1 0x20 00000bab: DUP1 00000bac: DUP3 00000bad: ADD 00000bae: DUP4 00000baf: SWAP1 00000bb0: MSTORE 00000bb1: PUSH1 0x1c 00000bb3: PUSH1 0x60 00000bb5: DUP4 00000bb6: ADD 00000bb7: MSTORE 00000bb8: PUSH32 0x656970313936372e70726f78792e696d706c656d656e746174696f6e00000000 00000bd9: PUSH1 0x80 00000bdb: DUP1 00000bdc: DUP5 00000bdd: ADD 00000bde: SWAP2 00000bdf: SWAP1 00000be0: SWAP2 00000be1: MSTORE 00000be2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf7: DUP7 00000bf8: AND 00000bf9: DUP4 00000bfa: DUP6 00000bfb: ADD 00000bfc: MSTORE 00000bfd: DUP4 00000bfe: MLOAD 00000bff: DUP1 00000c00: DUP5 00000c01: SUB 00000c02: SWAP1 00000c03: SWAP2 00000c04: ADD 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH1 0xa0 00000c09: SWAP1 00000c0a: SWAP3 00000c0b: ADD 00000c0c: SWAP1 00000c0d: SWAP3 00000c0e: MSTORE 00000c0f: DUP1 00000c10: MLOAD 00000c11: SWAP2 00000c12: ADD 00000c13: KECCAK256 00000c14: PUSH1 0x00 00000c16: DUP2 00000c17: DUP1 00000c18: SLOAD 00000c19: PUSH1 0x40 00000c1b: DUP1 00000c1c: MLOAD 00000c1d: PUSH1 0x20 00000c1f: DUP1 00000c20: DUP5 00000c21: MUL 00000c22: DUP3 00000c23: ADD 00000c24: DUP2 00000c25: ADD 00000c26: SWAP1 00000c27: SWAP3 00000c28: MSTORE 00000c29: DUP3 00000c2a: DUP2 00000c2b: MSTORE 00000c2c: SWAP3 00000c2d: SWAP2 00000c2e: SWAP1 00000c2f: DUP4 00000c30: ADD 00000c31: DUP3 00000c32: DUP3 00000c33: DUP1 00000c34: ISZERO 00000c35: PUSH2 0x0c9f 00000c38: JUMPI 00000c39: PUSH1 0x20 00000c3b: MUL 00000c3c: DUP3 00000c3d: ADD 00000c3e: SWAP2 00000c3f: SWAP1 00000c40: PUSH1 0x00 00000c42: MSTORE 00000c43: PUSH1 0x20 00000c45: PUSH1 0x00 00000c47: KECCAK256 00000c48: SWAP1 00000c49: PUSH1 0x00 00000c4b: SWAP1 00000c4c: JUMPDEST 00000c4d: DUP3 00000c4e: DUP3 00000c4f: SWAP1 00000c50: SLOAD 00000c51: SWAP1 00000c52: PUSH2 0x0100 00000c55: EXP 00000c56: SWAP1 00000c57: DIV 00000c58: PUSH1 0xe0 00000c5a: SHL 00000c5b: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000c78: NOT 00000c79: AND 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x20 00000c7e: ADD 00000c7f: SWAP1 00000c80: PUSH1 0x04 00000c82: ADD 00000c83: SWAP1 00000c84: PUSH1 0x20 00000c86: DUP3 00000c87: PUSH1 0x03 00000c89: ADD 00000c8a: DIV 00000c8b: SWAP3 00000c8c: DUP4 00000c8d: ADD 00000c8e: SWAP3 00000c8f: PUSH1 0x01 00000c91: SUB 00000c92: DUP3 00000c93: MUL 00000c94: SWAP2 00000c95: POP 00000c96: DUP1 00000c97: DUP5 00000c98: GT 00000c99: PUSH2 0x0c4c 00000c9c: JUMPI 00000c9d: SWAP1 00000c9e: POP 00000c9f: JUMPDEST 00000ca0: POP 00000ca1: POP 00000ca2: POP 00000ca3: POP 00000ca4: POP 00000ca5: SWAP1 00000ca6: POP 00000ca7: DUP1 00000ca8: MLOAD 00000ca9: PUSH1 0x00 00000cab: EQ 00000cac: PUSH2 0x0d11 00000caf: JUMPI 00000cb0: PUSH1 0x40 00000cb2: MLOAD 00000cb3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cd4: DUP2 00000cd5: MSTORE 00000cd6: PUSH1 0x20 00000cd8: PUSH1 0x04 00000cda: DUP3 00000cdb: ADD 00000cdc: MSTORE 00000cdd: PUSH1 0x1c 00000cdf: PUSH1 0x24 00000ce1: DUP3 00000ce2: ADD 00000ce3: MSTORE 00000ce4: PUSH32 0x696d706c656d656e746174696f6e2d616c72656164792d657869737400000000 00000d05: PUSH1 0x44 00000d07: DUP3 00000d08: ADD 00000d09: MSTORE 00000d0a: PUSH1 0x64 00000d0c: ADD 00000d0d: PUSH2 0x0132 00000d10: JUMP 00000d11: JUMPDEST 00000d12: PUSH1 0x00 00000d14: JUMPDEST 00000d15: DUP4 00000d16: MLOAD 00000d17: DUP2 00000d18: LT 00000d19: ISZERO 00000d1a: PUSH2 0x0dd2 00000d1d: JUMPI 00000d1e: PUSH1 0x00 00000d20: PUSH2 0x0d34 00000d23: DUP6 00000d24: DUP4 00000d25: DUP2 00000d26: MLOAD 00000d27: DUP2 00000d28: LT 00000d29: PUSH2 0x076d 00000d2c: JUMPI 00000d2d: PUSH2 0x076d 00000d30: PUSH2 0x10aa 00000d33: JUMP 00000d34: JUMPDEST 00000d35: SWAP1 00000d36: POP 00000d37: PUSH1 0x00 00000d39: PUSH2 0x0d40 00000d3c: DUP3 00000d3d: SLOAD 00000d3e: SWAP1 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d56: AND 00000d57: EQ 00000d58: PUSH2 0x0dbd 00000d5b: JUMPI 00000d5c: PUSH1 0x40 00000d5e: MLOAD 00000d5f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d80: DUP2 00000d81: MSTORE 00000d82: PUSH1 0x20 00000d84: PUSH1 0x04 00000d86: DUP3 00000d87: ADD 00000d88: MSTORE 00000d89: PUSH1 0x11 00000d8b: PUSH1 0x24 00000d8d: DUP3 00000d8e: ADD 00000d8f: MSTORE 00000d90: PUSH32 0x7369672d616c72656164792d6578697374000000000000000000000000000000 00000db1: PUSH1 0x44 00000db3: DUP3 00000db4: ADD 00000db5: MSTORE 00000db6: PUSH1 0x64 00000db8: ADD 00000db9: PUSH2 0x0132 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: DUP6 00000dbf: SWAP1 00000dc0: SSTORE 00000dc1: DUP1 00000dc2: PUSH2 0x0dca 00000dc5: DUP2 00000dc6: PUSH2 0x10d9 00000dc9: JUMP 00000dca: JUMPDEST 00000dcb: SWAP2 00000dcc: POP 00000dcd: POP 00000dce: PUSH2 0x0d14 00000dd1: JUMP 00000dd2: JUMPDEST 00000dd3: POP 00000dd4: DUP3 00000dd5: DUP3 00000dd6: DUP2 00000dd7: MLOAD 00000dd8: PUSH2 0x0de4 00000ddb: SWAP3 00000ddc: PUSH1 0x20 00000dde: ADD 00000ddf: SWAP1 00000de0: PUSH2 0x0e5e 00000de3: JUMP 00000de4: JUMPDEST 00000de5: POP 00000de6: DUP4 00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfc: AND 00000dfd: PUSH32 0xd613a4a18e567ee1f2db4d5b528a5fee09f7dff92d6fb708afd6c095070a9c6d 00000e1e: DUP5 00000e1f: PUSH1 0x40 00000e21: MLOAD 00000e22: PUSH2 0x0e2b 00000e25: SWAP2 00000e26: SWAP1 00000e27: PUSH2 0x0f63 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: PUSH1 0x40 00000e2e: MLOAD 00000e2f: DUP1 00000e30: SWAP2 00000e31: SUB 00000e32: SWAP1 00000e33: LOG2 00000e34: POP 00000e35: POP 00000e36: POP 00000e37: POP 00000e38: JUMP 00000e39: JUMPDEST 00000e3a: POP 00000e3b: DUP1 00000e3c: SLOAD 00000e3d: PUSH1 0x00 00000e3f: DUP3 00000e40: SSTORE 00000e41: PUSH1 0x07 00000e43: ADD 00000e44: PUSH1 0x08 00000e46: SWAP1 00000e47: DIV 00000e48: SWAP1 00000e49: PUSH1 0x00 00000e4b: MSTORE 00000e4c: PUSH1 0x20 00000e4e: PUSH1 0x00 00000e50: KECCAK256 00000e51: SWAP1 00000e52: DUP2 00000e53: ADD 00000e54: SWAP1 00000e55: PUSH2 0x0353 00000e58: SWAP2 00000e59: SWAP1 00000e5a: PUSH2 0x0f0a 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: DUP3 00000e60: DUP1 00000e61: SLOAD 00000e62: DUP3 00000e63: DUP3 00000e64: SSTORE 00000e65: SWAP1 00000e66: PUSH1 0x00 00000e68: MSTORE 00000e69: PUSH1 0x20 00000e6b: PUSH1 0x00 00000e6d: KECCAK256 00000e6e: SWAP1 00000e6f: PUSH1 0x07 00000e71: ADD 00000e72: PUSH1 0x08 00000e74: SWAP1 00000e75: DIV 00000e76: DUP2 00000e77: ADD 00000e78: SWAP3 00000e79: DUP3 00000e7a: ISZERO 00000e7b: PUSH2 0x0efa 00000e7e: JUMPI 00000e7f: SWAP2 00000e80: PUSH1 0x20 00000e82: MUL 00000e83: DUP3 00000e84: ADD 00000e85: PUSH1 0x00 00000e87: JUMPDEST 00000e88: DUP4 00000e89: DUP3 00000e8a: GT 00000e8b: ISZERO 00000e8c: PUSH2 0x0ec8 00000e8f: JUMPI 00000e90: DUP4 00000e91: MLOAD 00000e92: DUP4 00000e93: DUP3 00000e94: PUSH2 0x0100 00000e97: EXP 00000e98: DUP2 00000e99: SLOAD 00000e9a: DUP2 00000e9b: PUSH4 0xffffffff 00000ea0: MUL 00000ea1: NOT 00000ea2: AND 00000ea3: SWAP1 00000ea4: DUP4 00000ea5: PUSH1 0xe0 00000ea7: SHR 00000ea8: MUL 00000ea9: OR 00000eaa: SWAP1 00000eab: SSTORE 00000eac: POP 00000ead: SWAP3 00000eae: PUSH1 0x20 00000eb0: ADD 00000eb1: SWAP3 00000eb2: PUSH1 0x04 00000eb4: ADD 00000eb5: PUSH1 0x20 00000eb7: DUP2 00000eb8: PUSH1 0x03 00000eba: ADD 00000ebb: DIV 00000ebc: SWAP3 00000ebd: DUP4 00000ebe: ADD 00000ebf: SWAP3 00000ec0: PUSH1 0x01 00000ec2: SUB 00000ec3: MUL 00000ec4: PUSH2 0x0e87 00000ec7: JUMP 00000ec8: JUMPDEST 00000ec9: DUP1 00000eca: ISZERO 00000ecb: PUSH2 0x0ef8 00000ece: JUMPI 00000ecf: DUP3 00000ed0: DUP2 00000ed1: PUSH2 0x0100 00000ed4: EXP 00000ed5: DUP2 00000ed6: SLOAD 00000ed7: SWAP1 00000ed8: PUSH4 0xffffffff 00000edd: MUL 00000ede: NOT 00000edf: AND 00000ee0: SWAP1 00000ee1: SSTORE 00000ee2: PUSH1 0x04 00000ee4: ADD 00000ee5: PUSH1 0x20 00000ee7: DUP2 00000ee8: PUSH1 0x03 00000eea: ADD 00000eeb: DIV 00000eec: SWAP3 00000eed: DUP4 00000eee: ADD 00000eef: SWAP3 00000ef0: PUSH1 0x01 00000ef2: SUB 00000ef3: MUL 00000ef4: PUSH2 0x0ec8 00000ef7: JUMP 00000ef8: JUMPDEST 00000ef9: POP 00000efa: JUMPDEST 00000efb: POP 00000efc: PUSH2 0x0f06 00000eff: SWAP3 00000f00: SWAP2 00000f01: POP 00000f02: PUSH2 0x0f0a 00000f05: JUMP 00000f06: JUMPDEST 00000f07: POP 00000f08: SWAP1 00000f09: JUMP 00000f0a: JUMPDEST 00000f0b: JUMPDEST 00000f0c: DUP1 00000f0d: DUP3 00000f0e: GT 00000f0f: ISZERO 00000f10: PUSH2 0x0f06 00000f13: JUMPI 00000f14: PUSH1 0x00 00000f16: DUP2 00000f17: SSTORE 00000f18: PUSH1 0x01 00000f1a: ADD 00000f1b: PUSH2 0x0f0b 00000f1e: JUMP 00000f1f: JUMPDEST 00000f20: DUP1 00000f21: CALLDATALOAD 00000f22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f37: DUP2 00000f38: AND 00000f39: DUP2 00000f3a: EQ 00000f3b: PUSH2 0x0f43 00000f3e: JUMPI 00000f3f: PUSH1 0x00 00000f41: DUP1 00000f42: REVERT 00000f43: JUMPDEST 00000f44: SWAP2 00000f45: SWAP1 00000f46: POP 00000f47: JUMP 00000f48: JUMPDEST 00000f49: PUSH1 0x00 00000f4b: PUSH1 0x20 00000f4d: DUP3 00000f4e: DUP5 00000f4f: SUB 00000f50: SLT 00000f51: ISZERO 00000f52: PUSH2 0x0f5a 00000f55: JUMPI 00000f56: PUSH1 0x00 00000f58: DUP1 00000f59: REVERT 00000f5a: JUMPDEST 00000f5b: PUSH2 0x0a9f 00000f5e: DUP3 00000f5f: PUSH2 0x0f1f 00000f62: JUMP 00000f63: JUMPDEST 00000f64: PUSH1 0x20 00000f66: DUP1 00000f67: DUP3 00000f68: MSTORE 00000f69: DUP3 00000f6a: MLOAD 00000f6b: DUP3 00000f6c: DUP3 00000f6d: ADD 00000f6e: DUP2 00000f6f: SWAP1 00000f70: MSTORE 00000f71: PUSH1 0x00 00000f73: SWAP2 00000f74: SWAP1 00000f75: DUP5 00000f76: DUP3 00000f77: ADD 00000f78: SWAP1 00000f79: PUSH1 0x40 00000f7b: DUP6 00000f7c: ADD 00000f7d: SWAP1 00000f7e: DUP5 00000f7f: JUMPDEST 00000f80: DUP2 00000f81: DUP2 00000f82: LT 00000f83: ISZERO 00000f84: PUSH2 0x0fbd 00000f87: JUMPI 00000f88: DUP4 00000f89: MLOAD 00000f8a: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000fab: AND 00000fac: DUP4 00000fad: MSTORE 00000fae: SWAP3 00000faf: DUP5 00000fb0: ADD 00000fb1: SWAP3 00000fb2: SWAP2 00000fb3: DUP5 00000fb4: ADD 00000fb5: SWAP2 00000fb6: PUSH1 0x01 00000fb8: ADD 00000fb9: PUSH2 0x0f7f 00000fbc: JUMP 00000fbd: JUMPDEST 00000fbe: POP 00000fbf: SWAP1 00000fc0: SWAP7 00000fc1: SWAP6 00000fc2: POP 00000fc3: POP 00000fc4: POP 00000fc5: POP 00000fc6: POP 00000fc7: POP 00000fc8: JUMP 00000fc9: JUMPDEST 00000fca: PUSH1 0x00 00000fcc: PUSH1 0x20 00000fce: DUP3 00000fcf: DUP5 00000fd0: SUB 00000fd1: SLT 00000fd2: ISZERO 00000fd3: PUSH2 0x0fdb 00000fd6: JUMPI 00000fd7: PUSH1 0x00 00000fd9: DUP1 00000fda: REVERT 00000fdb: JUMPDEST 00000fdc: DUP2 00000fdd: CALLDATALOAD 00000fde: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000fff: DUP2 00001000: AND 00001001: DUP2 00001002: EQ 00001003: PUSH2 0x0a9f 00001006: JUMPI 00001007: PUSH1 0x00 00001009: DUP1 0000100a: REVERT 0000100b: JUMPDEST 0000100c: PUSH1 0x00 0000100e: PUSH1 0x20 00001010: DUP3 00001011: DUP5 00001012: SUB 00001013: SLT 00001014: ISZERO 00001015: PUSH2 0x101d 00001018: JUMPI 00001019: PUSH1 0x00 0000101b: DUP1 0000101c: REVERT 0000101d: JUMPDEST 0000101e: POP 0000101f: CALLDATALOAD 00001020: SWAP2 00001021: SWAP1 00001022: POP 00001023: JUMP 00001024: JUMPDEST 00001025: PUSH1 0x00 00001027: DUP1 00001028: PUSH1 0x00 0000102a: PUSH1 0x40 0000102c: DUP5 0000102d: DUP7 0000102e: SUB 0000102f: SLT 00001030: ISZERO 00001031: PUSH2 0x1039 00001034: JUMPI 00001035: PUSH1 0x00 00001037: DUP1 00001038: REVERT 00001039: JUMPDEST 0000103a: PUSH2 0x1042 0000103d: DUP5 0000103e: PUSH2 0x0f1f 00001041: JUMP 00001042: JUMPDEST 00001043: SWAP3 00001044: POP 00001045: PUSH1 0x20 00001047: DUP5 00001048: ADD 00001049: CALLDATALOAD 0000104a: PUSH8 0xffffffffffffffff 00001053: DUP1 00001054: DUP3 00001055: GT 00001056: ISZERO 00001057: PUSH2 0x105f 0000105a: JUMPI 0000105b: PUSH1 0x00 0000105d: DUP1 0000105e: REVERT 0000105f: JUMPDEST 00001060: DUP2 00001061: DUP7 00001062: ADD 00001063: SWAP2 00001064: POP 00001065: DUP7 00001066: PUSH1 0x1f 00001068: DUP4 00001069: ADD 0000106a: SLT 0000106b: PUSH2 0x1073 0000106e: JUMPI 0000106f: PUSH1 0x00 00001071: DUP1 00001072: REVERT 00001073: JUMPDEST 00001074: DUP2 00001075: CALLDATALOAD 00001076: DUP2 00001077: DUP2 00001078: GT 00001079: ISZERO 0000107a: PUSH2 0x1082 0000107d: JUMPI 0000107e: PUSH1 0x00 00001080: DUP1 00001081: REVERT 00001082: JUMPDEST 00001083: DUP8 00001084: PUSH1 0x20 00001086: DUP3 00001087: PUSH1 0x05 00001089: SHL 0000108a: DUP6 0000108b: ADD 0000108c: ADD 0000108d: GT 0000108e: ISZERO 0000108f: PUSH2 0x1097 00001092: JUMPI 00001093: PUSH1 0x00 00001095: DUP1 00001096: REVERT 00001097: JUMPDEST 00001098: PUSH1 0x20 0000109a: DUP4 0000109b: ADD 0000109c: SWAP5 0000109d: POP 0000109e: DUP1 0000109f: SWAP4 000010a0: POP 000010a1: POP 000010a2: POP 000010a3: POP 000010a4: SWAP3 000010a5: POP 000010a6: SWAP3 000010a7: POP 000010a8: SWAP3 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000010cc: PUSH1 0x00 000010ce: MSTORE 000010cf: PUSH1 0x32 000010d1: PUSH1 0x04 000010d3: MSTORE 000010d4: PUSH1 0x24 000010d6: PUSH1 0x00 000010d8: REVERT 000010d9: JUMPDEST 000010da: PUSH1 0x00 000010dc: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010fd: DUP3 000010fe: SUB 000010ff: PUSH2 0x1131 00001102: JUMPI 00001103: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001124: PUSH1 0x00 00001126: MSTORE 00001127: PUSH1 0x11 00001129: PUSH1 0x04 0000112b: MSTORE 0000112c: PUSH1 0x24 0000112e: PUSH1 0x00 00001130: REVERT 00001131: JUMPDEST 00001132: POP 00001133: PUSH1 0x01 00001135: ADD 00001136: SWAP1 00001137: JUMP 00001138: INVALID 00001139: LOG2 0000113a: PUSH5 0x6970667358 00001140: UNKNOWN(0x22) 00001141: SLT 00001142: KECCAK256 00001143: CREATE 00001144: UNKNOWN(0xDE) 00001145: UNKNOWN(0xD6) 00001146: SWAP2 00001147: SWAP8 00001148: DUP13 00001149: UNKNOWN(0xED) 0000114a: MCOPY 0000114b: SELFBALANCE 0000114c: GAS 0000114d: POP 0000114e: UNKNOWN(0xBF) 0000114f: MULMOD 00001150: DUP11 00001151: EQ 00001152: UNKNOWN(0xAF) 00001153: EXTCODESIZE 00001154: PUSH1 0x4d 00001156: SWAP12 00001157: DUP9 00001158: UNKNOWN(0xD5) 00001159: UNKNOWN(0xF7) 0000115a: UNKNOWN(0xBA) 0000115b: ORIGIN 0000115c: UNKNOWN(0x22) 0000115d: SHR 0000115e: UNKNOWN(0x2D) 0000115f: BALANCE 00001160: UNKNOWN(0xD6) 00001161: DELEGATECALL 00001162: STOP 00001163: PUSH5 0x736f6c6343 00001169: STOP 0000116a: ADDMOD 0000116b: ISZERO 0000116c: STOP 0000116d: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x7dbfb76940df3af0271cd14b0c9b75ba028cdee43793aea95647dd84c0ac3ecb
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 108,
"trace_id": "0x7dbfb76940df3af0271cd14b0c9b75ba028cdee43793aea95647dd84c0ac3ecb",
"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": "0xb5c736e4",
"selector": "0xb5c736e4",
"calldata_variants": [
"0xb5c736e4",
"0xb5c736e40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc39aa07d",
"selector": "0xc39aa07d",
"calldata_variants": [
"0xc39aa07d",
"0xc39aa07d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0c01b42",
"selector": "0xf0c01b42",
"calldata_variants": [
"0xf0c01b42",
"0xf0c01b420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x908bfe5e",
"selector": "0x908bfe5e",
"calldata_variants": [
"0x908bfe5e",
"0x908bfe5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5fcc8bc",
"selector": "0xa5fcc8bc",
"calldata_variants": [
"0xa5fcc8bc",
"0xa5fcc8bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22175a32",
"selector": "0x22175a32",
"calldata_variants": [
"0x22175a32",
"0x22175a320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e9960c3",
"selector": "0x6e9960c3",
"calldata_variants": [
"0x6e9960c3",
"0x6e9960c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 329,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 4449,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 717,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 900,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1103,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1268,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4443,
"type": "tx_origin_used"
}
],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|
| 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": "0xb5c736e4",
"selector": "0xb5c736e4",
"calldata_variants": [
"0xb5c736e4",
"0xb5c736e40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc39aa07d",
"selector": "0xc39aa07d",
"calldata_variants": [
"0xc39aa07d",
"0xc39aa07d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0c01b42",
"selector": "0xf0c01b42",
"calldata_variants": [
"0xf0c01b42",
"0xf0c01b420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x908bfe5e",
"selector": "0x908bfe5e",
"calldata_variants": [
"0x908bfe5e",
"0x908bfe5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5fcc8bc",
"selector": "0xa5fcc8bc",
"calldata_variants": [
"0xa5fcc8bc",
"0xa5fcc8bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22175a32",
"selector": "0x22175a32",
"calldata_variants": [
"0x22175a32",
"0x22175a320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e9960c3",
"selector": "0x6e9960c3",
"calldata_variants": [
"0x6e9960c3",
"0x6e9960c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 717,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 900,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1103,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1268,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4443,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x64d14ce9f1b53e1d15d367461156857cfbece361c00818a9bf010f32a210d308
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 18,
"trace_id": "0x64d14ce9f1b53e1d15d367461156857cfbece361c00818a9bf010f32a210d308",
"confirmed": false,
"trace_mode": "structLogs",
"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": "0xb5c736e4",
"selector": "0xb5c736e4",
"calldata_variants": [
"0xb5c736e4",
"0xb5c736e40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc39aa07d",
"selector": "0xc39aa07d",
"calldata_variants": [
"0xc39aa07d",
"0xc39aa07d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0c01b42",
"selector": "0xf0c01b42",
"calldata_variants": [
"0xf0c01b42",
"0xf0c01b420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x908bfe5e",
"selector": "0x908bfe5e",
"calldata_variants": [
"0x908bfe5e",
"0x908bfe5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5fcc8bc",
"selector": "0xa5fcc8bc",
"calldata_variants": [
"0xa5fcc8bc",
"0xa5fcc8bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22175a32",
"selector": "0x22175a32",
"calldata_variants": [
"0x22175a32",
"0x22175a320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e9960c3",
"selector": "0x6e9960c3",
"calldata_variants": [
"0x6e9960c3",
"0x6e9960c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x704b6c02",
"selector": "0x704b6c02",
"calldata_variants": [
"0x704b6c02",
"0x704b6c020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|