019b477e-da95-7113-94b7-a4b3f8261365
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 |
|---|---|---|---|---|
| 29495 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29496 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108653 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108654 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108655 | detector.run | complete | 1 / 3 | 1 week ago |
| 108656 | 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 0x002c 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x28181829 00000018: EQ 00000019: PUSH2 0x15db 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x6dbf2fa0 00000023: EQ 00000024: PUSH2 0x1604 00000027: JUMPI 00000028: PUSH2 0x0033 0000002b: JUMP 0000002c: JUMPDEST 0000002d: CALLDATASIZE 0000002e: PUSH2 0x0033 00000031: JUMPI 00000032: STOP 00000033: JUMPDEST 00000034: PUSH32 0x0000000000000000000000007ee0716d32ffc0fa65f8ac7ffd263f8af898aba4 00000055: PUSH32 0x0000000000000000000000006ece2367fe06cbf5890cb60a73fde945d61f5361 00000076: PUSH32 0x00000000000000000000000008e0d320c00b3bc4990d2bd464b0f7f2fc7339b2 00000097: PUSH32 0x0000000000000000000000001095911d5b8ef22a99c469944fb6f945417d41a1 000000b8: PUSH2 0x117b 000000bb: JUMP 000000bc: JUMPDEST 000000bd: PUSH1 0x40 000000bf: MLOAD 000000c0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000000e1: DUP2 000000e2: MSTORE 000000e3: PUSH1 0x20 000000e5: PUSH1 0x04 000000e7: DUP3 000000e8: ADD 000000e9: MSTORE 000000ea: PUSH1 0x02 000000ec: PUSH1 0x24 000000ee: DUP3 000000ef: ADD 000000f0: MSTORE 000000f1: DUP2 000000f2: PUSH1 0x44 000000f4: DUP3 000000f5: ADD 000000f6: MSTORE 000000f7: PUSH1 0x64 000000f9: DUP2 000000fa: REVERT 000000fb: JUMPDEST 000000fc: RETURNDATASIZE 000000fd: DUP1 000000fe: PUSH0 000000ff: DUP4 00000100: RETURNDATACOPY 00000101: DUP2 00000102: MLOAD 00000103: PUSH1 0xe0 00000105: SHR 00000106: PUSH4 0x08c379a0 0000010b: EQ 0000010c: DUP1 0000010d: ISZERO 0000010e: PUSH2 0x016b 00000111: JUMPI 00000112: PUSH1 0x0a 00000114: DUP5 00000115: LT 00000116: ISZERO 00000117: PUSH2 0x0166 0000011a: JUMPI 0000011b: PUSH1 0x24 0000011d: DUP4 0000011e: ADD 0000011f: MLOAD 00000120: DUP1 00000121: PUSH1 0x02 00000123: ADD 00000124: PUSH1 0x24 00000126: DUP6 00000127: ADD 00000128: MSTORE 00000129: PUSH32 0x3a00000000000000000000000000000000000000000000000000000000000000 0000014a: DUP2 0000014b: PUSH1 0x44 0000014d: ADD 0000014e: DUP6 0000014f: ADD 00000150: MSTORE 00000151: DUP5 00000152: PUSH1 0x30 00000154: ADD 00000155: PUSH1 0xf8 00000157: SHL 00000158: DUP2 00000159: PUSH1 0x45 0000015b: ADD 0000015c: DUP6 0000015d: ADD 0000015e: MSTORE 0000015f: POP 00000160: DUP2 00000161: PUSH1 0x02 00000163: ADD 00000164: SWAP2 00000165: POP 00000166: JUMPDEST 00000167: POP 00000168: DUP1 00000169: DUP3 0000016a: REVERT 0000016b: JUMPDEST 0000016c: PUSH4 0x5212cba1 00000171: DUP4 00000172: MLOAD 00000173: PUSH1 0xe0 00000175: SHR 00000176: SUB 00000177: PUSH2 0x0166 0000017a: JUMPI 0000017b: PUSH2 0x0166 0000017e: PUSH32 0x4334000000000000000000000000000000000000000000000000000000000000 0000019f: PUSH2 0x00bc 000001a2: JUMP 000001a3: JUMPDEST 000001a4: PUSH0 000001a5: PUSH1 0x40 000001a7: MLOAD 000001a8: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000001c9: DUP2 000001ca: MSTORE 000001cb: ADDRESS 000001cc: PUSH1 0x04 000001ce: DUP3 000001cf: ADD 000001d0: MSTORE 000001d1: PUSH1 0x20 000001d3: PUSH0 000001d4: PUSH1 0x24 000001d6: DUP4 000001d7: DUP7 000001d8: GAS 000001d9: STATICCALL 000001da: PUSH2 0x0206 000001dd: JUMPI 000001de: PUSH2 0x0206 000001e1: PUSH32 0x424f000000000000000000000000000000000000000000000000000000000000 00000202: PUSH2 0x00bc 00000205: JUMP 00000206: JUMPDEST 00000207: POP 00000208: POP 00000209: PUSH0 0000020a: MLOAD 0000020b: SWAP2 0000020c: SWAP1 0000020d: POP 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH0 00000211: PUSH1 0x40 00000213: MLOAD 00000214: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000235: DUP2 00000236: MSTORE 00000237: DUP4 00000238: PUSH1 0x04 0000023a: DUP3 0000023b: ADD 0000023c: MSTORE 0000023d: DUP5 0000023e: PUSH1 0x24 00000240: DUP3 00000241: ADD 00000242: MSTORE 00000243: PUSH1 0x20 00000245: PUSH0 00000246: PUSH1 0x44 00000248: DUP4 00000249: PUSH0 0000024a: DUP8 0000024b: GAS 0000024c: CALL 0000024d: PUSH0 0000024e: MLOAD 0000024f: PUSH1 0x01 00000251: EQ 00000252: PUSH1 0x1f 00000254: RETURNDATASIZE 00000255: GT 00000256: AND 00000257: RETURNDATASIZE 00000258: ISZERO 00000259: OR 0000025a: AND 0000025b: SWAP6 0000025c: SWAP5 0000025d: POP 0000025e: POP 0000025f: POP 00000260: POP 00000261: POP 00000262: JUMP 00000263: JUMPDEST 00000264: PUSH0 00000265: PUSH1 0x40 00000267: MLOAD 00000268: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000 00000289: DUP2 0000028a: MSTORE 0000028b: DUP4 0000028c: PUSH1 0x04 0000028e: DUP3 0000028f: ADD 00000290: MSTORE 00000291: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000002b2: PUSH1 0x24 000002b4: DUP3 000002b5: ADD 000002b6: MSTORE 000002b7: PUSH1 0x20 000002b9: PUSH0 000002ba: PUSH1 0x44 000002bc: DUP4 000002bd: PUSH0 000002be: DUP8 000002bf: GAS 000002c0: CALL 000002c1: PUSH0 000002c2: MLOAD 000002c3: PUSH1 0x01 000002c5: EQ 000002c6: PUSH1 0x1f 000002c8: RETURNDATASIZE 000002c9: GT 000002ca: AND 000002cb: RETURNDATASIZE 000002cc: ISZERO 000002cd: OR 000002ce: AND 000002cf: SWAP5 000002d0: SWAP4 000002d1: POP 000002d2: POP 000002d3: POP 000002d4: POP 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH32 0x022c0d9f00000000000000000000000000000000000000000000000000000000 000002f8: DUP2 000002f9: MSTORE 000002fa: DUP3 000002fb: DUP1 000002fc: ISZERO 000002fd: PUSH2 0x0311 00000300: JUMPI 00000301: PUSH0 00000302: PUSH1 0x04 00000304: DUP4 00000305: ADD 00000306: MSTORE 00000307: DUP3 00000308: PUSH1 0x24 0000030a: DUP4 0000030b: ADD 0000030c: MSTORE 0000030d: PUSH2 0x031e 00000310: JUMP 00000311: JUMPDEST 00000312: DUP3 00000313: PUSH1 0x04 00000315: DUP4 00000316: ADD 00000317: MSTORE 00000318: PUSH0 00000319: PUSH1 0x24 0000031b: DUP4 0000031c: ADD 0000031d: MSTORE 0000031e: JUMPDEST 0000031f: POP 00000320: PUSH1 0x44 00000322: ADD 00000323: SWAP3 00000324: SWAP1 00000325: SWAP3 00000326: MSTORE 00000327: POP 00000328: POP 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH32 0x128acb0800000000000000000000000000000000000000000000000000000000 0000034c: DUP2 0000034d: MSTORE 0000034e: DUP2 0000034f: PUSH1 0x04 00000351: DUP3 00000352: ADD 00000353: MSTORE 00000354: DUP3 00000355: PUSH0 00000356: DUP2 00000357: EQ 00000358: PUSH2 0x0372 0000035b: JUMPI 0000035c: PUSH1 0x01 0000035e: PUSH1 0x24 00000360: DUP4 00000361: ADD 00000362: MSTORE 00000363: PUSH5 0x01000276a4 00000369: PUSH1 0x64 0000036b: DUP4 0000036c: ADD 0000036d: MSTORE 0000036e: PUSH2 0x031e 00000371: JUMP 00000372: JUMPDEST 00000373: PUSH0 00000374: PUSH1 0x24 00000376: DUP4 00000377: ADD 00000378: MSTORE 00000379: PUSH20 0xfffd8963efd1fc6a506488495d951d5263988d25 0000038e: PUSH1 0x64 00000390: DUP4 00000391: ADD 00000392: MSTORE 00000393: POP 00000394: PUSH1 0x44 00000396: ADD 00000397: SWAP3 00000398: SWAP1 00000399: SWAP3 0000039a: MSTORE 0000039b: POP 0000039c: POP 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH32 0xf3cd914c00000000000000000000000000000000000000000000000000000000 000003c0: DUP2 000003c1: MSTORE 000003c2: DUP2 000003c3: PUSH1 0x04 000003c5: DUP3 000003c6: ADD 000003c7: MSTORE 000003c8: DUP3 000003c9: PUSH1 0x24 000003cb: DUP3 000003cc: ADD 000003cd: MSTORE 000003ce: DUP4 000003cf: PUSH1 0x44 000003d1: DUP3 000003d2: ADD 000003d3: MSTORE 000003d4: DUP5 000003d5: PUSH1 0x64 000003d7: DUP3 000003d8: ADD 000003d9: MSTORE 000003da: DUP6 000003db: PUSH0 000003dc: DUP2 000003dd: EQ 000003de: PUSH2 0x03f8 000003e1: JUMPI 000003e2: PUSH1 0x01 000003e4: PUSH1 0xa4 000003e6: DUP4 000003e7: ADD 000003e8: MSTORE 000003e9: PUSH5 0x01000276a4 000003ef: PUSH1 0xe4 000003f1: DUP4 000003f2: ADD 000003f3: MSTORE 000003f4: PUSH2 0x0419 000003f7: JUMP 000003f8: JUMPDEST 000003f9: PUSH0 000003fa: PUSH1 0xa4 000003fc: DUP4 000003fd: ADD 000003fe: MSTORE 000003ff: PUSH20 0xfffd8963efd1fc6a506488495d951d5263988d25 00000414: PUSH1 0xe4 00000416: DUP4 00000417: ADD 00000418: MSTORE 00000419: JUMPDEST 0000041a: POP 0000041b: DUP7 0000041c: PUSH1 0xc4 0000041e: DUP3 0000041f: ADD 00000420: MSTORE 00000421: PUSH2 0x0120 00000424: PUSH2 0x0104 00000427: DUP3 00000428: ADD 00000429: MSTORE 0000042a: PUSH0 0000042b: PUSH2 0x0124 0000042e: DUP3 0000042f: ADD 00000430: MSTORE 00000431: POP 00000432: POP 00000433: POP 00000434: POP 00000435: POP 00000436: POP 00000437: POP 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH0 0000043b: PUSH0 0000043c: PUSH2 0x044c 0000043f: DUP5 00000440: PUSH1 0x40 00000442: MLOAD 00000443: SWAP1 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x20 00000448: SWAP1 00000449: KECCAK256 0000044a: SWAP1 0000044b: JUMP 0000044c: JUMPDEST 0000044d: DUP5 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH2 0x04a0 00000453: JUMPI 00000454: PUSH2 0x046e 00000457: DUP3 00000458: TLOAD 00000459: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000469: DUP9 0000046a: PUSH2 0x020f 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH2 0x049b 00000472: JUMPI 00000473: PUSH2 0x049b 00000476: PUSH32 0x5234000000000000000000000000000000000000000000000000000000000000 00000497: PUSH2 0x00bc 0000049a: JUMP 0000049b: JUMPDEST 0000049c: PUSH2 0x04a5 0000049f: JUMP 000004a0: JUMPDEST 000004a1: DUP2 000004a2: TLOAD 000004a3: SWAP3 000004a4: POP 000004a5: JUMPDEST 000004a6: POP 000004a7: POP 000004a8: PUSH2 0x04b1 000004ab: DUP2 000004ac: DUP5 000004ad: PUSH2 0x04b9 000004b0: JUMP 000004b1: JUMPDEST 000004b2: SWAP5 000004b3: SWAP4 000004b4: POP 000004b5: POP 000004b6: POP 000004b7: POP 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH32 0x11da60b400000000000000000000000000000000000000000000000000000000 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH0 000004de: PUSH0 000004df: PUSH0 000004e0: PUSH1 0x04 000004e2: DUP5 000004e3: DUP7 000004e4: PUSH15 0x04444c5dc75cb358380d2e3de08a90 000004f4: GAS 000004f5: CALL 000004f6: SWAP4 000004f7: SWAP3 000004f8: POP 000004f9: POP 000004fa: POP 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH32 0xa584119400000000000000000000000000000000000000000000000000000000 0000051e: DUP2 0000051f: MSTORE 00000520: DUP2 00000521: PUSH1 0x04 00000523: DUP3 00000524: ADD 00000525: MSTORE 00000526: PUSH0 00000527: PUSH0 00000528: PUSH0 00000529: PUSH1 0x24 0000052b: DUP5 0000052c: PUSH0 0000052d: PUSH15 0x04444c5dc75cb358380d2e3de08a90 0000053d: GAS 0000053e: CALL 0000053f: SWAP4 00000540: SWAP3 00000541: POP 00000542: POP 00000543: POP 00000544: JUMP 00000545: JUMPDEST 00000546: PUSH0 00000547: PUSH1 0x40 00000549: MLOAD 0000054a: PUSH1 0x06 0000054c: CALLDATASIZE 0000054d: SUB 0000054e: PUSH32 0x48c8949100000000000000000000000000000000000000000000000000000000 0000056f: DUP3 00000570: MSTORE 00000571: PUSH1 0x20 00000573: PUSH1 0x04 00000575: DUP4 00000576: ADD 00000577: MSTORE 00000578: DUP1 00000579: PUSH1 0x24 0000057b: DUP4 0000057c: ADD 0000057d: MSTORE 0000057e: DUP1 0000057f: PUSH1 0x06 00000581: PUSH1 0x44 00000583: DUP5 00000584: ADD 00000585: CALLDATACOPY 00000586: PUSH0 00000587: PUSH0 00000588: PUSH1 0x44 0000058a: DUP4 0000058b: ADD 0000058c: DUP5 0000058d: PUSH0 0000058e: PUSH15 0x04444c5dc75cb358380d2e3de08a90 0000059e: GAS 0000059f: CALL 000005a0: SWAP3 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: SWAP1 000005a5: JUMP 000005a6: JUMPDEST 000005a7: POP 000005a8: POP 000005a9: PUSH1 0x40 000005ab: MLOAD 000005ac: DUP2 000005ad: PUSH0 000005ae: DUP1 000005af: JUMPDEST 000005b0: DUP6 000005b1: DUP6 000005b2: ADD 000005b3: DUP4 000005b4: LT 000005b5: ISZERO 000005b6: PUSH2 0x1173 000005b9: JUMPI 000005ba: DUP3 000005bb: CALLDATALOAD 000005bc: SWAP2 000005bd: POP 000005be: DUP2 000005bf: PUSH1 0xf0 000005c1: SHR 000005c2: SWAP1 000005c3: POP 000005c4: DUP2 000005c5: PUSH1 0xe0 000005c7: SHR 000005c8: PUSH1 0xff 000005ca: AND 000005cb: PUSH1 0x01 000005cd: DUP2 000005ce: EQ 000005cf: PUSH2 0x0678 000005d2: JUMPI 000005d3: PUSH1 0x02 000005d5: DUP2 000005d6: EQ 000005d7: PUSH2 0x0700 000005da: JUMPI 000005db: PUSH1 0x03 000005dd: DUP2 000005de: EQ 000005df: PUSH2 0x079f 000005e2: JUMPI 000005e3: PUSH1 0x04 000005e5: DUP2 000005e6: EQ 000005e7: PUSH2 0x0885 000005ea: JUMPI 000005eb: PUSH1 0x05 000005ed: DUP2 000005ee: EQ 000005ef: PUSH2 0x08f1 000005f2: JUMPI 000005f3: PUSH1 0x06 000005f5: DUP2 000005f6: EQ 000005f7: PUSH2 0x09ee 000005fa: JUMPI 000005fb: PUSH1 0x07 000005fd: DUP2 000005fe: EQ 000005ff: PUSH2 0x0a46 00000602: JUMPI 00000603: PUSH1 0x08 00000605: DUP2 00000606: EQ 00000607: PUSH2 0x0b52 0000060a: JUMPI 0000060b: PUSH1 0x09 0000060d: DUP2 0000060e: EQ 0000060f: PUSH2 0x0c3c 00000612: JUMPI 00000613: PUSH1 0x0a 00000615: DUP2 00000616: EQ 00000617: PUSH2 0x0cb5 0000061a: JUMPI 0000061b: PUSH1 0x0b 0000061d: DUP2 0000061e: EQ 0000061f: PUSH2 0x0cff 00000622: JUMPI 00000623: PUSH1 0x0c 00000625: DUP2 00000626: EQ 00000627: PUSH2 0x0d4d 0000062a: JUMPI 0000062b: PUSH1 0x0d 0000062d: DUP2 0000062e: EQ 0000062f: PUSH2 0x0d84 00000632: JUMPI 00000633: PUSH1 0x0e 00000635: DUP2 00000636: EQ 00000637: PUSH2 0x0ec4 0000063a: JUMPI 0000063b: PUSH1 0x0f 0000063d: DUP2 0000063e: EQ 0000063f: PUSH2 0x0ef2 00000642: JUMPI 00000643: PUSH1 0x10 00000645: DUP2 00000646: EQ 00000647: PUSH2 0x1015 0000064a: JUMPI 0000064b: PUSH2 0x0673 0000064e: PUSH32 0x4943000000000000000000000000000000000000000000000000000000000000 0000066f: PUSH2 0x00bc 00000672: JUMP 00000673: JUMPDEST 00000674: PUSH2 0x1169 00000677: JUMP 00000678: JUMPDEST 00000679: PUSH1 0x04 0000067b: DUP5 0000067c: ADD 0000067d: CALLDATALOAD 0000067e: PUSH1 0x60 00000680: DUP2 00000681: SWAP1 00000682: SHR 00000683: SWAP1 00000684: PUSH12 0x800000000000000000000000 00000691: DUP2 00000692: AND 00000693: SWAP1 00000694: PUSH12 0x7fffffffffffffffffffffff 000006a1: AND 000006a2: DUP7 000006a3: PUSH1 0x24 000006a5: ADD 000006a6: CALLDATALOAD 000006a7: PUSH1 0x60 000006a9: SHR 000006aa: PUSH1 0x38 000006ac: DUP7 000006ad: SUB 000006ae: PUSH2 0x06b9 000006b1: DUP3 000006b2: DUP6 000006b3: DUP6 000006b4: DUP14 000006b5: PUSH2 0x02d6 000006b8: JUMP 000006b9: JUMPDEST 000006ba: PUSH1 0x80 000006bc: PUSH1 0x64 000006be: DUP12 000006bf: ADD 000006c0: MSTORE 000006c1: DUP1 000006c2: PUSH1 0x84 000006c4: DUP12 000006c5: ADD 000006c6: MSTORE 000006c7: DUP1 000006c8: ISZERO 000006c9: PUSH2 0x06d7 000006cc: JUMPI 000006cd: DUP1 000006ce: DUP10 000006cf: PUSH1 0x38 000006d1: ADD 000006d2: PUSH1 0xa4 000006d4: DUP13 000006d5: ADD 000006d6: CALLDATACOPY 000006d7: JUMPDEST 000006d8: PUSH0 000006d9: PUSH0 000006da: DUP3 000006db: PUSH1 0xa4 000006dd: ADD 000006de: DUP13 000006df: PUSH0 000006e0: DUP10 000006e1: GAS 000006e2: CALL 000006e3: PUSH2 0x06f6 000006e6: JUMPI 000006e7: PUSH2 0x06f6 000006ea: DUP9 000006eb: PUSH1 0xe8 000006ed: SHR 000006ee: PUSH1 0xff 000006f0: AND 000006f1: DUP12 000006f2: PUSH2 0x00fb 000006f5: JUMP 000006f6: JUMPDEST 000006f7: POP 000006f8: POP 000006f9: POP 000006fa: POP 000006fb: POP 000006fc: PUSH2 0x1169 000006ff: JUMP 00000700: JUMPDEST 00000701: PUSH1 0x04 00000703: DUP5 00000704: ADD 00000705: CALLDATALOAD 00000706: PUSH1 0x60 00000708: DUP2 00000709: SWAP1 0000070a: SHR 0000070b: SWAP1 0000070c: PUSH12 0x800000000000000000000000 00000719: DUP2 0000071a: AND 0000071b: SWAP1 0000071c: PUSH12 0x7fffffffffffffffffffffff 00000729: AND 0000072a: PUSH0 0000072b: SUB 0000072c: PUSH1 0x24 0000072e: DUP8 0000072f: ADD 00000730: CALLDATALOAD 00000731: PUSH1 0x60 00000733: SHR 00000734: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc8 00000755: DUP7 00000756: ADD 00000757: PUSH2 0x0762 0000075a: DUP4 0000075b: DUP6 0000075c: DUP5 0000075d: DUP14 0000075e: PUSH2 0x032a 00000761: JUMP 00000762: JUMPDEST 00000763: PUSH1 0xa0 00000765: PUSH1 0x84 00000767: DUP12 00000768: ADD 00000769: MSTORE 0000076a: DUP1 0000076b: PUSH1 0xa4 0000076d: DUP12 0000076e: ADD 0000076f: MSTORE 00000770: DUP1 00000771: ISZERO 00000772: PUSH2 0x0780 00000775: JUMPI 00000776: DUP1 00000777: DUP10 00000778: PUSH1 0x38 0000077a: ADD 0000077b: PUSH1 0xc4 0000077d: DUP13 0000077e: ADD 0000077f: CALLDATACOPY 00000780: JUMPDEST 00000781: PUSH0 00000782: PUSH0 00000783: DUP3 00000784: PUSH1 0xc4 00000786: ADD 00000787: DUP13 00000788: PUSH0 00000789: DUP10 0000078a: GAS 0000078b: CALL 0000078c: PUSH2 0x06f6 0000078f: JUMPI 00000790: PUSH2 0x06f6 00000793: DUP9 00000794: PUSH1 0xe8 00000796: SHR 00000797: PUSH1 0xff 00000799: AND 0000079a: DUP12 0000079b: PUSH2 0x00fb 0000079e: JUMP 0000079f: JUMPDEST 000007a0: DUP4 000007a1: PUSH1 0x04 000007a3: ADD 000007a4: CALLDATALOAD 000007a5: PUSH1 0x60 000007a7: SHR 000007a8: DUP5 000007a9: PUSH1 0x18 000007ab: ADD 000007ac: CALLDATALOAD 000007ad: PUSH1 0x60 000007af: SHR 000007b0: PUSH2 0x07b9 000007b3: DUP2 000007b4: DUP9 000007b5: PUSH2 0x04fc 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH2 0x07cd 000007bd: JUMPI 000007be: PUSH2 0x07cd 000007c1: DUP6 000007c2: PUSH1 0xe8 000007c4: SHR 000007c5: PUSH1 0xff 000007c7: AND 000007c8: DUP9 000007c9: PUSH2 0x00fb 000007cc: JUMP 000007cd: JUMPDEST 000007ce: PUSH1 0x40 000007d0: MLOAD 000007d1: SWAP1 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x20 000007d6: SWAP1 000007d7: KECCAK256 000007d8: TLOAD 000007d9: PUSH0 000007da: SUB 000007db: PUSH1 0x2c 000007dd: DUP7 000007de: ADD 000007df: CALLDATALOAD 000007e0: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 00000801: AND 00000802: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd3 00000823: DUP6 00000824: ADD 00000825: PUSH2 0x083f 00000828: DUP4 00000829: DUP4 0000082a: PUSH15 0x04444c5dc75cb358380d2e3de08a90 0000083a: DUP13 0000083b: PUSH2 0x032a 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH1 0xa0 00000842: PUSH1 0x84 00000844: DUP11 00000845: ADD 00000846: MSTORE 00000847: DUP1 00000848: PUSH1 0xa4 0000084a: DUP11 0000084b: ADD 0000084c: MSTORE 0000084d: DUP1 0000084e: ISZERO 0000084f: PUSH2 0x085d 00000852: JUMPI 00000853: DUP1 00000854: DUP9 00000855: PUSH1 0x2d 00000857: ADD 00000858: PUSH1 0xc4 0000085a: DUP12 0000085b: ADD 0000085c: CALLDATACOPY 0000085d: JUMPDEST 0000085e: PUSH0 0000085f: PUSH0 00000860: DUP3 00000861: PUSH1 0xc4 00000863: ADD 00000864: DUP12 00000865: PUSH0 00000866: DUP9 00000867: GAS 00000868: CALL 00000869: PUSH2 0x087c 0000086c: JUMPI 0000086d: PUSH2 0x087c 00000870: DUP8 00000871: PUSH1 0xe8 00000873: SHR 00000874: PUSH1 0xff 00000876: AND 00000877: DUP11 00000878: PUSH2 0x00fb 0000087b: JUMP 0000087c: JUMPDEST 0000087d: POP 0000087e: POP 0000087f: POP 00000880: POP 00000881: PUSH2 0x1169 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH1 0x04 00000888: DUP5 00000889: ADD 0000088a: CALLDATALOAD 0000088b: PUSH1 0x60 0000088d: DUP2 0000088e: SWAP1 0000088f: SHR 00000890: SWAP1 00000891: PUSH12 0xffffffffffffffffffffffff 0000089e: AND 0000089f: PUSH2 0x08bd 000008a2: DUP2 000008a3: DUP4 000008a4: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000008b9: PUSH2 0x020f 000008bc: JUMP 000008bd: JUMPDEST 000008be: PUSH2 0x08ea 000008c1: JUMPI 000008c2: PUSH2 0x08ea 000008c5: PUSH32 0x4e54000000000000000000000000000000000000000000000000000000000000 000008e6: PUSH2 0x00bc 000008e9: JUMP 000008ea: JUMPDEST 000008eb: POP 000008ec: POP 000008ed: PUSH2 0x1169 000008f0: JUMP 000008f1: JUMPDEST 000008f2: DUP4 000008f3: PUSH1 0x04 000008f5: ADD 000008f6: CALLDATALOAD 000008f7: PUSH1 0x60 000008f9: SHR 000008fa: DUP5 000008fb: PUSH1 0x18 000008fd: ADD 000008fe: CALLDATALOAD 000008ff: PUSH1 0x60 00000901: SHR 00000902: PUSH2 0x090b 00000905: DUP2 00000906: DUP9 00000907: PUSH2 0x04fc 0000090a: JUMP 0000090b: JUMPDEST 0000090c: PUSH2 0x091f 0000090f: JUMPI 00000910: PUSH2 0x091f 00000913: DUP6 00000914: PUSH1 0xe8 00000916: SHR 00000917: PUSH1 0xff 00000919: AND 0000091a: DUP9 0000091b: PUSH2 0x00fb 0000091e: JUMP 0000091f: JUMPDEST 00000920: PUSH1 0x40 00000922: MLOAD 00000923: SWAP1 00000924: DUP2 00000925: MSTORE 00000926: PUSH1 0x20 00000928: SWAP1 00000929: KECCAK256 0000092a: TLOAD 0000092b: PUSH1 0x2c 0000092d: DUP7 0000092e: ADD 0000092f: CALLDATALOAD 00000930: PUSH32 0xff00000000000000000000000000000000000000000000000000000000000000 00000951: AND 00000952: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd3 00000973: DUP6 00000974: ADD 00000975: PUSH2 0x098f 00000978: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000988: DUP4 00000989: DUP6 0000098a: DUP13 0000098b: PUSH2 0x02d6 0000098e: JUMP 0000098f: JUMPDEST 00000990: PUSH1 0x80 00000992: PUSH1 0x64 00000994: DUP11 00000995: ADD 00000996: MSTORE 00000997: DUP1 00000998: PUSH1 0x84 0000099a: DUP11 0000099b: ADD 0000099c: MSTORE 0000099d: DUP1 0000099e: ISZERO 0000099f: PUSH2 0x09ad 000009a2: JUMPI 000009a3: DUP1 000009a4: DUP9 000009a5: PUSH1 0x2d 000009a7: ADD 000009a8: PUSH1 0xa4 000009aa: DUP12 000009ab: ADD 000009ac: CALLDATACOPY 000009ad: JUMPDEST 000009ae: PUSH0 000009af: PUSH0 000009b0: DUP3 000009b1: PUSH1 0xa4 000009b3: ADD 000009b4: DUP12 000009b5: PUSH0 000009b6: DUP9 000009b7: GAS 000009b8: CALL 000009b9: PUSH2 0x09cc 000009bc: JUMPI 000009bd: PUSH2 0x09cc 000009c0: DUP8 000009c1: PUSH1 0xe8 000009c3: SHR 000009c4: PUSH1 0xff 000009c6: AND 000009c7: DUP11 000009c8: PUSH2 0x00fb 000009cb: JUMP 000009cc: JUMPDEST 000009cd: POP 000009ce: POP 000009cf: POP 000009d0: POP 000009d1: PUSH2 0x09da 000009d4: PUSH0 000009d5: DUP7 000009d6: PUSH2 0x04b9 000009d9: JUMP 000009da: JUMPDEST 000009db: PUSH2 0x0673 000009de: JUMPI 000009df: PUSH2 0x0673 000009e2: DUP4 000009e3: PUSH1 0xe8 000009e5: SHR 000009e6: PUSH1 0xff 000009e8: AND 000009e9: DUP7 000009ea: PUSH2 0x00fb 000009ed: JUMP 000009ee: JUMPDEST 000009ef: DUP4 000009f0: PUSH1 0x04 000009f2: ADD 000009f3: CALLDATALOAD 000009f4: PUSH1 0x60 000009f6: SHR 000009f7: DUP5 000009f8: PUSH1 0x18 000009fa: ADD 000009fb: CALLDATALOAD 000009fc: PUSH1 0x90 000009fe: SHR 000009ff: DUP6 00000a00: PUSH1 0x26 00000a02: ADD 00000a03: CALLDATALOAD 00000a04: PUSH1 0x60 00000a06: SHR 00000a07: PUSH2 0x0a11 00000a0a: DUP3 00000a0b: DUP5 00000a0c: DUP4 00000a0d: PUSH2 0x020f 00000a10: JUMP 00000a11: JUMPDEST 00000a12: PUSH2 0x0a3e 00000a15: JUMPI 00000a16: PUSH2 0x0a3e 00000a19: PUSH32 0x4654000000000000000000000000000000000000000000000000000000000000 00000a3a: PUSH2 0x00bc 00000a3d: JUMP 00000a3e: JUMPDEST 00000a3f: POP 00000a40: POP 00000a41: POP 00000a42: PUSH2 0x1169 00000a45: JUMP 00000a46: JUMPDEST 00000a47: DUP4 00000a48: PUSH1 0x04 00000a4a: ADD 00000a4b: CALLDATALOAD 00000a4c: PUSH1 0x60 00000a4e: SHR 00000a4f: DUP5 00000a50: PUSH1 0x18 00000a52: ADD 00000a53: CALLDATALOAD 00000a54: DUP1 00000a55: PUSH1 0x60 00000a57: SHR 00000a58: PUSH0 00000a59: PUSH7 0x02000000000000 00000a61: DUP4 00000a62: AND 00000a63: PUSH0 00000a64: DUP2 00000a65: EQ 00000a66: PUSH2 0x0a7b 00000a69: JUMPI 00000a6a: PUSH1 0x40 00000a6c: MLOAD 00000a6d: DUP4 00000a6e: DUP2 00000a6f: MSTORE 00000a70: PUSH1 0x20 00000a72: SWAP1 00000a73: KECCAK256 00000a74: TLOAD 00000a75: SWAP2 00000a76: POP 00000a77: PUSH2 0x0a89 00000a7a: JUMP 00000a7b: JUMPDEST 00000a7c: PUSH1 0x40 00000a7e: MLOAD 00000a7f: DUP6 00000a80: DUP2 00000a81: MSTORE 00000a82: PUSH1 0x20 00000a84: SWAP1 00000a85: KECCAK256 00000a86: TLOAD 00000a87: SWAP2 00000a88: POP 00000a89: JUMPDEST 00000a8a: POP 00000a8b: PUSH2 0x0aaf 00000a8e: DUP2 00000a8f: PUSH7 0x02000000000000 00000a97: DUP6 00000a98: AND 00000a99: PUSH3 0xffffff 00000a9d: DUP7 00000a9e: PUSH1 0x18 00000aa0: SHR 00000aa1: AND 00000aa2: PUSH3 0xffffff 00000aa6: DUP8 00000aa7: AND 00000aa8: DUP7 00000aa9: DUP10 00000aaa: DUP16 00000aab: PUSH2 0x039e 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: POP 00000ab1: DUP7 00000ab2: PUSH1 0x38 00000ab4: ADD 00000ab5: CALLDATALOAD 00000ab6: PUSH1 0x60 00000ab8: SHR 00000ab9: PUSH1 0x84 00000abb: DUP10 00000abc: ADD 00000abd: MSTORE 00000abe: PUSH1 0x20 00000ac0: PUSH0 00000ac1: PUSH2 0x0144 00000ac4: DUP11 00000ac5: PUSH0 00000ac6: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000ad6: GAS 00000ad7: CALL 00000ad8: PUSH2 0x0aeb 00000adb: JUMPI 00000adc: PUSH2 0x0aeb 00000adf: DUP7 00000ae0: PUSH1 0xe8 00000ae2: SHR 00000ae3: PUSH1 0xff 00000ae5: AND 00000ae6: DUP10 00000ae7: PUSH2 0x00fb 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH1 0x20 00000aee: PUSH0 00000aef: DUP10 00000af0: RETURNDATACOPY 00000af1: PUSH7 0x02000000000000 00000af9: DUP3 00000afa: AND 00000afb: DUP1 00000afc: ISZERO 00000afd: PUSH2 0x0b1e 00000b00: JUMPI 00000b01: DUP9 00000b02: MLOAD 00000b03: PUSH1 0x80 00000b05: SAR 00000b06: PUSH0 00000b07: SUB 00000b08: PUSH2 0x0b18 00000b0b: DUP6 00000b0c: PUSH1 0x40 00000b0e: MLOAD 00000b0f: SWAP1 00000b10: DUP2 00000b11: MSTORE 00000b12: PUSH1 0x20 00000b14: SWAP1 00000b15: KECCAK256 00000b16: SWAP1 00000b17: JUMP 00000b18: JUMPDEST 00000b19: TSTORE 00000b1a: PUSH2 0x087c 00000b1d: JUMP 00000b1e: JUMPDEST 00000b1f: PUSH16 0xffffffffffffffffffffffffffffffff 00000b30: DUP10 00000b31: MLOAD 00000b32: AND 00000b33: PUSH1 0x0f 00000b35: SIGNEXTEND 00000b36: PUSH0 00000b37: SUB 00000b38: PUSH2 0x0b48 00000b3b: DUP4 00000b3c: PUSH1 0x40 00000b3e: MLOAD 00000b3f: SWAP1 00000b40: DUP2 00000b41: MSTORE 00000b42: PUSH1 0x20 00000b44: SWAP1 00000b45: KECCAK256 00000b46: SWAP1 00000b47: JUMP 00000b48: JUMPDEST 00000b49: TSTORE 00000b4a: POP 00000b4b: POP 00000b4c: POP 00000b4d: POP 00000b4e: PUSH2 0x1169 00000b51: JUMP 00000b52: JUMPDEST 00000b53: PUSH1 0x04 00000b55: DUP5 00000b56: ADD 00000b57: CALLDATALOAD 00000b58: PUSH1 0x60 00000b5a: DUP2 00000b5b: SWAP1 00000b5c: SHR 00000b5d: SWAP1 00000b5e: PUSH12 0xffffffffffffffffffffffff 00000b6b: AND 00000b6c: DUP6 00000b6d: PUSH1 0x24 00000b6f: ADD 00000b70: CALLDATALOAD 00000b71: DUP1 00000b72: PUSH1 0x60 00000b74: SHR 00000b75: PUSH2 0x0b99 00000b78: DUP4 00000b79: PUSH7 0x02000000000000 00000b81: DUP5 00000b82: AND 00000b83: PUSH3 0xffffff 00000b87: DUP6 00000b88: PUSH1 0x18 00000b8a: SHR 00000b8b: AND 00000b8c: PUSH3 0xffffff 00000b90: DUP7 00000b91: AND 00000b92: DUP6 00000b93: DUP10 00000b94: DUP16 00000b95: PUSH2 0x039e 00000b98: JUMP 00000b99: JUMPDEST 00000b9a: DUP8 00000b9b: PUSH1 0x44 00000b9d: ADD 00000b9e: CALLDATALOAD 00000b9f: PUSH1 0x60 00000ba1: SHR 00000ba2: PUSH1 0x84 00000ba4: DUP11 00000ba5: ADD 00000ba6: MSTORE 00000ba7: PUSH1 0x20 00000ba9: PUSH0 00000baa: PUSH2 0x0144 00000bad: DUP12 00000bae: PUSH0 00000baf: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000bbf: GAS 00000bc0: CALL 00000bc1: PUSH2 0x0bd4 00000bc4: JUMPI 00000bc5: PUSH2 0x0bd4 00000bc8: DUP8 00000bc9: PUSH1 0xe8 00000bcb: SHR 00000bcc: PUSH1 0xff 00000bce: AND 00000bcf: DUP11 00000bd0: PUSH2 0x00fb 00000bd3: JUMP 00000bd4: JUMPDEST 00000bd5: PUSH1 0x20 00000bd7: PUSH0 00000bd8: DUP11 00000bd9: RETURNDATACOPY 00000bda: PUSH7 0x02000000000000 00000be2: DUP3 00000be3: AND 00000be4: DUP1 00000be5: ISZERO 00000be6: PUSH2 0x0c07 00000be9: JUMPI 00000bea: DUP10 00000beb: MLOAD 00000bec: PUSH1 0x80 00000bee: SAR 00000bef: PUSH0 00000bf0: SUB 00000bf1: PUSH2 0x0c01 00000bf4: DUP7 00000bf5: PUSH1 0x40 00000bf7: MLOAD 00000bf8: SWAP1 00000bf9: DUP2 00000bfa: MSTORE 00000bfb: PUSH1 0x20 00000bfd: SWAP1 00000bfe: KECCAK256 00000bff: SWAP1 00000c00: JUMP 00000c01: JUMPDEST 00000c02: TSTORE 00000c03: PUSH2 0x06f6 00000c06: JUMP 00000c07: JUMPDEST 00000c08: PUSH16 0xffffffffffffffffffffffffffffffff 00000c19: DUP11 00000c1a: MLOAD 00000c1b: AND 00000c1c: PUSH1 0x0f 00000c1e: SIGNEXTEND 00000c1f: PUSH0 00000c20: SUB 00000c21: PUSH2 0x0c31 00000c24: DUP4 00000c25: PUSH1 0x40 00000c27: MLOAD 00000c28: SWAP1 00000c29: DUP2 00000c2a: MSTORE 00000c2b: PUSH1 0x20 00000c2d: SWAP1 00000c2e: KECCAK256 00000c2f: SWAP1 00000c30: JUMP 00000c31: JUMPDEST 00000c32: TSTORE 00000c33: POP 00000c34: POP 00000c35: POP 00000c36: POP 00000c37: POP 00000c38: PUSH2 0x1169 00000c3b: JUMP 00000c3c: JUMPDEST 00000c3d: PUSH32 0x0b0d9c0900000000000000000000000000000000000000000000000000000000 00000c5e: DUP6 00000c5f: MSTORE 00000c60: PUSH1 0x26 00000c62: DUP5 00000c63: ADD 00000c64: CALLDATALOAD 00000c65: PUSH1 0x60 00000c67: SWAP1 00000c68: DUP2 00000c69: SHR 00000c6a: PUSH1 0x04 00000c6c: DUP8 00000c6d: DUP2 00000c6e: ADD 00000c6f: SWAP2 00000c70: SWAP1 00000c71: SWAP2 00000c72: MSTORE 00000c73: DUP6 00000c74: ADD 00000c75: CALLDATALOAD 00000c76: SWAP1 00000c77: SHR 00000c78: PUSH1 0x24 00000c7a: DUP7 00000c7b: ADD 00000c7c: MSTORE 00000c7d: PUSH1 0x18 00000c7f: DUP5 00000c80: ADD 00000c81: CALLDATALOAD 00000c82: PUSH1 0x90 00000c84: SHR 00000c85: PUSH1 0x44 00000c87: DUP7 00000c88: ADD 00000c89: MSTORE 00000c8a: PUSH0 00000c8b: DUP1 00000c8c: PUSH1 0x64 00000c8e: DUP8 00000c8f: DUP3 00000c90: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00000ca0: GAS 00000ca1: CALL 00000ca2: PUSH2 0x0673 00000ca5: JUMPI 00000ca6: PUSH2 0x0673 00000ca9: DUP4 00000caa: PUSH1 0xe8 00000cac: SHR 00000cad: PUSH1 0xff 00000caf: AND 00000cb0: DUP7 00000cb1: PUSH2 0x00fb 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: DUP4 00000cb7: PUSH1 0x04 00000cb9: ADD 00000cba: CALLDATALOAD 00000cbb: PUSH1 0x60 00000cbd: SHR 00000cbe: PUSH2 0x0cc7 00000cc1: DUP2 00000cc2: DUP8 00000cc3: PUSH2 0x04fc 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: PUSH2 0x0cdb 00000ccb: JUMPI 00000ccc: PUSH2 0x0cdb 00000ccf: DUP5 00000cd0: PUSH1 0xe8 00000cd2: SHR 00000cd3: PUSH1 0xff 00000cd5: AND 00000cd6: DUP8 00000cd7: PUSH2 0x00fb 00000cda: JUMP 00000cdb: JUMPDEST 00000cdc: PUSH2 0x0ce5 00000cdf: DUP2 00000ce0: DUP8 00000ce1: PUSH2 0x0439 00000ce4: JUMP 00000ce5: JUMPDEST 00000ce6: PUSH2 0x0cf9 00000ce9: JUMPI 00000cea: PUSH2 0x0cf9 00000ced: DUP5 00000cee: PUSH1 0xe8 00000cf0: SHR 00000cf1: PUSH1 0xff 00000cf3: AND 00000cf4: DUP8 00000cf5: PUSH2 0x00fb 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: POP 00000cfb: PUSH2 0x1169 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: PUSH1 0x04 00000d02: DUP5 00000d03: ADD 00000d04: CALLDATALOAD 00000d05: PUSH1 0x60 00000d07: DUP2 00000d08: SWAP1 00000d09: SHR 00000d0a: SWAP1 00000d0b: PUSH12 0xffffffffffffffffffffffff 00000d18: AND 00000d19: PUSH0 00000d1a: PUSH0 00000d1b: PUSH0 00000d1c: PUSH0 00000d1d: DUP5 00000d1e: DUP7 00000d1f: GAS 00000d20: CALL 00000d21: PUSH2 0x08ea 00000d24: JUMPI 00000d25: PUSH2 0x08ea 00000d28: PUSH32 0x4354000000000000000000000000000000000000000000000000000000000000 00000d49: PUSH2 0x00bc 00000d4c: JUMP 00000d4d: JUMPDEST 00000d4e: PUSH2 0x0d57 00000d51: PUSH0 00000d52: DUP7 00000d53: PUSH2 0x04b9 00000d56: JUMP 00000d57: JUMPDEST 00000d58: PUSH2 0x0673 00000d5b: JUMPI 00000d5c: PUSH2 0x0673 00000d5f: PUSH32 0x5334000000000000000000000000000000000000000000000000000000000000 00000d80: PUSH2 0x00bc 00000d83: JUMP 00000d84: JUMPDEST 00000d85: PUSH1 0x04 00000d87: DUP5 00000d88: ADD 00000d89: CALLDATALOAD 00000d8a: PUSH1 0x24 00000d8c: DUP6 00000d8d: ADD 00000d8e: CALLDATALOAD 00000d8f: PUSH1 0x60 00000d91: DUP2 00000d92: SWAP1 00000d93: SHR 00000d94: SWAP1 00000d95: PUSH12 0x800000000000000000000000 00000da2: DUP2 00000da3: AND 00000da4: SWAP1 00000da5: PUSH12 0x7fffffffffffffffffffffff 00000db2: AND 00000db3: DUP8 00000db4: PUSH1 0x44 00000db6: ADD 00000db7: CALLDATALOAD 00000db8: PUSH1 0x60 00000dba: SHR 00000dbb: DUP9 00000dbc: PUSH1 0x58 00000dbe: ADD 00000dbf: CALLDATALOAD 00000dc0: PUSH1 0x60 00000dc2: SHR 00000dc3: PUSH32 0x52bbbe2900000000000000000000000000000000000000000000000000000000 00000de4: DUP12 00000de5: MSTORE 00000de6: PUSH1 0xe0 00000de8: PUSH1 0x04 00000dea: DUP13 00000deb: ADD 00000dec: MSTORE 00000ded: ADDRESS 00000dee: PUSH1 0x24 00000df0: DUP13 00000df1: ADD 00000df2: MSTORE 00000df3: PUSH0 00000df4: PUSH1 0x44 00000df6: DUP13 00000df7: ADD 00000df8: MSTORE 00000df9: DUP1 00000dfa: PUSH1 0x64 00000dfc: DUP13 00000dfd: ADD 00000dfe: MSTORE 00000dff: POP 00000e00: PUSH0 00000e01: PUSH1 0x84 00000e03: DUP12 00000e04: ADD 00000e05: MSTORE 00000e06: PUSH12 0xffffffffffffffffffffffff 00000e13: PUSH1 0xc4 00000e15: DUP12 00000e16: ADD 00000e17: MSTORE 00000e18: DUP5 00000e19: PUSH1 0xe4 00000e1b: DUP12 00000e1c: ADD 00000e1d: MSTORE 00000e1e: DUP3 00000e1f: PUSH0 00000e20: DUP2 00000e21: EQ 00000e22: PUSH2 0x0e58 00000e25: JUMPI 00000e26: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e47: PUSH1 0xa4 00000e49: DUP13 00000e4a: ADD 00000e4b: MSTORE 00000e4c: PUSH1 0x01 00000e4e: PUSH2 0x0104 00000e51: DUP13 00000e52: ADD 00000e53: MSTORE 00000e54: PUSH2 0x0e67 00000e57: JUMP 00000e58: JUMPDEST 00000e59: PUSH1 0x01 00000e5b: PUSH1 0xa4 00000e5d: DUP13 00000e5e: ADD 00000e5f: MSTORE 00000e60: PUSH0 00000e61: PUSH2 0x0104 00000e64: DUP13 00000e65: ADD 00000e66: MSTORE 00000e67: JUMPDEST 00000e68: POP 00000e69: DUP4 00000e6a: PUSH2 0x0124 00000e6d: DUP12 00000e6e: ADD 00000e6f: MSTORE 00000e70: DUP1 00000e71: PUSH2 0x0144 00000e74: DUP12 00000e75: ADD 00000e76: MSTORE 00000e77: POP 00000e78: DUP1 00000e79: PUSH2 0x0164 00000e7c: DUP11 00000e7d: ADD 00000e7e: MSTORE 00000e7f: POP 00000e80: POP 00000e81: POP 00000e82: POP 00000e83: PUSH1 0xc0 00000e85: PUSH2 0x0184 00000e88: DUP7 00000e89: ADD 00000e8a: MSTORE 00000e8b: PUSH0 00000e8c: PUSH2 0x01a4 00000e8f: DUP7 00000e90: ADD 00000e91: MSTORE 00000e92: PUSH1 0x20 00000e94: PUSH0 00000e95: PUSH2 0x01c4 00000e98: DUP8 00000e99: PUSH0 00000e9a: PUSH20 0xba12222222228d8ba445958a75a0704d566bf2c8 00000eaf: GAS 00000eb0: CALL 00000eb1: PUSH2 0x0673 00000eb4: JUMPI 00000eb5: PUSH2 0x0673 00000eb8: DUP4 00000eb9: PUSH1 0xe8 00000ebb: SHR 00000ebc: PUSH1 0xff 00000ebe: AND 00000ebf: DUP7 00000ec0: PUSH2 0x00fb 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: DUP4 00000ec6: PUSH1 0x04 00000ec8: ADD 00000ec9: CALLDATALOAD 00000eca: PUSH1 0x60 00000ecc: SHR 00000ecd: DUP5 00000ece: PUSH1 0x18 00000ed0: ADD 00000ed1: CALLDATALOAD 00000ed2: PUSH1 0x60 00000ed4: SHR 00000ed5: PUSH2 0x0ede 00000ed8: DUP2 00000ed9: DUP4 00000eda: PUSH2 0x0263 00000edd: JUMP 00000ede: JUMPDEST 00000edf: PUSH2 0x08ea 00000ee2: JUMPI 00000ee3: PUSH2 0x08ea 00000ee6: DUP6 00000ee7: PUSH1 0xe8 00000ee9: SHR 00000eea: PUSH1 0xff 00000eec: AND 00000eed: DUP9 00000eee: PUSH2 0x00fb 00000ef1: JUMP 00000ef2: JUMPDEST 00000ef3: PUSH1 0x04 00000ef5: DUP5 00000ef6: ADD 00000ef7: CALLDATALOAD 00000ef8: PUSH1 0x24 00000efa: DUP6 00000efb: ADD 00000efc: CALLDATALOAD 00000efd: PUSH1 0x60 00000eff: DUP2 00000f00: SWAP1 00000f01: SHR 00000f02: SWAP1 00000f03: PUSH12 0x800000000000000000000000 00000f10: DUP2 00000f11: AND 00000f12: SWAP1 00000f13: PUSH12 0x7fffffffffffffffffffffff 00000f20: AND 00000f21: DUP8 00000f22: PUSH1 0x44 00000f24: ADD 00000f25: CALLDATALOAD 00000f26: PUSH1 0x60 00000f28: SHR 00000f29: DUP9 00000f2a: PUSH1 0x58 00000f2c: ADD 00000f2d: CALLDATALOAD 00000f2e: PUSH1 0x60 00000f30: SHR 00000f31: PUSH32 0x52bbbe2900000000000000000000000000000000000000000000000000000000 00000f52: DUP12 00000f53: MSTORE 00000f54: PUSH1 0xe0 00000f56: PUSH1 0x04 00000f58: DUP13 00000f59: ADD 00000f5a: MSTORE 00000f5b: DUP10 00000f5c: PUSH1 0x6c 00000f5e: ADD 00000f5f: CALLDATALOAD 00000f60: PUSH1 0x60 00000f62: SHR 00000f63: PUSH1 0x24 00000f65: DUP13 00000f66: ADD 00000f67: MSTORE 00000f68: PUSH0 00000f69: PUSH1 0x44 00000f6b: DUP13 00000f6c: ADD 00000f6d: MSTORE 00000f6e: DUP1 00000f6f: PUSH1 0x64 00000f71: DUP13 00000f72: ADD 00000f73: MSTORE 00000f74: POP 00000f75: PUSH0 00000f76: PUSH1 0x84 00000f78: DUP12 00000f79: ADD 00000f7a: MSTORE 00000f7b: DUP9 00000f7c: PUSH1 0x80 00000f7e: ADD 00000f7f: CALLDATALOAD 00000f80: PUSH1 0xa4 00000f82: DUP12 00000f83: ADD 00000f84: MSTORE 00000f85: PUSH12 0xffffffffffffffffffffffff 00000f92: PUSH1 0xc4 00000f94: DUP12 00000f95: ADD 00000f96: MSTORE 00000f97: DUP5 00000f98: PUSH1 0xe4 00000f9a: DUP12 00000f9b: ADD 00000f9c: MSTORE 00000f9d: DUP3 00000f9e: PUSH0 00000f9f: DUP2 00000fa0: EQ 00000fa1: PUSH2 0x0fb1 00000fa4: JUMPI 00000fa5: PUSH1 0x01 00000fa7: PUSH2 0x0104 00000faa: DUP13 00000fab: ADD 00000fac: MSTORE 00000fad: PUSH2 0x0e67 00000fb0: JUMP 00000fb1: JUMPDEST 00000fb2: PUSH0 00000fb3: PUSH2 0x0104 00000fb6: DUP13 00000fb7: ADD 00000fb8: MSTORE 00000fb9: POP 00000fba: DUP4 00000fbb: PUSH2 0x0124 00000fbe: DUP12 00000fbf: ADD 00000fc0: MSTORE 00000fc1: DUP1 00000fc2: PUSH2 0x0144 00000fc5: DUP12 00000fc6: ADD 00000fc7: MSTORE 00000fc8: POP 00000fc9: DUP1 00000fca: PUSH2 0x0164 00000fcd: DUP11 00000fce: ADD 00000fcf: MSTORE 00000fd0: POP 00000fd1: POP 00000fd2: POP 00000fd3: POP 00000fd4: PUSH1 0xc0 00000fd6: PUSH2 0x0184 00000fd9: DUP7 00000fda: ADD 00000fdb: MSTORE 00000fdc: PUSH0 00000fdd: PUSH2 0x01a4 00000fe0: DUP7 00000fe1: ADD 00000fe2: MSTORE 00000fe3: PUSH1 0x20 00000fe5: PUSH0 00000fe6: PUSH2 0x01c4 00000fe9: DUP8 00000fea: PUSH0 00000feb: PUSH20 0xba12222222228d8ba445958a75a0704d566bf2c8 00001000: GAS 00001001: CALL 00001002: PUSH2 0x0673 00001005: JUMPI 00001006: PUSH2 0x0673 00001009: DUP4 0000100a: PUSH1 0xe8 0000100c: SHR 0000100d: PUSH1 0xff 0000100f: AND 00001010: DUP7 00001011: PUSH2 0x00fb 00001014: JUMP 00001015: JUMPDEST 00001016: DUP4 00001017: PUSH1 0x04 00001019: ADD 0000101a: CALLDATALOAD 0000101b: PUSH1 0x60 0000101d: SHR 0000101e: PUSH2 0x104c 00001021: DUP6 00001022: PUSH1 0x18 00001024: ADD 00001025: CALLDATALOAD 00001026: PUSH1 0x60 00001028: DUP2 00001029: SWAP1 0000102a: SHR 0000102b: SWAP2 0000102c: PUSH12 0x800000000000000000000000 00001039: DUP3 0000103a: AND 0000103b: SWAP2 0000103c: PUSH12 0x7fffffffffffffffffffffff 00001049: AND 0000104a: SWAP1 0000104b: JUMP 0000104c: JUMPDEST 0000104d: PUSH1 0x38 0000104f: DUP9 00001050: ADD 00001051: CALLDATALOAD 00001052: PUSH1 0x60 00001054: SHR 00001055: DUP3 00001056: DUP1 00001057: ISZERO 00001058: PUSH2 0x10e1 0000105b: JUMPI 0000105c: PUSH32 0x7c5e9ea400000000000000000000000000000000000000000000000000000000 0000107d: DUP12 0000107e: MSTORE 0000107f: DUP5 00001080: PUSH1 0x04 00001082: DUP13 00001083: ADD 00001084: MSTORE 00001085: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010a6: PUSH1 0x24 000010a8: DUP13 000010a9: ADD 000010aa: MSTORE 000010ab: DUP2 000010ac: PUSH1 0x44 000010ae: DUP13 000010af: ADD 000010b0: MSTORE 000010b1: DUP3 000010b2: PUSH1 0x64 000010b4: DUP13 000010b5: ADD 000010b6: MSTORE 000010b7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010d8: PUSH1 0x84 000010da: DUP13 000010db: ADD 000010dc: MSTORE 000010dd: PUSH2 0x1144 000010e0: JUMP 000010e1: JUMPDEST 000010e2: PUSH32 0x8201aa3f00000000000000000000000000000000000000000000000000000000 00001103: DUP12 00001104: MSTORE 00001105: DUP5 00001106: PUSH1 0x04 00001108: DUP13 00001109: ADD 0000110a: MSTORE 0000110b: DUP3 0000110c: PUSH1 0x24 0000110e: DUP13 0000110f: ADD 00001110: MSTORE 00001111: DUP2 00001112: PUSH1 0x44 00001114: DUP13 00001115: ADD 00001116: MSTORE 00001117: PUSH1 0x01 00001119: PUSH1 0x64 0000111b: DUP13 0000111c: ADD 0000111d: MSTORE 0000111e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000113f: PUSH1 0x84 00001141: DUP13 00001142: ADD 00001143: MSTORE 00001144: JUMPDEST 00001145: POP 00001146: POP 00001147: POP 00001148: POP 00001149: POP 0000114a: PUSH1 0x20 0000114c: PUSH0 0000114d: PUSH1 0xa4 0000114f: DUP9 00001150: PUSH0 00001151: DUP6 00001152: GAS 00001153: CALL 00001154: PUSH2 0x1167 00001157: JUMPI 00001158: PUSH2 0x1167 0000115b: DUP5 0000115c: PUSH1 0xe8 0000115e: SHR 0000115f: PUSH1 0xff 00001161: AND 00001162: DUP8 00001163: PUSH2 0x00fb 00001166: JUMP 00001167: JUMPDEST 00001168: POP 00001169: JUMPDEST 0000116a: POP 0000116b: SWAP2 0000116c: DUP3 0000116d: ADD 0000116e: SWAP2 0000116f: PUSH2 0x05af 00001172: JUMP 00001173: JUMPDEST 00001174: POP 00001175: POP 00001176: POP 00001177: POP 00001178: POP 00001179: POP 0000117a: JUMP 0000117b: JUMPDEST 0000117c: PUSH0 0000117d: CALLDATALOAD 0000117e: PUSH1 0xe0 00001180: SHR 00001181: PUSH4 0x10d1e85c 00001186: DUP2 00001187: EQ 00001188: PUSH4 0x48639c9d 0000118d: DUP3 0000118e: EQ 0000118f: OR 00001190: PUSH4 0x61987d16 00001195: DUP3 00001196: EQ 00001197: OR 00001198: PUSH4 0x84645f79 0000119d: DUP3 0000119e: EQ 0000119f: OR 000011a0: PUSH4 0xcbca709d 000011a5: DUP3 000011a6: EQ 000011a7: OR 000011a8: PUSH4 0xfe1b3a66 000011ad: DUP3 000011ae: EQ 000011af: OR 000011b0: PUSH4 0x801d49f8 000011b5: DUP3 000011b6: EQ 000011b7: OR 000011b8: PUSH4 0x8d8adec0 000011bd: DUP3 000011be: EQ 000011bf: OR 000011c0: PUSH4 0xf05ffd30 000011c5: DUP3 000011c6: EQ 000011c7: OR 000011c8: PUSH4 0x07d3513a 000011cd: DUP3 000011ce: EQ 000011cf: OR 000011d0: PUSH4 0x78b94ae6 000011d5: DUP3 000011d6: EQ 000011d7: OR 000011d8: PUSH4 0xdf9aee68 000011dd: DUP3 000011de: EQ 000011df: OR 000011e0: PUSH4 0x6c813d29 000011e5: DUP3 000011e6: EQ 000011e7: OR 000011e8: PUSH4 0x8998d6ae 000011ed: DUP3 000011ee: EQ 000011ef: OR 000011f0: PUSH4 0x8649b473 000011f5: DUP3 000011f6: EQ 000011f7: OR 000011f8: PUSH4 0x91dd7346 000011fd: DUP3 000011fe: EQ 000011ff: OR 00001200: PUSH4 0xfa461e33 00001205: DUP3 00001206: EQ 00001207: OR 00001208: PUSH4 0x23a69e75 0000120d: DUP3 0000120e: EQ 0000120f: OR 00001210: ISZERO 00001211: PUSH2 0x12e2 00001214: JUMPI 00001215: DUP5 00001216: ORIGIN 00001217: EQ 00001218: PUSH2 0x1234 0000121b: JUMPI 0000121c: DUP4 0000121d: ORIGIN 0000121e: EQ 0000121f: PUSH2 0x1234 00001222: JUMPI 00001223: DUP3 00001224: ORIGIN 00001225: EQ 00001226: PUSH2 0x1234 00001229: JUMPI 0000122a: DUP2 0000122b: ORIGIN 0000122c: EQ 0000122d: PUSH2 0x1234 00001230: JUMPI 00001231: PUSH0 00001232: PUSH0 00001233: REVERT 00001234: JUMPDEST 00001235: PUSH4 0x23a69e75 0000123a: DUP2 0000123b: EQ 0000123c: PUSH4 0xfa461e33 00001241: DUP3 00001242: EQ 00001243: OR 00001244: DUP1 00001245: ISZERO 00001246: PUSH2 0x1266 00001249: JUMPI 0000124a: PUSH1 0x64 0000124c: CALLDATALOAD 0000124d: ISZERO 0000124e: PUSH2 0x1264 00001251: JUMPI 00001252: PUSH2 0x1264 00001255: PUSH1 0x64 00001257: CALLDATALOAD 00001258: PUSH1 0x84 0000125a: PUSH1 0x24 0000125c: CALLDATALOAD 0000125d: PUSH1 0x04 0000125f: CALLDATALOAD 00001260: PUSH2 0x05a6 00001263: JUMP 00001264: JUMPDEST 00001265: STOP 00001266: JUMPDEST 00001267: PUSH4 0x91dd7346 0000126c: DUP3 0000126d: EQ 0000126e: DUP1 0000126f: ISZERO 00001270: PUSH2 0x12d3 00001273: JUMPI 00001274: PUSH15 0x04444c5dc75cb358380d2e3de08a90 00001284: CALLER 00001285: EQ 00001286: PUSH2 0x12b2 00001289: JUMPI 0000128a: PUSH2 0x12b2 0000128d: PUSH32 0x4f50000000000000000000000000000000000000000000000000000000000000 000012ae: PUSH2 0x00bc 000012b1: JUMP 000012b2: JUMPDEST 000012b3: PUSH2 0x12c1 000012b6: PUSH1 0x24 000012b8: CALLDATALOAD 000012b9: PUSH1 0x44 000012bb: PUSH0 000012bc: PUSH0 000012bd: PUSH2 0x05a6 000012c0: JUMP 000012c1: JUMPDEST 000012c2: PUSH1 0x20 000012c4: PUSH0 000012c5: MSTORE 000012c6: PUSH1 0x01 000012c8: PUSH1 0x20 000012ca: MSTORE 000012cb: PUSH0 000012cc: PUSH1 0x40 000012ce: MSTORE 000012cf: PUSH1 0x60 000012d1: PUSH0 000012d2: RETURN 000012d3: JUMPDEST 000012d4: PUSH2 0x1264 000012d7: PUSH1 0x84 000012d9: CALLDATALOAD 000012da: PUSH1 0xa4 000012dc: PUSH0 000012dd: PUSH0 000012de: PUSH2 0x05a6 000012e1: JUMP 000012e2: JUMPDEST 000012e3: POP 000012e4: GAS 000012e5: DUP5 000012e6: CALLER 000012e7: EQ 000012e8: PUSH2 0x1329 000012eb: JUMPI 000012ec: DUP4 000012ed: CALLER 000012ee: EQ 000012ef: PUSH2 0x1329 000012f2: JUMPI 000012f3: DUP3 000012f4: CALLER 000012f5: EQ 000012f6: PUSH2 0x1329 000012f9: JUMPI 000012fa: DUP2 000012fb: CALLER 000012fc: EQ 000012fd: PUSH2 0x1329 00001300: JUMPI 00001301: PUSH2 0x1329 00001304: PUSH32 0x4f50000000000000000000000000000000000000000000000000000000000000 00001325: PUSH2 0x00bc 00001328: JUMP 00001329: JUMPDEST 0000132a: PUSH0 0000132b: CALLDATALOAD 0000132c: PUSH1 0xd8 0000132e: SHR 0000132f: DUP1 00001330: ISZERO 00001331: PUSH2 0x1367 00001334: JUMPI 00001335: DUP1 00001336: PUSH1 0xff 00001338: NUMBER 00001339: AND 0000133a: EQ 0000133b: PUSH2 0x1367 0000133e: JUMPI 0000133f: PUSH2 0x1367 00001342: PUSH32 0x424e000000000000000000000000000000000000000000000000000000000000 00001363: PUSH2 0x00bc 00001366: JUMP 00001367: JUMPDEST 00001368: POP 00001369: PUSH1 0x05 0000136b: CALLDATALOAD 0000136c: PUSH0 0000136d: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 0000138e: DUP3 0000138f: AND 00001390: ISZERO 00001391: PUSH2 0x13b4 00001394: JUMPI 00001395: PUSH2 0x13b1 00001398: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000013ad: PUSH2 0x01a3 000013b0: JUMP 000013b1: JUMPDEST 000013b2: SWAP1 000013b3: POP 000013b4: JUMPDEST 000013b5: PUSH32 0x0400000000000000000000000000000000000000000000000000000000000000 000013d6: DUP3 000013d7: AND 000013d8: ISZERO 000013d9: PUSH2 0x13df 000013dc: JUMPI 000013dd: SELFBALANCE 000013de: ADD 000013df: JUMPDEST 000013e0: PUSH32 0x0200000000000000000000000000000000000000000000000000000000000000 00001401: DUP3 00001402: AND 00001403: ISZERO 00001404: PUSH2 0x140d 00001407: JUMPI 00001408: CALLVALUE 00001409: DUP4 0000140a: ADD 0000140b: SWAP3 0000140c: POP 0000140d: JUMPDEST 0000140e: PUSH32 0x0800000000000000000000000000000000000000000000000000000000000000 0000142f: DUP3 00001430: AND 00001431: DUP1 00001432: ISZERO 00001433: PUSH2 0x1456 00001436: JUMPI 00001437: PUSH2 0x143e 0000143a: PUSH2 0x0545 0000143d: JUMP 0000143e: JUMPDEST 0000143f: PUSH2 0x1451 00001442: JUMPI 00001443: PUSH1 0x40 00001445: MLOAD 00001446: PUSH2 0x144f 00001449: PUSH0 0000144a: DUP3 0000144b: PUSH2 0x00fb 0000144e: JUMP 0000144f: JUMPDEST 00001450: POP 00001451: JUMPDEST 00001452: PUSH2 0x1466 00001455: JUMP 00001456: JUMPDEST 00001457: PUSH2 0x1466 0000145a: PUSH1 0x06 0000145c: CALLDATASIZE 0000145d: SUB 0000145e: PUSH1 0x06 00001460: PUSH0 00001461: PUSH0 00001462: PUSH2 0x05a6 00001465: JUMP 00001466: JUMPDEST 00001467: POP 00001468: PUSH32 0x0200000000000000000000000000000000000000000000000000000000000000 00001489: DUP3 0000148a: AND 0000148b: PUSH32 0x0400000000000000000000000000000000000000000000000000000000000000 000014ac: DUP4 000014ad: AND 000014ae: OR 000014af: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000014d0: DUP4 000014d1: AND 000014d2: OR 000014d3: ISZERO 000014d4: PUSH2 0x1264 000014d7: JUMPI 000014d8: PUSH0 000014d9: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000014fa: DUP4 000014fb: AND 000014fc: ISZERO 000014fd: PUSH2 0x1520 00001500: JUMPI 00001501: PUSH2 0x151d 00001504: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00001519: PUSH2 0x01a3 0000151c: JUMP 0000151d: JUMPDEST 0000151e: SWAP1 0000151f: POP 00001520: JUMPDEST 00001521: PUSH32 0x0400000000000000000000000000000000000000000000000000000000000000 00001542: DUP4 00001543: AND 00001544: ISZERO 00001545: PUSH2 0x154b 00001548: JUMPI 00001549: SELFBALANCE 0000154a: ADD 0000154b: JUMPDEST 0000154c: DUP1 0000154d: DUP3 0000154e: GT 0000154f: ISZERO 00001550: PUSH2 0x157c 00001553: JUMPI 00001554: PUSH2 0x157c 00001557: PUSH32 0x4950000000000000000000000000000000000000000000000000000000000000 00001578: PUSH2 0x00bc 0000157b: JUMP 0000157c: JUMPDEST 0000157d: PUSH32 0x0200000000000000000000000000000000000000000000000000000000000000 0000159e: DUP4 0000159f: AND 000015a0: ISZERO 000015a1: PUSH2 0x1264 000015a4: JUMPI 000015a5: DUP2 000015a6: DUP2 000015a7: SUB 000015a8: GAS 000015a9: DUP6 000015aa: SUB 000015ab: GASPRICE 000015ac: MUL 000015ad: GT 000015ae: ISZERO 000015af: PUSH2 0x1264 000015b2: JUMPI 000015b3: PUSH2 0x1264 000015b6: PUSH32 0x4750000000000000000000000000000000000000000000000000000000000000 000015d7: PUSH2 0x00bc 000015da: JUMP 000015db: JUMPDEST 000015dc: PUSH2 0x15ee 000015df: PUSH2 0x15e9 000015e2: CALLDATASIZE 000015e3: PUSH1 0x04 000015e5: PUSH2 0x1dee 000015e8: JUMP 000015e9: JUMPDEST 000015ea: PUSH2 0x1624 000015ed: JUMP 000015ee: JUMPDEST 000015ef: PUSH1 0x40 000015f1: MLOAD 000015f2: PUSH2 0x15fb 000015f5: SWAP2 000015f6: SWAP1 000015f7: PUSH2 0x1f28 000015fa: JUMP 000015fb: JUMPDEST 000015fc: PUSH1 0x40 000015fe: MLOAD 000015ff: DUP1 00001600: SWAP2 00001601: SUB 00001602: SWAP1 00001603: RETURN 00001604: JUMPDEST 00001605: PUSH2 0x1617 00001608: PUSH2 0x1612 0000160b: CALLDATASIZE 0000160c: PUSH1 0x04 0000160e: PUSH2 0x1fa9 00001611: JUMP 00001612: JUMPDEST 00001613: PUSH2 0x19bc 00001616: JUMP 00001617: JUMPDEST 00001618: PUSH1 0x40 0000161a: MLOAD 0000161b: PUSH2 0x15fb 0000161e: SWAP2 0000161f: SWAP1 00001620: PUSH2 0x202e 00001623: JUMP 00001624: JUMPDEST 00001625: PUSH1 0x60 00001627: CALLER 00001628: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000163d: PUSH32 0x0000000000000000000000007ee0716d32ffc0fa65f8ac7ffd263f8af898aba4 0000165e: AND 0000165f: EQ 00001660: DUP1 00001661: PUSH2 0x169f 00001664: JUMPI 00001665: POP 00001666: CALLER 00001667: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167c: PUSH32 0x0000000000000000000000006ece2367fe06cbf5890cb60a73fde945d61f5361 0000169d: AND 0000169e: EQ 0000169f: JUMPDEST 000016a0: DUP1 000016a1: PUSH2 0x16df 000016a4: JUMPI 000016a5: POP 000016a6: CALLER 000016a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016bc: PUSH32 0x00000000000000000000000008e0d320c00b3bc4990d2bd464b0f7f2fc7339b2 000016dd: AND 000016de: EQ 000016df: JUMPDEST 000016e0: DUP1 000016e1: PUSH2 0x171f 000016e4: JUMPI 000016e5: POP 000016e6: CALLER 000016e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fc: PUSH32 0x0000000000000000000000001095911d5b8ef22a99c469944fb6f945417d41a1 0000171d: AND 0000171e: EQ 0000171f: JUMPDEST 00001720: PUSH2 0x178a 00001723: JUMPI 00001724: PUSH1 0x40 00001726: MLOAD 00001727: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001748: DUP2 00001749: MSTORE 0000174a: PUSH1 0x20 0000174c: PUSH1 0x04 0000174e: DUP3 0000174f: ADD 00001750: MSTORE 00001751: PUSH1 0x02 00001753: PUSH1 0x24 00001755: DUP3 00001756: ADD 00001757: MSTORE 00001758: PUSH32 0x4f50000000000000000000000000000000000000000000000000000000000000 00001779: PUSH1 0x44 0000177b: DUP3 0000177c: ADD 0000177d: MSTORE 0000177e: PUSH1 0x64 00001780: ADD 00001781: JUMPDEST 00001782: PUSH1 0x40 00001784: MLOAD 00001785: DUP1 00001786: SWAP2 00001787: SUB 00001788: SWAP1 00001789: REVERT 0000178a: JUMPDEST 0000178b: DUP3 0000178c: MLOAD 0000178d: DUP5 0000178e: MLOAD 0000178f: EQ 00001790: PUSH2 0x17f5 00001793: JUMPI 00001794: PUSH1 0x40 00001796: MLOAD 00001797: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017b8: DUP2 000017b9: MSTORE 000017ba: PUSH1 0x20 000017bc: PUSH1 0x04 000017be: DUP3 000017bf: ADD 000017c0: MSTORE 000017c1: PUSH1 0x02 000017c3: PUSH1 0x24 000017c5: DUP3 000017c6: ADD 000017c7: MSTORE 000017c8: PUSH32 0x4d4c000000000000000000000000000000000000000000000000000000000000 000017e9: PUSH1 0x44 000017eb: DUP3 000017ec: ADD 000017ed: MSTORE 000017ee: PUSH1 0x64 000017f0: ADD 000017f1: PUSH2 0x1781 000017f4: JUMP 000017f5: JUMPDEST 000017f6: DUP4 000017f7: MLOAD 000017f8: PUSH8 0xffffffffffffffff 00001801: DUP2 00001802: GT 00001803: ISZERO 00001804: PUSH2 0x180f 00001807: JUMPI 00001808: PUSH2 0x180f 0000180b: PUSH2 0x1bbd 0000180e: JUMP 0000180f: JUMPDEST 00001810: PUSH1 0x40 00001812: MLOAD 00001813: SWAP1 00001814: DUP1 00001815: DUP3 00001816: MSTORE 00001817: DUP1 00001818: PUSH1 0x20 0000181a: MUL 0000181b: PUSH1 0x20 0000181d: ADD 0000181e: DUP3 0000181f: ADD 00001820: PUSH1 0x40 00001822: MSTORE 00001823: DUP1 00001824: ISZERO 00001825: PUSH2 0x1842 00001828: JUMPI 00001829: DUP2 0000182a: PUSH1 0x20 0000182c: ADD 0000182d: JUMPDEST 0000182e: PUSH1 0x60 00001830: DUP2 00001831: MSTORE 00001832: PUSH1 0x20 00001834: ADD 00001835: SWAP1 00001836: PUSH1 0x01 00001838: SWAP1 00001839: SUB 0000183a: SWAP1 0000183b: DUP2 0000183c: PUSH2 0x182d 0000183f: JUMPI 00001840: SWAP1 00001841: POP 00001842: JUMPDEST 00001843: POP 00001844: SWAP1 00001845: POP 00001846: PUSH0 00001847: JUMPDEST 00001848: DUP5 00001849: MLOAD 0000184a: DUP2 0000184b: LT 0000184c: ISZERO 0000184d: PUSH2 0x19b4 00001850: JUMPI 00001851: PUSH0 00001852: PUSH0 00001853: DUP7 00001854: DUP4 00001855: DUP2 00001856: MLOAD 00001857: DUP2 00001858: LT 00001859: PUSH2 0x1864 0000185c: JUMPI 0000185d: PUSH2 0x1864 00001860: PUSH2 0x2047 00001863: JUMP 00001864: JUMPDEST 00001865: PUSH1 0x20 00001867: MUL 00001868: PUSH1 0x20 0000186a: ADD 0000186b: ADD 0000186c: MLOAD 0000186d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001882: AND 00001883: DUP6 00001884: DUP5 00001885: DUP2 00001886: MLOAD 00001887: DUP2 00001888: LT 00001889: PUSH2 0x1894 0000188c: JUMPI 0000188d: PUSH2 0x1894 00001890: PUSH2 0x2047 00001893: JUMP 00001894: JUMPDEST 00001895: PUSH1 0x20 00001897: MUL 00001898: PUSH1 0x20 0000189a: ADD 0000189b: ADD 0000189c: MLOAD 0000189d: DUP8 0000189e: DUP6 0000189f: DUP2 000018a0: MLOAD 000018a1: DUP2 000018a2: LT 000018a3: PUSH2 0x18ae 000018a6: JUMPI 000018a7: PUSH2 0x18ae 000018aa: PUSH2 0x2047 000018ad: JUMP 000018ae: JUMPDEST 000018af: PUSH1 0x20 000018b1: MUL 000018b2: PUSH1 0x20 000018b4: ADD 000018b5: ADD 000018b6: MLOAD 000018b7: PUSH1 0x40 000018b9: MLOAD 000018ba: PUSH2 0x18c3 000018bd: SWAP2 000018be: SWAP1 000018bf: PUSH2 0x2074 000018c2: JUMP 000018c3: JUMPDEST 000018c4: PUSH0 000018c5: PUSH1 0x40 000018c7: MLOAD 000018c8: DUP1 000018c9: DUP4 000018ca: SUB 000018cb: DUP2 000018cc: DUP6 000018cd: DUP8 000018ce: GAS 000018cf: CALL 000018d0: SWAP3 000018d1: POP 000018d2: POP 000018d3: POP 000018d4: RETURNDATASIZE 000018d5: DUP1 000018d6: PUSH0 000018d7: DUP2 000018d8: EQ 000018d9: PUSH2 0x18fd 000018dc: JUMPI 000018dd: PUSH1 0x40 000018df: MLOAD 000018e0: SWAP2 000018e1: POP 000018e2: PUSH1 0x1f 000018e4: NOT 000018e5: PUSH1 0x3f 000018e7: RETURNDATASIZE 000018e8: ADD 000018e9: AND 000018ea: DUP3 000018eb: ADD 000018ec: PUSH1 0x40 000018ee: MSTORE 000018ef: RETURNDATASIZE 000018f0: DUP3 000018f1: MSTORE 000018f2: RETURNDATASIZE 000018f3: PUSH0 000018f4: PUSH1 0x20 000018f6: DUP5 000018f7: ADD 000018f8: RETURNDATACOPY 000018f9: PUSH2 0x1902 000018fc: JUMP 000018fd: JUMPDEST 000018fe: PUSH1 0x60 00001900: SWAP2 00001901: POP 00001902: JUMPDEST 00001903: POP 00001904: SWAP2 00001905: POP 00001906: SWAP2 00001907: POP 00001908: DUP2 00001909: PUSH2 0x198c 0000190c: JUMPI 0000190d: DUP1 0000190e: MLOAD 0000190f: PUSH1 0x44 00001911: DUP2 00001912: LT 00001913: ISZERO 00001914: PUSH2 0x191b 00001917: JUMPI 00001918: PUSH0 00001919: PUSH0 0000191a: REVERT 0000191b: JUMPDEST 0000191c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000193d: DUP2 0000193e: ADD 0000193f: PUSH1 0x04 00001941: DUP4 00001942: ADD 00001943: SWAP1 00001944: DUP2 00001945: MSTORE 00001946: SWAP2 00001947: PUSH2 0x1959 0000194a: SWAP1 0000194b: DUP3 0000194c: DUP2 0000194d: ADD 0000194e: PUSH1 0x20 00001950: ADD 00001951: SWAP1 00001952: PUSH1 0x24 00001954: ADD 00001955: PUSH2 0x208a 00001958: JUMP 00001959: JUMPDEST 0000195a: PUSH1 0x40 0000195c: MLOAD 0000195d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000197e: DUP2 0000197f: MSTORE 00001980: PUSH1 0x04 00001982: ADD 00001983: PUSH2 0x1781 00001986: SWAP2 00001987: SWAP1 00001988: PUSH2 0x202e 0000198b: JUMP 0000198c: JUMPDEST 0000198d: DUP1 0000198e: DUP5 0000198f: DUP5 00001990: DUP2 00001991: MLOAD 00001992: DUP2 00001993: LT 00001994: PUSH2 0x199f 00001997: JUMPI 00001998: PUSH2 0x199f 0000199b: PUSH2 0x2047 0000199e: JUMP 0000199f: JUMPDEST 000019a0: PUSH1 0x20 000019a2: SWAP1 000019a3: DUP2 000019a4: MUL 000019a5: SWAP2 000019a6: SWAP1 000019a7: SWAP2 000019a8: ADD 000019a9: ADD 000019aa: MSTORE 000019ab: POP 000019ac: POP 000019ad: PUSH1 0x01 000019af: ADD 000019b0: PUSH2 0x1847 000019b3: JUMP 000019b4: JUMPDEST 000019b5: POP 000019b6: SWAP4 000019b7: SWAP3 000019b8: POP 000019b9: POP 000019ba: POP 000019bb: JUMP 000019bc: JUMPDEST 000019bd: PUSH1 0x60 000019bf: CALLER 000019c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019d5: PUSH32 0x0000000000000000000000007ee0716d32ffc0fa65f8ac7ffd263f8af898aba4 000019f6: AND 000019f7: EQ 000019f8: DUP1 000019f9: PUSH2 0x1a37 000019fc: JUMPI 000019fd: POP 000019fe: CALLER 000019ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a14: PUSH32 0x0000000000000000000000006ece2367fe06cbf5890cb60a73fde945d61f5361 00001a35: AND 00001a36: EQ 00001a37: JUMPDEST 00001a38: DUP1 00001a39: PUSH2 0x1a77 00001a3c: JUMPI 00001a3d: POP 00001a3e: CALLER 00001a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a54: PUSH32 0x00000000000000000000000008e0d320c00b3bc4990d2bd464b0f7f2fc7339b2 00001a75: AND 00001a76: EQ 00001a77: JUMPDEST 00001a78: DUP1 00001a79: PUSH2 0x1ab7 00001a7c: JUMPI 00001a7d: POP 00001a7e: CALLER 00001a7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a94: PUSH32 0x0000000000000000000000001095911d5b8ef22a99c469944fb6f945417d41a1 00001ab5: AND 00001ab6: EQ 00001ab7: JUMPDEST 00001ab8: PUSH2 0x1b1d 00001abb: JUMPI 00001abc: PUSH1 0x40 00001abe: MLOAD 00001abf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ae0: DUP2 00001ae1: MSTORE 00001ae2: PUSH1 0x20 00001ae4: PUSH1 0x04 00001ae6: DUP3 00001ae7: ADD 00001ae8: MSTORE 00001ae9: PUSH1 0x02 00001aeb: PUSH1 0x24 00001aed: DUP3 00001aee: ADD 00001aef: MSTORE 00001af0: PUSH32 0x4f50000000000000000000000000000000000000000000000000000000000000 00001b11: PUSH1 0x44 00001b13: DUP3 00001b14: ADD 00001b15: MSTORE 00001b16: PUSH1 0x64 00001b18: ADD 00001b19: PUSH2 0x1781 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b33: DUP6 00001b34: AND 00001b35: PUSH2 0x1b3c 00001b38: JUMPI 00001b39: PUSH0 00001b3a: PUSH0 00001b3b: REVERT 00001b3c: JUMPDEST 00001b3d: PUSH0 00001b3e: PUSH0 00001b3f: DUP7 00001b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b55: AND 00001b56: DUP7 00001b57: DUP7 00001b58: DUP7 00001b59: PUSH1 0x40 00001b5b: MLOAD 00001b5c: PUSH2 0x1b66 00001b5f: SWAP3 00001b60: SWAP2 00001b61: SWAP1 00001b62: PUSH2 0x20ff 00001b65: JUMP 00001b66: JUMPDEST 00001b67: PUSH0 00001b68: PUSH1 0x40 00001b6a: MLOAD 00001b6b: DUP1 00001b6c: DUP4 00001b6d: SUB 00001b6e: DUP2 00001b6f: DUP6 00001b70: DUP8 00001b71: GAS 00001b72: CALL 00001b73: SWAP3 00001b74: POP 00001b75: POP 00001b76: POP 00001b77: RETURNDATASIZE 00001b78: DUP1 00001b79: PUSH0 00001b7a: DUP2 00001b7b: EQ 00001b7c: PUSH2 0x1ba0 00001b7f: JUMPI 00001b80: PUSH1 0x40 00001b82: MLOAD 00001b83: SWAP2 00001b84: POP 00001b85: PUSH1 0x1f 00001b87: NOT 00001b88: PUSH1 0x3f 00001b8a: RETURNDATASIZE 00001b8b: ADD 00001b8c: AND 00001b8d: DUP3 00001b8e: ADD 00001b8f: PUSH1 0x40 00001b91: MSTORE 00001b92: RETURNDATASIZE 00001b93: DUP3 00001b94: MSTORE 00001b95: RETURNDATASIZE 00001b96: PUSH0 00001b97: PUSH1 0x20 00001b99: DUP5 00001b9a: ADD 00001b9b: RETURNDATACOPY 00001b9c: PUSH2 0x1ba5 00001b9f: JUMP 00001ba0: JUMPDEST 00001ba1: PUSH1 0x60 00001ba3: SWAP2 00001ba4: POP 00001ba5: JUMPDEST 00001ba6: POP 00001ba7: SWAP2 00001ba8: POP 00001ba9: SWAP2 00001baa: POP 00001bab: DUP2 00001bac: PUSH2 0x1bb3 00001baf: JUMPI 00001bb0: PUSH0 00001bb1: PUSH0 00001bb2: REVERT 00001bb3: JUMPDEST 00001bb4: SWAP7 00001bb5: SWAP6 00001bb6: POP 00001bb7: POP 00001bb8: POP 00001bb9: POP 00001bba: POP 00001bbb: POP 00001bbc: JUMP 00001bbd: JUMPDEST 00001bbe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001bdf: PUSH0 00001be0: MSTORE 00001be1: PUSH1 0x41 00001be3: PUSH1 0x04 00001be5: MSTORE 00001be6: PUSH1 0x24 00001be8: PUSH0 00001be9: REVERT 00001bea: JUMPDEST 00001beb: PUSH1 0x40 00001bed: MLOAD 00001bee: PUSH1 0x1f 00001bf0: DUP3 00001bf1: ADD 00001bf2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001c13: AND 00001c14: DUP2 00001c15: ADD 00001c16: PUSH8 0xffffffffffffffff 00001c1f: DUP2 00001c20: GT 00001c21: DUP3 00001c22: DUP3 00001c23: LT 00001c24: OR 00001c25: ISZERO 00001c26: PUSH2 0x1c31 00001c29: JUMPI 00001c2a: PUSH2 0x1c31 00001c2d: PUSH2 0x1bbd 00001c30: JUMP 00001c31: JUMPDEST 00001c32: PUSH1 0x40 00001c34: MSTORE 00001c35: SWAP2 00001c36: SWAP1 00001c37: POP 00001c38: JUMP 00001c39: JUMPDEST 00001c3a: PUSH0 00001c3b: PUSH8 0xffffffffffffffff 00001c44: DUP3 00001c45: GT 00001c46: ISZERO 00001c47: PUSH2 0x1c52 00001c4a: JUMPI 00001c4b: PUSH2 0x1c52 00001c4e: PUSH2 0x1bbd 00001c51: JUMP 00001c52: JUMPDEST 00001c53: POP 00001c54: PUSH1 0x05 00001c56: SHL 00001c57: PUSH1 0x20 00001c59: ADD 00001c5a: SWAP1 00001c5b: JUMP 00001c5c: JUMPDEST 00001c5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c72: DUP2 00001c73: AND 00001c74: DUP2 00001c75: EQ 00001c76: PUSH2 0x1c7d 00001c79: JUMPI 00001c7a: PUSH0 00001c7b: PUSH0 00001c7c: REVERT 00001c7d: JUMPDEST 00001c7e: POP 00001c7f: JUMP 00001c80: JUMPDEST 00001c81: PUSH0 00001c82: PUSH8 0xffffffffffffffff 00001c8b: DUP3 00001c8c: GT 00001c8d: ISZERO 00001c8e: PUSH2 0x1c99 00001c91: JUMPI 00001c92: PUSH2 0x1c99 00001c95: PUSH2 0x1bbd 00001c98: JUMP 00001c99: JUMPDEST 00001c9a: POP 00001c9b: PUSH1 0x1f 00001c9d: ADD 00001c9e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001cbf: AND 00001cc0: PUSH1 0x20 00001cc2: ADD 00001cc3: SWAP1 00001cc4: JUMP 00001cc5: JUMPDEST 00001cc6: PUSH0 00001cc7: DUP3 00001cc8: PUSH1 0x1f 00001cca: DUP4 00001ccb: ADD 00001ccc: SLT 00001ccd: PUSH2 0x1cd4 00001cd0: JUMPI 00001cd1: PUSH0 00001cd2: PUSH0 00001cd3: REVERT 00001cd4: JUMPDEST 00001cd5: DUP2 00001cd6: CALLDATALOAD 00001cd7: PUSH2 0x1ce7 00001cda: PUSH2 0x1ce2 00001cdd: DUP3 00001cde: PUSH2 0x1c39 00001ce1: JUMP 00001ce2: JUMPDEST 00001ce3: PUSH2 0x1bea 00001ce6: JUMP 00001ce7: JUMPDEST 00001ce8: DUP1 00001ce9: DUP3 00001cea: DUP3 00001ceb: MSTORE 00001cec: PUSH1 0x20 00001cee: DUP3 00001cef: ADD 00001cf0: SWAP2 00001cf1: POP 00001cf2: PUSH1 0x20 00001cf4: DUP4 00001cf5: PUSH1 0x05 00001cf7: SHL 00001cf8: DUP7 00001cf9: ADD 00001cfa: ADD 00001cfb: SWAP3 00001cfc: POP 00001cfd: DUP6 00001cfe: DUP4 00001cff: GT 00001d00: ISZERO 00001d01: PUSH2 0x1d08 00001d04: JUMPI 00001d05: PUSH0 00001d06: PUSH0 00001d07: REVERT 00001d08: JUMPDEST 00001d09: PUSH1 0x20 00001d0b: DUP6 00001d0c: ADD 00001d0d: JUMPDEST 00001d0e: DUP4 00001d0f: DUP2 00001d10: LT 00001d11: ISZERO 00001d12: PUSH2 0x1d89 00001d15: JUMPI 00001d16: DUP1 00001d17: CALLDATALOAD 00001d18: PUSH8 0xffffffffffffffff 00001d21: DUP2 00001d22: GT 00001d23: ISZERO 00001d24: PUSH2 0x1d2b 00001d27: JUMPI 00001d28: PUSH0 00001d29: PUSH0 00001d2a: REVERT 00001d2b: JUMPDEST 00001d2c: DUP7 00001d2d: ADD 00001d2e: PUSH1 0x3f 00001d30: DUP2 00001d31: ADD 00001d32: DUP9 00001d33: SGT 00001d34: PUSH2 0x1d3b 00001d37: JUMPI 00001d38: PUSH0 00001d39: PUSH0 00001d3a: REVERT 00001d3b: JUMPDEST 00001d3c: PUSH1 0x20 00001d3e: DUP2 00001d3f: ADD 00001d40: CALLDATALOAD 00001d41: PUSH2 0x1d4c 00001d44: PUSH2 0x1ce2 00001d47: DUP3 00001d48: PUSH2 0x1c80 00001d4b: JUMP 00001d4c: JUMPDEST 00001d4d: DUP2 00001d4e: DUP2 00001d4f: MSTORE 00001d50: PUSH1 0x40 00001d52: DUP4 00001d53: DUP4 00001d54: ADD 00001d55: ADD 00001d56: DUP11 00001d57: LT 00001d58: ISZERO 00001d59: PUSH2 0x1d60 00001d5c: JUMPI 00001d5d: PUSH0 00001d5e: PUSH0 00001d5f: REVERT 00001d60: JUMPDEST 00001d61: DUP2 00001d62: PUSH1 0x40 00001d64: DUP5 00001d65: ADD 00001d66: PUSH1 0x20 00001d68: DUP4 00001d69: ADD 00001d6a: CALLDATACOPY 00001d6b: PUSH0 00001d6c: PUSH1 0x20 00001d6e: DUP4 00001d6f: DUP4 00001d70: ADD 00001d71: ADD 00001d72: MSTORE 00001d73: DUP1 00001d74: DUP7 00001d75: MSTORE 00001d76: POP 00001d77: POP 00001d78: POP 00001d79: PUSH1 0x20 00001d7b: DUP4 00001d7c: ADD 00001d7d: SWAP3 00001d7e: POP 00001d7f: PUSH1 0x20 00001d81: DUP2 00001d82: ADD 00001d83: SWAP1 00001d84: POP 00001d85: PUSH2 0x1d0d 00001d88: JUMP 00001d89: JUMPDEST 00001d8a: POP 00001d8b: SWAP6 00001d8c: SWAP5 00001d8d: POP 00001d8e: POP 00001d8f: POP 00001d90: POP 00001d91: POP 00001d92: JUMP 00001d93: JUMPDEST 00001d94: PUSH0 00001d95: DUP3 00001d96: PUSH1 0x1f 00001d98: DUP4 00001d99: ADD 00001d9a: SLT 00001d9b: PUSH2 0x1da2 00001d9e: JUMPI 00001d9f: PUSH0 00001da0: PUSH0 00001da1: REVERT 00001da2: JUMPDEST 00001da3: DUP2 00001da4: CALLDATALOAD 00001da5: PUSH2 0x1db0 00001da8: PUSH2 0x1ce2 00001dab: DUP3 00001dac: PUSH2 0x1c39 00001daf: JUMP 00001db0: JUMPDEST 00001db1: DUP1 00001db2: DUP3 00001db3: DUP3 00001db4: MSTORE 00001db5: PUSH1 0x20 00001db7: DUP3 00001db8: ADD 00001db9: SWAP2 00001dba: POP 00001dbb: PUSH1 0x20 00001dbd: DUP4 00001dbe: PUSH1 0x05 00001dc0: SHL 00001dc1: DUP7 00001dc2: ADD 00001dc3: ADD 00001dc4: SWAP3 00001dc5: POP 00001dc6: DUP6 00001dc7: DUP4 00001dc8: GT 00001dc9: ISZERO 00001dca: PUSH2 0x1dd1 00001dcd: JUMPI 00001dce: PUSH0 00001dcf: PUSH0 00001dd0: REVERT 00001dd1: JUMPDEST 00001dd2: PUSH1 0x20 00001dd4: DUP6 00001dd5: ADD 00001dd6: JUMPDEST 00001dd7: DUP4 00001dd8: DUP2 00001dd9: LT 00001dda: ISZERO 00001ddb: PUSH2 0x1d89 00001dde: JUMPI 00001ddf: DUP1 00001de0: CALLDATALOAD 00001de1: DUP4 00001de2: MSTORE 00001de3: PUSH1 0x20 00001de5: SWAP3 00001de6: DUP4 00001de7: ADD 00001de8: SWAP3 00001de9: ADD 00001dea: PUSH2 0x1dd6 00001ded: JUMP 00001dee: JUMPDEST 00001def: PUSH0 00001df0: PUSH0 00001df1: PUSH0 00001df2: PUSH1 0x60 00001df4: DUP5 00001df5: DUP7 00001df6: SUB 00001df7: SLT 00001df8: ISZERO 00001df9: PUSH2 0x1e00 00001dfc: JUMPI 00001dfd: PUSH0 00001dfe: PUSH0 00001dff: REVERT 00001e00: JUMPDEST 00001e01: DUP4 00001e02: CALLDATALOAD 00001e03: PUSH8 0xffffffffffffffff 00001e0c: DUP2 00001e0d: GT 00001e0e: ISZERO 00001e0f: PUSH2 0x1e16 00001e12: JUMPI 00001e13: PUSH0 00001e14: PUSH0 00001e15: REVERT 00001e16: JUMPDEST 00001e17: DUP5 00001e18: ADD 00001e19: PUSH1 0x1f 00001e1b: DUP2 00001e1c: ADD 00001e1d: DUP7 00001e1e: SGT 00001e1f: PUSH2 0x1e26 00001e22: JUMPI 00001e23: PUSH0 00001e24: PUSH0 00001e25: REVERT 00001e26: JUMPDEST 00001e27: DUP1 00001e28: CALLDATALOAD 00001e29: PUSH2 0x1e34 00001e2c: PUSH2 0x1ce2 00001e2f: DUP3 00001e30: PUSH2 0x1c39 00001e33: JUMP 00001e34: JUMPDEST 00001e35: DUP1 00001e36: DUP3 00001e37: DUP3 00001e38: MSTORE 00001e39: PUSH1 0x20 00001e3b: DUP3 00001e3c: ADD 00001e3d: SWAP2 00001e3e: POP 00001e3f: PUSH1 0x20 00001e41: DUP4 00001e42: PUSH1 0x05 00001e44: SHL 00001e45: DUP6 00001e46: ADD 00001e47: ADD 00001e48: SWAP3 00001e49: POP 00001e4a: DUP9 00001e4b: DUP4 00001e4c: GT 00001e4d: ISZERO 00001e4e: PUSH2 0x1e55 00001e51: JUMPI 00001e52: PUSH0 00001e53: PUSH0 00001e54: REVERT 00001e55: JUMPDEST 00001e56: PUSH1 0x20 00001e58: DUP5 00001e59: ADD 00001e5a: SWAP4 00001e5b: POP 00001e5c: JUMPDEST 00001e5d: DUP3 00001e5e: DUP5 00001e5f: LT 00001e60: ISZERO 00001e61: PUSH2 0x1e80 00001e64: JUMPI 00001e65: DUP4 00001e66: CALLDATALOAD 00001e67: PUSH2 0x1e6f 00001e6a: DUP2 00001e6b: PUSH2 0x1c5c 00001e6e: JUMP 00001e6f: JUMPDEST 00001e70: DUP3 00001e71: MSTORE 00001e72: PUSH1 0x20 00001e74: SWAP4 00001e75: DUP5 00001e76: ADD 00001e77: SWAP4 00001e78: SWAP1 00001e79: SWAP2 00001e7a: ADD 00001e7b: SWAP1 00001e7c: PUSH2 0x1e5c 00001e7f: JUMP 00001e80: JUMPDEST 00001e81: SWAP6 00001e82: POP 00001e83: POP 00001e84: POP 00001e85: POP 00001e86: PUSH1 0x20 00001e88: DUP5 00001e89: ADD 00001e8a: CALLDATALOAD 00001e8b: PUSH8 0xffffffffffffffff 00001e94: DUP2 00001e95: GT 00001e96: ISZERO 00001e97: PUSH2 0x1e9e 00001e9a: JUMPI 00001e9b: PUSH0 00001e9c: PUSH0 00001e9d: REVERT 00001e9e: JUMPDEST 00001e9f: PUSH2 0x1eaa 00001ea2: DUP7 00001ea3: DUP3 00001ea4: DUP8 00001ea5: ADD 00001ea6: PUSH2 0x1cc5 00001ea9: JUMP 00001eaa: JUMPDEST 00001eab: SWAP3 00001eac: POP 00001ead: POP 00001eae: PUSH1 0x40 00001eb0: DUP5 00001eb1: ADD 00001eb2: CALLDATALOAD 00001eb3: PUSH8 0xffffffffffffffff 00001ebc: DUP2 00001ebd: GT 00001ebe: ISZERO 00001ebf: PUSH2 0x1ec6 00001ec2: JUMPI 00001ec3: PUSH0 00001ec4: PUSH0 00001ec5: REVERT 00001ec6: JUMPDEST 00001ec7: PUSH2 0x1ed2 00001eca: DUP7 00001ecb: DUP3 00001ecc: DUP8 00001ecd: ADD 00001ece: PUSH2 0x1d93 00001ed1: JUMP 00001ed2: JUMPDEST 00001ed3: SWAP2 00001ed4: POP 00001ed5: POP 00001ed6: SWAP3 00001ed7: POP 00001ed8: SWAP3 00001ed9: POP 00001eda: SWAP3 00001edb: JUMP 00001edc: JUMPDEST 00001edd: PUSH0 00001ede: DUP2 00001edf: MLOAD 00001ee0: DUP1 00001ee1: DUP5 00001ee2: MSTORE 00001ee3: DUP1 00001ee4: PUSH1 0x20 00001ee6: DUP5 00001ee7: ADD 00001ee8: PUSH1 0x20 00001eea: DUP7 00001eeb: ADD 00001eec: MCOPY 00001eed: PUSH0 00001eee: PUSH1 0x20 00001ef0: DUP3 00001ef1: DUP7 00001ef2: ADD 00001ef3: ADD 00001ef4: MSTORE 00001ef5: PUSH1 0x20 00001ef7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001f18: PUSH1 0x1f 00001f1a: DUP4 00001f1b: ADD 00001f1c: AND 00001f1d: DUP6 00001f1e: ADD 00001f1f: ADD 00001f20: SWAP2 00001f21: POP 00001f22: POP 00001f23: SWAP3 00001f24: SWAP2 00001f25: POP 00001f26: POP 00001f27: JUMP 00001f28: JUMPDEST 00001f29: PUSH0 00001f2a: PUSH1 0x20 00001f2c: DUP3 00001f2d: ADD 00001f2e: PUSH1 0x20 00001f30: DUP4 00001f31: MSTORE 00001f32: DUP1 00001f33: DUP5 00001f34: MLOAD 00001f35: DUP1 00001f36: DUP4 00001f37: MSTORE 00001f38: PUSH1 0x40 00001f3a: DUP6 00001f3b: ADD 00001f3c: SWAP2 00001f3d: POP 00001f3e: PUSH1 0x40 00001f40: DUP2 00001f41: PUSH1 0x05 00001f43: SHL 00001f44: DUP7 00001f45: ADD 00001f46: ADD 00001f47: SWAP3 00001f48: POP 00001f49: PUSH1 0x20 00001f4b: DUP7 00001f4c: ADD 00001f4d: PUSH0 00001f4e: JUMPDEST 00001f4f: DUP3 00001f50: DUP2 00001f51: LT 00001f52: ISZERO 00001f53: PUSH2 0x1f9d 00001f56: JUMPI 00001f57: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0 00001f78: DUP8 00001f79: DUP7 00001f7a: SUB 00001f7b: ADD 00001f7c: DUP5 00001f7d: MSTORE 00001f7e: PUSH2 0x1f88 00001f81: DUP6 00001f82: DUP4 00001f83: MLOAD 00001f84: PUSH2 0x1edc 00001f87: JUMP 00001f88: JUMPDEST 00001f89: SWAP5 00001f8a: POP 00001f8b: PUSH1 0x20 00001f8d: SWAP4 00001f8e: DUP5 00001f8f: ADD 00001f90: SWAP4 00001f91: SWAP2 00001f92: SWAP1 00001f93: SWAP2 00001f94: ADD 00001f95: SWAP1 00001f96: PUSH1 0x01 00001f98: ADD 00001f99: PUSH2 0x1f4e 00001f9c: JUMP 00001f9d: JUMPDEST 00001f9e: POP 00001f9f: SWAP3 00001fa0: SWAP7 00001fa1: SWAP6 00001fa2: POP 00001fa3: POP 00001fa4: POP 00001fa5: POP 00001fa6: POP 00001fa7: POP 00001fa8: JUMP 00001fa9: JUMPDEST 00001faa: PUSH0 00001fab: PUSH0 00001fac: PUSH0 00001fad: PUSH0 00001fae: PUSH1 0x60 00001fb0: DUP6 00001fb1: DUP8 00001fb2: SUB 00001fb3: SLT 00001fb4: ISZERO 00001fb5: PUSH2 0x1fbc 00001fb8: JUMPI 00001fb9: PUSH0 00001fba: PUSH0 00001fbb: REVERT 00001fbc: JUMPDEST 00001fbd: DUP5 00001fbe: CALLDATALOAD 00001fbf: PUSH2 0x1fc7 00001fc2: DUP2 00001fc3: PUSH2 0x1c5c 00001fc6: JUMP 00001fc7: JUMPDEST 00001fc8: SWAP4 00001fc9: POP 00001fca: PUSH1 0x20 00001fcc: DUP6 00001fcd: ADD 00001fce: CALLDATALOAD 00001fcf: SWAP3 00001fd0: POP 00001fd1: PUSH1 0x40 00001fd3: DUP6 00001fd4: ADD 00001fd5: CALLDATALOAD 00001fd6: PUSH8 0xffffffffffffffff 00001fdf: DUP2 00001fe0: GT 00001fe1: ISZERO 00001fe2: PUSH2 0x1fe9 00001fe5: JUMPI 00001fe6: PUSH0 00001fe7: PUSH0 00001fe8: REVERT 00001fe9: JUMPDEST 00001fea: DUP6 00001feb: ADD 00001fec: PUSH1 0x1f 00001fee: DUP2 00001fef: ADD 00001ff0: DUP8 00001ff1: SGT 00001ff2: PUSH2 0x1ff9 00001ff5: JUMPI 00001ff6: PUSH0 00001ff7: PUSH0 00001ff8: REVERT 00001ff9: JUMPDEST 00001ffa: DUP1 00001ffb: CALLDATALOAD 00001ffc: PUSH8 0xffffffffffffffff 00002005: DUP2 00002006: GT 00002007: ISZERO 00002008: PUSH2 0x200f 0000200b: JUMPI 0000200c: PUSH0 0000200d: PUSH0 0000200e: REVERT 0000200f: JUMPDEST 00002010: DUP8 00002011: PUSH1 0x20 00002013: DUP3 00002014: DUP5 00002015: ADD 00002016: ADD 00002017: GT 00002018: ISZERO 00002019: PUSH2 0x2020 0000201c: JUMPI 0000201d: PUSH0 0000201e: PUSH0 0000201f: REVERT 00002020: JUMPDEST 00002021: SWAP5 00002022: SWAP8 00002023: SWAP4 00002024: SWAP7 00002025: POP 00002026: PUSH1 0x20 00002028: ADD 00002029: SWAP5 0000202a: POP 0000202b: POP 0000202c: POP 0000202d: JUMP 0000202e: JUMPDEST 0000202f: PUSH1 0x20 00002031: DUP2 00002032: MSTORE 00002033: PUSH0 00002034: PUSH2 0x2040 00002037: PUSH1 0x20 00002039: DUP4 0000203a: ADD 0000203b: DUP5 0000203c: PUSH2 0x1edc 0000203f: JUMP 00002040: JUMPDEST 00002041: SWAP4 00002042: SWAP3 00002043: POP 00002044: POP 00002045: POP 00002046: JUMP 00002047: JUMPDEST 00002048: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002069: PUSH0 0000206a: MSTORE 0000206b: PUSH1 0x32 0000206d: PUSH1 0x04 0000206f: MSTORE 00002070: PUSH1 0x24 00002072: PUSH0 00002073: REVERT 00002074: JUMPDEST 00002075: PUSH0 00002076: DUP3 00002077: MLOAD 00002078: DUP1 00002079: PUSH1 0x20 0000207b: DUP6 0000207c: ADD 0000207d: DUP5 0000207e: MCOPY 0000207f: PUSH0 00002080: SWAP3 00002081: ADD 00002082: SWAP2 00002083: DUP3 00002084: MSTORE 00002085: POP 00002086: SWAP2 00002087: SWAP1 00002088: POP 00002089: JUMP 0000208a: JUMPDEST 0000208b: PUSH0 0000208c: PUSH1 0x20 0000208e: DUP3 0000208f: DUP5 00002090: SUB 00002091: SLT 00002092: ISZERO 00002093: PUSH2 0x209a 00002096: JUMPI 00002097: PUSH0 00002098: PUSH0 00002099: REVERT 0000209a: JUMPDEST 0000209b: DUP2 0000209c: MLOAD 0000209d: PUSH8 0xffffffffffffffff 000020a6: DUP2 000020a7: GT 000020a8: ISZERO 000020a9: PUSH2 0x20b0 000020ac: JUMPI 000020ad: PUSH0 000020ae: PUSH0 000020af: REVERT 000020b0: JUMPDEST 000020b1: DUP3 000020b2: ADD 000020b3: PUSH1 0x1f 000020b5: DUP2 000020b6: ADD 000020b7: DUP5 000020b8: SGT 000020b9: PUSH2 0x20c0 000020bc: JUMPI 000020bd: PUSH0 000020be: PUSH0 000020bf: REVERT 000020c0: JUMPDEST 000020c1: DUP1 000020c2: MLOAD 000020c3: PUSH2 0x20ce 000020c6: PUSH2 0x1ce2 000020c9: DUP3 000020ca: PUSH2 0x1c80 000020cd: JUMP 000020ce: JUMPDEST 000020cf: DUP2 000020d0: DUP2 000020d1: MSTORE 000020d2: DUP6 000020d3: PUSH1 0x20 000020d5: DUP4 000020d6: DUP6 000020d7: ADD 000020d8: ADD 000020d9: GT 000020da: ISZERO 000020db: PUSH2 0x20e2 000020de: JUMPI 000020df: PUSH0 000020e0: PUSH0 000020e1: REVERT 000020e2: JUMPDEST 000020e3: DUP2 000020e4: PUSH1 0x20 000020e6: DUP5 000020e7: ADD 000020e8: PUSH1 0x20 000020ea: DUP4 000020eb: ADD 000020ec: MCOPY 000020ed: PUSH0 000020ee: SWAP2 000020ef: DUP2 000020f0: ADD 000020f1: PUSH1 0x20 000020f3: ADD 000020f4: SWAP2 000020f5: SWAP1 000020f6: SWAP2 000020f7: MSTORE 000020f8: SWAP5 000020f9: SWAP4 000020fa: POP 000020fb: POP 000020fc: POP 000020fd: POP 000020fe: JUMP 000020ff: JUMPDEST 00002100: DUP2 00002101: DUP4 00002102: DUP3 00002103: CALLDATACOPY 00002104: PUSH0 00002105: SWAP2 00002106: ADD 00002107: SWAP1 00002108: DUP2 00002109: MSTORE 0000210a: SWAP2 0000210b: SWAP1 0000210c: POP 0000210d: JUMP 0000210e: INVALID 0000210f: LOG2 00002110: PUSH5 0x6970667358 00002116: UNKNOWN(0x22) 00002117: SLT 00002118: KECCAK256 00002119: UNKNOWN(0xA7) 0000211a: SSTORE 0000211b: UNKNOWN(0xC0) 0000211c: SWAP3 0000211d: ISZERO 0000211e: STOP 0000211f: UNKNOWN(0xC0) 00002120: CREATE2 00002121: POP 00002122: CALL 00002123: UNKNOWN(0xB7) 00002124: DUP6 00002125: JUMPDEST 00002126: UNKNOWN(0xF6) 00002127: UNKNOWN(0xD7) 00002128: UNKNOWN(0x2B) 00002129: DELEGATECALL 0000212a: MLOAD 0000212b: SLT 0000212c: UNKNOWN(0xB5) 0000212d: SSTORE 0000212e: SIGNEXTEND 0000212f: UNKNOWN(0x2F) 00002130: JUMP 00002131: UNKNOWN(0xC2) 00002132: SAR 00002133: UNKNOWN(0xB9) 00002134: SSTORE 00002135: UNKNOWN(0xF6) 00002136: UNKNOWN(0xD0) 00002137: UNKNOWN(0xC7) 00002138: DUP8 00002139: PUSH5 0x736f6c6343 0000213f: STOP 00002140: ADDMOD 00002141: SHR 00002142: STOP 00002143: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0x8c57ac3c8a034069179fc57c0e74ae778e369b7fcdd956862732a62d9f837795
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 60,
"trace_id": "0x8c57ac3c8a034069179fc57c0e74ae778e369b7fcdd956862732a62d9f837795",
"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": "0x28181829",
"selector": "0x28181829",
"calldata_variants": [
"0x28181829",
"0x281818290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08c379a0",
"selector": "0x08c379a0",
"calldata_variants": [
"0x08c379a0",
"0x08c379a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23a69e75",
"selector": "0x23a69e75",
"calldata_variants": [
"0x23a69e75",
"0x23a69e750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 8489,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 4741,
"type": "msg_sender_eq_const",
"value": 2.2154441650658624e+34
},
{
"pc": 4630,
"type": "tx_origin_used"
},
{
"pc": 4637,
"type": "tx_origin_used"
},
{
"pc": 4644,
"type": "tx_origin_used"
},
{
"pc": 4651,
"type": "tx_origin_used"
},
{
"pc": 5671,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5734,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5798,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5862,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6591,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6654,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6718,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6782,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x28181829",
"selector": "0x28181829",
"calldata_variants": [
"0x28181829",
"0x281818290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08c379a0",
"selector": "0x08c379a0",
"calldata_variants": [
"0x08c379a0",
"0x08c379a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23a69e75",
"selector": "0x23a69e75",
"calldata_variants": [
"0x23a69e75",
"0x23a69e750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 4741,
"type": "msg_sender_eq_const",
"value": 2.2154441650658624e+34
},
{
"pc": 4630,
"type": "tx_origin_used"
},
{
"pc": 4637,
"type": "tx_origin_used"
},
{
"pc": 4644,
"type": "tx_origin_used"
},
{
"pc": 4651,
"type": "tx_origin_used"
},
{
"pc": 5671,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5734,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5798,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5862,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6591,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6654,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6718,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6782,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc92ec9d39a47d307fb1e4af767cc0456299183a03d9681bcfb8090e0db784843
call_targets:
0x27e141dd285fe00d52aaabf6aef1db34745173ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc92ec9d39a47d307fb1e4af767cc0456299183a03d9681bcfb8090e0db784843",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x27e141dd285fe00d52aaabf6aef1db34745173ba"
],
"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": "0x28181829",
"selector": "0x28181829",
"calldata_variants": [
"0x28181829",
"0x281818290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08c379a0",
"selector": "0x08c379a0",
"calldata_variants": [
"0x08c379a0",
"0x08c379a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23a69e75",
"selector": "0x23a69e75",
"calldata_variants": [
"0x23a69e75",
"0x23a69e750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 588,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 704,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
},
{
"pc": 1269,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
}
],
"call_count": 19,
"guards_detected": [
{
"pc": 4741,
"type": "msg_sender_eq_const",
"value": 2.2154441650658624e+34
},
{
"pc": 4630,
"type": "tx_origin_used"
},
{
"pc": 4637,
"type": "tx_origin_used"
},
{
"pc": 4644,
"type": "tx_origin_used"
},
{
"pc": 4651,
"type": "tx_origin_used"
},
{
"pc": 5671,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5734,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5798,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5862,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6591,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6654,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6718,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6782,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 18
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc92ec9d39a47d307fb1e4af767cc0456299183a03d9681bcfb8090e0db784843
call_targets:
0x27e141dd285fe00d52aaabf6aef1db34745173ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc92ec9d39a47d307fb1e4af767cc0456299183a03d9681bcfb8090e0db784843",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x27e141dd285fe00d52aaabf6aef1db34745173ba"
],
"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": "0x28181829",
"selector": "0x28181829",
"calldata_variants": [
"0x28181829",
"0x281818290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08c379a0",
"selector": "0x08c379a0",
"calldata_variants": [
"0x08c379a0",
"0x08c379a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23a69e75",
"selector": "0x23a69e75",
"calldata_variants": [
"0x23a69e75",
"0x23a69e750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 588,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1439,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1762,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 16,
"guards_detected": [
{
"pc": 4741,
"type": "msg_sender_eq_const",
"value": 2.2154441650658624e+34
},
{
"pc": 4630,
"type": "tx_origin_used"
},
{
"pc": 4637,
"type": "tx_origin_used"
},
{
"pc": 4644,
"type": "tx_origin_used"
},
{
"pc": 4651,
"type": "tx_origin_used"
},
{
"pc": 5671,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5734,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5798,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 5862,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6591,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6654,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6718,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 6782,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x1c6cf15faab29b92e38691ef2763abe3262f2a3bfb70488f1c0be657e644f949
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 10,
"trace_id": "0x1c6cf15faab29b92e38691ef2763abe3262f2a3bfb70488f1c0be657e644f949",
"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": "0x28181829",
"selector": "0x28181829",
"calldata_variants": [
"0x28181829",
"0x281818290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6dbf2fa0",
"selector": "0x6dbf2fa0",
"calldata_variants": [
"0x6dbf2fa0",
"0x6dbf2fa00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08c379a0",
"selector": "0x08c379a0",
"calldata_variants": [
"0x08c379a0",
"0x08c379a00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23a69e75",
"selector": "0x23a69e75",
"calldata_variants": [
"0x23a69e75",
"0x23a69e750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91dd7346",
"selector": "0x91dd7346",
"calldata_variants": [
"0x91dd7346",
"0x91dd73460000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|