019b477e-dce0-7237-b9a3-9642adc9aa56
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 |
|---|---|---|---|---|
| 29873 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29874 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 93197 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 93198 | capability.graph | complete | 1 / 3 | 1 week ago |
| 93199 | detector.run | complete | 1 / 3 | 1 week ago |
| 93200 | 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 0x00ce 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0xbd0b380b 00000018: GT 00000019: PUSH2 0x007c 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xe30c3978 00000023: GT 00000024: PUSH2 0x0057 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xe30c3978 0000002e: EQ 0000002f: PUSH2 0x022f 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xe5d64766 00000039: EQ 0000003a: PUSH2 0x025b 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xeedd56e1 00000044: EQ 00000045: PUSH2 0x027a 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf2fde38b 0000004f: EQ 00000050: PUSH2 0x0299 00000053: JUMPI 00000054: PUSH0 00000055: PUSH0 00000056: REVERT 00000057: JUMPDEST 00000058: DUP1 00000059: PUSH4 0xbd0b380b 0000005e: EQ 0000005f: PUSH2 0x01de 00000062: JUMPI 00000063: DUP1 00000064: PUSH4 0xc489744b 00000069: EQ 0000006a: PUSH2 0x01fd 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0xe0cbc5f2 00000074: EQ 00000075: PUSH2 0x021c 00000078: JUMPI 00000079: PUSH0 0000007a: PUSH0 0000007b: REVERT 0000007c: JUMPDEST 0000007d: DUP1 0000007e: PUSH4 0x64bc5be1 00000083: GT 00000084: PUSH2 0x00ac 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0x64bc5be1 0000008e: EQ 0000008f: PUSH2 0x015b 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0x7200b829 00000099: EQ 0000009a: PUSH2 0x017a 0000009d: JUMPI 0000009e: DUP1 0000009f: PUSH4 0x8da5cb5b 000000a4: EQ 000000a5: PUSH2 0x018e 000000a8: JUMPI 000000a9: PUSH0 000000aa: PUSH0 000000ab: REVERT 000000ac: JUMPDEST 000000ad: DUP1 000000ae: PUSH4 0x0fe97f70 000000b3: EQ 000000b4: PUSH2 0x00d2 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x23452b9c 000000be: EQ 000000bf: PUSH2 0x0126 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x461ad4f5 000000c9: EQ 000000ca: PUSH2 0x013c 000000cd: JUMPI 000000ce: JUMPDEST 000000cf: PUSH0 000000d0: PUSH0 000000d1: REVERT 000000d2: JUMPDEST 000000d3: CALLVALUE 000000d4: DUP1 000000d5: ISZERO 000000d6: PUSH2 0x00dd 000000d9: JUMPI 000000da: PUSH0 000000db: PUSH0 000000dc: REVERT 000000dd: JUMPDEST 000000de: POP 000000df: PUSH2 0x0113 000000e2: PUSH2 0x00ec 000000e5: CALLDATASIZE 000000e6: PUSH1 0x04 000000e8: PUSH2 0x0fdb 000000eb: JUMP 000000ec: JUMPDEST 000000ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000102: AND 00000103: PUSH0 00000104: SWAP1 00000105: DUP2 00000106: MSTORE 00000107: PUSH1 0x03 00000109: PUSH1 0x20 0000010b: MSTORE 0000010c: PUSH1 0x40 0000010e: SWAP1 0000010f: KECCAK256 00000110: SLOAD 00000111: SWAP1 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH1 0x40 00000116: MLOAD 00000117: SWAP1 00000118: DUP2 00000119: MSTORE 0000011a: PUSH1 0x20 0000011c: ADD 0000011d: JUMPDEST 0000011e: PUSH1 0x40 00000120: MLOAD 00000121: DUP1 00000122: SWAP2 00000123: SUB 00000124: SWAP1 00000125: RETURN 00000126: JUMPDEST 00000127: CALLVALUE 00000128: DUP1 00000129: ISZERO 0000012a: PUSH2 0x0131 0000012d: JUMPI 0000012e: PUSH0 0000012f: PUSH0 00000130: REVERT 00000131: JUMPDEST 00000132: POP 00000133: PUSH2 0x013a 00000136: PUSH2 0x02b8 00000139: JUMP 0000013a: JUMPDEST 0000013b: STOP 0000013c: JUMPDEST 0000013d: CALLVALUE 0000013e: DUP1 0000013f: ISZERO 00000140: PUSH2 0x0147 00000143: JUMPI 00000144: PUSH0 00000145: PUSH0 00000146: REVERT 00000147: JUMPDEST 00000148: POP 00000149: PUSH2 0x013a 0000014c: PUSH2 0x0156 0000014f: CALLDATASIZE 00000150: PUSH1 0x04 00000152: PUSH2 0x0fdb 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH2 0x0381 0000015a: JUMP 0000015b: JUMPDEST 0000015c: CALLVALUE 0000015d: DUP1 0000015e: ISZERO 0000015f: PUSH2 0x0166 00000162: JUMPI 00000163: PUSH0 00000164: PUSH0 00000165: REVERT 00000166: JUMPDEST 00000167: POP 00000168: PUSH2 0x013a 0000016b: PUSH2 0x0175 0000016e: CALLDATASIZE 0000016f: PUSH1 0x04 00000171: PUSH2 0x1028 00000174: JUMP 00000175: JUMPDEST 00000176: PUSH2 0x0484 00000179: JUMP 0000017a: JUMPDEST 0000017b: CALLVALUE 0000017c: DUP1 0000017d: ISZERO 0000017e: PUSH2 0x0185 00000181: JUMPI 00000182: PUSH0 00000183: PUSH0 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x013a 0000018a: PUSH2 0x0647 0000018d: JUMP 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x0199 00000195: JUMPI 00000196: PUSH0 00000197: PUSH0 00000198: REVERT 00000199: JUMPDEST 0000019a: POP 0000019b: PUSH0 0000019c: SLOAD 0000019d: PUSH2 0x01b9 000001a0: SWAP1 000001a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001b6: AND 000001b7: DUP2 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x40 000001bc: MLOAD 000001bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d2: SWAP1 000001d3: SWAP2 000001d4: AND 000001d5: DUP2 000001d6: MSTORE 000001d7: PUSH1 0x20 000001d9: ADD 000001da: PUSH2 0x011d 000001dd: JUMP 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01e9 000001e5: JUMPI 000001e6: PUSH0 000001e7: PUSH0 000001e8: REVERT 000001e9: JUMPDEST 000001ea: POP 000001eb: PUSH2 0x013a 000001ee: PUSH2 0x01f8 000001f1: CALLDATASIZE 000001f2: PUSH1 0x04 000001f4: PUSH2 0x0fdb 000001f7: JUMP 000001f8: JUMPDEST 000001f9: PUSH2 0x072b 000001fc: JUMP 000001fd: JUMPDEST 000001fe: CALLVALUE 000001ff: DUP1 00000200: ISZERO 00000201: PUSH2 0x0208 00000204: JUMPI 00000205: PUSH0 00000206: PUSH0 00000207: REVERT 00000208: JUMPDEST 00000209: POP 0000020a: PUSH2 0x0113 0000020d: PUSH2 0x0217 00000210: CALLDATASIZE 00000211: PUSH1 0x04 00000213: PUSH2 0x1111 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH2 0x07ed 0000021b: JUMP 0000021c: JUMPDEST 0000021d: PUSH2 0x013a 00000220: PUSH2 0x022a 00000223: CALLDATASIZE 00000224: PUSH1 0x04 00000226: PUSH2 0x1142 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH2 0x0826 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023a 00000236: JUMPI 00000237: PUSH0 00000238: PUSH0 00000239: REVERT 0000023a: JUMPDEST 0000023b: POP 0000023c: PUSH1 0x01 0000023e: SLOAD 0000023f: PUSH2 0x01b9 00000242: SWAP1 00000243: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000258: AND 00000259: DUP2 0000025a: JUMP 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0266 00000262: JUMPI 00000263: PUSH0 00000264: PUSH0 00000265: REVERT 00000266: JUMPDEST 00000267: POP 00000268: PUSH2 0x013a 0000026b: PUSH2 0x0275 0000026e: CALLDATASIZE 0000026f: PUSH1 0x04 00000271: PUSH2 0x1028 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH2 0x096e 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0285 00000281: JUMPI 00000282: PUSH0 00000283: PUSH0 00000284: REVERT 00000285: JUMPDEST 00000286: POP 00000287: PUSH2 0x013a 0000028a: PUSH2 0x0294 0000028d: CALLDATASIZE 0000028e: PUSH1 0x04 00000290: PUSH2 0x1174 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH2 0x0af2 00000298: JUMP 00000299: JUMPDEST 0000029a: CALLVALUE 0000029b: DUP1 0000029c: ISZERO 0000029d: PUSH2 0x02a4 000002a0: JUMPI 000002a1: PUSH0 000002a2: PUSH0 000002a3: REVERT 000002a4: JUMPDEST 000002a5: POP 000002a6: PUSH2 0x013a 000002a9: PUSH2 0x02b3 000002ac: CALLDATASIZE 000002ad: PUSH1 0x04 000002af: PUSH2 0x0fdb 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH2 0x0bd9 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH0 000002ba: SLOAD 000002bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d0: AND 000002d1: CALLER 000002d2: EQ 000002d3: PUSH2 0x0308 000002d6: JUMPI 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: PUSH32 0xbe24598300000000000000000000000000000000000000000000000000000000 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x04 000002ff: ADD 00000300: PUSH1 0x40 00000302: MLOAD 00000303: DUP1 00000304: SWAP2 00000305: SUB 00000306: SWAP1 00000307: REVERT 00000308: JUMPDEST 00000309: PUSH1 0x01 0000030b: SLOAD 0000030c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000321: AND 00000322: PUSH2 0x0357 00000325: JUMPI 00000326: PUSH1 0x40 00000328: MLOAD 00000329: PUSH32 0x75cdea1200000000000000000000000000000000000000000000000000000000 0000034a: DUP2 0000034b: MSTORE 0000034c: PUSH1 0x04 0000034e: ADD 0000034f: PUSH1 0x40 00000351: MLOAD 00000352: DUP1 00000353: SWAP2 00000354: SUB 00000355: SWAP1 00000356: REVERT 00000357: JUMPDEST 00000358: PUSH1 0x01 0000035a: DUP1 0000035b: SLOAD 0000035c: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000037d: AND 0000037e: SWAP1 0000037f: SSTORE 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH0 00000383: SLOAD 00000384: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000399: AND 0000039a: CALLER 0000039b: EQ 0000039c: PUSH2 0x03d1 0000039f: JUMPI 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: PUSH32 0xbe24598300000000000000000000000000000000000000000000000000000000 000003c4: DUP2 000003c5: MSTORE 000003c6: PUSH1 0x04 000003c8: ADD 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: DUP1 000003cd: SWAP2 000003ce: SUB 000003cf: SWAP1 000003d0: REVERT 000003d1: JUMPDEST 000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e7: DUP2 000003e8: AND 000003e9: PUSH0 000003ea: SWAP1 000003eb: DUP2 000003ec: MSTORE 000003ed: PUSH1 0x03 000003ef: PUSH1 0x20 000003f1: MSTORE 000003f2: PUSH1 0x40 000003f4: DUP2 000003f5: KECCAK256 000003f6: SLOAD 000003f7: SWAP1 000003f8: DUP2 000003f9: SWAP1 000003fa: SUB 000003fb: PUSH2 0x0402 000003fe: JUMPI 000003ff: POP 00000400: POP 00000401: JUMP 00000402: JUMPDEST 00000403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000418: DUP3 00000419: AND 0000041a: PUSH0 0000041b: SWAP1 0000041c: DUP2 0000041d: MSTORE 0000041e: PUSH1 0x03 00000420: PUSH1 0x20 00000422: MSTORE 00000423: PUSH1 0x40 00000425: DUP2 00000426: KECCAK256 00000427: SSTORE 00000428: PUSH2 0x0432 0000042b: DUP3 0000042c: CALLER 0000042d: DUP4 0000042e: PUSH2 0x0d35 00000431: JUMP 00000432: JUMPDEST 00000433: PUSH1 0x40 00000435: MLOAD 00000436: DUP2 00000437: DUP2 00000438: MSTORE 00000439: CALLER 0000043a: SWAP1 0000043b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000450: DUP5 00000451: AND 00000452: SWAP1 00000453: PUSH32 0xe0ac2a6b74759312758ae3b784411c8e2f3b8bd81fecff40b906d69030af4bfc 00000474: SWAP1 00000475: PUSH1 0x20 00000477: ADD 00000478: JUMPDEST 00000479: PUSH1 0x40 0000047b: MLOAD 0000047c: DUP1 0000047d: SWAP2 0000047e: SUB 0000047f: SWAP1 00000480: LOG3 00000481: POP 00000482: POP 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH0 00000486: SLOAD 00000487: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049c: AND 0000049d: CALLER 0000049e: EQ 0000049f: PUSH2 0x04d4 000004a2: JUMPI 000004a3: PUSH1 0x40 000004a5: MLOAD 000004a6: PUSH32 0xbe24598300000000000000000000000000000000000000000000000000000000 000004c7: DUP2 000004c8: MSTORE 000004c9: PUSH1 0x04 000004cb: ADD 000004cc: PUSH1 0x40 000004ce: MLOAD 000004cf: DUP1 000004d0: SWAP2 000004d1: SUB 000004d2: SWAP1 000004d3: REVERT 000004d4: JUMPDEST 000004d5: DUP1 000004d6: MLOAD 000004d7: PUSH0 000004d8: DUP1 000004d9: JUMPDEST 000004da: DUP3 000004db: DUP2 000004dc: LT 000004dd: ISZERO 000004de: PUSH2 0x0641 000004e1: JUMPI 000004e2: PUSH1 0x03 000004e4: PUSH0 000004e5: DUP6 000004e6: DUP4 000004e7: DUP2 000004e8: MLOAD 000004e9: DUP2 000004ea: LT 000004eb: PUSH2 0x04f6 000004ee: JUMPI 000004ef: PUSH2 0x04f6 000004f2: PUSH2 0x11b7 000004f5: JUMP 000004f6: JUMPDEST 000004f7: PUSH1 0x20 000004f9: MUL 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: ADD 000004fe: MLOAD 000004ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000514: AND 00000515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052a: AND 0000052b: DUP2 0000052c: MSTORE 0000052d: PUSH1 0x20 0000052f: ADD 00000530: SWAP1 00000531: DUP2 00000532: MSTORE 00000533: PUSH1 0x20 00000535: ADD 00000536: PUSH0 00000537: KECCAK256 00000538: SLOAD 00000539: SWAP2 0000053a: POP 0000053b: PUSH0 0000053c: PUSH1 0x03 0000053e: PUSH0 0000053f: DUP7 00000540: DUP5 00000541: DUP2 00000542: MLOAD 00000543: DUP2 00000544: LT 00000545: PUSH2 0x0550 00000548: JUMPI 00000549: PUSH2 0x0550 0000054c: PUSH2 0x11b7 0000054f: JUMP 00000550: JUMPDEST 00000551: PUSH1 0x20 00000553: MUL 00000554: PUSH1 0x20 00000556: ADD 00000557: ADD 00000558: MLOAD 00000559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056e: AND 0000056f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000584: AND 00000585: DUP2 00000586: MSTORE 00000587: PUSH1 0x20 00000589: ADD 0000058a: SWAP1 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x20 0000058f: ADD 00000590: PUSH0 00000591: KECCAK256 00000592: DUP2 00000593: SWAP1 00000594: SSTORE 00000595: POP 00000596: PUSH2 0x05b9 00000599: DUP5 0000059a: DUP3 0000059b: DUP2 0000059c: MLOAD 0000059d: DUP2 0000059e: LT 0000059f: PUSH2 0x05aa 000005a2: JUMPI 000005a3: PUSH2 0x05aa 000005a6: PUSH2 0x11b7 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x20 000005ad: MUL 000005ae: PUSH1 0x20 000005b0: ADD 000005b1: ADD 000005b2: MLOAD 000005b3: CALLER 000005b4: DUP5 000005b5: PUSH2 0x0d35 000005b8: JUMP 000005b9: JUMPDEST 000005ba: CALLER 000005bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d0: AND 000005d1: DUP5 000005d2: DUP3 000005d3: DUP2 000005d4: MLOAD 000005d5: DUP2 000005d6: LT 000005d7: PUSH2 0x05e2 000005da: JUMPI 000005db: PUSH2 0x05e2 000005de: PUSH2 0x11b7 000005e1: JUMP 000005e2: JUMPDEST 000005e3: PUSH1 0x20 000005e5: MUL 000005e6: PUSH1 0x20 000005e8: ADD 000005e9: ADD 000005ea: MLOAD 000005eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000600: AND 00000601: PUSH32 0xe0ac2a6b74759312758ae3b784411c8e2f3b8bd81fecff40b906d69030af4bfc 00000622: DUP5 00000623: PUSH1 0x40 00000625: MLOAD 00000626: PUSH2 0x0631 00000629: SWAP2 0000062a: DUP2 0000062b: MSTORE 0000062c: PUSH1 0x20 0000062e: ADD 0000062f: SWAP1 00000630: JUMP 00000631: JUMPDEST 00000632: PUSH1 0x40 00000634: MLOAD 00000635: DUP1 00000636: SWAP2 00000637: SUB 00000638: SWAP1 00000639: LOG3 0000063a: PUSH1 0x01 0000063c: ADD 0000063d: PUSH2 0x04d9 00000640: JUMP 00000641: JUMPDEST 00000642: POP 00000643: POP 00000644: POP 00000645: POP 00000646: JUMP 00000647: JUMPDEST 00000648: PUSH1 0x01 0000064a: SLOAD 0000064b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000660: AND 00000661: CALLER 00000662: DUP2 00000663: EQ 00000664: PUSH2 0x0699 00000667: JUMPI 00000668: PUSH1 0x40 0000066a: MLOAD 0000066b: PUSH32 0x1853971c00000000000000000000000000000000000000000000000000000000 0000068c: DUP2 0000068d: MSTORE 0000068e: PUSH1 0x04 00000690: ADD 00000691: PUSH1 0x40 00000693: MLOAD 00000694: DUP1 00000695: SWAP2 00000696: SUB 00000697: SWAP1 00000698: REVERT 00000699: JUMPDEST 0000069a: PUSH0 0000069b: DUP1 0000069c: SLOAD 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b5: DUP1 000006b6: DUP6 000006b7: AND 000006b8: SWAP4 000006b9: SWAP3 000006ba: AND 000006bb: SWAP2 000006bc: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000006dd: SWAP2 000006de: LOG3 000006df: PUSH0 000006e0: DUP1 000006e1: SLOAD 000006e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f7: SWAP1 000006f8: SWAP3 000006f9: AND 000006fa: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000071b: SWAP3 0000071c: DUP4 0000071d: AND 0000071e: OR 0000071f: SWAP1 00000720: SSTORE 00000721: PUSH1 0x01 00000723: DUP1 00000724: SLOAD 00000725: SWAP1 00000726: SWAP2 00000727: AND 00000728: SWAP1 00000729: SSTORE 0000072a: JUMP 0000072b: JUMPDEST 0000072c: CALLER 0000072d: PUSH0 0000072e: SWAP1 0000072f: DUP2 00000730: MSTORE 00000731: PUSH1 0x02 00000733: PUSH1 0x20 00000735: SWAP1 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x40 0000073a: DUP1 0000073b: DUP4 0000073c: KECCAK256 0000073d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000752: DUP6 00000753: AND 00000754: DUP5 00000755: MSTORE 00000756: SWAP1 00000757: SWAP2 00000758: MSTORE 00000759: DUP2 0000075a: KECCAK256 0000075b: SLOAD 0000075c: SWAP1 0000075d: DUP2 0000075e: SWAP1 0000075f: SUB 00000760: PUSH2 0x0767 00000763: JUMPI 00000764: POP 00000765: POP 00000766: JUMP 00000767: JUMPDEST 00000768: CALLER 00000769: PUSH0 0000076a: DUP2 0000076b: DUP2 0000076c: MSTORE 0000076d: PUSH1 0x02 0000076f: PUSH1 0x20 00000771: SWAP1 00000772: DUP2 00000773: MSTORE 00000774: PUSH1 0x40 00000776: DUP1 00000777: DUP4 00000778: KECCAK256 00000779: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078e: DUP8 0000078f: AND 00000790: DUP5 00000791: MSTORE 00000792: SWAP1 00000793: SWAP2 00000794: MSTORE 00000795: DUP2 00000796: KECCAK256 00000797: SSTORE 00000798: PUSH2 0x07a3 0000079b: SWAP1 0000079c: DUP4 0000079d: SWAP1 0000079e: DUP4 0000079f: PUSH2 0x0d35 000007a2: JUMP 000007a3: JUMPDEST 000007a4: PUSH1 0x40 000007a6: MLOAD 000007a7: DUP2 000007a8: DUP2 000007a9: MSTORE 000007aa: CALLER 000007ab: SWAP1 000007ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c1: DUP5 000007c2: AND 000007c3: SWAP1 000007c4: PUSH32 0x5e110f8bc8a20b65dcc87f224bdf1cc039346e267118bae2739847f07321ffa8 000007e5: SWAP1 000007e6: PUSH1 0x20 000007e8: ADD 000007e9: PUSH2 0x0478 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000803: DUP1 00000804: DUP4 00000805: AND 00000806: PUSH0 00000807: SWAP1 00000808: DUP2 00000809: MSTORE 0000080a: PUSH1 0x02 0000080c: PUSH1 0x20 0000080e: SWAP1 0000080f: DUP2 00000810: MSTORE 00000811: PUSH1 0x40 00000813: DUP1 00000814: DUP4 00000815: KECCAK256 00000816: SWAP4 00000817: DUP6 00000818: AND 00000819: DUP4 0000081a: MSTORE 0000081b: SWAP3 0000081c: SWAP1 0000081d: MSTORE 0000081e: KECCAK256 0000081f: SLOAD 00000820: JUMPDEST 00000821: SWAP3 00000822: SWAP2 00000823: POP 00000824: POP 00000825: JUMP 00000826: JUMPDEST 00000827: PUSH2 0x0830 0000082a: DUP3 0000082b: DUP5 0000082c: PUSH2 0x1211 0000082f: JUMP 00000830: JUMPDEST 00000831: CALLVALUE 00000832: LT 00000833: ISZERO 00000834: PUSH2 0x0869 00000837: JUMPI 00000838: PUSH1 0x40 0000083a: MLOAD 0000083b: PUSH32 0x840a2adf00000000000000000000000000000000000000000000000000000000 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x04 00000860: ADD 00000861: PUSH1 0x40 00000863: MLOAD 00000864: DUP1 00000865: SWAP2 00000866: SUB 00000867: SWAP1 00000868: REVERT 00000869: JUMPDEST 0000086a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087f: DUP2 00000880: AND 00000881: PUSH0 00000882: SWAP1 00000883: DUP2 00000884: MSTORE 00000885: PUSH1 0x02 00000887: PUSH1 0x20 00000889: SWAP1 0000088a: DUP2 0000088b: MSTORE 0000088c: PUSH1 0x40 0000088e: DUP1 0000088f: DUP4 00000890: KECCAK256 00000891: DUP4 00000892: DUP1 00000893: MSTORE 00000894: SWAP1 00000895: SWAP2 00000896: MSTORE 00000897: DUP2 00000898: KECCAK256 00000899: DUP1 0000089a: SLOAD 0000089b: DUP6 0000089c: SWAP3 0000089d: SWAP1 0000089e: PUSH2 0x08a8 000008a1: SWAP1 000008a2: DUP5 000008a3: SWAP1 000008a4: PUSH2 0x1211 000008a7: JUMP 000008a8: JUMPDEST 000008a9: SWAP1 000008aa: SWAP2 000008ab: SSTORE 000008ac: POP 000008ad: POP 000008ae: PUSH0 000008af: DUP1 000008b0: DUP1 000008b1: MSTORE 000008b2: PUSH1 0x03 000008b4: PUSH1 0x20 000008b6: MSTORE 000008b7: PUSH32 0x3617319a054d772f909f7c479a2cebe5066e836a939412e32403c99029b92eff 000008d8: DUP1 000008d9: SLOAD 000008da: DUP5 000008db: SWAP3 000008dc: SWAP1 000008dd: PUSH2 0x08e7 000008e0: SWAP1 000008e1: DUP5 000008e2: SWAP1 000008e3: PUSH2 0x1211 000008e6: JUMP 000008e7: JUMPDEST 000008e8: SWAP1 000008e9: SWAP2 000008ea: SSTORE 000008eb: POP 000008ec: PUSH0 000008ed: SWAP1 000008ee: POP 000008ef: PUSH2 0x08f8 000008f2: DUP4 000008f3: DUP6 000008f4: PUSH2 0x1211 000008f7: JUMP 000008f8: JUMPDEST 000008f9: PUSH2 0x0902 000008fc: SWAP1 000008fd: CALLVALUE 000008fe: PUSH2 0x1224 00000901: JUMP 00000902: JUMPDEST 00000903: SWAP1 00000904: POP 00000905: DUP1 00000906: ISZERO 00000907: PUSH2 0x0914 0000090a: JUMPI 0000090b: PUSH2 0x0914 0000090e: CALLER 0000090f: DUP3 00000910: PUSH2 0x0d6a 00000913: JUMP 00000914: JUMPDEST 00000915: PUSH1 0x40 00000917: DUP1 00000918: MLOAD 00000919: DUP6 0000091a: DUP2 0000091b: MSTORE 0000091c: PUSH1 0x20 0000091e: DUP2 0000091f: ADD 00000920: DUP6 00000921: SWAP1 00000922: MSTORE 00000923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000938: DUP5 00000939: AND 0000093a: SWAP2 0000093b: PUSH0 0000093c: SWAP2 0000093d: PUSH32 0x28a87b6059180e46de5fb9ab35eb043e8fe00ab45afcc7789e3934ecbbcde3ea 0000095e: SWAP2 0000095f: ADD 00000960: JUMPDEST 00000961: PUSH1 0x40 00000963: MLOAD 00000964: DUP1 00000965: SWAP2 00000966: SUB 00000967: SWAP1 00000968: LOG3 00000969: POP 0000096a: POP 0000096b: POP 0000096c: POP 0000096d: JUMP 0000096e: JUMPDEST 0000096f: DUP1 00000970: MLOAD 00000971: PUSH0 00000972: DUP1 00000973: JUMPDEST 00000974: DUP3 00000975: DUP2 00000976: LT 00000977: ISZERO 00000978: PUSH2 0x0641 0000097b: JUMPI 0000097c: CALLER 0000097d: PUSH0 0000097e: SWAP1 0000097f: DUP2 00000980: MSTORE 00000981: PUSH1 0x02 00000983: PUSH1 0x20 00000985: MSTORE 00000986: PUSH1 0x40 00000988: DUP2 00000989: KECCAK256 0000098a: DUP6 0000098b: MLOAD 0000098c: SWAP1 0000098d: SWAP2 0000098e: SWAP1 0000098f: DUP7 00000990: SWAP1 00000991: DUP5 00000992: SWAP1 00000993: DUP2 00000994: LT 00000995: PUSH2 0x09a0 00000998: JUMPI 00000999: PUSH2 0x09a0 0000099c: PUSH2 0x11b7 0000099f: JUMP 000009a0: JUMPDEST 000009a1: PUSH1 0x20 000009a3: MUL 000009a4: PUSH1 0x20 000009a6: ADD 000009a7: ADD 000009a8: MLOAD 000009a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009be: AND 000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d4: AND 000009d5: DUP2 000009d6: MSTORE 000009d7: PUSH1 0x20 000009d9: ADD 000009da: SWAP1 000009db: DUP2 000009dc: MSTORE 000009dd: PUSH1 0x20 000009df: ADD 000009e0: PUSH0 000009e1: KECCAK256 000009e2: SLOAD 000009e3: SWAP2 000009e4: POP 000009e5: DUP2 000009e6: PUSH0 000009e7: EQ 000009e8: PUSH2 0x0aea 000009eb: JUMPI 000009ec: CALLER 000009ed: PUSH0 000009ee: SWAP1 000009ef: DUP2 000009f0: MSTORE 000009f1: PUSH1 0x02 000009f3: PUSH1 0x20 000009f5: MSTORE 000009f6: PUSH1 0x40 000009f8: DUP2 000009f9: KECCAK256 000009fa: DUP6 000009fb: MLOAD 000009fc: DUP3 000009fd: SWAP1 000009fe: DUP8 000009ff: SWAP1 00000a00: DUP6 00000a01: SWAP1 00000a02: DUP2 00000a03: LT 00000a04: PUSH2 0x0a0f 00000a07: JUMPI 00000a08: PUSH2 0x0a0f 00000a0b: PUSH2 0x11b7 00000a0e: JUMP 00000a0f: JUMPDEST 00000a10: PUSH1 0x20 00000a12: MUL 00000a13: PUSH1 0x20 00000a15: ADD 00000a16: ADD 00000a17: MLOAD 00000a18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2d: AND 00000a2e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a43: AND 00000a44: DUP2 00000a45: MSTORE 00000a46: PUSH1 0x20 00000a48: ADD 00000a49: SWAP1 00000a4a: DUP2 00000a4b: MSTORE 00000a4c: PUSH1 0x20 00000a4e: ADD 00000a4f: PUSH0 00000a50: KECCAK256 00000a51: DUP2 00000a52: SWAP1 00000a53: SSTORE 00000a54: POP 00000a55: PUSH2 0x0a69 00000a58: DUP5 00000a59: DUP3 00000a5a: DUP2 00000a5b: MLOAD 00000a5c: DUP2 00000a5d: LT 00000a5e: PUSH2 0x05aa 00000a61: JUMPI 00000a62: PUSH2 0x05aa 00000a65: PUSH2 0x11b7 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: CALLER 00000a6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a80: AND 00000a81: DUP5 00000a82: DUP3 00000a83: DUP2 00000a84: MLOAD 00000a85: DUP2 00000a86: LT 00000a87: PUSH2 0x0a92 00000a8a: JUMPI 00000a8b: PUSH2 0x0a92 00000a8e: PUSH2 0x11b7 00000a91: JUMP 00000a92: JUMPDEST 00000a93: PUSH1 0x20 00000a95: MUL 00000a96: PUSH1 0x20 00000a98: ADD 00000a99: ADD 00000a9a: MLOAD 00000a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab0: AND 00000ab1: PUSH32 0x5e110f8bc8a20b65dcc87f224bdf1cc039346e267118bae2739847f07321ffa8 00000ad2: DUP5 00000ad3: PUSH1 0x40 00000ad5: MLOAD 00000ad6: PUSH2 0x0ae1 00000ad9: SWAP2 00000ada: DUP2 00000adb: MSTORE 00000adc: PUSH1 0x20 00000ade: ADD 00000adf: SWAP1 00000ae0: JUMP 00000ae1: JUMPDEST 00000ae2: PUSH1 0x40 00000ae4: MLOAD 00000ae5: DUP1 00000ae6: SWAP2 00000ae7: SUB 00000ae8: SWAP1 00000ae9: LOG3 00000aea: JUMPDEST 00000aeb: PUSH1 0x01 00000aed: ADD 00000aee: PUSH2 0x0973 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH2 0x0b05 00000af6: DUP5 00000af7: PUSH2 0x0b00 00000afa: DUP5 00000afb: DUP7 00000afc: PUSH2 0x1211 00000aff: JUMP 00000b00: JUMPDEST 00000b01: PUSH2 0x0d87 00000b04: JUMP 00000b05: JUMPDEST 00000b06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b1b: DUP1 00000b1c: DUP3 00000b1d: AND 00000b1e: PUSH0 00000b1f: SWAP1 00000b20: DUP2 00000b21: MSTORE 00000b22: PUSH1 0x02 00000b24: PUSH1 0x20 00000b26: SWAP1 00000b27: DUP2 00000b28: MSTORE 00000b29: PUSH1 0x40 00000b2b: DUP1 00000b2c: DUP4 00000b2d: KECCAK256 00000b2e: SWAP4 00000b2f: DUP9 00000b30: AND 00000b31: DUP4 00000b32: MSTORE 00000b33: SWAP3 00000b34: SWAP1 00000b35: MSTORE 00000b36: SWAP1 00000b37: DUP2 00000b38: KECCAK256 00000b39: DUP1 00000b3a: SLOAD 00000b3b: DUP6 00000b3c: SWAP3 00000b3d: SWAP1 00000b3e: PUSH2 0x0b48 00000b41: SWAP1 00000b42: DUP5 00000b43: SWAP1 00000b44: PUSH2 0x1211 00000b47: JUMP 00000b48: JUMPDEST 00000b49: SWAP1 00000b4a: SWAP2 00000b4b: SSTORE 00000b4c: POP 00000b4d: POP 00000b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b63: DUP5 00000b64: AND 00000b65: PUSH0 00000b66: SWAP1 00000b67: DUP2 00000b68: MSTORE 00000b69: PUSH1 0x03 00000b6b: PUSH1 0x20 00000b6d: MSTORE 00000b6e: PUSH1 0x40 00000b70: DUP2 00000b71: KECCAK256 00000b72: DUP1 00000b73: SLOAD 00000b74: DUP5 00000b75: SWAP3 00000b76: SWAP1 00000b77: PUSH2 0x0b81 00000b7a: SWAP1 00000b7b: DUP5 00000b7c: SWAP1 00000b7d: PUSH2 0x1211 00000b80: JUMP 00000b81: JUMPDEST 00000b82: SWAP1 00000b83: SWAP2 00000b84: SSTORE 00000b85: POP 00000b86: POP 00000b87: PUSH1 0x40 00000b89: DUP1 00000b8a: MLOAD 00000b8b: DUP5 00000b8c: DUP2 00000b8d: MSTORE 00000b8e: PUSH1 0x20 00000b90: DUP2 00000b91: ADD 00000b92: DUP5 00000b93: SWAP1 00000b94: MSTORE 00000b95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000baa: DUP1 00000bab: DUP5 00000bac: AND 00000bad: SWAP3 00000bae: SWAP1 00000baf: DUP8 00000bb0: AND 00000bb1: SWAP2 00000bb2: PUSH32 0x28a87b6059180e46de5fb9ab35eb043e8fe00ab45afcc7789e3934ecbbcde3ea 00000bd3: SWAP2 00000bd4: ADD 00000bd5: PUSH2 0x0960 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: PUSH0 00000bdb: SLOAD 00000bdc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf1: AND 00000bf2: CALLER 00000bf3: EQ 00000bf4: PUSH2 0x0c29 00000bf7: JUMPI 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: PUSH32 0xbe24598300000000000000000000000000000000000000000000000000000000 00000c1c: DUP2 00000c1d: MSTORE 00000c1e: PUSH1 0x04 00000c20: ADD 00000c21: PUSH1 0x40 00000c23: MLOAD 00000c24: DUP1 00000c25: SWAP2 00000c26: SUB 00000c27: SWAP1 00000c28: REVERT 00000c29: JUMPDEST 00000c2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3f: DUP2 00000c40: AND 00000c41: PUSH2 0x0c76 00000c44: JUMPI 00000c45: PUSH1 0x40 00000c47: MLOAD 00000c48: PUSH32 0x1beca37400000000000000000000000000000000000000000000000000000000 00000c69: DUP2 00000c6a: MSTORE 00000c6b: PUSH1 0x04 00000c6d: ADD 00000c6e: PUSH1 0x40 00000c70: MLOAD 00000c71: DUP1 00000c72: SWAP2 00000c73: SUB 00000c74: SWAP1 00000c75: REVERT 00000c76: JUMPDEST 00000c77: CALLER 00000c78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8d: DUP3 00000c8e: AND 00000c8f: SUB 00000c90: PUSH2 0x0cc5 00000c93: JUMPI 00000c94: PUSH1 0x40 00000c96: MLOAD 00000c97: PUSH32 0xbf1ea9fb00000000000000000000000000000000000000000000000000000000 00000cb8: DUP2 00000cb9: MSTORE 00000cba: PUSH1 0x04 00000cbc: ADD 00000cbd: PUSH1 0x40 00000cbf: MLOAD 00000cc0: DUP1 00000cc1: SWAP2 00000cc2: SUB 00000cc3: SWAP1 00000cc4: REVERT 00000cc5: JUMPDEST 00000cc6: PUSH1 0x01 00000cc8: DUP1 00000cc9: SLOAD 00000cca: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000ceb: AND 00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d01: DUP4 00000d02: AND 00000d03: SWAP1 00000d04: DUP2 00000d05: OR 00000d06: SWAP1 00000d07: SWAP2 00000d08: SSTORE 00000d09: PUSH1 0x40 00000d0b: MLOAD 00000d0c: CALLER 00000d0d: SWAP1 00000d0e: PUSH32 0xed8889f560326eb138920d842192f0eb3dd22b4f139c87a2c57538e05bae1278 00000d2f: SWAP1 00000d30: PUSH0 00000d31: SWAP1 00000d32: LOG3 00000d33: POP 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4b: DUP4 00000d4c: AND 00000d4d: PUSH2 0x0d5f 00000d50: JUMPI 00000d51: PUSH2 0x0d5a 00000d54: DUP3 00000d55: DUP3 00000d56: PUSH2 0x0e37 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: POP 00000d5c: POP 00000d5d: POP 00000d5e: JUMP 00000d5f: JUMPDEST 00000d60: PUSH2 0x0d5a 00000d63: DUP4 00000d64: DUP4 00000d65: DUP4 00000d66: PUSH2 0x0ea4 00000d69: JUMP 00000d6a: JUMPDEST 00000d6b: PUSH0 00000d6c: CODESIZE 00000d6d: PUSH0 00000d6e: CODESIZE 00000d6f: DUP5 00000d70: DUP7 00000d71: GAS 00000d72: CALL 00000d73: PUSH2 0x0d83 00000d76: JUMPI 00000d77: PUSH4 0xb12d13eb 00000d7c: PUSH0 00000d7d: MSTORE 00000d7e: PUSH1 0x04 00000d80: PUSH1 0x1c 00000d82: REVERT 00000d83: JUMPDEST 00000d84: POP 00000d85: POP 00000d86: JUMP 00000d87: JUMPDEST 00000d88: DUP1 00000d89: PUSH0 00000d8a: SUB 00000d8b: PUSH2 0x0dc0 00000d8e: JUMPI 00000d8f: PUSH1 0x40 00000d91: MLOAD 00000d92: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000 00000db3: DUP2 00000db4: MSTORE 00000db5: PUSH1 0x04 00000db7: ADD 00000db8: PUSH1 0x40 00000dba: MLOAD 00000dbb: DUP1 00000dbc: SWAP2 00000dbd: SUB 00000dbe: SWAP1 00000dbf: REVERT 00000dc0: JUMPDEST 00000dc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd6: DUP3 00000dd7: AND 00000dd8: PUSH2 0x0e15 00000ddb: JUMPI 00000ddc: DUP1 00000ddd: CALLVALUE 00000dde: LT 00000ddf: ISZERO 00000de0: PUSH2 0x0d83 00000de3: JUMPI 00000de4: PUSH1 0x40 00000de6: MLOAD 00000de7: PUSH32 0x2c5211c600000000000000000000000000000000000000000000000000000000 00000e08: DUP2 00000e09: MSTORE 00000e0a: PUSH1 0x04 00000e0c: ADD 00000e0d: PUSH1 0x40 00000e0f: MLOAD 00000e10: DUP1 00000e11: SWAP2 00000e12: SUB 00000e13: SWAP1 00000e14: REVERT 00000e15: JUMPDEST 00000e16: PUSH2 0x0d83 00000e19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2e: DUP4 00000e2f: AND 00000e30: CALLER 00000e31: ADDRESS 00000e32: DUP5 00000e33: PUSH2 0x0f12 00000e36: JUMP 00000e37: JUMPDEST 00000e38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e4d: DUP3 00000e4e: AND 00000e4f: PUSH2 0x0e84 00000e52: JUMPI 00000e53: PUSH1 0x40 00000e55: MLOAD 00000e56: PUSH32 0x1e4ec46b00000000000000000000000000000000000000000000000000000000 00000e77: DUP2 00000e78: MSTORE 00000e79: PUSH1 0x04 00000e7b: ADD 00000e7c: PUSH1 0x40 00000e7e: MLOAD 00000e7f: DUP1 00000e80: SWAP2 00000e81: SUB 00000e82: SWAP1 00000e83: REVERT 00000e84: JUMPDEST 00000e85: PUSH2 0x0d83 00000e88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9d: DUP4 00000e9e: AND 00000e9f: DUP3 00000ea0: PUSH2 0x0d6a 00000ea3: JUMP 00000ea4: JUMPDEST 00000ea5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eba: DUP3 00000ebb: AND 00000ebc: PUSH2 0x0ef1 00000ebf: JUMPI 00000ec0: PUSH1 0x40 00000ec2: MLOAD 00000ec3: PUSH32 0x1e4ec46b00000000000000000000000000000000000000000000000000000000 00000ee4: DUP2 00000ee5: MSTORE 00000ee6: PUSH1 0x04 00000ee8: ADD 00000ee9: PUSH1 0x40 00000eeb: MLOAD 00000eec: DUP1 00000eed: SWAP2 00000eee: SUB 00000eef: SWAP1 00000ef0: REVERT 00000ef1: JUMPDEST 00000ef2: PUSH2 0x0d5a 00000ef5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0a: DUP5 00000f0b: AND 00000f0c: DUP4 00000f0d: DUP4 00000f0e: PUSH2 0x0f6a 00000f11: JUMP 00000f12: JUMPDEST 00000f13: PUSH1 0x40 00000f15: MLOAD 00000f16: DUP2 00000f17: PUSH1 0x60 00000f19: MSTORE 00000f1a: DUP3 00000f1b: PUSH1 0x40 00000f1d: MSTORE 00000f1e: DUP4 00000f1f: PUSH1 0x60 00000f21: SHL 00000f22: PUSH1 0x2c 00000f24: MSTORE 00000f25: PUSH16 0x23b872dd000000000000000000000000 00000f36: PUSH1 0x0c 00000f38: MSTORE 00000f39: PUSH1 0x20 00000f3b: PUSH0 00000f3c: PUSH1 0x64 00000f3e: PUSH1 0x1c 00000f40: PUSH0 00000f41: DUP10 00000f42: GAS 00000f43: CALL 00000f44: RETURNDATASIZE 00000f45: ISZERO 00000f46: PUSH1 0x01 00000f48: PUSH0 00000f49: MLOAD 00000f4a: EQ 00000f4b: OR 00000f4c: AND 00000f4d: PUSH2 0x0f5d 00000f50: JUMPI 00000f51: PUSH4 0x7939f424 00000f56: PUSH0 00000f57: MSTORE 00000f58: PUSH1 0x04 00000f5a: PUSH1 0x1c 00000f5c: REVERT 00000f5d: JUMPDEST 00000f5e: PUSH0 00000f5f: PUSH1 0x60 00000f61: MSTORE 00000f62: PUSH1 0x40 00000f64: MSTORE 00000f65: POP 00000f66: POP 00000f67: POP 00000f68: POP 00000f69: JUMP 00000f6a: JUMPDEST 00000f6b: DUP2 00000f6c: PUSH1 0x14 00000f6e: MSTORE 00000f6f: DUP1 00000f70: PUSH1 0x34 00000f72: MSTORE 00000f73: PUSH16 0xa9059cbb000000000000000000000000 00000f84: PUSH0 00000f85: MSTORE 00000f86: PUSH1 0x20 00000f88: PUSH0 00000f89: PUSH1 0x44 00000f8b: PUSH1 0x10 00000f8d: PUSH0 00000f8e: DUP8 00000f8f: GAS 00000f90: CALL 00000f91: RETURNDATASIZE 00000f92: ISZERO 00000f93: PUSH1 0x01 00000f95: PUSH0 00000f96: MLOAD 00000f97: EQ 00000f98: OR 00000f99: AND 00000f9a: PUSH2 0x0faa 00000f9d: JUMPI 00000f9e: PUSH4 0x90b8ec18 00000fa3: PUSH0 00000fa4: MSTORE 00000fa5: PUSH1 0x04 00000fa7: PUSH1 0x1c 00000fa9: REVERT 00000faa: JUMPDEST 00000fab: PUSH0 00000fac: PUSH1 0x34 00000fae: MSTORE 00000faf: POP 00000fb0: POP 00000fb1: POP 00000fb2: JUMP 00000fb3: JUMPDEST 00000fb4: DUP1 00000fb5: CALLDATALOAD 00000fb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fcb: DUP2 00000fcc: AND 00000fcd: DUP2 00000fce: EQ 00000fcf: PUSH2 0x0fd6 00000fd2: JUMPI 00000fd3: PUSH0 00000fd4: PUSH0 00000fd5: REVERT 00000fd6: JUMPDEST 00000fd7: SWAP2 00000fd8: SWAP1 00000fd9: POP 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: PUSH0 00000fdd: PUSH1 0x20 00000fdf: DUP3 00000fe0: DUP5 00000fe1: SUB 00000fe2: SLT 00000fe3: ISZERO 00000fe4: PUSH2 0x0feb 00000fe7: JUMPI 00000fe8: PUSH0 00000fe9: PUSH0 00000fea: REVERT 00000feb: JUMPDEST 00000fec: PUSH2 0x0ff4 00000fef: DUP3 00000ff0: PUSH2 0x0fb3 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: SWAP4 00000ff6: SWAP3 00000ff7: POP 00000ff8: POP 00000ff9: POP 00000ffa: JUMP 00000ffb: JUMPDEST 00000ffc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000101d: PUSH0 0000101e: MSTORE 0000101f: PUSH1 0x41 00001021: PUSH1 0x04 00001023: MSTORE 00001024: PUSH1 0x24 00001026: PUSH0 00001027: REVERT 00001028: JUMPDEST 00001029: PUSH0 0000102a: PUSH1 0x20 0000102c: DUP3 0000102d: DUP5 0000102e: SUB 0000102f: SLT 00001030: ISZERO 00001031: PUSH2 0x1038 00001034: JUMPI 00001035: PUSH0 00001036: PUSH0 00001037: REVERT 00001038: JUMPDEST 00001039: DUP2 0000103a: CALLDATALOAD 0000103b: PUSH8 0xffffffffffffffff 00001044: DUP2 00001045: GT 00001046: ISZERO 00001047: PUSH2 0x104e 0000104a: JUMPI 0000104b: PUSH0 0000104c: PUSH0 0000104d: REVERT 0000104e: JUMPDEST 0000104f: DUP3 00001050: ADD 00001051: PUSH1 0x1f 00001053: DUP2 00001054: ADD 00001055: DUP5 00001056: SGT 00001057: PUSH2 0x105e 0000105a: JUMPI 0000105b: PUSH0 0000105c: PUSH0 0000105d: REVERT 0000105e: JUMPDEST 0000105f: DUP1 00001060: CALLDATALOAD 00001061: PUSH8 0xffffffffffffffff 0000106a: DUP2 0000106b: GT 0000106c: ISZERO 0000106d: PUSH2 0x1078 00001070: JUMPI 00001071: PUSH2 0x1078 00001074: PUSH2 0x0ffb 00001077: JUMP 00001078: JUMPDEST 00001079: DUP1 0000107a: PUSH1 0x05 0000107c: SHL 0000107d: PUSH1 0x40 0000107f: MLOAD 00001080: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000010a1: PUSH1 0x3f 000010a3: DUP4 000010a4: ADD 000010a5: AND 000010a6: DUP2 000010a7: ADD 000010a8: DUP2 000010a9: DUP2 000010aa: LT 000010ab: PUSH8 0xffffffffffffffff 000010b4: DUP3 000010b5: GT 000010b6: OR 000010b7: ISZERO 000010b8: PUSH2 0x10c3 000010bb: JUMPI 000010bc: PUSH2 0x10c3 000010bf: PUSH2 0x0ffb 000010c2: JUMP 000010c3: JUMPDEST 000010c4: PUSH1 0x40 000010c6: MSTORE 000010c7: SWAP2 000010c8: DUP3 000010c9: MSTORE 000010ca: PUSH1 0x20 000010cc: DUP2 000010cd: DUP5 000010ce: ADD 000010cf: DUP2 000010d0: ADD 000010d1: SWAP3 000010d2: SWAP1 000010d3: DUP2 000010d4: ADD 000010d5: DUP8 000010d6: DUP5 000010d7: GT 000010d8: ISZERO 000010d9: PUSH2 0x10e0 000010dc: JUMPI 000010dd: PUSH0 000010de: PUSH0 000010df: REVERT 000010e0: JUMPDEST 000010e1: PUSH1 0x20 000010e3: DUP6 000010e4: ADD 000010e5: SWAP5 000010e6: POP 000010e7: JUMPDEST 000010e8: DUP4 000010e9: DUP6 000010ea: LT 000010eb: ISZERO 000010ec: PUSH2 0x1106 000010ef: JUMPI 000010f0: PUSH2 0x10f8 000010f3: DUP6 000010f4: PUSH2 0x0fb3 000010f7: JUMP 000010f8: JUMPDEST 000010f9: DUP2 000010fa: MSTORE 000010fb: PUSH1 0x20 000010fd: SWAP5 000010fe: DUP6 000010ff: ADD 00001100: SWAP5 00001101: ADD 00001102: PUSH2 0x10e7 00001105: JUMP 00001106: JUMPDEST 00001107: POP 00001108: SWAP7 00001109: SWAP6 0000110a: POP 0000110b: POP 0000110c: POP 0000110d: POP 0000110e: POP 0000110f: POP 00001110: JUMP 00001111: JUMPDEST 00001112: PUSH0 00001113: PUSH0 00001114: PUSH1 0x40 00001116: DUP4 00001117: DUP6 00001118: SUB 00001119: SLT 0000111a: ISZERO 0000111b: PUSH2 0x1122 0000111e: JUMPI 0000111f: PUSH0 00001120: PUSH0 00001121: REVERT 00001122: JUMPDEST 00001123: PUSH2 0x112b 00001126: DUP4 00001127: PUSH2 0x0fb3 0000112a: JUMP 0000112b: JUMPDEST 0000112c: SWAP2 0000112d: POP 0000112e: PUSH2 0x1139 00001131: PUSH1 0x20 00001133: DUP5 00001134: ADD 00001135: PUSH2 0x0fb3 00001138: JUMP 00001139: JUMPDEST 0000113a: SWAP1 0000113b: POP 0000113c: SWAP3 0000113d: POP 0000113e: SWAP3 0000113f: SWAP1 00001140: POP 00001141: JUMP 00001142: JUMPDEST 00001143: PUSH0 00001144: PUSH0 00001145: PUSH0 00001146: PUSH1 0x60 00001148: DUP5 00001149: DUP7 0000114a: SUB 0000114b: SLT 0000114c: ISZERO 0000114d: PUSH2 0x1154 00001150: JUMPI 00001151: PUSH0 00001152: PUSH0 00001153: REVERT 00001154: JUMPDEST 00001155: DUP4 00001156: CALLDATALOAD 00001157: SWAP3 00001158: POP 00001159: PUSH1 0x20 0000115b: DUP5 0000115c: ADD 0000115d: CALLDATALOAD 0000115e: SWAP2 0000115f: POP 00001160: PUSH2 0x116b 00001163: PUSH1 0x40 00001165: DUP6 00001166: ADD 00001167: PUSH2 0x0fb3 0000116a: JUMP 0000116b: JUMPDEST 0000116c: SWAP1 0000116d: POP 0000116e: SWAP3 0000116f: POP 00001170: SWAP3 00001171: POP 00001172: SWAP3 00001173: JUMP 00001174: JUMPDEST 00001175: PUSH0 00001176: PUSH0 00001177: PUSH0 00001178: PUSH0 00001179: PUSH1 0x80 0000117b: DUP6 0000117c: DUP8 0000117d: SUB 0000117e: SLT 0000117f: ISZERO 00001180: PUSH2 0x1187 00001183: JUMPI 00001184: PUSH0 00001185: PUSH0 00001186: REVERT 00001187: JUMPDEST 00001188: PUSH2 0x1190 0000118b: DUP6 0000118c: PUSH2 0x0fb3 0000118f: JUMP 00001190: JUMPDEST 00001191: SWAP4 00001192: POP 00001193: PUSH1 0x20 00001195: DUP6 00001196: ADD 00001197: CALLDATALOAD 00001198: SWAP3 00001199: POP 0000119a: PUSH1 0x40 0000119c: DUP6 0000119d: ADD 0000119e: CALLDATALOAD 0000119f: SWAP2 000011a0: POP 000011a1: PUSH2 0x11ac 000011a4: PUSH1 0x60 000011a6: DUP7 000011a7: ADD 000011a8: PUSH2 0x0fb3 000011ab: JUMP 000011ac: JUMPDEST 000011ad: SWAP1 000011ae: POP 000011af: SWAP3 000011b0: SWAP6 000011b1: SWAP2 000011b2: SWAP5 000011b3: POP 000011b4: SWAP3 000011b5: POP 000011b6: JUMP 000011b7: JUMPDEST 000011b8: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000011d9: PUSH0 000011da: MSTORE 000011db: PUSH1 0x32 000011dd: PUSH1 0x04 000011df: MSTORE 000011e0: PUSH1 0x24 000011e2: PUSH0 000011e3: REVERT 000011e4: JUMPDEST 000011e5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001206: PUSH0 00001207: MSTORE 00001208: PUSH1 0x11 0000120a: PUSH1 0x04 0000120c: MSTORE 0000120d: PUSH1 0x24 0000120f: PUSH0 00001210: REVERT 00001211: JUMPDEST 00001212: DUP1 00001213: DUP3 00001214: ADD 00001215: DUP1 00001216: DUP3 00001217: GT 00001218: ISZERO 00001219: PUSH2 0x0820 0000121c: JUMPI 0000121d: PUSH2 0x0820 00001220: PUSH2 0x11e4 00001223: JUMP 00001224: JUMPDEST 00001225: DUP2 00001226: DUP2 00001227: SUB 00001228: DUP2 00001229: DUP2 0000122a: GT 0000122b: ISZERO 0000122c: PUSH2 0x0820 0000122f: JUMPI 00001230: PUSH2 0x0820 00001233: PUSH2 0x11e4 00001236: JUMP 00001237: INVALID 00001238: LOG2 00001239: PUSH5 0x6970667358 0000123f: UNKNOWN(0x22) 00001240: SLT 00001241: KECCAK256 00001242: UNKNOWN(0x29) 00001243: UNKNOWN(0xB5) 00001244: LT 00001245: MCOPY 00001246: PUSH18 0x19eeb7625028e1ca3fd8082802cca4db2bc4 00001259: UNKNOWN(0xD3) 0000125a: PUSH7 0xf4d4b3044de983 00001262: PUSH5 0x736f6c6343 00001268: STOP 00001269: ADDMOD 0000126a: SAR 0000126b: STOP 0000126c: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4a9000ad5bb51da5fc0ffa5ab884c83ec3403198cee7e69e9fbae93167b1d0a0
call_targets:
0x3ef238c36035880efbdfa239d218186b79ad1d6f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4a9000ad5bb51da5fc0ffa5ab884c83ec3403198cee7e69e9fbae93167b1d0a0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3ef238c36035880efbdfa239d218186b79ad1d6f"
],
"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": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5d64766",
"selector": "0xe5d64766",
"calldata_variants": [
"0xe5d64766",
"0xe5d647660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeedd56e1",
"selector": "0xeedd56e1",
"calldata_variants": [
"0xeedd56e1",
"0xeedd56e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd0b380b",
"selector": "0xbd0b380b",
"calldata_variants": [
"0xbd0b380b",
"0xbd0b380b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc489744b",
"selector": "0xc489744b",
"calldata_variants": [
"0xc489744b",
"0xc489744b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0cbc5f2",
"selector": "0xe0cbc5f2",
"calldata_variants": [
"0xe0cbc5f2",
"0xe0cbc5f20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64bc5be1",
"selector": "0x64bc5be1",
"calldata_variants": [
"0x64bc5be1",
"0x64bc5be10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3442,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4a9000ad5bb51da5fc0ffa5ab884c83ec3403198cee7e69e9fbae93167b1d0a0
call_targets:
0x3ef238c36035880efbdfa239d218186b79ad1d6f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4a9000ad5bb51da5fc0ffa5ab884c83ec3403198cee7e69e9fbae93167b1d0a0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3ef238c36035880efbdfa239d218186b79ad1d6f"
],
"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": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe5d64766",
"selector": "0xe5d64766",
"calldata_variants": [
"0xe5d64766",
"0xe5d647660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeedd56e1",
"selector": "0xeedd56e1",
"calldata_variants": [
"0xeedd56e1",
"0xeedd56e10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbd0b380b",
"selector": "0xbd0b380b",
"calldata_variants": [
"0xbd0b380b",
"0xbd0b380b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc489744b",
"selector": "0xc489744b",
"calldata_variants": [
"0xc489744b",
"0xc489744b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0cbc5f2",
"selector": "0xe0cbc5f2",
"calldata_variants": [
"0xe0cbc5f2",
"0xe0cbc5f20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x64bc5be1",
"selector": "0x64bc5be1",
"calldata_variants": [
"0x64bc5be1",
"0x64bc5be10000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3442,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3907,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "constant"
},
{
"pc": 3984,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "constant"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|