019ba940-8956-7074-b792-7630c321f976
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 |
|---|---|---|---|---|
| 36560 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36561 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36562 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36563 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36564 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36565 | detector.run | complete | 1 / 3 | 3 months ago |
| 36566 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00af 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x17ffc320 0000003c: EQ 0000003d: PUSH2 0x00b4 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x180eebba 00000047: EQ 00000048: PUSH2 0x00ed 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x40b00033 00000052: EQ 00000053: PUSH2 0x0116 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x6cc6cde1 0000005d: EQ 0000005e: PUSH2 0x017c 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x8da5cb5b 00000068: EQ 00000069: PUSH2 0x01d1 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xb0eefabe 00000073: EQ 00000074: PUSH2 0x0226 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xc1f10663 0000007e: EQ 0000007f: PUSH2 0x025f 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xc5ecfc61 00000089: EQ 0000008a: PUSH2 0x0298 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xf2fde38b 00000094: EQ 00000095: PUSH2 0x0379 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xf34e3723 0000009f: EQ 000000a0: PUSH2 0x03b2 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xf96f143e 000000aa: EQ 000000ab: PUSH2 0x03e0 000000ae: JUMPI 000000af: JUMPDEST 000000b0: PUSH1 0x00 000000b2: DUP1 000000b3: REVERT 000000b4: JUMPDEST 000000b5: CALLVALUE 000000b6: ISZERO 000000b7: PUSH2 0x00bf 000000ba: JUMPI 000000bb: PUSH1 0x00 000000bd: DUP1 000000be: REVERT 000000bf: JUMPDEST 000000c0: PUSH2 0x00eb 000000c3: PUSH1 0x04 000000c5: DUP1 000000c6: DUP1 000000c7: CALLDATALOAD 000000c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000dd: AND 000000de: SWAP1 000000df: PUSH1 0x20 000000e1: ADD 000000e2: SWAP1 000000e3: SWAP2 000000e4: SWAP1 000000e5: POP 000000e6: POP 000000e7: PUSH2 0x0409 000000ea: JUMP 000000eb: JUMPDEST 000000ec: STOP 000000ed: JUMPDEST 000000ee: CALLVALUE 000000ef: ISZERO 000000f0: PUSH2 0x00f8 000000f3: JUMPI 000000f4: PUSH1 0x00 000000f6: DUP1 000000f7: REVERT 000000f8: JUMPDEST 000000f9: PUSH2 0x0100 000000fc: PUSH2 0x0569 000000ff: JUMP 00000100: JUMPDEST 00000101: PUSH1 0x40 00000103: MLOAD 00000104: DUP1 00000105: DUP3 00000106: DUP2 00000107: MSTORE 00000108: PUSH1 0x20 0000010a: ADD 0000010b: SWAP2 0000010c: POP 0000010d: POP 0000010e: PUSH1 0x40 00000110: MLOAD 00000111: DUP1 00000112: SWAP2 00000113: SUB 00000114: SWAP1 00000115: RETURN 00000116: JUMPDEST 00000117: PUSH2 0x017a 0000011a: PUSH1 0x04 0000011c: DUP1 0000011d: DUP1 0000011e: CALLDATALOAD 0000011f: SWAP1 00000120: PUSH1 0x20 00000122: ADD 00000123: SWAP1 00000124: DUP3 00000125: ADD 00000126: DUP1 00000127: CALLDATALOAD 00000128: SWAP1 00000129: PUSH1 0x20 0000012b: ADD 0000012c: SWAP2 0000012d: SWAP1 0000012e: SWAP2 0000012f: SWAP3 00000130: SWAP1 00000131: DUP1 00000132: CALLDATALOAD 00000133: SWAP1 00000134: PUSH1 0x20 00000136: ADD 00000137: SWAP1 00000138: SWAP2 00000139: SWAP1 0000013a: DUP1 0000013b: CALLDATALOAD 0000013c: SWAP1 0000013d: PUSH1 0x20 0000013f: ADD 00000140: SWAP1 00000141: DUP3 00000142: ADD 00000143: DUP1 00000144: CALLDATALOAD 00000145: SWAP1 00000146: PUSH1 0x20 00000148: ADD 00000149: SWAP2 0000014a: SWAP1 0000014b: SWAP2 0000014c: SWAP3 0000014d: SWAP1 0000014e: DUP1 0000014f: CALLDATALOAD 00000150: PUSH1 0xff 00000152: AND 00000153: SWAP1 00000154: PUSH1 0x20 00000156: ADD 00000157: SWAP1 00000158: SWAP2 00000159: SWAP1 0000015a: DUP1 0000015b: CALLDATALOAD 0000015c: PUSH1 0x00 0000015e: NOT 0000015f: AND 00000160: SWAP1 00000161: PUSH1 0x20 00000163: ADD 00000164: SWAP1 00000165: SWAP2 00000166: SWAP1 00000167: DUP1 00000168: CALLDATALOAD 00000169: PUSH1 0x00 0000016b: NOT 0000016c: AND 0000016d: SWAP1 0000016e: PUSH1 0x20 00000170: ADD 00000171: SWAP1 00000172: SWAP2 00000173: SWAP1 00000174: POP 00000175: POP 00000176: PUSH2 0x056f 00000179: JUMP 0000017a: JUMPDEST 0000017b: STOP 0000017c: JUMPDEST 0000017d: CALLVALUE 0000017e: ISZERO 0000017f: PUSH2 0x0187 00000182: JUMPI 00000183: PUSH1 0x00 00000185: DUP1 00000186: REVERT 00000187: JUMPDEST 00000188: PUSH2 0x018f 0000018b: PUSH2 0x093d 0000018e: JUMP 0000018f: JUMPDEST 00000190: PUSH1 0x40 00000192: MLOAD 00000193: DUP1 00000194: DUP3 00000195: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001aa: AND 000001ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c0: AND 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x20 000001c5: ADD 000001c6: SWAP2 000001c7: POP 000001c8: POP 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: DUP1 000001cd: SWAP2 000001ce: SUB 000001cf: SWAP1 000001d0: RETURN 000001d1: JUMPDEST 000001d2: CALLVALUE 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: PUSH2 0x01e4 000001e0: PUSH2 0x0963 000001e3: JUMP 000001e4: JUMPDEST 000001e5: PUSH1 0x40 000001e7: MLOAD 000001e8: DUP1 000001e9: DUP3 000001ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ff: AND 00000200: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000215: AND 00000216: DUP2 00000217: MSTORE 00000218: PUSH1 0x20 0000021a: ADD 0000021b: SWAP2 0000021c: POP 0000021d: POP 0000021e: PUSH1 0x40 00000220: MLOAD 00000221: DUP1 00000222: SWAP2 00000223: SUB 00000224: SWAP1 00000225: RETURN 00000226: JUMPDEST 00000227: CALLVALUE 00000228: ISZERO 00000229: PUSH2 0x0231 0000022c: JUMPI 0000022d: PUSH1 0x00 0000022f: DUP1 00000230: REVERT 00000231: JUMPDEST 00000232: PUSH2 0x025d 00000235: PUSH1 0x04 00000237: DUP1 00000238: DUP1 00000239: CALLDATALOAD 0000023a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024f: AND 00000250: SWAP1 00000251: PUSH1 0x20 00000253: ADD 00000254: SWAP1 00000255: SWAP2 00000256: SWAP1 00000257: POP 00000258: POP 00000259: PUSH2 0x0988 0000025c: JUMP 0000025d: JUMPDEST 0000025e: STOP 0000025f: JUMPDEST 00000260: CALLVALUE 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: PUSH2 0x0296 0000026e: PUSH1 0x04 00000270: DUP1 00000271: DUP1 00000272: CALLDATALOAD 00000273: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000288: AND 00000289: SWAP1 0000028a: PUSH1 0x20 0000028c: ADD 0000028d: SWAP1 0000028e: SWAP2 0000028f: SWAP1 00000290: POP 00000291: POP 00000292: PUSH2 0x0a27 00000295: JUMP 00000296: JUMPDEST 00000297: STOP 00000298: JUMPDEST 00000299: CALLVALUE 0000029a: ISZERO 0000029b: PUSH2 0x02a3 0000029e: JUMPI 0000029f: PUSH1 0x00 000002a1: DUP1 000002a2: REVERT 000002a3: JUMPDEST 000002a4: PUSH2 0x02c4 000002a7: PUSH1 0x04 000002a9: DUP1 000002aa: DUP1 000002ab: CALLDATALOAD 000002ac: SWAP1 000002ad: PUSH1 0x20 000002af: ADD 000002b0: SWAP1 000002b1: DUP3 000002b2: ADD 000002b3: DUP1 000002b4: CALLDATALOAD 000002b5: SWAP1 000002b6: PUSH1 0x20 000002b8: ADD 000002b9: SWAP2 000002ba: SWAP1 000002bb: SWAP2 000002bc: SWAP3 000002bd: SWAP1 000002be: POP 000002bf: POP 000002c0: PUSH2 0x0ad5 000002c3: JUMP 000002c4: JUMPDEST 000002c5: PUSH1 0x40 000002c7: MLOAD 000002c8: DUP1 000002c9: DUP5 000002ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002df: AND 000002e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f5: AND 000002f6: DUP2 000002f7: MSTORE 000002f8: PUSH1 0x20 000002fa: ADD 000002fb: DUP1 000002fc: PUSH1 0x20 000002fe: ADD 000002ff: DUP4 00000300: DUP2 00000301: MSTORE 00000302: PUSH1 0x20 00000304: ADD 00000305: DUP3 00000306: DUP2 00000307: SUB 00000308: DUP3 00000309: MSTORE 0000030a: DUP5 0000030b: DUP2 0000030c: DUP2 0000030d: MLOAD 0000030e: DUP2 0000030f: MSTORE 00000310: PUSH1 0x20 00000312: ADD 00000313: SWAP2 00000314: POP 00000315: DUP1 00000316: MLOAD 00000317: SWAP1 00000318: PUSH1 0x20 0000031a: ADD 0000031b: SWAP1 0000031c: DUP1 0000031d: DUP4 0000031e: DUP4 0000031f: PUSH1 0x00 00000321: JUMPDEST 00000322: DUP4 00000323: DUP2 00000324: LT 00000325: ISZERO 00000326: PUSH2 0x033c 00000329: JUMPI 0000032a: DUP1 0000032b: DUP3 0000032c: ADD 0000032d: MLOAD 0000032e: DUP2 0000032f: DUP5 00000330: ADD 00000331: MSTORE 00000332: PUSH1 0x20 00000334: DUP2 00000335: ADD 00000336: SWAP1 00000337: POP 00000338: PUSH2 0x0321 0000033b: JUMP 0000033c: JUMPDEST 0000033d: POP 0000033e: POP 0000033f: POP 00000340: POP 00000341: SWAP1 00000342: POP 00000343: SWAP1 00000344: DUP2 00000345: ADD 00000346: SWAP1 00000347: PUSH1 0x1f 00000349: AND 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0369 0000034f: JUMPI 00000350: DUP1 00000351: DUP3 00000352: SUB 00000353: DUP1 00000354: MLOAD 00000355: PUSH1 0x01 00000357: DUP4 00000358: PUSH1 0x20 0000035a: SUB 0000035b: PUSH2 0x0100 0000035e: EXP 0000035f: SUB 00000360: NOT 00000361: AND 00000362: DUP2 00000363: MSTORE 00000364: PUSH1 0x20 00000366: ADD 00000367: SWAP2 00000368: POP 00000369: JUMPDEST 0000036a: POP 0000036b: SWAP5 0000036c: POP 0000036d: POP 0000036e: POP 0000036f: POP 00000370: POP 00000371: PUSH1 0x40 00000373: MLOAD 00000374: DUP1 00000375: SWAP2 00000376: SUB 00000377: SWAP1 00000378: RETURN 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: ISZERO 0000037c: PUSH2 0x0384 0000037f: JUMPI 00000380: PUSH1 0x00 00000382: DUP1 00000383: REVERT 00000384: JUMPDEST 00000385: PUSH2 0x03b0 00000388: PUSH1 0x04 0000038a: DUP1 0000038b: DUP1 0000038c: CALLDATALOAD 0000038d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a2: AND 000003a3: SWAP1 000003a4: PUSH1 0x20 000003a6: ADD 000003a7: SWAP1 000003a8: SWAP2 000003a9: SWAP1 000003aa: POP 000003ab: POP 000003ac: PUSH2 0x0c1f 000003af: JUMP 000003b0: JUMPDEST 000003b1: STOP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: ISZERO 000003b5: PUSH2 0x03bd 000003b8: JUMPI 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: REVERT 000003bd: JUMPDEST 000003be: PUSH2 0x03de 000003c1: PUSH1 0x04 000003c3: DUP1 000003c4: DUP1 000003c5: CALLDATALOAD 000003c6: SWAP1 000003c7: PUSH1 0x20 000003c9: ADD 000003ca: SWAP1 000003cb: DUP3 000003cc: ADD 000003cd: DUP1 000003ce: CALLDATALOAD 000003cf: SWAP1 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: SWAP2 000003d4: SWAP1 000003d5: SWAP2 000003d6: SWAP3 000003d7: SWAP1 000003d8: POP 000003d9: POP 000003da: PUSH2 0x0d74 000003dd: JUMP 000003de: JUMPDEST 000003df: STOP 000003e0: JUMPDEST 000003e1: CALLVALUE 000003e2: ISZERO 000003e3: PUSH2 0x03eb 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: PUSH2 0x03f3 000003ef: PUSH2 0x0ffa 000003f2: JUMP 000003f3: JUMPDEST 000003f4: PUSH1 0x40 000003f6: MLOAD 000003f7: DUP1 000003f8: DUP3 000003f9: DUP2 000003fa: MSTORE 000003fb: PUSH1 0x20 000003fd: ADD 000003fe: SWAP2 000003ff: POP 00000400: POP 00000401: PUSH1 0x40 00000403: MLOAD 00000404: DUP1 00000405: SWAP2 00000406: SUB 00000407: SWAP1 00000408: RETURN 00000409: JUMPDEST 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: PUSH1 0x00 0000040f: SWAP1 00000410: SLOAD 00000411: SWAP1 00000412: PUSH2 0x0100 00000415: EXP 00000416: SWAP1 00000417: DIV 00000418: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042d: AND 0000042e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000443: AND 00000444: CALLER 00000445: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045a: AND 0000045b: EQ 0000045c: ISZERO 0000045d: ISZERO 0000045e: PUSH2 0x0466 00000461: JUMPI 00000462: PUSH1 0x00 00000464: DUP1 00000465: REVERT 00000466: JUMPDEST 00000467: DUP2 00000468: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047d: AND 0000047e: PUSH4 0x70a08231 00000483: ADDRESS 00000484: PUSH1 0x40 00000486: MLOAD 00000487: DUP3 00000488: PUSH4 0xffffffff 0000048d: AND 0000048e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000004ac: MUL 000004ad: DUP2 000004ae: MSTORE 000004af: PUSH1 0x04 000004b1: ADD 000004b2: DUP1 000004b3: DUP3 000004b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c9: AND 000004ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004df: AND 000004e0: DUP2 000004e1: MSTORE 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: SWAP2 000004e6: POP 000004e7: POP 000004e8: PUSH1 0x20 000004ea: PUSH1 0x40 000004ec: MLOAD 000004ed: DUP1 000004ee: DUP4 000004ef: SUB 000004f0: DUP2 000004f1: PUSH1 0x00 000004f3: DUP8 000004f4: DUP1 000004f5: EXTCODESIZE 000004f6: ISZERO 000004f7: ISZERO 000004f8: PUSH2 0x0500 000004fb: JUMPI 000004fc: PUSH1 0x00 000004fe: DUP1 000004ff: REVERT 00000500: JUMPDEST 00000501: GAS 00000502: CALL 00000503: ISZERO 00000504: ISZERO 00000505: PUSH2 0x050d 00000508: JUMPI 00000509: PUSH1 0x00 0000050b: DUP1 0000050c: REVERT 0000050d: JUMPDEST 0000050e: POP 0000050f: POP 00000510: POP 00000511: PUSH1 0x40 00000513: MLOAD 00000514: DUP1 00000515: MLOAD 00000516: SWAP1 00000517: POP 00000518: SWAP1 00000519: POP 0000051a: PUSH2 0x0565 0000051d: PUSH1 0x00 0000051f: DUP1 00000520: SWAP1 00000521: SLOAD 00000522: SWAP1 00000523: PUSH2 0x0100 00000526: EXP 00000527: SWAP1 00000528: DIV 00000529: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053e: AND 0000053f: DUP3 00000540: DUP5 00000541: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000556: AND 00000557: PUSH2 0x1000 0000055a: SWAP1 0000055b: SWAP3 0000055c: SWAP2 0000055d: SWAP1 0000055e: PUSH4 0xffffffff 00000563: AND 00000564: JUMP 00000565: JUMPDEST 00000566: POP 00000567: POP 00000568: JUMP 00000569: JUMPDEST 0000056a: PUSH1 0x03 0000056c: SLOAD 0000056d: DUP2 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH1 0x00 00000572: PUSH2 0x0579 00000575: PUSH2 0x1138 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH1 0x00 0000057c: DUP9 0000057d: CALLVALUE 0000057e: EQ 0000057f: ISZERO 00000580: ISZERO 00000581: PUSH2 0x0589 00000584: JUMPI 00000585: PUSH1 0x00 00000587: DUP1 00000588: REVERT 00000589: JUMPDEST 0000058a: PUSH1 0x01 0000058c: DUP12 0000058d: DUP12 0000058e: PUSH1 0x40 00000590: MLOAD 00000591: DUP1 00000592: DUP4 00000593: DUP4 00000594: DUP1 00000595: DUP3 00000596: DUP5 00000597: CALLDATACOPY 00000598: DUP3 00000599: ADD 0000059a: SWAP2 0000059b: POP 0000059c: POP 0000059d: SWAP3 0000059e: POP 0000059f: POP 000005a0: POP 000005a1: SWAP1 000005a2: DUP2 000005a3: MSTORE 000005a4: PUSH1 0x20 000005a6: ADD 000005a7: PUSH1 0x40 000005a9: MLOAD 000005aa: DUP1 000005ab: SWAP2 000005ac: SUB 000005ad: SWAP1 000005ae: KECCAK256 000005af: PUSH1 0x00 000005b1: ADD 000005b2: PUSH1 0x00 000005b4: SWAP1 000005b5: SLOAD 000005b6: SWAP1 000005b7: PUSH2 0x0100 000005ba: EXP 000005bb: SWAP1 000005bc: DIV 000005bd: PUSH1 0xff 000005bf: AND 000005c0: ISZERO 000005c1: ISZERO 000005c2: ISZERO 000005c3: PUSH2 0x05cb 000005c6: JUMPI 000005c7: PUSH1 0x00 000005c9: DUP1 000005ca: REVERT 000005cb: JUMPDEST 000005cc: DUP11 000005cd: DUP11 000005ce: DUP11 000005cf: DUP11 000005d0: DUP11 000005d1: PUSH1 0x40 000005d3: MLOAD 000005d4: DUP1 000005d5: DUP7 000005d6: DUP7 000005d7: DUP1 000005d8: DUP3 000005d9: DUP5 000005da: CALLDATACOPY 000005db: DUP3 000005dc: ADD 000005dd: SWAP2 000005de: POP 000005df: POP 000005e0: DUP5 000005e1: DUP2 000005e2: MSTORE 000005e3: PUSH1 0x20 000005e5: ADD 000005e6: DUP4 000005e7: DUP4 000005e8: DUP1 000005e9: DUP3 000005ea: DUP5 000005eb: CALLDATACOPY 000005ec: DUP3 000005ed: ADD 000005ee: SWAP2 000005ef: POP 000005f0: POP 000005f1: SWAP6 000005f2: POP 000005f3: POP 000005f4: POP 000005f5: POP 000005f6: POP 000005f7: POP 000005f8: PUSH1 0x40 000005fa: MLOAD 000005fb: DUP1 000005fc: SWAP2 000005fd: SUB 000005fe: SWAP1 000005ff: KECCAK256 00000600: SWAP3 00000601: POP 00000602: PUSH1 0x40 00000604: DUP1 00000605: MLOAD 00000606: SWAP1 00000607: DUP2 00000608: ADD 00000609: PUSH1 0x40 0000060b: MSTORE 0000060c: DUP1 0000060d: PUSH1 0x1c 0000060f: DUP2 00000610: MSTORE 00000611: PUSH1 0x20 00000613: ADD 00000614: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000635: DUP2 00000636: MSTORE 00000637: POP 00000638: SWAP2 00000639: POP 0000063a: PUSH1 0x01 0000063c: DUP3 0000063d: DUP5 0000063e: PUSH1 0x40 00000640: MLOAD 00000641: DUP1 00000642: DUP4 00000643: DUP1 00000644: MLOAD 00000645: SWAP1 00000646: PUSH1 0x20 00000648: ADD 00000649: SWAP1 0000064a: DUP1 0000064b: DUP4 0000064c: DUP4 0000064d: JUMPDEST 0000064e: PUSH1 0x20 00000650: DUP4 00000651: LT 00000652: ISZERO 00000653: ISZERO 00000654: PUSH2 0x0672 00000657: JUMPI 00000658: DUP1 00000659: MLOAD 0000065a: DUP3 0000065b: MSTORE 0000065c: PUSH1 0x20 0000065e: DUP3 0000065f: ADD 00000660: SWAP2 00000661: POP 00000662: PUSH1 0x20 00000664: DUP2 00000665: ADD 00000666: SWAP1 00000667: POP 00000668: PUSH1 0x20 0000066a: DUP4 0000066b: SUB 0000066c: SWAP3 0000066d: POP 0000066e: PUSH2 0x064d 00000671: JUMP 00000672: JUMPDEST 00000673: PUSH1 0x01 00000675: DUP4 00000676: PUSH1 0x20 00000678: SUB 00000679: PUSH2 0x0100 0000067c: EXP 0000067d: SUB 0000067e: DUP1 0000067f: NOT 00000680: DUP3 00000681: MLOAD 00000682: AND 00000683: DUP2 00000684: DUP5 00000685: MLOAD 00000686: AND 00000687: DUP1 00000688: DUP3 00000689: OR 0000068a: DUP6 0000068b: MSTORE 0000068c: POP 0000068d: POP 0000068e: POP 0000068f: POP 00000690: POP 00000691: POP 00000692: SWAP1 00000693: POP 00000694: ADD 00000695: DUP3 00000696: PUSH1 0x00 00000698: NOT 00000699: AND 0000069a: PUSH1 0x00 0000069c: NOT 0000069d: AND 0000069e: DUP2 0000069f: MSTORE 000006a0: PUSH1 0x20 000006a2: ADD 000006a3: SWAP3 000006a4: POP 000006a5: POP 000006a6: POP 000006a7: PUSH1 0x40 000006a9: MLOAD 000006aa: DUP1 000006ab: SWAP2 000006ac: SUB 000006ad: SWAP1 000006ae: KECCAK256 000006af: DUP8 000006b0: DUP8 000006b1: DUP8 000006b2: PUSH1 0x40 000006b4: MLOAD 000006b5: PUSH1 0x00 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: ADD 000006bc: PUSH1 0x40 000006be: MSTORE 000006bf: PUSH1 0x40 000006c1: MLOAD 000006c2: DUP1 000006c3: DUP6 000006c4: PUSH1 0x00 000006c6: NOT 000006c7: AND 000006c8: PUSH1 0x00 000006ca: NOT 000006cb: AND 000006cc: DUP2 000006cd: MSTORE 000006ce: PUSH1 0x20 000006d0: ADD 000006d1: DUP5 000006d2: PUSH1 0xff 000006d4: AND 000006d5: PUSH1 0xff 000006d7: AND 000006d8: DUP2 000006d9: MSTORE 000006da: PUSH1 0x20 000006dc: ADD 000006dd: DUP4 000006de: PUSH1 0x00 000006e0: NOT 000006e1: AND 000006e2: PUSH1 0x00 000006e4: NOT 000006e5: AND 000006e6: DUP2 000006e7: MSTORE 000006e8: PUSH1 0x20 000006ea: ADD 000006eb: DUP3 000006ec: PUSH1 0x00 000006ee: NOT 000006ef: AND 000006f0: PUSH1 0x00 000006f2: NOT 000006f3: AND 000006f4: DUP2 000006f5: MSTORE 000006f6: PUSH1 0x20 000006f8: ADD 000006f9: SWAP5 000006fa: POP 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: PUSH1 0x20 00000701: PUSH1 0x40 00000703: MLOAD 00000704: PUSH1 0x20 00000706: DUP2 00000707: SUB 00000708: SWAP1 00000709: DUP1 0000070a: DUP5 0000070b: SUB 0000070c: SWAP1 0000070d: PUSH1 0x00 0000070f: DUP7 00000710: GAS 00000711: CALL 00000712: ISZERO 00000713: ISZERO 00000714: PUSH2 0x071c 00000717: JUMPI 00000718: PUSH1 0x00 0000071a: DUP1 0000071b: REVERT 0000071c: JUMPDEST 0000071d: POP 0000071e: POP 0000071f: PUSH1 0x20 00000721: PUSH1 0x40 00000723: MLOAD 00000724: SUB 00000725: MLOAD 00000726: SWAP1 00000727: POP 00000728: PUSH1 0x02 0000072a: PUSH1 0x00 0000072c: SWAP1 0000072d: SLOAD 0000072e: SWAP1 0000072f: PUSH2 0x0100 00000732: EXP 00000733: SWAP1 00000734: DIV 00000735: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074a: AND 0000074b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000760: AND 00000761: DUP2 00000762: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000777: AND 00000778: EQ 00000779: ISZERO 0000077a: ISZERO 0000077b: PUSH2 0x0783 0000077e: JUMPI 0000077f: PUSH1 0x00 00000781: DUP1 00000782: REVERT 00000783: JUMPDEST 00000784: PUSH1 0x80 00000786: PUSH1 0x40 00000788: MLOAD 00000789: SWAP1 0000078a: DUP2 0000078b: ADD 0000078c: PUSH1 0x40 0000078e: MSTORE 0000078f: DUP1 00000790: PUSH1 0x01 00000792: ISZERO 00000793: ISZERO 00000794: DUP2 00000795: MSTORE 00000796: PUSH1 0x20 00000798: ADD 00000799: CALLER 0000079a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007af: AND 000007b0: DUP2 000007b1: MSTORE 000007b2: PUSH1 0x20 000007b4: ADD 000007b5: DUP10 000007b6: DUP10 000007b7: DUP1 000007b8: DUP1 000007b9: PUSH1 0x1f 000007bb: ADD 000007bc: PUSH1 0x20 000007be: DUP1 000007bf: SWAP2 000007c0: DIV 000007c1: MUL 000007c2: PUSH1 0x20 000007c4: ADD 000007c5: PUSH1 0x40 000007c7: MLOAD 000007c8: SWAP1 000007c9: DUP2 000007ca: ADD 000007cb: PUSH1 0x40 000007cd: MSTORE 000007ce: DUP1 000007cf: SWAP4 000007d0: SWAP3 000007d1: SWAP2 000007d2: SWAP1 000007d3: DUP2 000007d4: DUP2 000007d5: MSTORE 000007d6: PUSH1 0x20 000007d8: ADD 000007d9: DUP4 000007da: DUP4 000007db: DUP1 000007dc: DUP3 000007dd: DUP5 000007de: CALLDATACOPY 000007df: DUP3 000007e0: ADD 000007e1: SWAP2 000007e2: POP 000007e3: POP 000007e4: POP 000007e5: POP 000007e6: POP 000007e7: POP 000007e8: DUP2 000007e9: MSTORE 000007ea: PUSH1 0x20 000007ec: ADD 000007ed: CALLVALUE 000007ee: DUP2 000007ef: MSTORE 000007f0: POP 000007f1: PUSH1 0x01 000007f3: DUP13 000007f4: DUP13 000007f5: PUSH1 0x40 000007f7: MLOAD 000007f8: DUP1 000007f9: DUP4 000007fa: DUP4 000007fb: DUP1 000007fc: DUP3 000007fd: DUP5 000007fe: CALLDATACOPY 000007ff: DUP3 00000800: ADD 00000801: SWAP2 00000802: POP 00000803: POP 00000804: SWAP3 00000805: POP 00000806: POP 00000807: POP 00000808: SWAP1 00000809: DUP2 0000080a: MSTORE 0000080b: PUSH1 0x20 0000080d: ADD 0000080e: PUSH1 0x40 00000810: MLOAD 00000811: DUP1 00000812: SWAP2 00000813: SUB 00000814: SWAP1 00000815: KECCAK256 00000816: PUSH1 0x00 00000818: DUP3 00000819: ADD 0000081a: MLOAD 0000081b: DUP2 0000081c: PUSH1 0x00 0000081e: ADD 0000081f: PUSH1 0x00 00000821: PUSH2 0x0100 00000824: EXP 00000825: DUP2 00000826: SLOAD 00000827: DUP2 00000828: PUSH1 0xff 0000082a: MUL 0000082b: NOT 0000082c: AND 0000082d: SWAP1 0000082e: DUP4 0000082f: ISZERO 00000830: ISZERO 00000831: MUL 00000832: OR 00000833: SWAP1 00000834: SSTORE 00000835: POP 00000836: PUSH1 0x20 00000838: DUP3 00000839: ADD 0000083a: MLOAD 0000083b: DUP2 0000083c: PUSH1 0x00 0000083e: ADD 0000083f: PUSH1 0x01 00000841: PUSH2 0x0100 00000844: EXP 00000845: DUP2 00000846: SLOAD 00000847: DUP2 00000848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085d: MUL 0000085e: NOT 0000085f: AND 00000860: SWAP1 00000861: DUP4 00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000877: AND 00000878: MUL 00000879: OR 0000087a: SWAP1 0000087b: SSTORE 0000087c: POP 0000087d: PUSH1 0x40 0000087f: DUP3 00000880: ADD 00000881: MLOAD 00000882: DUP2 00000883: PUSH1 0x01 00000885: ADD 00000886: SWAP1 00000887: DUP1 00000888: MLOAD 00000889: SWAP1 0000088a: PUSH1 0x20 0000088c: ADD 0000088d: SWAP1 0000088e: PUSH2 0x0898 00000891: SWAP3 00000892: SWAP2 00000893: SWAP1 00000894: PUSH2 0x114c 00000897: JUMP 00000898: JUMPDEST 00000899: POP 0000089a: PUSH1 0x60 0000089c: DUP3 0000089d: ADD 0000089e: MLOAD 0000089f: DUP2 000008a0: PUSH1 0x02 000008a2: ADD 000008a3: SSTORE 000008a4: SWAP1 000008a5: POP 000008a6: POP 000008a7: CALLER 000008a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bd: AND 000008be: PUSH32 0x932c935c3c9913ab1e795c885cfe0b18652738083fd94d8fdea1844950a5227c 000008df: DUP13 000008e0: DUP13 000008e1: DUP12 000008e2: DUP12 000008e3: PUSH1 0x40 000008e5: MLOAD 000008e6: DUP1 000008e7: DUP1 000008e8: PUSH1 0x20 000008ea: ADD 000008eb: DUP1 000008ec: PUSH1 0x20 000008ee: ADD 000008ef: DUP4 000008f0: DUP2 000008f1: SUB 000008f2: DUP4 000008f3: MSTORE 000008f4: DUP8 000008f5: DUP8 000008f6: DUP3 000008f7: DUP2 000008f8: DUP2 000008f9: MSTORE 000008fa: PUSH1 0x20 000008fc: ADD 000008fd: SWAP3 000008fe: POP 000008ff: DUP1 00000900: DUP3 00000901: DUP5 00000902: CALLDATACOPY 00000903: DUP3 00000904: ADD 00000905: SWAP2 00000906: POP 00000907: POP 00000908: DUP4 00000909: DUP2 0000090a: SUB 0000090b: DUP3 0000090c: MSTORE 0000090d: DUP6 0000090e: DUP6 0000090f: DUP3 00000910: DUP2 00000911: DUP2 00000912: MSTORE 00000913: PUSH1 0x20 00000915: ADD 00000916: SWAP3 00000917: POP 00000918: DUP1 00000919: DUP3 0000091a: DUP5 0000091b: CALLDATACOPY 0000091c: DUP3 0000091d: ADD 0000091e: SWAP2 0000091f: POP 00000920: POP 00000921: SWAP7 00000922: POP 00000923: POP 00000924: POP 00000925: POP 00000926: POP 00000927: POP 00000928: POP 00000929: PUSH1 0x40 0000092b: MLOAD 0000092c: DUP1 0000092d: SWAP2 0000092e: SUB 0000092f: SWAP1 00000930: LOG2 00000931: POP 00000932: POP 00000933: POP 00000934: POP 00000935: POP 00000936: POP 00000937: POP 00000938: POP 00000939: POP 0000093a: POP 0000093b: POP 0000093c: JUMP 0000093d: JUMPDEST 0000093e: PUSH1 0x02 00000940: PUSH1 0x00 00000942: SWAP1 00000943: SLOAD 00000944: SWAP1 00000945: PUSH2 0x0100 00000948: EXP 00000949: SWAP1 0000094a: DIV 0000094b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000960: AND 00000961: DUP2 00000962: JUMP 00000963: JUMPDEST 00000964: PUSH1 0x00 00000966: DUP1 00000967: SWAP1 00000968: SLOAD 00000969: SWAP1 0000096a: PUSH2 0x0100 0000096d: EXP 0000096e: SWAP1 0000096f: DIV 00000970: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000985: AND 00000986: DUP2 00000987: JUMP 00000988: JUMPDEST 00000989: PUSH1 0x00 0000098b: DUP1 0000098c: SWAP1 0000098d: SLOAD 0000098e: SWAP1 0000098f: PUSH2 0x0100 00000992: EXP 00000993: SWAP1 00000994: DIV 00000995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009aa: AND 000009ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c0: AND 000009c1: CALLER 000009c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d7: AND 000009d8: EQ 000009d9: ISZERO 000009da: ISZERO 000009db: PUSH2 0x09e3 000009de: JUMPI 000009df: PUSH1 0x00 000009e1: DUP1 000009e2: REVERT 000009e3: JUMPDEST 000009e4: DUP1 000009e5: PUSH1 0x02 000009e7: PUSH1 0x00 000009e9: PUSH2 0x0100 000009ec: EXP 000009ed: DUP2 000009ee: SLOAD 000009ef: DUP2 000009f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a05: MUL 00000a06: NOT 00000a07: AND 00000a08: SWAP1 00000a09: DUP4 00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a1f: AND 00000a20: MUL 00000a21: OR 00000a22: SWAP1 00000a23: SSTORE 00000a24: POP 00000a25: POP 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH1 0x00 00000a2a: DUP1 00000a2b: PUSH1 0x00 00000a2d: SWAP1 00000a2e: SLOAD 00000a2f: SWAP1 00000a30: PUSH2 0x0100 00000a33: EXP 00000a34: SWAP1 00000a35: DIV 00000a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4b: AND 00000a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a61: AND 00000a62: CALLER 00000a63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a78: AND 00000a79: EQ 00000a7a: ISZERO 00000a7b: ISZERO 00000a7c: PUSH2 0x0a84 00000a7f: JUMPI 00000a80: PUSH1 0x00 00000a82: DUP1 00000a83: REVERT 00000a84: JUMPDEST 00000a85: PUSH1 0x03 00000a87: SLOAD 00000a88: SWAP1 00000a89: POP 00000a8a: PUSH1 0x00 00000a8c: PUSH1 0x03 00000a8e: DUP2 00000a8f: SWAP1 00000a90: SSTORE 00000a91: POP 00000a92: DUP2 00000a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa8: AND 00000aa9: PUSH2 0x08fc 00000aac: DUP3 00000aad: SWAP1 00000aae: DUP2 00000aaf: ISZERO 00000ab0: MUL 00000ab1: SWAP1 00000ab2: PUSH1 0x40 00000ab4: MLOAD 00000ab5: PUSH1 0x00 00000ab7: PUSH1 0x40 00000ab9: MLOAD 00000aba: DUP1 00000abb: DUP4 00000abc: SUB 00000abd: DUP2 00000abe: DUP6 00000abf: DUP9 00000ac0: DUP9 00000ac1: CALL 00000ac2: SWAP4 00000ac3: POP 00000ac4: POP 00000ac5: POP 00000ac6: POP 00000ac7: ISZERO 00000ac8: ISZERO 00000ac9: PUSH2 0x0ad1 00000acc: JUMPI 00000acd: PUSH1 0x00 00000acf: DUP1 00000ad0: REVERT 00000ad1: JUMPDEST 00000ad2: POP 00000ad3: POP 00000ad4: JUMP 00000ad5: JUMPDEST 00000ad6: PUSH1 0x00 00000ad8: PUSH2 0x0adf 00000adb: PUSH2 0x1138 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: PUSH1 0x00 00000ae2: DUP1 00000ae3: PUSH1 0x01 00000ae5: DUP7 00000ae6: DUP7 00000ae7: PUSH1 0x40 00000ae9: MLOAD 00000aea: DUP1 00000aeb: DUP4 00000aec: DUP4 00000aed: DUP1 00000aee: DUP3 00000aef: DUP5 00000af0: CALLDATACOPY 00000af1: DUP3 00000af2: ADD 00000af3: SWAP2 00000af4: POP 00000af5: POP 00000af6: SWAP3 00000af7: POP 00000af8: POP 00000af9: POP 00000afa: SWAP1 00000afb: DUP2 00000afc: MSTORE 00000afd: PUSH1 0x20 00000aff: ADD 00000b00: PUSH1 0x40 00000b02: MLOAD 00000b03: DUP1 00000b04: SWAP2 00000b05: SUB 00000b06: SWAP1 00000b07: KECCAK256 00000b08: PUSH1 0x00 00000b0a: ADD 00000b0b: PUSH1 0x00 00000b0d: SWAP1 00000b0e: SLOAD 00000b0f: SWAP1 00000b10: PUSH2 0x0100 00000b13: EXP 00000b14: SWAP1 00000b15: DIV 00000b16: PUSH1 0xff 00000b18: AND 00000b19: ISZERO 00000b1a: ISZERO 00000b1b: PUSH2 0x0b23 00000b1e: JUMPI 00000b1f: PUSH1 0x00 00000b21: DUP1 00000b22: REVERT 00000b23: JUMPDEST 00000b24: PUSH1 0x01 00000b26: DUP7 00000b27: DUP7 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: DUP1 00000b2c: DUP4 00000b2d: DUP4 00000b2e: DUP1 00000b2f: DUP3 00000b30: DUP5 00000b31: CALLDATACOPY 00000b32: DUP3 00000b33: ADD 00000b34: SWAP2 00000b35: POP 00000b36: POP 00000b37: SWAP3 00000b38: POP 00000b39: POP 00000b3a: POP 00000b3b: SWAP1 00000b3c: DUP2 00000b3d: MSTORE 00000b3e: PUSH1 0x20 00000b40: ADD 00000b41: PUSH1 0x40 00000b43: MLOAD 00000b44: DUP1 00000b45: SWAP2 00000b46: SUB 00000b47: SWAP1 00000b48: KECCAK256 00000b49: SWAP1 00000b4a: POP 00000b4b: DUP1 00000b4c: PUSH1 0x00 00000b4e: ADD 00000b4f: PUSH1 0x01 00000b51: SWAP1 00000b52: SLOAD 00000b53: SWAP1 00000b54: PUSH2 0x0100 00000b57: EXP 00000b58: SWAP1 00000b59: DIV 00000b5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6f: AND 00000b70: SWAP4 00000b71: POP 00000b72: DUP1 00000b73: PUSH1 0x01 00000b75: ADD 00000b76: DUP1 00000b77: SLOAD 00000b78: PUSH1 0x01 00000b7a: DUP2 00000b7b: PUSH1 0x01 00000b7d: AND 00000b7e: ISZERO 00000b7f: PUSH2 0x0100 00000b82: MUL 00000b83: SUB 00000b84: AND 00000b85: PUSH1 0x02 00000b87: SWAP1 00000b88: DIV 00000b89: DUP1 00000b8a: PUSH1 0x1f 00000b8c: ADD 00000b8d: PUSH1 0x20 00000b8f: DUP1 00000b90: SWAP2 00000b91: DIV 00000b92: MUL 00000b93: PUSH1 0x20 00000b95: ADD 00000b96: PUSH1 0x40 00000b98: MLOAD 00000b99: SWAP1 00000b9a: DUP2 00000b9b: ADD 00000b9c: PUSH1 0x40 00000b9e: MSTORE 00000b9f: DUP1 00000ba0: SWAP3 00000ba1: SWAP2 00000ba2: SWAP1 00000ba3: DUP2 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x20 00000ba8: ADD 00000ba9: DUP3 00000baa: DUP1 00000bab: SLOAD 00000bac: PUSH1 0x01 00000bae: DUP2 00000baf: PUSH1 0x01 00000bb1: AND 00000bb2: ISZERO 00000bb3: PUSH2 0x0100 00000bb6: MUL 00000bb7: SUB 00000bb8: AND 00000bb9: PUSH1 0x02 00000bbb: SWAP1 00000bbc: DIV 00000bbd: DUP1 00000bbe: ISZERO 00000bbf: PUSH2 0x0c09 00000bc2: JUMPI 00000bc3: DUP1 00000bc4: PUSH1 0x1f 00000bc6: LT 00000bc7: PUSH2 0x0bde 00000bca: JUMPI 00000bcb: PUSH2 0x0100 00000bce: DUP1 00000bcf: DUP4 00000bd0: SLOAD 00000bd1: DIV 00000bd2: MUL 00000bd3: DUP4 00000bd4: MSTORE 00000bd5: SWAP2 00000bd6: PUSH1 0x20 00000bd8: ADD 00000bd9: SWAP2 00000bda: PUSH2 0x0c09 00000bdd: JUMP 00000bde: JUMPDEST 00000bdf: DUP3 00000be0: ADD 00000be1: SWAP2 00000be2: SWAP1 00000be3: PUSH1 0x00 00000be5: MSTORE 00000be6: PUSH1 0x20 00000be8: PUSH1 0x00 00000bea: KECCAK256 00000beb: SWAP1 00000bec: JUMPDEST 00000bed: DUP2 00000bee: SLOAD 00000bef: DUP2 00000bf0: MSTORE 00000bf1: SWAP1 00000bf2: PUSH1 0x01 00000bf4: ADD 00000bf5: SWAP1 00000bf6: PUSH1 0x20 00000bf8: ADD 00000bf9: DUP1 00000bfa: DUP4 00000bfb: GT 00000bfc: PUSH2 0x0bec 00000bff: JUMPI 00000c00: DUP3 00000c01: SWAP1 00000c02: SUB 00000c03: PUSH1 0x1f 00000c05: AND 00000c06: DUP3 00000c07: ADD 00000c08: SWAP2 00000c09: JUMPDEST 00000c0a: POP 00000c0b: POP 00000c0c: POP 00000c0d: POP 00000c0e: POP 00000c0f: SWAP3 00000c10: POP 00000c11: DUP1 00000c12: PUSH1 0x02 00000c14: ADD 00000c15: SLOAD 00000c16: SWAP2 00000c17: POP 00000c18: POP 00000c19: SWAP3 00000c1a: POP 00000c1b: SWAP3 00000c1c: POP 00000c1d: SWAP3 00000c1e: JUMP 00000c1f: JUMPDEST 00000c20: PUSH1 0x00 00000c22: DUP1 00000c23: SWAP1 00000c24: SLOAD 00000c25: SWAP1 00000c26: PUSH2 0x0100 00000c29: EXP 00000c2a: SWAP1 00000c2b: DIV 00000c2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c41: AND 00000c42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c57: AND 00000c58: CALLER 00000c59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c6e: AND 00000c6f: EQ 00000c70: ISZERO 00000c71: ISZERO 00000c72: PUSH2 0x0c7a 00000c75: JUMPI 00000c76: PUSH1 0x00 00000c78: DUP1 00000c79: REVERT 00000c7a: JUMPDEST 00000c7b: PUSH1 0x00 00000c7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c92: AND 00000c93: DUP2 00000c94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca9: AND 00000caa: EQ 00000cab: ISZERO 00000cac: ISZERO 00000cad: ISZERO 00000cae: PUSH2 0x0cb6 00000cb1: JUMPI 00000cb2: PUSH1 0x00 00000cb4: DUP1 00000cb5: REVERT 00000cb6: JUMPDEST 00000cb7: DUP1 00000cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccd: AND 00000cce: PUSH1 0x00 00000cd0: DUP1 00000cd1: SWAP1 00000cd2: SLOAD 00000cd3: SWAP1 00000cd4: PUSH2 0x0100 00000cd7: EXP 00000cd8: SWAP1 00000cd9: DIV 00000cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cef: AND 00000cf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d05: AND 00000d06: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000d27: PUSH1 0x40 00000d29: MLOAD 00000d2a: PUSH1 0x40 00000d2c: MLOAD 00000d2d: DUP1 00000d2e: SWAP2 00000d2f: SUB 00000d30: SWAP1 00000d31: LOG3 00000d32: DUP1 00000d33: PUSH1 0x00 00000d35: DUP1 00000d36: PUSH2 0x0100 00000d39: EXP 00000d3a: DUP2 00000d3b: SLOAD 00000d3c: DUP2 00000d3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d52: MUL 00000d53: NOT 00000d54: AND 00000d55: SWAP1 00000d56: DUP4 00000d57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d6c: AND 00000d6d: MUL 00000d6e: OR 00000d6f: SWAP1 00000d70: SSTORE 00000d71: POP 00000d72: POP 00000d73: JUMP 00000d74: JUMPDEST 00000d75: PUSH1 0x00 00000d77: DUP1 00000d78: PUSH1 0x00 00000d7a: DUP1 00000d7b: PUSH1 0x02 00000d7d: PUSH1 0x00 00000d7f: SWAP1 00000d80: SLOAD 00000d81: SWAP1 00000d82: PUSH2 0x0100 00000d85: EXP 00000d86: SWAP1 00000d87: DIV 00000d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9d: AND 00000d9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db3: AND 00000db4: CALLER 00000db5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dca: AND 00000dcb: EQ 00000dcc: ISZERO 00000dcd: ISZERO 00000dce: PUSH2 0x0dd6 00000dd1: JUMPI 00000dd2: PUSH1 0x00 00000dd4: DUP1 00000dd5: REVERT 00000dd6: JUMPDEST 00000dd7: PUSH1 0x01 00000dd9: DUP7 00000dda: DUP7 00000ddb: PUSH1 0x40 00000ddd: MLOAD 00000dde: DUP1 00000ddf: DUP4 00000de0: DUP4 00000de1: DUP1 00000de2: DUP3 00000de3: DUP5 00000de4: CALLDATACOPY 00000de5: DUP3 00000de6: ADD 00000de7: SWAP2 00000de8: POP 00000de9: POP 00000dea: SWAP3 00000deb: POP 00000dec: POP 00000ded: POP 00000dee: SWAP1 00000def: DUP2 00000df0: MSTORE 00000df1: PUSH1 0x20 00000df3: ADD 00000df4: PUSH1 0x40 00000df6: MLOAD 00000df7: DUP1 00000df8: SWAP2 00000df9: SUB 00000dfa: SWAP1 00000dfb: KECCAK256 00000dfc: PUSH1 0x00 00000dfe: ADD 00000dff: PUSH1 0x00 00000e01: SWAP1 00000e02: SLOAD 00000e03: SWAP1 00000e04: PUSH2 0x0100 00000e07: EXP 00000e08: SWAP1 00000e09: DIV 00000e0a: PUSH1 0xff 00000e0c: AND 00000e0d: ISZERO 00000e0e: ISZERO 00000e0f: PUSH2 0x0e17 00000e12: JUMPI 00000e13: PUSH1 0x00 00000e15: DUP1 00000e16: REVERT 00000e17: JUMPDEST 00000e18: PUSH1 0x01 00000e1a: DUP7 00000e1b: DUP7 00000e1c: PUSH1 0x40 00000e1e: MLOAD 00000e1f: DUP1 00000e20: DUP4 00000e21: DUP4 00000e22: DUP1 00000e23: DUP3 00000e24: DUP5 00000e25: CALLDATACOPY 00000e26: DUP3 00000e27: ADD 00000e28: SWAP2 00000e29: POP 00000e2a: POP 00000e2b: SWAP3 00000e2c: POP 00000e2d: POP 00000e2e: POP 00000e2f: SWAP1 00000e30: DUP2 00000e31: MSTORE 00000e32: PUSH1 0x20 00000e34: ADD 00000e35: PUSH1 0x40 00000e37: MLOAD 00000e38: DUP1 00000e39: SWAP2 00000e3a: SUB 00000e3b: SWAP1 00000e3c: KECCAK256 00000e3d: SWAP4 00000e3e: POP 00000e3f: PUSH2 0x0e53 00000e42: GASPRICE 00000e43: PUSH2 0xb3a5 00000e46: PUSH2 0x10c6 00000e49: SWAP1 00000e4a: SWAP2 00000e4b: SWAP1 00000e4c: PUSH4 0xffffffff 00000e51: AND 00000e52: JUMP 00000e53: JUMPDEST 00000e54: SWAP3 00000e55: POP 00000e56: PUSH2 0x0e6c 00000e59: DUP4 00000e5a: DUP6 00000e5b: PUSH1 0x02 00000e5d: ADD 00000e5e: SLOAD 00000e5f: PUSH2 0x1101 00000e62: SWAP1 00000e63: SWAP2 00000e64: SWAP1 00000e65: PUSH4 0xffffffff 00000e6a: AND 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: SWAP2 00000e6e: POP 00000e6f: DUP4 00000e70: PUSH1 0x00 00000e72: ADD 00000e73: PUSH1 0x01 00000e75: SWAP1 00000e76: SLOAD 00000e77: SWAP1 00000e78: PUSH2 0x0100 00000e7b: EXP 00000e7c: SWAP1 00000e7d: DIV 00000e7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e93: AND 00000e94: SWAP1 00000e95: POP 00000e96: PUSH1 0x01 00000e98: DUP7 00000e99: DUP7 00000e9a: PUSH1 0x40 00000e9c: MLOAD 00000e9d: DUP1 00000e9e: DUP4 00000e9f: DUP4 00000ea0: DUP1 00000ea1: DUP3 00000ea2: DUP5 00000ea3: CALLDATACOPY 00000ea4: DUP3 00000ea5: ADD 00000ea6: SWAP2 00000ea7: POP 00000ea8: POP 00000ea9: SWAP3 00000eaa: POP 00000eab: POP 00000eac: POP 00000ead: SWAP1 00000eae: DUP2 00000eaf: MSTORE 00000eb0: PUSH1 0x20 00000eb2: ADD 00000eb3: PUSH1 0x40 00000eb5: MLOAD 00000eb6: DUP1 00000eb7: SWAP2 00000eb8: SUB 00000eb9: SWAP1 00000eba: KECCAK256 00000ebb: PUSH1 0x00 00000ebd: DUP1 00000ebe: DUP3 00000ebf: ADD 00000ec0: PUSH1 0x00 00000ec2: PUSH2 0x0100 00000ec5: EXP 00000ec6: DUP2 00000ec7: SLOAD 00000ec8: SWAP1 00000ec9: PUSH1 0xff 00000ecb: MUL 00000ecc: NOT 00000ecd: AND 00000ece: SWAP1 00000ecf: SSTORE 00000ed0: PUSH1 0x00 00000ed2: DUP3 00000ed3: ADD 00000ed4: PUSH1 0x01 00000ed6: PUSH2 0x0100 00000ed9: EXP 00000eda: DUP2 00000edb: SLOAD 00000edc: SWAP1 00000edd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef2: MUL 00000ef3: NOT 00000ef4: AND 00000ef5: SWAP1 00000ef6: SSTORE 00000ef7: PUSH1 0x01 00000ef9: DUP3 00000efa: ADD 00000efb: PUSH1 0x00 00000efd: PUSH2 0x0f06 00000f00: SWAP2 00000f01: SWAP1 00000f02: PUSH2 0x11cc 00000f05: JUMP 00000f06: JUMPDEST 00000f07: PUSH1 0x02 00000f09: DUP3 00000f0a: ADD 00000f0b: PUSH1 0x00 00000f0d: SWAP1 00000f0e: SSTORE 00000f0f: POP 00000f10: POP 00000f11: PUSH2 0x0f25 00000f14: DUP4 00000f15: PUSH1 0x03 00000f17: SLOAD 00000f18: PUSH2 0x111a 00000f1b: SWAP1 00000f1c: SWAP2 00000f1d: SWAP1 00000f1e: PUSH4 0xffffffff 00000f23: AND 00000f24: JUMP 00000f25: JUMPDEST 00000f26: PUSH1 0x03 00000f28: DUP2 00000f29: SWAP1 00000f2a: SSTORE 00000f2b: POP 00000f2c: DUP1 00000f2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f42: AND 00000f43: PUSH2 0x08fc 00000f46: DUP4 00000f47: SWAP1 00000f48: DUP2 00000f49: ISZERO 00000f4a: MUL 00000f4b: SWAP1 00000f4c: PUSH1 0x40 00000f4e: MLOAD 00000f4f: PUSH1 0x00 00000f51: PUSH1 0x40 00000f53: MLOAD 00000f54: DUP1 00000f55: DUP4 00000f56: SUB 00000f57: DUP2 00000f58: DUP6 00000f59: DUP9 00000f5a: DUP9 00000f5b: CALL 00000f5c: SWAP4 00000f5d: POP 00000f5e: POP 00000f5f: POP 00000f60: POP 00000f61: ISZERO 00000f62: ISZERO 00000f63: PUSH2 0x0f6b 00000f66: JUMPI 00000f67: PUSH1 0x00 00000f69: DUP1 00000f6a: REVERT 00000f6b: JUMPDEST 00000f6c: DUP1 00000f6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f82: AND 00000f83: CALLER 00000f84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f99: AND 00000f9a: PUSH32 0xaded40980191268694a17a28cd3524dd9cedf6b82232ceb1af14363776500a56 00000fbb: DUP5 00000fbc: DUP10 00000fbd: DUP10 00000fbe: PUSH1 0x40 00000fc0: MLOAD 00000fc1: DUP1 00000fc2: DUP5 00000fc3: DUP2 00000fc4: MSTORE 00000fc5: PUSH1 0x20 00000fc7: ADD 00000fc8: DUP1 00000fc9: PUSH1 0x20 00000fcb: ADD 00000fcc: DUP3 00000fcd: DUP2 00000fce: SUB 00000fcf: DUP3 00000fd0: MSTORE 00000fd1: DUP5 00000fd2: DUP5 00000fd3: DUP3 00000fd4: DUP2 00000fd5: DUP2 00000fd6: MSTORE 00000fd7: PUSH1 0x20 00000fd9: ADD 00000fda: SWAP3 00000fdb: POP 00000fdc: DUP1 00000fdd: DUP3 00000fde: DUP5 00000fdf: CALLDATACOPY 00000fe0: DUP3 00000fe1: ADD 00000fe2: SWAP2 00000fe3: POP 00000fe4: POP 00000fe5: SWAP5 00000fe6: POP 00000fe7: POP 00000fe8: POP 00000fe9: POP 00000fea: POP 00000feb: PUSH1 0x40 00000fed: MLOAD 00000fee: DUP1 00000fef: SWAP2 00000ff0: SUB 00000ff1: SWAP1 00000ff2: LOG3 00000ff3: POP 00000ff4: POP 00000ff5: POP 00000ff6: POP 00000ff7: POP 00000ff8: POP 00000ff9: JUMP 00000ffa: JUMPDEST 00000ffb: PUSH2 0xb3a5 00000ffe: DUP2 00000fff: JUMP 00001000: JUMPDEST 00001001: DUP3 00001002: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001017: AND 00001018: PUSH4 0xa9059cbb 0000101d: DUP4 0000101e: DUP4 0000101f: PUSH1 0x40 00001021: MLOAD 00001022: DUP4 00001023: PUSH4 0xffffffff 00001028: AND 00001029: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001047: MUL 00001048: DUP2 00001049: MSTORE 0000104a: PUSH1 0x04 0000104c: ADD 0000104d: DUP1 0000104e: DUP4 0000104f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001064: AND 00001065: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000107a: AND 0000107b: DUP2 0000107c: MSTORE 0000107d: PUSH1 0x20 0000107f: ADD 00001080: DUP3 00001081: DUP2 00001082: MSTORE 00001083: PUSH1 0x20 00001085: ADD 00001086: SWAP3 00001087: POP 00001088: POP 00001089: POP 0000108a: PUSH1 0x20 0000108c: PUSH1 0x40 0000108e: MLOAD 0000108f: DUP1 00001090: DUP4 00001091: SUB 00001092: DUP2 00001093: PUSH1 0x00 00001095: DUP8 00001096: DUP1 00001097: EXTCODESIZE 00001098: ISZERO 00001099: ISZERO 0000109a: PUSH2 0x10a2 0000109d: JUMPI 0000109e: PUSH1 0x00 000010a0: DUP1 000010a1: REVERT 000010a2: JUMPDEST 000010a3: GAS 000010a4: CALL 000010a5: ISZERO 000010a6: ISZERO 000010a7: PUSH2 0x10af 000010aa: JUMPI 000010ab: PUSH1 0x00 000010ad: DUP1 000010ae: REVERT 000010af: JUMPDEST 000010b0: POP 000010b1: POP 000010b2: POP 000010b3: PUSH1 0x40 000010b5: MLOAD 000010b6: DUP1 000010b7: MLOAD 000010b8: SWAP1 000010b9: POP 000010ba: ISZERO 000010bb: ISZERO 000010bc: PUSH2 0x10c1 000010bf: JUMPI 000010c0: INVALID 000010c1: JUMPDEST 000010c2: POP 000010c3: POP 000010c4: POP 000010c5: JUMP 000010c6: JUMPDEST 000010c7: PUSH1 0x00 000010c9: DUP1 000010ca: PUSH1 0x00 000010cc: DUP5 000010cd: EQ 000010ce: ISZERO 000010cf: PUSH2 0x10db 000010d2: JUMPI 000010d3: PUSH1 0x00 000010d5: SWAP2 000010d6: POP 000010d7: PUSH2 0x10fa 000010da: JUMP 000010db: JUMPDEST 000010dc: DUP3 000010dd: DUP5 000010de: MUL 000010df: SWAP1 000010e0: POP 000010e1: DUP3 000010e2: DUP5 000010e3: DUP3 000010e4: DUP2 000010e5: ISZERO 000010e6: ISZERO 000010e7: PUSH2 0x10ec 000010ea: JUMPI 000010eb: INVALID 000010ec: JUMPDEST 000010ed: DIV 000010ee: EQ 000010ef: ISZERO 000010f0: ISZERO 000010f1: PUSH2 0x10f6 000010f4: JUMPI 000010f5: INVALID 000010f6: JUMPDEST 000010f7: DUP1 000010f8: SWAP2 000010f9: POP 000010fa: JUMPDEST 000010fb: POP 000010fc: SWAP3 000010fd: SWAP2 000010fe: POP 000010ff: POP 00001100: JUMP 00001101: JUMPDEST 00001102: PUSH1 0x00 00001104: DUP3 00001105: DUP3 00001106: GT 00001107: ISZERO 00001108: ISZERO 00001109: ISZERO 0000110a: PUSH2 0x110f 0000110d: JUMPI 0000110e: INVALID 0000110f: JUMPDEST 00001110: DUP2 00001111: DUP4 00001112: SUB 00001113: SWAP1 00001114: POP 00001115: SWAP3 00001116: SWAP2 00001117: POP 00001118: POP 00001119: JUMP 0000111a: JUMPDEST 0000111b: PUSH1 0x00 0000111d: DUP1 0000111e: DUP3 0000111f: DUP5 00001120: ADD 00001121: SWAP1 00001122: POP 00001123: DUP4 00001124: DUP2 00001125: LT 00001126: ISZERO 00001127: ISZERO 00001128: ISZERO 00001129: PUSH2 0x112e 0000112c: JUMPI 0000112d: INVALID 0000112e: JUMPDEST 0000112f: DUP1 00001130: SWAP2 00001131: POP 00001132: POP 00001133: SWAP3 00001134: SWAP2 00001135: POP 00001136: POP 00001137: JUMP 00001138: JUMPDEST 00001139: PUSH1 0x20 0000113b: PUSH1 0x40 0000113d: MLOAD 0000113e: SWAP1 0000113f: DUP2 00001140: ADD 00001141: PUSH1 0x40 00001143: MSTORE 00001144: DUP1 00001145: PUSH1 0x00 00001147: DUP2 00001148: MSTORE 00001149: POP 0000114a: SWAP1 0000114b: JUMP 0000114c: JUMPDEST 0000114d: DUP3 0000114e: DUP1 0000114f: SLOAD 00001150: PUSH1 0x01 00001152: DUP2 00001153: PUSH1 0x01 00001155: AND 00001156: ISZERO 00001157: PUSH2 0x0100 0000115a: MUL 0000115b: SUB 0000115c: AND 0000115d: PUSH1 0x02 0000115f: SWAP1 00001160: DIV 00001161: SWAP1 00001162: PUSH1 0x00 00001164: MSTORE 00001165: PUSH1 0x20 00001167: PUSH1 0x00 00001169: KECCAK256 0000116a: SWAP1 0000116b: PUSH1 0x1f 0000116d: ADD 0000116e: PUSH1 0x20 00001170: SWAP1 00001171: DIV 00001172: DUP2 00001173: ADD 00001174: SWAP3 00001175: DUP3 00001176: PUSH1 0x1f 00001178: LT 00001179: PUSH2 0x118d 0000117c: JUMPI 0000117d: DUP1 0000117e: MLOAD 0000117f: PUSH1 0xff 00001181: NOT 00001182: AND 00001183: DUP4 00001184: DUP1 00001185: ADD 00001186: OR 00001187: DUP6 00001188: SSTORE 00001189: PUSH2 0x11bb 0000118c: JUMP 0000118d: JUMPDEST 0000118e: DUP3 0000118f: DUP1 00001190: ADD 00001191: PUSH1 0x01 00001193: ADD 00001194: DUP6 00001195: SSTORE 00001196: DUP3 00001197: ISZERO 00001198: PUSH2 0x11bb 0000119b: JUMPI 0000119c: SWAP2 0000119d: DUP3 0000119e: ADD 0000119f: JUMPDEST 000011a0: DUP3 000011a1: DUP2 000011a2: GT 000011a3: ISZERO 000011a4: PUSH2 0x11ba 000011a7: JUMPI 000011a8: DUP3 000011a9: MLOAD 000011aa: DUP3 000011ab: SSTORE 000011ac: SWAP2 000011ad: PUSH1 0x20 000011af: ADD 000011b0: SWAP2 000011b1: SWAP1 000011b2: PUSH1 0x01 000011b4: ADD 000011b5: SWAP1 000011b6: PUSH2 0x119f 000011b9: JUMP 000011ba: JUMPDEST 000011bb: JUMPDEST 000011bc: POP 000011bd: SWAP1 000011be: POP 000011bf: PUSH2 0x11c8 000011c2: SWAP2 000011c3: SWAP1 000011c4: PUSH2 0x1214 000011c7: JUMP 000011c8: JUMPDEST 000011c9: POP 000011ca: SWAP1 000011cb: JUMP 000011cc: JUMPDEST 000011cd: POP 000011ce: DUP1 000011cf: SLOAD 000011d0: PUSH1 0x01 000011d2: DUP2 000011d3: PUSH1 0x01 000011d5: AND 000011d6: ISZERO 000011d7: PUSH2 0x0100 000011da: MUL 000011db: SUB 000011dc: AND 000011dd: PUSH1 0x02 000011df: SWAP1 000011e0: DIV 000011e1: PUSH1 0x00 000011e3: DUP3 000011e4: SSTORE 000011e5: DUP1 000011e6: PUSH1 0x1f 000011e8: LT 000011e9: PUSH2 0x11f2 000011ec: JUMPI 000011ed: POP 000011ee: PUSH2 0x1211 000011f1: JUMP 000011f2: JUMPDEST 000011f3: PUSH1 0x1f 000011f5: ADD 000011f6: PUSH1 0x20 000011f8: SWAP1 000011f9: DIV 000011fa: SWAP1 000011fb: PUSH1 0x00 000011fd: MSTORE 000011fe: PUSH1 0x20 00001200: PUSH1 0x00 00001202: KECCAK256 00001203: SWAP1 00001204: DUP2 00001205: ADD 00001206: SWAP1 00001207: PUSH2 0x1210 0000120a: SWAP2 0000120b: SWAP1 0000120c: PUSH2 0x1214 0000120f: JUMP 00001210: JUMPDEST 00001211: JUMPDEST 00001212: POP 00001213: JUMP 00001214: JUMPDEST 00001215: PUSH2 0x1236 00001218: SWAP2 00001219: SWAP1 0000121a: JUMPDEST 0000121b: DUP1 0000121c: DUP3 0000121d: GT 0000121e: ISZERO 0000121f: PUSH2 0x1232 00001222: JUMPI 00001223: PUSH1 0x00 00001225: DUP2 00001226: PUSH1 0x00 00001228: SWAP1 00001229: SSTORE 0000122a: POP 0000122b: PUSH1 0x01 0000122d: ADD 0000122e: PUSH2 0x121a 00001231: JUMP 00001232: JUMPDEST 00001233: POP 00001234: SWAP1 00001235: JUMP 00001236: JUMPDEST 00001237: SWAP1 00001238: JUMP 00001239: STOP 0000123a: LOG1 0000123b: PUSH6 0x627a7a723058 00001242: KECCAK256 00001243: UNKNOWN(0xDC) 00001244: SWAP14 00001245: UNKNOWN(0xD9) 00001246: UNKNOWN(0x2B) 00001247: SMOD 00001248: UNKNOWN(0xE2) 00001249: UNKNOWN(0x0E) 0000124a: SWAP9 0000124b: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xd99a89f98d151d5c9404b96ca3a66f2964fb8267c5d158566759c5efe5782213
call_targets:
0x1ce865c81e76aafd2003e69acd2d196d19aac144
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd99a89f98d151d5c9404b96ca3a66f2964fb8267c5d158566759c5efe5782213",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ce865c81e76aafd2003e69acd2d196d19aac144"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x180eebba",
"selector": "0x180eebba",
"calldata_variants": [
"0x180eebba",
"0x180eebba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40b00033",
"selector": "0x40b00033",
"calldata_variants": [
"0x40b00033",
"0x40b000330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6cc6cde1",
"selector": "0x6cc6cde1",
"calldata_variants": [
"0x6cc6cde1",
"0x6cc6cde10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb0eefabe",
"selector": "0xb0eefabe",
"calldata_variants": [
"0xb0eefabe",
"0xb0eefabe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1f10663",
"selector": "0xc1f10663",
"calldata_variants": [
"0xc1f10663",
"0xc1f106630000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1282,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1809,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2753,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 1092,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2497,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2658,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3160,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3508,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xd99a89f98d151d5c9404b96ca3a66f2964fb8267c5d158566759c5efe5782213
call_targets:
0x1ce865c81e76aafd2003e69acd2d196d19aac144
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd99a89f98d151d5c9404b96ca3a66f2964fb8267c5d158566759c5efe5782213",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ce865c81e76aafd2003e69acd2d196d19aac144"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17ffc320",
"selector": "0x17ffc320",
"calldata_variants": [
"0x17ffc320",
"0x17ffc3200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x180eebba",
"selector": "0x180eebba",
"calldata_variants": [
"0x180eebba",
"0x180eebba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40b00033",
"selector": "0x40b00033",
"calldata_variants": [
"0x40b00033",
"0x40b000330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6cc6cde1",
"selector": "0x6cc6cde1",
"calldata_variants": [
"0x6cc6cde1",
"0x6cc6cde10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb0eefabe",
"selector": "0xb0eefabe",
"calldata_variants": [
"0xb0eefabe",
"0xb0eefabe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc1f10663",
"selector": "0xc1f10663",
"calldata_variants": [
"0xc1f10663",
"0xc1f106630000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1282,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1809,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2753,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 1092,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2497,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2658,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3160,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3508,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|