019b477e-b409-7358-b767-b2a14419b603
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 |
|---|---|---|---|---|
| 22657 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 22658 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 89597 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89598 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89599 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89600 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x00a4 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x70324b77 0000003c: EQ 0000003d: PUSH2 0x00a9 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x715018a6 00000047: EQ 00000048: PUSH2 0x0120 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x8340f549 00000052: EQ 00000053: PUSH2 0x0137 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x8da5cb5b 0000005d: EQ 0000005e: PUSH2 0x0197 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x9e45e0d0 00000068: EQ 00000069: PUSH2 0x01ee 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xaaff096d 00000073: EQ 00000074: PUSH2 0x0245 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xf2fde38b 0000007e: EQ 0000007f: PUSH2 0x0288 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xf7cdf47c 00000089: EQ 0000008a: PUSH2 0x02cb 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xf940e385 00000094: EQ 00000095: PUSH2 0x0322 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xffa1ad74 0000009f: EQ 000000a0: PUSH2 0x0385 000000a3: JUMPI 000000a4: JUMPDEST 000000a5: PUSH1 0x00 000000a7: DUP1 000000a8: REVERT 000000a9: JUMPDEST 000000aa: CALLVALUE 000000ab: DUP1 000000ac: ISZERO 000000ad: PUSH2 0x00b5 000000b0: JUMPI 000000b1: PUSH1 0x00 000000b3: DUP1 000000b4: REVERT 000000b5: JUMPDEST 000000b6: POP 000000b7: PUSH2 0x010a 000000ba: PUSH1 0x04 000000bc: DUP1 000000bd: CALLDATASIZE 000000be: SUB 000000bf: DUP2 000000c0: ADD 000000c1: SWAP1 000000c2: DUP1 000000c3: DUP1 000000c4: CALLDATALOAD 000000c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000da: AND 000000db: SWAP1 000000dc: PUSH1 0x20 000000de: ADD 000000df: SWAP1 000000e0: SWAP3 000000e1: SWAP2 000000e2: SWAP1 000000e3: DUP1 000000e4: CALLDATALOAD 000000e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000fa: AND 000000fb: SWAP1 000000fc: PUSH1 0x20 000000fe: ADD 000000ff: SWAP1 00000100: SWAP3 00000101: SWAP2 00000102: SWAP1 00000103: POP 00000104: POP 00000105: POP 00000106: PUSH2 0x0415 00000109: JUMP 0000010a: JUMPDEST 0000010b: PUSH1 0x40 0000010d: MLOAD 0000010e: DUP1 0000010f: DUP3 00000110: DUP2 00000111: MSTORE 00000112: PUSH1 0x20 00000114: ADD 00000115: SWAP2 00000116: POP 00000117: POP 00000118: PUSH1 0x40 0000011a: MLOAD 0000011b: DUP1 0000011c: SWAP2 0000011d: SUB 0000011e: SWAP1 0000011f: RETURN 00000120: JUMPDEST 00000121: CALLVALUE 00000122: DUP1 00000123: ISZERO 00000124: PUSH2 0x012c 00000127: JUMPI 00000128: PUSH1 0x00 0000012a: DUP1 0000012b: REVERT 0000012c: JUMPDEST 0000012d: POP 0000012e: PUSH2 0x0135 00000131: PUSH2 0x043a 00000134: JUMP 00000135: JUMPDEST 00000136: STOP 00000137: JUMPDEST 00000138: PUSH2 0x0195 0000013b: PUSH1 0x04 0000013d: DUP1 0000013e: CALLDATASIZE 0000013f: SUB 00000140: DUP2 00000141: ADD 00000142: SWAP1 00000143: DUP1 00000144: DUP1 00000145: CALLDATALOAD 00000146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015b: AND 0000015c: SWAP1 0000015d: PUSH1 0x20 0000015f: ADD 00000160: SWAP1 00000161: SWAP3 00000162: SWAP2 00000163: SWAP1 00000164: DUP1 00000165: CALLDATALOAD 00000166: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000017b: AND 0000017c: SWAP1 0000017d: PUSH1 0x20 0000017f: ADD 00000180: SWAP1 00000181: SWAP3 00000182: SWAP2 00000183: SWAP1 00000184: DUP1 00000185: CALLDATALOAD 00000186: SWAP1 00000187: PUSH1 0x20 00000189: ADD 0000018a: SWAP1 0000018b: SWAP3 0000018c: SWAP2 0000018d: SWAP1 0000018e: POP 0000018f: POP 00000190: POP 00000191: PUSH2 0x053c 00000194: JUMP 00000195: JUMPDEST 00000196: STOP 00000197: JUMPDEST 00000198: CALLVALUE 00000199: DUP1 0000019a: ISZERO 0000019b: PUSH2 0x01a3 0000019e: JUMPI 0000019f: PUSH1 0x00 000001a1: DUP1 000001a2: REVERT 000001a3: JUMPDEST 000001a4: POP 000001a5: PUSH2 0x01ac 000001a8: PUSH2 0x07c2 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH1 0x40 000001af: MLOAD 000001b0: DUP1 000001b1: DUP3 000001b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c7: AND 000001c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001dd: AND 000001de: DUP2 000001df: MSTORE 000001e0: PUSH1 0x20 000001e2: ADD 000001e3: SWAP2 000001e4: POP 000001e5: POP 000001e6: PUSH1 0x40 000001e8: MLOAD 000001e9: DUP1 000001ea: SWAP2 000001eb: SUB 000001ec: SWAP1 000001ed: RETURN 000001ee: JUMPDEST 000001ef: CALLVALUE 000001f0: DUP1 000001f1: ISZERO 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: POP 000001fc: PUSH2 0x0203 000001ff: PUSH2 0x07e7 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH1 0x40 00000206: MLOAD 00000207: DUP1 00000208: DUP3 00000209: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000021e: AND 0000021f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000234: AND 00000235: DUP2 00000236: MSTORE 00000237: PUSH1 0x20 00000239: ADD 0000023a: SWAP2 0000023b: POP 0000023c: POP 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: DUP1 00000241: SWAP2 00000242: SUB 00000243: SWAP1 00000244: RETURN 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x0286 00000256: PUSH1 0x04 00000258: DUP1 00000259: CALLDATASIZE 0000025a: SUB 0000025b: DUP2 0000025c: ADD 0000025d: SWAP1 0000025e: DUP1 0000025f: DUP1 00000260: CALLDATALOAD 00000261: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000276: AND 00000277: SWAP1 00000278: PUSH1 0x20 0000027a: ADD 0000027b: SWAP1 0000027c: SWAP3 0000027d: SWAP2 0000027e: SWAP1 0000027f: POP 00000280: POP 00000281: POP 00000282: PUSH2 0x080d 00000285: JUMP 00000286: JUMPDEST 00000287: STOP 00000288: JUMPDEST 00000289: CALLVALUE 0000028a: DUP1 0000028b: ISZERO 0000028c: PUSH2 0x0294 0000028f: JUMPI 00000290: PUSH1 0x00 00000292: DUP1 00000293: REVERT 00000294: JUMPDEST 00000295: POP 00000296: PUSH2 0x02c9 00000299: PUSH1 0x04 0000029b: DUP1 0000029c: CALLDATASIZE 0000029d: SUB 0000029e: DUP2 0000029f: ADD 000002a0: SWAP1 000002a1: DUP1 000002a2: DUP1 000002a3: CALLDATALOAD 000002a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b9: AND 000002ba: SWAP1 000002bb: PUSH1 0x20 000002bd: ADD 000002be: SWAP1 000002bf: SWAP3 000002c0: SWAP2 000002c1: SWAP1 000002c2: POP 000002c3: POP 000002c4: POP 000002c5: PUSH2 0x0965 000002c8: JUMP 000002c9: JUMPDEST 000002ca: STOP 000002cb: JUMPDEST 000002cc: CALLVALUE 000002cd: DUP1 000002ce: ISZERO 000002cf: PUSH2 0x02d7 000002d2: JUMPI 000002d3: PUSH1 0x00 000002d5: DUP1 000002d6: REVERT 000002d7: JUMPDEST 000002d8: POP 000002d9: PUSH2 0x02e0 000002dc: PUSH2 0x09cc 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH1 0x40 000002e3: MLOAD 000002e4: DUP1 000002e5: DUP3 000002e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002fb: AND 000002fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000311: AND 00000312: DUP2 00000313: MSTORE 00000314: PUSH1 0x20 00000316: ADD 00000317: SWAP2 00000318: POP 00000319: POP 0000031a: PUSH1 0x40 0000031c: MLOAD 0000031d: DUP1 0000031e: SWAP2 0000031f: SUB 00000320: SWAP1 00000321: RETURN 00000322: JUMPDEST 00000323: CALLVALUE 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: POP 00000330: PUSH2 0x0383 00000333: PUSH1 0x04 00000335: DUP1 00000336: CALLDATASIZE 00000337: SUB 00000338: DUP2 00000339: ADD 0000033a: SWAP1 0000033b: DUP1 0000033c: DUP1 0000033d: CALLDATALOAD 0000033e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000353: AND 00000354: SWAP1 00000355: PUSH1 0x20 00000357: ADD 00000358: SWAP1 00000359: SWAP3 0000035a: SWAP2 0000035b: SWAP1 0000035c: DUP1 0000035d: CALLDATALOAD 0000035e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000373: AND 00000374: SWAP1 00000375: PUSH1 0x20 00000377: ADD 00000378: SWAP1 00000379: SWAP3 0000037a: SWAP2 0000037b: SWAP1 0000037c: POP 0000037d: POP 0000037e: POP 0000037f: PUSH2 0x09e4 00000382: JUMP 00000383: JUMPDEST 00000384: STOP 00000385: JUMPDEST 00000386: CALLVALUE 00000387: DUP1 00000388: ISZERO 00000389: PUSH2 0x0391 0000038c: JUMPI 0000038d: PUSH1 0x00 0000038f: DUP1 00000390: REVERT 00000391: JUMPDEST 00000392: POP 00000393: PUSH2 0x039a 00000396: PUSH2 0x0d37 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH1 0x40 0000039d: MLOAD 0000039e: DUP1 0000039f: DUP1 000003a0: PUSH1 0x20 000003a2: ADD 000003a3: DUP3 000003a4: DUP2 000003a5: SUB 000003a6: DUP3 000003a7: MSTORE 000003a8: DUP4 000003a9: DUP2 000003aa: DUP2 000003ab: MLOAD 000003ac: DUP2 000003ad: MSTORE 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: SWAP2 000003b2: POP 000003b3: DUP1 000003b4: MLOAD 000003b5: SWAP1 000003b6: PUSH1 0x20 000003b8: ADD 000003b9: SWAP1 000003ba: DUP1 000003bb: DUP4 000003bc: DUP4 000003bd: PUSH1 0x00 000003bf: JUMPDEST 000003c0: DUP4 000003c1: DUP2 000003c2: LT 000003c3: ISZERO 000003c4: PUSH2 0x03da 000003c7: JUMPI 000003c8: DUP1 000003c9: DUP3 000003ca: ADD 000003cb: MLOAD 000003cc: DUP2 000003cd: DUP5 000003ce: ADD 000003cf: MSTORE 000003d0: PUSH1 0x20 000003d2: DUP2 000003d3: ADD 000003d4: SWAP1 000003d5: POP 000003d6: PUSH2 0x03bf 000003d9: JUMP 000003da: JUMPDEST 000003db: POP 000003dc: POP 000003dd: POP 000003de: POP 000003df: SWAP1 000003e0: POP 000003e1: SWAP1 000003e2: DUP2 000003e3: ADD 000003e4: SWAP1 000003e5: PUSH1 0x1f 000003e7: AND 000003e8: DUP1 000003e9: ISZERO 000003ea: PUSH2 0x0407 000003ed: JUMPI 000003ee: DUP1 000003ef: DUP3 000003f0: SUB 000003f1: DUP1 000003f2: MLOAD 000003f3: PUSH1 0x01 000003f5: DUP4 000003f6: PUSH1 0x20 000003f8: SUB 000003f9: PUSH2 0x0100 000003fc: EXP 000003fd: SUB 000003fe: NOT 000003ff: AND 00000400: DUP2 00000401: MSTORE 00000402: PUSH1 0x20 00000404: ADD 00000405: SWAP2 00000406: POP 00000407: JUMPDEST 00000408: POP 00000409: SWAP3 0000040a: POP 0000040b: POP 0000040c: POP 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: DUP1 00000411: SWAP2 00000412: SUB 00000413: SWAP1 00000414: RETURN 00000415: JUMPDEST 00000416: PUSH1 0x03 00000418: PUSH1 0x20 0000041a: MSTORE 0000041b: DUP2 0000041c: PUSH1 0x00 0000041e: MSTORE 0000041f: PUSH1 0x40 00000421: PUSH1 0x00 00000423: KECCAK256 00000424: PUSH1 0x20 00000426: MSTORE 00000427: DUP1 00000428: PUSH1 0x00 0000042a: MSTORE 0000042b: PUSH1 0x40 0000042d: PUSH1 0x00 0000042f: KECCAK256 00000430: PUSH1 0x00 00000432: SWAP2 00000433: POP 00000434: SWAP2 00000435: POP 00000436: POP 00000437: SLOAD 00000438: DUP2 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: SWAP1 0000043f: SLOAD 00000440: SWAP1 00000441: PUSH2 0x0100 00000444: EXP 00000445: SWAP1 00000446: DIV 00000447: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045c: AND 0000045d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000472: AND 00000473: CALLER 00000474: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000489: AND 0000048a: EQ 0000048b: ISZERO 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: PUSH1 0x00 00000498: DUP1 00000499: SWAP1 0000049a: SLOAD 0000049b: SWAP1 0000049c: PUSH2 0x0100 0000049f: EXP 000004a0: SWAP1 000004a1: DIV 000004a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b7: AND 000004b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cd: AND 000004ce: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 000004ef: PUSH1 0x40 000004f1: MLOAD 000004f2: PUSH1 0x40 000004f4: MLOAD 000004f5: DUP1 000004f6: SWAP2 000004f7: SUB 000004f8: SWAP1 000004f9: LOG2 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: PUSH1 0x00 000004ff: PUSH2 0x0100 00000502: EXP 00000503: DUP2 00000504: SLOAD 00000505: DUP2 00000506: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051b: MUL 0000051c: NOT 0000051d: AND 0000051e: SWAP1 0000051f: DUP4 00000520: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000535: AND 00000536: MUL 00000537: OR 00000538: SWAP1 00000539: SSTORE 0000053a: POP 0000053b: JUMP 0000053c: JUMPDEST 0000053d: PUSH1 0x00 0000053f: DUP2 00000540: SWAP1 00000541: POP 00000542: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000557: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056c: AND 0000056d: DUP4 0000056e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000583: AND 00000584: EQ 00000585: ISZERO 00000586: PUSH2 0x0605 00000589: JUMPI 0000058a: DUP2 0000058b: CALLVALUE 0000058c: EQ 0000058d: ISZERO 0000058e: ISZERO 0000058f: PUSH2 0x0600 00000592: JUMPI 00000593: PUSH1 0x40 00000595: MLOAD 00000596: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005b7: DUP2 000005b8: MSTORE 000005b9: PUSH1 0x04 000005bb: ADD 000005bc: DUP1 000005bd: DUP1 000005be: PUSH1 0x20 000005c0: ADD 000005c1: DUP3 000005c2: DUP2 000005c3: SUB 000005c4: DUP3 000005c5: MSTORE 000005c6: PUSH1 0x16 000005c8: DUP2 000005c9: MSTORE 000005ca: PUSH1 0x20 000005cc: ADD 000005cd: DUP1 000005ce: PUSH32 0x6d69736d6174636865642065746865722076616c756500000000000000000000 000005ef: DUP2 000005f0: MSTORE 000005f1: POP 000005f2: PUSH1 0x20 000005f4: ADD 000005f5: SWAP2 000005f6: POP 000005f7: POP 000005f8: PUSH1 0x40 000005fa: MLOAD 000005fb: DUP1 000005fc: SWAP2 000005fd: SUB 000005fe: SWAP1 000005ff: REVERT 00000600: JUMPDEST 00000601: PUSH2 0x06ad 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH1 0x00 00000608: CALLVALUE 00000609: EQ 0000060a: ISZERO 0000060b: ISZERO 0000060c: PUSH2 0x067d 0000060f: JUMPI 00000610: PUSH1 0x40 00000612: MLOAD 00000613: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000634: DUP2 00000635: MSTORE 00000636: PUSH1 0x04 00000638: ADD 00000639: DUP1 0000063a: DUP1 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: DUP3 0000063f: DUP2 00000640: SUB 00000641: DUP3 00000642: MSTORE 00000643: PUSH1 0x16 00000645: DUP2 00000646: MSTORE 00000647: PUSH1 0x20 00000649: ADD 0000064a: DUP1 0000064b: PUSH32 0x756e65787065637465642065746865722076616c756500000000000000000000 0000066c: DUP2 0000066d: MSTORE 0000066e: POP 0000066f: PUSH1 0x20 00000671: ADD 00000672: SWAP2 00000673: POP 00000674: POP 00000675: PUSH1 0x40 00000677: MLOAD 00000678: DUP1 00000679: SWAP2 0000067a: SUB 0000067b: SWAP1 0000067c: REVERT 0000067d: JUMPDEST 0000067e: PUSH2 0x06aa 00000681: CALLER 00000682: ADDRESS 00000683: DUP5 00000684: DUP7 00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069a: AND 0000069b: PUSH2 0x0dd5 0000069e: SWAP1 0000069f: SWAP4 000006a0: SWAP3 000006a1: SWAP2 000006a2: SWAP1 000006a3: PUSH4 0xffffffff 000006a8: AND 000006a9: JUMP 000006aa: JUMPDEST 000006ab: SWAP1 000006ac: POP 000006ad: JUMPDEST 000006ae: PUSH2 0x073c 000006b1: DUP2 000006b2: PUSH1 0x03 000006b4: PUSH1 0x00 000006b6: DUP8 000006b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cc: AND 000006cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e2: AND 000006e3: DUP2 000006e4: MSTORE 000006e5: PUSH1 0x20 000006e7: ADD 000006e8: SWAP1 000006e9: DUP2 000006ea: MSTORE 000006eb: PUSH1 0x20 000006ed: ADD 000006ee: PUSH1 0x00 000006f0: KECCAK256 000006f1: PUSH1 0x00 000006f3: DUP7 000006f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000709: AND 0000070a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000071f: AND 00000720: DUP2 00000721: MSTORE 00000722: PUSH1 0x20 00000724: ADD 00000725: SWAP1 00000726: DUP2 00000727: MSTORE 00000728: PUSH1 0x20 0000072a: ADD 0000072b: PUSH1 0x00 0000072d: KECCAK256 0000072e: SLOAD 0000072f: PUSH2 0x111d 00000732: SWAP1 00000733: SWAP2 00000734: SWAP1 00000735: PUSH4 0xffffffff 0000073a: AND 0000073b: JUMP 0000073c: JUMPDEST 0000073d: PUSH1 0x03 0000073f: PUSH1 0x00 00000741: DUP7 00000742: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000757: AND 00000758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076d: AND 0000076e: DUP2 0000076f: MSTORE 00000770: PUSH1 0x20 00000772: ADD 00000773: SWAP1 00000774: DUP2 00000775: MSTORE 00000776: PUSH1 0x20 00000778: ADD 00000779: PUSH1 0x00 0000077b: KECCAK256 0000077c: PUSH1 0x00 0000077e: DUP6 0000077f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000794: AND 00000795: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007aa: AND 000007ab: DUP2 000007ac: MSTORE 000007ad: PUSH1 0x20 000007af: ADD 000007b0: SWAP1 000007b1: DUP2 000007b2: MSTORE 000007b3: PUSH1 0x20 000007b5: ADD 000007b6: PUSH1 0x00 000007b8: KECCAK256 000007b9: DUP2 000007ba: SWAP1 000007bb: SSTORE 000007bc: POP 000007bd: POP 000007be: POP 000007bf: POP 000007c0: POP 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH1 0x00 000007c5: DUP1 000007c6: SWAP1 000007c7: SLOAD 000007c8: SWAP1 000007c9: PUSH2 0x0100 000007cc: EXP 000007cd: SWAP1 000007ce: DIV 000007cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e4: AND 000007e5: DUP2 000007e6: JUMP 000007e7: JUMPDEST 000007e8: PUSH1 0x02 000007ea: PUSH1 0x00 000007ec: SWAP1 000007ed: SLOAD 000007ee: SWAP1 000007ef: PUSH2 0x0100 000007f2: EXP 000007f3: SWAP1 000007f4: DIV 000007f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080a: AND 0000080b: DUP2 0000080c: JUMP 0000080d: JUMPDEST 0000080e: PUSH1 0x00 00000810: DUP1 00000811: SWAP1 00000812: SLOAD 00000813: SWAP1 00000814: PUSH2 0x0100 00000817: EXP 00000818: SWAP1 00000819: DIV 0000081a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082f: AND 00000830: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000845: AND 00000846: CALLER 00000847: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000085c: AND 0000085d: EQ 0000085e: ISZERO 0000085f: ISZERO 00000860: PUSH2 0x0868 00000863: JUMPI 00000864: PUSH1 0x00 00000866: DUP1 00000867: REVERT 00000868: JUMPDEST 00000869: PUSH32 0xf9f6dd5c784f63cc27c1079c73574a73485a6c2e7f7e2181c5eb2be8c693cfb7 0000088a: PUSH1 0x02 0000088c: PUSH1 0x00 0000088e: SWAP1 0000088f: SLOAD 00000890: SWAP1 00000891: PUSH2 0x0100 00000894: EXP 00000895: SWAP1 00000896: DIV 00000897: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ac: AND 000008ad: DUP3 000008ae: PUSH1 0x40 000008b0: MLOAD 000008b1: DUP1 000008b2: DUP4 000008b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c8: AND 000008c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008de: AND 000008df: DUP2 000008e0: MSTORE 000008e1: PUSH1 0x20 000008e3: ADD 000008e4: DUP3 000008e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fa: AND 000008fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000910: AND 00000911: DUP2 00000912: MSTORE 00000913: PUSH1 0x20 00000915: ADD 00000916: SWAP3 00000917: POP 00000918: POP 00000919: POP 0000091a: PUSH1 0x40 0000091c: MLOAD 0000091d: DUP1 0000091e: SWAP2 0000091f: SUB 00000920: SWAP1 00000921: LOG1 00000922: DUP1 00000923: PUSH1 0x02 00000925: PUSH1 0x00 00000927: PUSH2 0x0100 0000092a: EXP 0000092b: DUP2 0000092c: SLOAD 0000092d: DUP2 0000092e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000943: MUL 00000944: NOT 00000945: AND 00000946: SWAP1 00000947: DUP4 00000948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000095d: AND 0000095e: MUL 0000095f: OR 00000960: SWAP1 00000961: SSTORE 00000962: POP 00000963: POP 00000964: JUMP 00000965: JUMPDEST 00000966: PUSH1 0x00 00000968: DUP1 00000969: SWAP1 0000096a: SLOAD 0000096b: SWAP1 0000096c: PUSH2 0x0100 0000096f: EXP 00000970: SWAP1 00000971: DIV 00000972: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000987: AND 00000988: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099d: AND 0000099e: CALLER 0000099f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b4: AND 000009b5: EQ 000009b6: ISZERO 000009b7: ISZERO 000009b8: PUSH2 0x09c0 000009bb: JUMPI 000009bc: PUSH1 0x00 000009be: DUP1 000009bf: REVERT 000009c0: JUMPDEST 000009c1: PUSH2 0x09c9 000009c4: DUP2 000009c5: PUSH2 0x1139 000009c8: JUMP 000009c9: JUMPDEST 000009ca: POP 000009cb: JUMP 000009cc: JUMPDEST 000009cd: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000009e2: DUP2 000009e3: JUMP 000009e4: JUMPDEST 000009e5: PUSH1 0x00 000009e7: DUP1 000009e8: PUSH1 0x02 000009ea: PUSH1 0x00 000009ec: SWAP1 000009ed: SLOAD 000009ee: SWAP1 000009ef: PUSH2 0x0100 000009f2: EXP 000009f3: SWAP1 000009f4: DIV 000009f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a0a: AND 00000a0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a20: AND 00000a21: PUSH4 0x1cedf8a3 00000a26: DUP6 00000a27: PUSH1 0x40 00000a29: MLOAD 00000a2a: DUP3 00000a2b: PUSH4 0xffffffff 00000a30: AND 00000a31: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a4f: MUL 00000a50: DUP2 00000a51: MSTORE 00000a52: PUSH1 0x04 00000a54: ADD 00000a55: DUP1 00000a56: DUP3 00000a57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6c: AND 00000a6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a82: AND 00000a83: DUP2 00000a84: MSTORE 00000a85: PUSH1 0x20 00000a87: ADD 00000a88: SWAP2 00000a89: POP 00000a8a: POP 00000a8b: PUSH1 0x20 00000a8d: PUSH1 0x40 00000a8f: MLOAD 00000a90: DUP1 00000a91: DUP4 00000a92: SUB 00000a93: DUP2 00000a94: PUSH1 0x00 00000a96: DUP8 00000a97: DUP1 00000a98: EXTCODESIZE 00000a99: ISZERO 00000a9a: DUP1 00000a9b: ISZERO 00000a9c: PUSH2 0x0aa4 00000a9f: JUMPI 00000aa0: PUSH1 0x00 00000aa2: DUP1 00000aa3: REVERT 00000aa4: JUMPDEST 00000aa5: POP 00000aa6: GAS 00000aa7: CALL 00000aa8: ISZERO 00000aa9: DUP1 00000aaa: ISZERO 00000aab: PUSH2 0x0ab8 00000aae: JUMPI 00000aaf: RETURNDATASIZE 00000ab0: PUSH1 0x00 00000ab2: DUP1 00000ab3: RETURNDATACOPY 00000ab4: RETURNDATASIZE 00000ab5: PUSH1 0x00 00000ab7: REVERT 00000ab8: JUMPDEST 00000ab9: POP 00000aba: POP 00000abb: POP 00000abc: POP 00000abd: PUSH1 0x40 00000abf: MLOAD 00000ac0: RETURNDATASIZE 00000ac1: PUSH1 0x20 00000ac3: DUP2 00000ac4: LT 00000ac5: ISZERO 00000ac6: PUSH2 0x0ace 00000ac9: JUMPI 00000aca: PUSH1 0x00 00000acc: DUP1 00000acd: REVERT 00000ace: JUMPDEST 00000acf: DUP2 00000ad0: ADD 00000ad1: SWAP1 00000ad2: DUP1 00000ad3: DUP1 00000ad4: MLOAD 00000ad5: SWAP1 00000ad6: PUSH1 0x20 00000ad8: ADD 00000ad9: SWAP1 00000ada: SWAP3 00000adb: SWAP2 00000adc: SWAP1 00000add: POP 00000ade: POP 00000adf: POP 00000ae0: SWAP2 00000ae1: POP 00000ae2: PUSH1 0x00 00000ae4: DUP3 00000ae5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afa: AND 00000afb: EQ 00000afc: ISZERO 00000afd: ISZERO 00000afe: ISZERO 00000aff: PUSH2 0x0b70 00000b02: JUMPI 00000b03: PUSH1 0x40 00000b05: MLOAD 00000b06: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x04 00000b2b: ADD 00000b2c: DUP1 00000b2d: DUP1 00000b2e: PUSH1 0x20 00000b30: ADD 00000b31: DUP3 00000b32: DUP2 00000b33: SUB 00000b34: DUP3 00000b35: MSTORE 00000b36: PUSH1 0x16 00000b38: DUP2 00000b39: MSTORE 00000b3a: PUSH1 0x20 00000b3c: ADD 00000b3d: DUP1 00000b3e: PUSH32 0x696e76616c6964206461726b6e6f6465206f776e657200000000000000000000 00000b5f: DUP2 00000b60: MSTORE 00000b61: POP 00000b62: PUSH1 0x20 00000b64: ADD 00000b65: SWAP2 00000b66: POP 00000b67: POP 00000b68: PUSH1 0x40 00000b6a: MLOAD 00000b6b: DUP1 00000b6c: SWAP2 00000b6d: SUB 00000b6e: SWAP1 00000b6f: REVERT 00000b70: JUMPDEST 00000b71: PUSH1 0x03 00000b73: PUSH1 0x00 00000b75: DUP6 00000b76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8b: AND 00000b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba1: AND 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH1 0x20 00000ba6: ADD 00000ba7: SWAP1 00000ba8: DUP2 00000ba9: MSTORE 00000baa: PUSH1 0x20 00000bac: ADD 00000bad: PUSH1 0x00 00000baf: KECCAK256 00000bb0: PUSH1 0x00 00000bb2: DUP5 00000bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc8: AND 00000bc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bde: AND 00000bdf: DUP2 00000be0: MSTORE 00000be1: PUSH1 0x20 00000be3: ADD 00000be4: SWAP1 00000be5: DUP2 00000be6: MSTORE 00000be7: PUSH1 0x20 00000be9: ADD 00000bea: PUSH1 0x00 00000bec: KECCAK256 00000bed: SLOAD 00000bee: SWAP1 00000bef: POP 00000bf0: PUSH1 0x00 00000bf2: PUSH1 0x03 00000bf4: PUSH1 0x00 00000bf6: DUP7 00000bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0c: AND 00000c0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c22: AND 00000c23: DUP2 00000c24: MSTORE 00000c25: PUSH1 0x20 00000c27: ADD 00000c28: SWAP1 00000c29: DUP2 00000c2a: MSTORE 00000c2b: PUSH1 0x20 00000c2d: ADD 00000c2e: PUSH1 0x00 00000c30: KECCAK256 00000c31: PUSH1 0x00 00000c33: DUP6 00000c34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c49: AND 00000c4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5f: AND 00000c60: DUP2 00000c61: MSTORE 00000c62: PUSH1 0x20 00000c64: ADD 00000c65: SWAP1 00000c66: DUP2 00000c67: MSTORE 00000c68: PUSH1 0x20 00000c6a: ADD 00000c6b: PUSH1 0x00 00000c6d: KECCAK256 00000c6e: DUP2 00000c6f: SWAP1 00000c70: SSTORE 00000c71: POP 00000c72: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000c87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c9c: AND 00000c9d: DUP4 00000c9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb3: AND 00000cb4: EQ 00000cb5: ISZERO 00000cb6: PUSH2 0x0d05 00000cb9: JUMPI 00000cba: DUP2 00000cbb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd0: AND 00000cd1: PUSH2 0x08fc 00000cd4: DUP3 00000cd5: SWAP1 00000cd6: DUP2 00000cd7: ISZERO 00000cd8: MUL 00000cd9: SWAP1 00000cda: PUSH1 0x40 00000cdc: MLOAD 00000cdd: PUSH1 0x00 00000cdf: PUSH1 0x40 00000ce1: MLOAD 00000ce2: DUP1 00000ce3: DUP4 00000ce4: SUB 00000ce5: DUP2 00000ce6: DUP6 00000ce7: DUP9 00000ce8: DUP9 00000ce9: CALL 00000cea: SWAP4 00000ceb: POP 00000cec: POP 00000ced: POP 00000cee: POP 00000cef: ISZERO 00000cf0: DUP1 00000cf1: ISZERO 00000cf2: PUSH2 0x0cff 00000cf5: JUMPI 00000cf6: RETURNDATASIZE 00000cf7: PUSH1 0x00 00000cf9: DUP1 00000cfa: RETURNDATACOPY 00000cfb: RETURNDATASIZE 00000cfc: PUSH1 0x00 00000cfe: REVERT 00000cff: JUMPDEST 00000d00: POP 00000d01: PUSH2 0x0d31 00000d04: JUMP 00000d05: JUMPDEST 00000d06: PUSH2 0x0d30 00000d09: DUP3 00000d0a: DUP3 00000d0b: DUP6 00000d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d21: AND 00000d22: PUSH2 0x1233 00000d25: SWAP1 00000d26: SWAP3 00000d27: SWAP2 00000d28: SWAP1 00000d29: PUSH4 0xffffffff 00000d2e: AND 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: JUMPDEST 00000d32: POP 00000d33: POP 00000d34: POP 00000d35: POP 00000d36: JUMP 00000d37: JUMPDEST 00000d38: PUSH1 0x01 00000d3a: DUP1 00000d3b: SLOAD 00000d3c: PUSH1 0x01 00000d3e: DUP2 00000d3f: PUSH1 0x01 00000d41: AND 00000d42: ISZERO 00000d43: PUSH2 0x0100 00000d46: MUL 00000d47: SUB 00000d48: AND 00000d49: PUSH1 0x02 00000d4b: SWAP1 00000d4c: DIV 00000d4d: DUP1 00000d4e: PUSH1 0x1f 00000d50: ADD 00000d51: PUSH1 0x20 00000d53: DUP1 00000d54: SWAP2 00000d55: DIV 00000d56: MUL 00000d57: PUSH1 0x20 00000d59: ADD 00000d5a: PUSH1 0x40 00000d5c: MLOAD 00000d5d: SWAP1 00000d5e: DUP2 00000d5f: ADD 00000d60: PUSH1 0x40 00000d62: MSTORE 00000d63: DUP1 00000d64: SWAP3 00000d65: SWAP2 00000d66: SWAP1 00000d67: DUP2 00000d68: DUP2 00000d69: MSTORE 00000d6a: PUSH1 0x20 00000d6c: ADD 00000d6d: DUP3 00000d6e: DUP1 00000d6f: SLOAD 00000d70: PUSH1 0x01 00000d72: DUP2 00000d73: PUSH1 0x01 00000d75: AND 00000d76: ISZERO 00000d77: PUSH2 0x0100 00000d7a: MUL 00000d7b: SUB 00000d7c: AND 00000d7d: PUSH1 0x02 00000d7f: SWAP1 00000d80: DIV 00000d81: DUP1 00000d82: ISZERO 00000d83: PUSH2 0x0dcd 00000d86: JUMPI 00000d87: DUP1 00000d88: PUSH1 0x1f 00000d8a: LT 00000d8b: PUSH2 0x0da2 00000d8e: JUMPI 00000d8f: PUSH2 0x0100 00000d92: DUP1 00000d93: DUP4 00000d94: SLOAD 00000d95: DIV 00000d96: MUL 00000d97: DUP4 00000d98: MSTORE 00000d99: SWAP2 00000d9a: PUSH1 0x20 00000d9c: ADD 00000d9d: SWAP2 00000d9e: PUSH2 0x0dcd 00000da1: JUMP 00000da2: JUMPDEST 00000da3: DUP3 00000da4: ADD 00000da5: SWAP2 00000da6: SWAP1 00000da7: PUSH1 0x00 00000da9: MSTORE 00000daa: PUSH1 0x20 00000dac: PUSH1 0x00 00000dae: KECCAK256 00000daf: SWAP1 00000db0: JUMPDEST 00000db1: DUP2 00000db2: SLOAD 00000db3: DUP2 00000db4: MSTORE 00000db5: SWAP1 00000db6: PUSH1 0x01 00000db8: ADD 00000db9: SWAP1 00000dba: PUSH1 0x20 00000dbc: ADD 00000dbd: DUP1 00000dbe: DUP4 00000dbf: GT 00000dc0: PUSH2 0x0db0 00000dc3: JUMPI 00000dc4: DUP3 00000dc5: SWAP1 00000dc6: SUB 00000dc7: PUSH1 0x1f 00000dc9: AND 00000dca: DUP3 00000dcb: ADD 00000dcc: SWAP2 00000dcd: JUMPDEST 00000dce: POP 00000dcf: POP 00000dd0: POP 00000dd1: POP 00000dd2: POP 00000dd3: DUP2 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: PUSH1 0x00 00000dd8: DUP1 00000dd9: PUSH1 0x00 00000ddb: DUP7 00000ddc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df1: AND 00000df2: PUSH4 0x70a08231 00000df7: DUP7 00000df8: PUSH1 0x40 00000dfa: MLOAD 00000dfb: DUP3 00000dfc: PUSH4 0xffffffff 00000e01: AND 00000e02: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000e20: MUL 00000e21: DUP2 00000e22: MSTORE 00000e23: PUSH1 0x04 00000e25: ADD 00000e26: DUP1 00000e27: DUP3 00000e28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e3d: AND 00000e3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e53: AND 00000e54: DUP2 00000e55: MSTORE 00000e56: PUSH1 0x20 00000e58: ADD 00000e59: SWAP2 00000e5a: POP 00000e5b: POP 00000e5c: PUSH1 0x20 00000e5e: PUSH1 0x40 00000e60: MLOAD 00000e61: DUP1 00000e62: DUP4 00000e63: SUB 00000e64: DUP2 00000e65: PUSH1 0x00 00000e67: DUP8 00000e68: DUP1 00000e69: EXTCODESIZE 00000e6a: ISZERO 00000e6b: DUP1 00000e6c: ISZERO 00000e6d: PUSH2 0x0e75 00000e70: JUMPI 00000e71: PUSH1 0x00 00000e73: DUP1 00000e74: REVERT 00000e75: JUMPDEST 00000e76: POP 00000e77: GAS 00000e78: CALL 00000e79: ISZERO 00000e7a: DUP1 00000e7b: ISZERO 00000e7c: PUSH2 0x0e89 00000e7f: JUMPI 00000e80: RETURNDATASIZE 00000e81: PUSH1 0x00 00000e83: DUP1 00000e84: RETURNDATACOPY 00000e85: RETURNDATASIZE 00000e86: PUSH1 0x00 00000e88: REVERT 00000e89: JUMPDEST 00000e8a: POP 00000e8b: POP 00000e8c: POP 00000e8d: POP 00000e8e: PUSH1 0x40 00000e90: MLOAD 00000e91: RETURNDATASIZE 00000e92: PUSH1 0x20 00000e94: DUP2 00000e95: LT 00000e96: ISZERO 00000e97: PUSH2 0x0e9f 00000e9a: JUMPI 00000e9b: PUSH1 0x00 00000e9d: DUP1 00000e9e: REVERT 00000e9f: JUMPDEST 00000ea0: DUP2 00000ea1: ADD 00000ea2: SWAP1 00000ea3: DUP1 00000ea4: DUP1 00000ea5: MLOAD 00000ea6: SWAP1 00000ea7: PUSH1 0x20 00000ea9: ADD 00000eaa: SWAP1 00000eab: SWAP3 00000eac: SWAP2 00000ead: SWAP1 00000eae: POP 00000eaf: POP 00000eb0: POP 00000eb1: SWAP2 00000eb2: POP 00000eb3: DUP7 00000eb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec9: AND 00000eca: PUSH4 0x23b872dd 00000ecf: DUP8 00000ed0: DUP8 00000ed1: DUP8 00000ed2: PUSH1 0x40 00000ed4: MLOAD 00000ed5: DUP5 00000ed6: PUSH4 0xffffffff 00000edb: AND 00000edc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000efa: MUL 00000efb: DUP2 00000efc: MSTORE 00000efd: PUSH1 0x04 00000eff: ADD 00000f00: DUP1 00000f01: DUP5 00000f02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f17: AND 00000f18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f2d: AND 00000f2e: DUP2 00000f2f: MSTORE 00000f30: PUSH1 0x20 00000f32: ADD 00000f33: DUP4 00000f34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f49: AND 00000f4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f5f: AND 00000f60: DUP2 00000f61: MSTORE 00000f62: PUSH1 0x20 00000f64: ADD 00000f65: DUP3 00000f66: DUP2 00000f67: MSTORE 00000f68: PUSH1 0x20 00000f6a: ADD 00000f6b: SWAP4 00000f6c: POP 00000f6d: POP 00000f6e: POP 00000f6f: POP 00000f70: PUSH1 0x00 00000f72: PUSH1 0x40 00000f74: MLOAD 00000f75: DUP1 00000f76: DUP4 00000f77: SUB 00000f78: DUP2 00000f79: PUSH1 0x00 00000f7b: DUP8 00000f7c: DUP1 00000f7d: EXTCODESIZE 00000f7e: ISZERO 00000f7f: DUP1 00000f80: ISZERO 00000f81: PUSH2 0x0f89 00000f84: JUMPI 00000f85: PUSH1 0x00 00000f87: DUP1 00000f88: REVERT 00000f89: JUMPDEST 00000f8a: POP 00000f8b: GAS 00000f8c: CALL 00000f8d: ISZERO 00000f8e: DUP1 00000f8f: ISZERO 00000f90: PUSH2 0x0f9d 00000f93: JUMPI 00000f94: RETURNDATASIZE 00000f95: PUSH1 0x00 00000f97: DUP1 00000f98: RETURNDATACOPY 00000f99: RETURNDATASIZE 00000f9a: PUSH1 0x00 00000f9c: REVERT 00000f9d: JUMPDEST 00000f9e: POP 00000f9f: POP 00000fa0: POP 00000fa1: POP 00000fa2: PUSH2 0x0fa9 00000fa5: PUSH2 0x136f 00000fa8: JUMP 00000fa9: JUMPDEST 00000faa: ISZERO 00000fab: ISZERO 00000fac: PUSH2 0x101d 00000faf: JUMPI 00000fb0: PUSH1 0x40 00000fb2: MLOAD 00000fb3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fd4: DUP2 00000fd5: MSTORE 00000fd6: PUSH1 0x04 00000fd8: ADD 00000fd9: DUP1 00000fda: DUP1 00000fdb: PUSH1 0x20 00000fdd: ADD 00000fde: DUP3 00000fdf: DUP2 00000fe0: SUB 00000fe1: DUP3 00000fe2: MSTORE 00000fe3: PUSH1 0x13 00000fe5: DUP2 00000fe6: MSTORE 00000fe7: PUSH1 0x20 00000fe9: ADD 00000fea: DUP1 00000feb: PUSH32 0x7472616e7366657246726f6d206661696c656400000000000000000000000000 0000100c: DUP2 0000100d: MSTORE 0000100e: POP 0000100f: PUSH1 0x20 00001011: ADD 00001012: SWAP2 00001013: POP 00001014: POP 00001015: PUSH1 0x40 00001017: MLOAD 00001018: DUP1 00001019: SWAP2 0000101a: SUB 0000101b: SWAP1 0000101c: REVERT 0000101d: JUMPDEST 0000101e: DUP7 0000101f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001034: AND 00001035: PUSH4 0x70a08231 0000103a: DUP7 0000103b: PUSH1 0x40 0000103d: MLOAD 0000103e: DUP3 0000103f: PUSH4 0xffffffff 00001044: AND 00001045: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00001063: MUL 00001064: DUP2 00001065: MSTORE 00001066: PUSH1 0x04 00001068: ADD 00001069: DUP1 0000106a: DUP3 0000106b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001080: AND 00001081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001096: AND 00001097: DUP2 00001098: MSTORE 00001099: PUSH1 0x20 0000109b: ADD 0000109c: SWAP2 0000109d: POP 0000109e: POP 0000109f: PUSH1 0x20 000010a1: PUSH1 0x40 000010a3: MLOAD 000010a4: DUP1 000010a5: DUP4 000010a6: SUB 000010a7: DUP2 000010a8: PUSH1 0x00 000010aa: DUP8 000010ab: DUP1 000010ac: EXTCODESIZE 000010ad: ISZERO 000010ae: DUP1 000010af: ISZERO 000010b0: PUSH2 0x10b8 000010b3: JUMPI 000010b4: PUSH1 0x00 000010b6: DUP1 000010b7: REVERT 000010b8: JUMPDEST 000010b9: POP 000010ba: GAS 000010bb: CALL 000010bc: ISZERO 000010bd: DUP1 000010be: ISZERO 000010bf: PUSH2 0x10cc 000010c2: JUMPI 000010c3: RETURNDATASIZE 000010c4: PUSH1 0x00 000010c6: DUP1 000010c7: RETURNDATACOPY 000010c8: RETURNDATASIZE 000010c9: PUSH1 0x00 000010cb: REVERT 000010cc: JUMPDEST 000010cd: POP 000010ce: POP 000010cf: POP 000010d0: POP 000010d1: PUSH1 0x40 000010d3: MLOAD 000010d4: RETURNDATASIZE 000010d5: PUSH1 0x20 000010d7: DUP2 000010d8: LT 000010d9: ISZERO 000010da: PUSH2 0x10e2 000010dd: JUMPI 000010de: PUSH1 0x00 000010e0: DUP1 000010e1: REVERT 000010e2: JUMPDEST 000010e3: DUP2 000010e4: ADD 000010e5: SWAP1 000010e6: DUP1 000010e7: DUP1 000010e8: MLOAD 000010e9: SWAP1 000010ea: PUSH1 0x20 000010ec: ADD 000010ed: SWAP1 000010ee: SWAP3 000010ef: SWAP2 000010f0: SWAP1 000010f1: POP 000010f2: POP 000010f3: POP 000010f4: SWAP1 000010f5: POP 000010f6: PUSH2 0x1111 000010f9: DUP5 000010fa: PUSH2 0x110c 000010fd: DUP5 000010fe: DUP5 000010ff: PUSH2 0x13ad 00001102: SWAP1 00001103: SWAP2 00001104: SWAP1 00001105: PUSH4 0xffffffff 0000110a: AND 0000110b: JUMP 0000110c: JUMPDEST 0000110d: PUSH2 0x13c6 00001110: JUMP 00001111: JUMPDEST 00001112: SWAP3 00001113: POP 00001114: POP 00001115: POP 00001116: SWAP5 00001117: SWAP4 00001118: POP 00001119: POP 0000111a: POP 0000111b: POP 0000111c: JUMP 0000111d: JUMPDEST 0000111e: PUSH1 0x00 00001120: DUP2 00001121: DUP4 00001122: ADD 00001123: SWAP1 00001124: POP 00001125: DUP3 00001126: DUP2 00001127: LT 00001128: ISZERO 00001129: ISZERO 0000112a: ISZERO 0000112b: PUSH2 0x1130 0000112e: JUMPI 0000112f: INVALID 00001130: JUMPDEST 00001131: DUP1 00001132: SWAP1 00001133: POP 00001134: SWAP3 00001135: SWAP2 00001136: POP 00001137: POP 00001138: JUMP 00001139: JUMPDEST 0000113a: PUSH1 0x00 0000113c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001151: AND 00001152: DUP2 00001153: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001168: AND 00001169: EQ 0000116a: ISZERO 0000116b: ISZERO 0000116c: ISZERO 0000116d: PUSH2 0x1175 00001170: JUMPI 00001171: PUSH1 0x00 00001173: DUP1 00001174: REVERT 00001175: JUMPDEST 00001176: DUP1 00001177: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000118c: AND 0000118d: PUSH1 0x00 0000118f: DUP1 00001190: SWAP1 00001191: SLOAD 00001192: SWAP1 00001193: PUSH2 0x0100 00001196: EXP 00001197: SWAP1 00001198: DIV 00001199: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011ae: AND 000011af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c4: AND 000011c5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000011e6: PUSH1 0x40 000011e8: MLOAD 000011e9: PUSH1 0x40 000011eb: MLOAD 000011ec: DUP1 000011ed: SWAP2 000011ee: SUB 000011ef: SWAP1 000011f0: LOG3 000011f1: DUP1 000011f2: PUSH1 0x00 000011f4: DUP1 000011f5: PUSH2 0x0100 000011f8: EXP 000011f9: DUP2 000011fa: SLOAD 000011fb: DUP2 000011fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001211: MUL 00001212: NOT 00001213: AND 00001214: SWAP1 00001215: DUP4 00001216: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000122b: AND 0000122c: MUL 0000122d: OR 0000122e: SWAP1 0000122f: SSTORE 00001230: POP 00001231: POP 00001232: JUMP 00001233: JUMPDEST 00001234: DUP3 00001235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000124a: AND 0000124b: PUSH4 0xa9059cbb 00001250: DUP4 00001251: DUP4 00001252: PUSH1 0x40 00001254: MLOAD 00001255: DUP4 00001256: PUSH4 0xffffffff 0000125b: AND 0000125c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000127a: MUL 0000127b: DUP2 0000127c: MSTORE 0000127d: PUSH1 0x04 0000127f: ADD 00001280: DUP1 00001281: DUP4 00001282: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001297: AND 00001298: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ad: AND 000012ae: DUP2 000012af: MSTORE 000012b0: PUSH1 0x20 000012b2: ADD 000012b3: DUP3 000012b4: DUP2 000012b5: MSTORE 000012b6: PUSH1 0x20 000012b8: ADD 000012b9: SWAP3 000012ba: POP 000012bb: POP 000012bc: POP 000012bd: PUSH1 0x00 000012bf: PUSH1 0x40 000012c1: MLOAD 000012c2: DUP1 000012c3: DUP4 000012c4: SUB 000012c5: DUP2 000012c6: PUSH1 0x00 000012c8: DUP8 000012c9: DUP1 000012ca: EXTCODESIZE 000012cb: ISZERO 000012cc: DUP1 000012cd: ISZERO 000012ce: PUSH2 0x12d6 000012d1: JUMPI 000012d2: PUSH1 0x00 000012d4: DUP1 000012d5: REVERT 000012d6: JUMPDEST 000012d7: POP 000012d8: GAS 000012d9: CALL 000012da: ISZERO 000012db: DUP1 000012dc: ISZERO 000012dd: PUSH2 0x12ea 000012e0: JUMPI 000012e1: RETURNDATASIZE 000012e2: PUSH1 0x00 000012e4: DUP1 000012e5: RETURNDATACOPY 000012e6: RETURNDATASIZE 000012e7: PUSH1 0x00 000012e9: REVERT 000012ea: JUMPDEST 000012eb: POP 000012ec: POP 000012ed: POP 000012ee: POP 000012ef: PUSH2 0x12f6 000012f2: PUSH2 0x136f 000012f5: JUMP 000012f6: JUMPDEST 000012f7: ISZERO 000012f8: ISZERO 000012f9: PUSH2 0x136a 000012fc: JUMPI 000012fd: PUSH1 0x40 000012ff: MLOAD 00001300: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001321: DUP2 00001322: MSTORE 00001323: PUSH1 0x04 00001325: ADD 00001326: DUP1 00001327: DUP1 00001328: PUSH1 0x20 0000132a: ADD 0000132b: DUP3 0000132c: DUP2 0000132d: SUB 0000132e: DUP3 0000132f: MSTORE 00001330: PUSH1 0x0f 00001332: DUP2 00001333: MSTORE 00001334: PUSH1 0x20 00001336: ADD 00001337: DUP1 00001338: PUSH32 0x7472616e73666572206661696c65640000000000000000000000000000000000 00001359: DUP2 0000135a: MSTORE 0000135b: POP 0000135c: PUSH1 0x20 0000135e: ADD 0000135f: SWAP2 00001360: POP 00001361: POP 00001362: PUSH1 0x40 00001364: MLOAD 00001365: DUP1 00001366: SWAP2 00001367: SUB 00001368: SWAP1 00001369: REVERT 0000136a: JUMPDEST 0000136b: POP 0000136c: POP 0000136d: POP 0000136e: JUMP 0000136f: JUMPDEST 00001370: PUSH1 0x00 00001372: DUP1 00001373: PUSH1 0x00 00001375: SWAP1 00001376: POP 00001377: RETURNDATASIZE 00001378: PUSH1 0x00 0000137a: DUP2 0000137b: EQ 0000137c: PUSH2 0x138c 0000137f: JUMPI 00001380: PUSH1 0x20 00001382: DUP2 00001383: EQ 00001384: PUSH2 0x1395 00001387: JUMPI 00001388: PUSH2 0x13a1 0000138b: JUMP 0000138c: JUMPDEST 0000138d: PUSH1 0x01 0000138f: SWAP2 00001390: POP 00001391: PUSH2 0x13a1 00001394: JUMP 00001395: JUMPDEST 00001396: PUSH1 0x20 00001398: PUSH1 0x00 0000139a: DUP1 0000139b: RETURNDATACOPY 0000139c: PUSH1 0x00 0000139e: MLOAD 0000139f: SWAP2 000013a0: POP 000013a1: JUMPDEST 000013a2: POP 000013a3: PUSH1 0x00 000013a5: DUP2 000013a6: EQ 000013a7: ISZERO 000013a8: SWAP2 000013a9: POP 000013aa: POP 000013ab: SWAP1 000013ac: JUMP 000013ad: JUMPDEST 000013ae: PUSH1 0x00 000013b0: DUP3 000013b1: DUP3 000013b2: GT 000013b3: ISZERO 000013b4: ISZERO 000013b5: ISZERO 000013b6: PUSH2 0x13bb 000013b9: JUMPI 000013ba: INVALID 000013bb: JUMPDEST 000013bc: DUP2 000013bd: DUP4 000013be: SUB 000013bf: SWAP1 000013c0: POP 000013c1: SWAP3 000013c2: SWAP2 000013c3: POP 000013c4: POP 000013c5: JUMP 000013c6: JUMPDEST 000013c7: PUSH1 0x00 000013c9: DUP2 000013ca: DUP4 000013cb: LT 000013cc: PUSH2 0x13d5 000013cf: JUMPI 000013d0: DUP2 000013d1: PUSH2 0x13d7 000013d4: JUMP 000013d5: JUMPDEST 000013d6: DUP3 000013d7: JUMPDEST 000013d8: SWAP1 000013d9: POP 000013da: SWAP3 000013db: SWAP2 000013dc: POP 000013dd: POP 000013de: JUMP 000013df: STOP 000013e0: LOG1 000013e1: PUSH6 0x627a7a723058 000013e8: KECCAK256 000013e9: CODECOPY 000013ea: UNKNOWN(0xFB) 000013eb: COINBASE 000013ec: UNKNOWN(0xD8) 000013ed: KECCAK256 000013ee: LOG3 000013ef: PUSH23 0xd002935ea4d6a98845cf625c91279852ff84273ff39b54 00001407: UNKNOWN(0xD0) 00001408: UNKNOWN(0xD1) 00001409: STOP 0000140a: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6ae38e9e6bcf3cdb9c93c121cb39393a409fb14bbe837c053acdc0019121733d
call_targets:
0xa96450d3386ece22db20b0ac96ef5684b6d95d53
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6ae38e9e6bcf3cdb9c93c121cb39393a409fb14bbe837c053acdc0019121733d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa96450d3386ece22db20b0ac96ef5684b6d95d53"
],
"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": "0x70324b77",
"selector": "0x70324b77",
"calldata_variants": [
"0x70324b77",
"0x70324b770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8340f549",
"selector": "0x8340f549",
"calldata_variants": [
"0x8340f549",
"0x8340f5490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e45e0d0",
"selector": "0x9e45e0d0",
"calldata_variants": [
"0x9e45e0d0",
"0x9e45e0d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaaff096d",
"selector": "0xaaff096d",
"calldata_variants": [
"0xaaff096d",
"0xaaff096d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2727,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3305,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3704,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 1139,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2118,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2462,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6ae38e9e6bcf3cdb9c93c121cb39393a409fb14bbe837c053acdc0019121733d
call_targets:
0xa96450d3386ece22db20b0ac96ef5684b6d95d53
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6ae38e9e6bcf3cdb9c93c121cb39393a409fb14bbe837c053acdc0019121733d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa96450d3386ece22db20b0ac96ef5684b6d95d53"
],
"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": "0x70324b77",
"selector": "0x70324b77",
"calldata_variants": [
"0x70324b77",
"0x70324b770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8340f549",
"selector": "0x8340f549",
"calldata_variants": [
"0x8340f549",
"0x8340f5490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e45e0d0",
"selector": "0x9e45e0d0",
"calldata_variants": [
"0x9e45e0d0",
"0x9e45e0d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaaff096d",
"selector": "0xaaff096d",
"calldata_variants": [
"0xaaff096d",
"0xaaff096d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2727,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3305,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3704,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 1139,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2118,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2462,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|