019b477e-bcf5-71a2-ae13-91626d98fe75
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 |
|---|---|---|---|---|
| 24157 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 24158 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 67486 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67487 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67488 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67489 | 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 0x009c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8c52dc41 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8c52dc41 00000024: EQ 00000025: PUSH2 0x021a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9af6549a 0000002f: EQ 00000030: PUSH2 0x0231 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc19d93fb 0000003a: EQ 0000003b: PUSH2 0x0248 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc6dbdf61 00000045: EQ 00000046: PUSH2 0x0281 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe3a9db1a 00000050: EQ 00000051: PUSH2 0x02d8 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf340fa01 0000005b: EQ 0000005c: PUSH2 0x033d 0000005f: JUMPI 00000060: PUSH2 0x009c 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x2348238c 0000006b: EQ 0000006c: PUSH2 0x00a1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x38af3eed 00000076: EQ 00000077: PUSH2 0x00f2 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x43d726d6 00000081: EQ 00000082: PUSH2 0x0149 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x51cff8d9 0000008c: EQ 0000008d: PUSH2 0x0160 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x685ca194 00000097: EQ 00000098: PUSH2 0x01b1 0000009b: JUMPI 0000009c: JUMPDEST 0000009d: PUSH1 0x00 0000009f: DUP1 000000a0: REVERT 000000a1: JUMPDEST 000000a2: CALLVALUE 000000a3: DUP1 000000a4: ISZERO 000000a5: PUSH2 0x00ad 000000a8: JUMPI 000000a9: PUSH1 0x00 000000ab: DUP1 000000ac: REVERT 000000ad: JUMPDEST 000000ae: POP 000000af: PUSH2 0x00f0 000000b2: PUSH1 0x04 000000b4: DUP1 000000b5: CALLDATASIZE 000000b6: SUB 000000b7: PUSH1 0x20 000000b9: DUP2 000000ba: LT 000000bb: ISZERO 000000bc: PUSH2 0x00c4 000000bf: JUMPI 000000c0: PUSH1 0x00 000000c2: DUP1 000000c3: REVERT 000000c4: JUMPDEST 000000c5: DUP2 000000c6: ADD 000000c7: SWAP1 000000c8: DUP1 000000c9: DUP1 000000ca: CALLDATALOAD 000000cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e0: AND 000000e1: SWAP1 000000e2: PUSH1 0x20 000000e4: ADD 000000e5: SWAP1 000000e6: SWAP3 000000e7: SWAP2 000000e8: SWAP1 000000e9: POP 000000ea: POP 000000eb: POP 000000ec: PUSH2 0x0381 000000ef: JUMP 000000f0: JUMPDEST 000000f1: STOP 000000f2: JUMPDEST 000000f3: CALLVALUE 000000f4: DUP1 000000f5: ISZERO 000000f6: PUSH2 0x00fe 000000f9: JUMPI 000000fa: PUSH1 0x00 000000fc: DUP1 000000fd: REVERT 000000fe: JUMPDEST 000000ff: POP 00000100: PUSH2 0x0107 00000103: PUSH2 0x0573 00000106: JUMP 00000107: JUMPDEST 00000108: PUSH1 0x40 0000010a: MLOAD 0000010b: DUP1 0000010c: DUP3 0000010d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000122: AND 00000123: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000138: AND 00000139: DUP2 0000013a: MSTORE 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: SWAP2 0000013f: POP 00000140: POP 00000141: PUSH1 0x40 00000143: MLOAD 00000144: DUP1 00000145: SWAP2 00000146: SUB 00000147: SWAP1 00000148: RETURN 00000149: JUMPDEST 0000014a: CALLVALUE 0000014b: DUP1 0000014c: ISZERO 0000014d: PUSH2 0x0155 00000150: JUMPI 00000151: PUSH1 0x00 00000153: DUP1 00000154: REVERT 00000155: JUMPDEST 00000156: POP 00000157: PUSH2 0x015e 0000015a: PUSH2 0x059d 0000015d: JUMP 0000015e: JUMPDEST 0000015f: STOP 00000160: JUMPDEST 00000161: CALLVALUE 00000162: DUP1 00000163: ISZERO 00000164: PUSH2 0x016c 00000167: JUMPI 00000168: PUSH1 0x00 0000016a: DUP1 0000016b: REVERT 0000016c: JUMPDEST 0000016d: POP 0000016e: PUSH2 0x01af 00000171: PUSH1 0x04 00000173: DUP1 00000174: CALLDATASIZE 00000175: SUB 00000176: PUSH1 0x20 00000178: DUP2 00000179: LT 0000017a: ISZERO 0000017b: PUSH2 0x0183 0000017e: JUMPI 0000017f: PUSH1 0x00 00000181: DUP1 00000182: REVERT 00000183: JUMPDEST 00000184: DUP2 00000185: ADD 00000186: SWAP1 00000187: DUP1 00000188: DUP1 00000189: CALLDATALOAD 0000018a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000019f: AND 000001a0: SWAP1 000001a1: PUSH1 0x20 000001a3: ADD 000001a4: SWAP1 000001a5: SWAP3 000001a6: SWAP2 000001a7: SWAP1 000001a8: POP 000001a9: POP 000001aa: POP 000001ab: PUSH2 0x0711 000001ae: JUMP 000001af: JUMPDEST 000001b0: STOP 000001b1: JUMPDEST 000001b2: CALLVALUE 000001b3: DUP1 000001b4: ISZERO 000001b5: PUSH2 0x01bd 000001b8: JUMPI 000001b9: PUSH1 0x00 000001bb: DUP1 000001bc: REVERT 000001bd: JUMPDEST 000001be: POP 000001bf: PUSH2 0x0200 000001c2: PUSH1 0x04 000001c4: DUP1 000001c5: CALLDATASIZE 000001c6: SUB 000001c7: PUSH1 0x20 000001c9: DUP2 000001ca: LT 000001cb: ISZERO 000001cc: PUSH2 0x01d4 000001cf: JUMPI 000001d0: PUSH1 0x00 000001d2: DUP1 000001d3: REVERT 000001d4: JUMPDEST 000001d5: DUP2 000001d6: ADD 000001d7: SWAP1 000001d8: DUP1 000001d9: DUP1 000001da: CALLDATALOAD 000001db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f0: AND 000001f1: SWAP1 000001f2: PUSH1 0x20 000001f4: ADD 000001f5: SWAP1 000001f6: SWAP3 000001f7: SWAP2 000001f8: SWAP1 000001f9: POP 000001fa: POP 000001fb: POP 000001fc: PUSH2 0x077b 000001ff: JUMP 00000200: JUMPDEST 00000201: PUSH1 0x40 00000203: MLOAD 00000204: DUP1 00000205: DUP3 00000206: ISZERO 00000207: ISZERO 00000208: ISZERO 00000209: ISZERO 0000020a: DUP2 0000020b: MSTORE 0000020c: PUSH1 0x20 0000020e: ADD 0000020f: SWAP2 00000210: POP 00000211: POP 00000212: PUSH1 0x40 00000214: MLOAD 00000215: DUP1 00000216: SWAP2 00000217: SUB 00000218: SWAP1 00000219: RETURN 0000021a: JUMPDEST 0000021b: CALLVALUE 0000021c: DUP1 0000021d: ISZERO 0000021e: PUSH2 0x0226 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: POP 00000228: PUSH2 0x022f 0000022b: PUSH2 0x07ad 0000022e: JUMP 0000022f: JUMPDEST 00000230: STOP 00000231: JUMPDEST 00000232: CALLVALUE 00000233: DUP1 00000234: ISZERO 00000235: PUSH2 0x023d 00000238: JUMPI 00000239: PUSH1 0x00 0000023b: DUP1 0000023c: REVERT 0000023d: JUMPDEST 0000023e: POP 0000023f: PUSH2 0x0246 00000242: PUSH2 0x0922 00000245: JUMP 00000246: JUMPDEST 00000247: STOP 00000248: JUMPDEST 00000249: CALLVALUE 0000024a: DUP1 0000024b: ISZERO 0000024c: PUSH2 0x0254 0000024f: JUMPI 00000250: PUSH1 0x00 00000252: DUP1 00000253: REVERT 00000254: JUMPDEST 00000255: POP 00000256: PUSH2 0x025d 00000259: PUSH2 0x0a21 0000025c: JUMP 0000025d: JUMPDEST 0000025e: PUSH1 0x40 00000260: MLOAD 00000261: DUP1 00000262: DUP3 00000263: PUSH1 0x02 00000265: DUP2 00000266: GT 00000267: ISZERO 00000268: PUSH2 0x026d 0000026b: JUMPI 0000026c: INVALID 0000026d: JUMPDEST 0000026e: PUSH1 0xff 00000270: AND 00000271: DUP2 00000272: MSTORE 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP2 00000277: POP 00000278: POP 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: DUP1 0000027d: SWAP2 0000027e: SUB 0000027f: SWAP1 00000280: RETURN 00000281: JUMPDEST 00000282: CALLVALUE 00000283: DUP1 00000284: ISZERO 00000285: PUSH2 0x028d 00000288: JUMPI 00000289: PUSH1 0x00 0000028b: DUP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: POP 0000028f: PUSH2 0x0296 00000292: PUSH2 0x0a38 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH1 0x40 00000299: MLOAD 0000029a: DUP1 0000029b: DUP3 0000029c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b1: AND 000002b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c7: AND 000002c8: DUP2 000002c9: MSTORE 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: SWAP2 000002ce: POP 000002cf: POP 000002d0: PUSH1 0x40 000002d2: MLOAD 000002d3: DUP1 000002d4: SWAP2 000002d5: SUB 000002d6: SWAP1 000002d7: RETURN 000002d8: JUMPDEST 000002d9: CALLVALUE 000002da: DUP1 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: POP 000002e6: PUSH2 0x0327 000002e9: PUSH1 0x04 000002eb: DUP1 000002ec: CALLDATASIZE 000002ed: SUB 000002ee: PUSH1 0x20 000002f0: DUP2 000002f1: LT 000002f2: ISZERO 000002f3: PUSH2 0x02fb 000002f6: JUMPI 000002f7: PUSH1 0x00 000002f9: DUP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: DUP2 000002fd: ADD 000002fe: SWAP1 000002ff: DUP1 00000300: DUP1 00000301: CALLDATALOAD 00000302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000317: AND 00000318: SWAP1 00000319: PUSH1 0x20 0000031b: ADD 0000031c: SWAP1 0000031d: SWAP3 0000031e: SWAP2 0000031f: SWAP1 00000320: POP 00000321: POP 00000322: POP 00000323: PUSH2 0x0a61 00000326: JUMP 00000327: JUMPDEST 00000328: PUSH1 0x40 0000032a: MLOAD 0000032b: DUP1 0000032c: DUP3 0000032d: DUP2 0000032e: MSTORE 0000032f: PUSH1 0x20 00000331: ADD 00000332: SWAP2 00000333: POP 00000334: POP 00000335: PUSH1 0x40 00000337: MLOAD 00000338: DUP1 00000339: SWAP2 0000033a: SUB 0000033b: SWAP1 0000033c: RETURN 0000033d: JUMPDEST 0000033e: PUSH2 0x037f 00000341: PUSH1 0x04 00000343: DUP1 00000344: CALLDATASIZE 00000345: SUB 00000346: PUSH1 0x20 00000348: DUP2 00000349: LT 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: DUP2 00000355: ADD 00000356: SWAP1 00000357: DUP1 00000358: DUP1 00000359: CALLDATALOAD 0000035a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000036f: AND 00000370: SWAP1 00000371: PUSH1 0x20 00000373: ADD 00000374: SWAP1 00000375: SWAP3 00000376: SWAP2 00000377: SWAP1 00000378: POP 00000379: POP 0000037a: POP 0000037b: PUSH2 0x0aaa 0000037e: JUMP 0000037f: JUMPDEST 00000380: STOP 00000381: JUMPDEST 00000382: PUSH1 0x00 00000384: DUP1 00000385: SWAP1 00000386: SLOAD 00000387: SWAP1 00000388: PUSH2 0x0100 0000038b: EXP 0000038c: SWAP1 0000038d: DIV 0000038e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a3: AND 000003a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b9: AND 000003ba: CALLER 000003bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003d0: AND 000003d1: EQ 000003d2: PUSH2 0x0426 000003d5: JUMPI 000003d6: PUSH1 0x40 000003d8: MLOAD 000003d9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003fa: DUP2 000003fb: MSTORE 000003fc: PUSH1 0x04 000003fe: ADD 000003ff: DUP1 00000400: DUP1 00000401: PUSH1 0x20 00000403: ADD 00000404: DUP3 00000405: DUP2 00000406: SUB 00000407: DUP3 00000408: MSTORE 00000409: PUSH1 0x2c 0000040b: DUP2 0000040c: MSTORE 0000040d: PUSH1 0x20 0000040f: ADD 00000410: DUP1 00000411: PUSH2 0x0ffe 00000414: PUSH1 0x2c 00000416: SWAP2 00000417: CODECOPY 00000418: PUSH1 0x40 0000041a: ADD 0000041b: SWAP2 0000041c: POP 0000041d: POP 0000041e: PUSH1 0x40 00000420: MLOAD 00000421: DUP1 00000422: SWAP2 00000423: SUB 00000424: SWAP1 00000425: REVERT 00000426: JUMPDEST 00000427: PUSH1 0x00 00000429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043e: AND 0000043f: DUP2 00000440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000455: AND 00000456: EQ 00000457: ISZERO 00000458: PUSH2 0x04ac 0000045b: JUMPI 0000045c: PUSH1 0x40 0000045e: MLOAD 0000045f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000480: DUP2 00000481: MSTORE 00000482: PUSH1 0x04 00000484: ADD 00000485: DUP1 00000486: DUP1 00000487: PUSH1 0x20 00000489: ADD 0000048a: DUP3 0000048b: DUP2 0000048c: SUB 0000048d: DUP3 0000048e: MSTORE 0000048f: PUSH1 0x2a 00000491: DUP2 00000492: MSTORE 00000493: PUSH1 0x20 00000495: ADD 00000496: DUP1 00000497: PUSH2 0x0fd4 0000049a: PUSH1 0x2a 0000049c: SWAP2 0000049d: CODECOPY 0000049e: PUSH1 0x40 000004a0: ADD 000004a1: SWAP2 000004a2: POP 000004a3: POP 000004a4: PUSH1 0x40 000004a6: MLOAD 000004a7: DUP1 000004a8: SWAP2 000004a9: SUB 000004aa: SWAP1 000004ab: REVERT 000004ac: JUMPDEST 000004ad: DUP1 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: PUSH2 0x0100 000004b4: EXP 000004b5: DUP2 000004b6: SLOAD 000004b7: DUP2 000004b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cd: MUL 000004ce: NOT 000004cf: AND 000004d0: SWAP1 000004d1: DUP4 000004d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e7: AND 000004e8: MUL 000004e9: OR 000004ea: SWAP1 000004eb: SSTORE 000004ec: POP 000004ed: PUSH32 0x4101e71e974f68df5e9730cc223280b41654676bbb052cdcc735c3337e64d2d9 0000050e: PUSH1 0x00 00000510: DUP1 00000511: SWAP1 00000512: SLOAD 00000513: SWAP1 00000514: PUSH2 0x0100 00000517: EXP 00000518: SWAP1 00000519: DIV 0000051a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052f: AND 00000530: PUSH1 0x40 00000532: MLOAD 00000533: DUP1 00000534: DUP3 00000535: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054a: AND 0000054b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000560: AND 00000561: DUP2 00000562: MSTORE 00000563: PUSH1 0x20 00000565: ADD 00000566: SWAP2 00000567: POP 00000568: POP 00000569: PUSH1 0x40 0000056b: MLOAD 0000056c: DUP1 0000056d: SWAP2 0000056e: SUB 0000056f: SWAP1 00000570: LOG1 00000571: POP 00000572: JUMP 00000573: JUMPDEST 00000574: PUSH1 0x00 00000576: PUSH1 0x02 00000578: PUSH1 0x01 0000057a: SWAP1 0000057b: SLOAD 0000057c: SWAP1 0000057d: PUSH2 0x0100 00000580: EXP 00000581: SWAP1 00000582: DIV 00000583: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000598: AND 00000599: SWAP1 0000059a: POP 0000059b: SWAP1 0000059c: JUMP 0000059d: JUMPDEST 0000059e: PUSH1 0x00 000005a0: DUP1 000005a1: SWAP1 000005a2: SLOAD 000005a3: SWAP1 000005a4: PUSH2 0x0100 000005a7: EXP 000005a8: SWAP1 000005a9: DIV 000005aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bf: AND 000005c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d5: AND 000005d6: CALLER 000005d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ec: AND 000005ed: EQ 000005ee: PUSH2 0x0642 000005f1: JUMPI 000005f2: PUSH1 0x40 000005f4: MLOAD 000005f5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000616: DUP2 00000617: MSTORE 00000618: PUSH1 0x04 0000061a: ADD 0000061b: DUP1 0000061c: DUP1 0000061d: PUSH1 0x20 0000061f: ADD 00000620: DUP3 00000621: DUP2 00000622: SUB 00000623: DUP3 00000624: MSTORE 00000625: PUSH1 0x2c 00000627: DUP2 00000628: MSTORE 00000629: PUSH1 0x20 0000062b: ADD 0000062c: DUP1 0000062d: PUSH2 0x0ffe 00000630: PUSH1 0x2c 00000632: SWAP2 00000633: CODECOPY 00000634: PUSH1 0x40 00000636: ADD 00000637: SWAP2 00000638: POP 00000639: POP 0000063a: PUSH1 0x40 0000063c: MLOAD 0000063d: DUP1 0000063e: SWAP2 0000063f: SUB 00000640: SWAP1 00000641: REVERT 00000642: JUMPDEST 00000643: PUSH1 0x00 00000645: PUSH1 0x02 00000647: DUP2 00000648: GT 00000649: ISZERO 0000064a: PUSH2 0x064f 0000064d: JUMPI 0000064e: INVALID 0000064f: JUMPDEST 00000650: PUSH1 0x02 00000652: PUSH1 0x00 00000654: SWAP1 00000655: SLOAD 00000656: SWAP1 00000657: PUSH2 0x0100 0000065a: EXP 0000065b: SWAP1 0000065c: DIV 0000065d: PUSH1 0xff 0000065f: AND 00000660: PUSH1 0x02 00000662: DUP2 00000663: GT 00000664: ISZERO 00000665: PUSH2 0x066a 00000668: JUMPI 00000669: INVALID 0000066a: JUMPDEST 0000066b: EQ 0000066c: PUSH2 0x06c0 0000066f: JUMPI 00000670: PUSH1 0x40 00000672: MLOAD 00000673: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x04 00000698: ADD 00000699: DUP1 0000069a: DUP1 0000069b: PUSH1 0x20 0000069d: ADD 0000069e: DUP3 0000069f: DUP2 000006a0: SUB 000006a1: DUP3 000006a2: MSTORE 000006a3: PUSH1 0x29 000006a5: DUP2 000006a6: MSTORE 000006a7: PUSH1 0x20 000006a9: ADD 000006aa: DUP1 000006ab: PUSH2 0x0fab 000006ae: PUSH1 0x29 000006b0: SWAP2 000006b1: CODECOPY 000006b2: PUSH1 0x40 000006b4: ADD 000006b5: SWAP2 000006b6: POP 000006b7: POP 000006b8: PUSH1 0x40 000006ba: MLOAD 000006bb: DUP1 000006bc: SWAP2 000006bd: SUB 000006be: SWAP1 000006bf: REVERT 000006c0: JUMPDEST 000006c1: PUSH1 0x02 000006c3: DUP1 000006c4: PUSH1 0x00 000006c6: PUSH2 0x0100 000006c9: EXP 000006ca: DUP2 000006cb: SLOAD 000006cc: DUP2 000006cd: PUSH1 0xff 000006cf: MUL 000006d0: NOT 000006d1: AND 000006d2: SWAP1 000006d3: DUP4 000006d4: PUSH1 0x02 000006d6: DUP2 000006d7: GT 000006d8: ISZERO 000006d9: PUSH2 0x06de 000006dc: JUMPI 000006dd: INVALID 000006de: JUMPDEST 000006df: MUL 000006e0: OR 000006e1: SWAP1 000006e2: SSTORE 000006e3: POP 000006e4: PUSH32 0x088672c3a6e342f7cd94a65ba63b79df24a8973927b4d05d803c44bbf787d12f 00000705: PUSH1 0x40 00000707: MLOAD 00000708: PUSH1 0x40 0000070a: MLOAD 0000070b: DUP1 0000070c: SWAP2 0000070d: SUB 0000070e: SWAP1 0000070f: LOG1 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH2 0x071a 00000715: DUP2 00000716: PUSH2 0x077b 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH2 0x076f 0000071e: JUMPI 0000071f: PUSH1 0x40 00000721: MLOAD 00000722: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x04 00000747: ADD 00000748: DUP1 00000749: DUP1 0000074a: PUSH1 0x20 0000074c: ADD 0000074d: DUP3 0000074e: DUP2 0000074f: SUB 00000750: DUP3 00000751: MSTORE 00000752: PUSH1 0x33 00000754: DUP2 00000755: MSTORE 00000756: PUSH1 0x20 00000758: ADD 00000759: DUP1 0000075a: PUSH2 0x0f78 0000075d: PUSH1 0x33 0000075f: SWAP2 00000760: CODECOPY 00000761: PUSH1 0x40 00000763: ADD 00000764: SWAP2 00000765: POP 00000766: POP 00000767: PUSH1 0x40 00000769: MLOAD 0000076a: DUP1 0000076b: SWAP2 0000076c: SUB 0000076d: SWAP1 0000076e: REVERT 0000076f: JUMPDEST 00000770: PUSH2 0x0778 00000773: DUP2 00000774: PUSH2 0x0b34 00000777: JUMP 00000778: JUMPDEST 00000779: POP 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x00 0000077e: PUSH1 0x01 00000780: PUSH1 0x02 00000782: DUP2 00000783: GT 00000784: ISZERO 00000785: PUSH2 0x078a 00000788: JUMPI 00000789: INVALID 0000078a: JUMPDEST 0000078b: PUSH1 0x02 0000078d: PUSH1 0x00 0000078f: SWAP1 00000790: SLOAD 00000791: SWAP1 00000792: PUSH2 0x0100 00000795: EXP 00000796: SWAP1 00000797: DIV 00000798: PUSH1 0xff 0000079a: AND 0000079b: PUSH1 0x02 0000079d: DUP2 0000079e: GT 0000079f: ISZERO 000007a0: PUSH2 0x07a5 000007a3: JUMPI 000007a4: INVALID 000007a5: JUMPDEST 000007a6: EQ 000007a7: SWAP1 000007a8: POP 000007a9: SWAP2 000007aa: SWAP1 000007ab: POP 000007ac: JUMP 000007ad: JUMPDEST 000007ae: PUSH1 0x00 000007b0: DUP1 000007b1: SWAP1 000007b2: SLOAD 000007b3: SWAP1 000007b4: PUSH2 0x0100 000007b7: EXP 000007b8: SWAP1 000007b9: DIV 000007ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007cf: AND 000007d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e5: AND 000007e6: CALLER 000007e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007fc: AND 000007fd: EQ 000007fe: PUSH2 0x0852 00000801: JUMPI 00000802: PUSH1 0x40 00000804: MLOAD 00000805: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000826: DUP2 00000827: MSTORE 00000828: PUSH1 0x04 0000082a: ADD 0000082b: DUP1 0000082c: DUP1 0000082d: PUSH1 0x20 0000082f: ADD 00000830: DUP3 00000831: DUP2 00000832: SUB 00000833: DUP3 00000834: MSTORE 00000835: PUSH1 0x2c 00000837: DUP2 00000838: MSTORE 00000839: PUSH1 0x20 0000083b: ADD 0000083c: DUP1 0000083d: PUSH2 0x0ffe 00000840: PUSH1 0x2c 00000842: SWAP2 00000843: CODECOPY 00000844: PUSH1 0x40 00000846: ADD 00000847: SWAP2 00000848: POP 00000849: POP 0000084a: PUSH1 0x40 0000084c: MLOAD 0000084d: DUP1 0000084e: SWAP2 0000084f: SUB 00000850: SWAP1 00000851: REVERT 00000852: JUMPDEST 00000853: PUSH1 0x00 00000855: PUSH1 0x02 00000857: DUP2 00000858: GT 00000859: ISZERO 0000085a: PUSH2 0x085f 0000085d: JUMPI 0000085e: INVALID 0000085f: JUMPDEST 00000860: PUSH1 0x02 00000862: PUSH1 0x00 00000864: SWAP1 00000865: SLOAD 00000866: SWAP1 00000867: PUSH2 0x0100 0000086a: EXP 0000086b: SWAP1 0000086c: DIV 0000086d: PUSH1 0xff 0000086f: AND 00000870: PUSH1 0x02 00000872: DUP2 00000873: GT 00000874: ISZERO 00000875: PUSH2 0x087a 00000878: JUMPI 00000879: INVALID 0000087a: JUMPDEST 0000087b: EQ 0000087c: PUSH2 0x08d0 0000087f: JUMPI 00000880: PUSH1 0x40 00000882: MLOAD 00000883: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008a4: DUP2 000008a5: MSTORE 000008a6: PUSH1 0x04 000008a8: ADD 000008a9: DUP1 000008aa: DUP1 000008ab: PUSH1 0x20 000008ad: ADD 000008ae: DUP3 000008af: DUP2 000008b0: SUB 000008b1: DUP3 000008b2: MSTORE 000008b3: PUSH1 0x32 000008b5: DUP2 000008b6: MSTORE 000008b7: PUSH1 0x20 000008b9: ADD 000008ba: DUP1 000008bb: PUSH2 0x102a 000008be: PUSH1 0x32 000008c0: SWAP2 000008c1: CODECOPY 000008c2: PUSH1 0x40 000008c4: ADD 000008c5: SWAP2 000008c6: POP 000008c7: POP 000008c8: PUSH1 0x40 000008ca: MLOAD 000008cb: DUP1 000008cc: SWAP2 000008cd: SUB 000008ce: SWAP1 000008cf: REVERT 000008d0: JUMPDEST 000008d1: PUSH1 0x01 000008d3: PUSH1 0x02 000008d5: PUSH1 0x00 000008d7: PUSH2 0x0100 000008da: EXP 000008db: DUP2 000008dc: SLOAD 000008dd: DUP2 000008de: PUSH1 0xff 000008e0: MUL 000008e1: NOT 000008e2: AND 000008e3: SWAP1 000008e4: DUP4 000008e5: PUSH1 0x02 000008e7: DUP2 000008e8: GT 000008e9: ISZERO 000008ea: PUSH2 0x08ef 000008ed: JUMPI 000008ee: INVALID 000008ef: JUMPDEST 000008f0: MUL 000008f1: OR 000008f2: SWAP1 000008f3: SSTORE 000008f4: POP 000008f5: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89 00000916: PUSH1 0x40 00000918: MLOAD 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: DUP1 0000091d: SWAP2 0000091e: SUB 0000091f: SWAP1 00000920: LOG1 00000921: JUMP 00000922: JUMPDEST 00000923: PUSH1 0x02 00000925: DUP1 00000926: DUP2 00000927: GT 00000928: ISZERO 00000929: PUSH2 0x092e 0000092c: JUMPI 0000092d: INVALID 0000092e: JUMPDEST 0000092f: PUSH1 0x02 00000931: PUSH1 0x00 00000933: SWAP1 00000934: SLOAD 00000935: SWAP1 00000936: PUSH2 0x0100 00000939: EXP 0000093a: SWAP1 0000093b: DIV 0000093c: PUSH1 0xff 0000093e: AND 0000093f: PUSH1 0x02 00000941: DUP2 00000942: GT 00000943: ISZERO 00000944: PUSH2 0x0949 00000947: JUMPI 00000948: INVALID 00000949: JUMPDEST 0000094a: EQ 0000094b: PUSH2 0x099f 0000094e: JUMPI 0000094f: PUSH1 0x40 00000951: MLOAD 00000952: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000973: DUP2 00000974: MSTORE 00000975: PUSH1 0x04 00000977: ADD 00000978: DUP1 00000979: DUP1 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: DUP3 0000097e: DUP2 0000097f: SUB 00000980: DUP3 00000981: MSTORE 00000982: PUSH1 0x38 00000984: DUP2 00000985: MSTORE 00000986: PUSH1 0x20 00000988: ADD 00000989: DUP1 0000098a: PUSH2 0x0f15 0000098d: PUSH1 0x38 0000098f: SWAP2 00000990: CODECOPY 00000991: PUSH1 0x40 00000993: ADD 00000994: SWAP2 00000995: POP 00000996: POP 00000997: PUSH1 0x40 00000999: MLOAD 0000099a: DUP1 0000099b: SWAP2 0000099c: SUB 0000099d: SWAP1 0000099e: REVERT 0000099f: JUMPDEST 000009a0: PUSH1 0x02 000009a2: PUSH1 0x01 000009a4: SWAP1 000009a5: SLOAD 000009a6: SWAP1 000009a7: PUSH2 0x0100 000009aa: EXP 000009ab: SWAP1 000009ac: DIV 000009ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c2: AND 000009c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d8: AND 000009d9: PUSH2 0x08fc 000009dc: ADDRESS 000009dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f2: AND 000009f3: BALANCE 000009f4: SWAP1 000009f5: DUP2 000009f6: ISZERO 000009f7: MUL 000009f8: SWAP1 000009f9: PUSH1 0x40 000009fb: MLOAD 000009fc: PUSH1 0x00 000009fe: PUSH1 0x40 00000a00: MLOAD 00000a01: DUP1 00000a02: DUP4 00000a03: SUB 00000a04: DUP2 00000a05: DUP6 00000a06: DUP9 00000a07: DUP9 00000a08: CALL 00000a09: SWAP4 00000a0a: POP 00000a0b: POP 00000a0c: POP 00000a0d: POP 00000a0e: ISZERO 00000a0f: DUP1 00000a10: ISZERO 00000a11: PUSH2 0x0a1e 00000a14: JUMPI 00000a15: RETURNDATASIZE 00000a16: PUSH1 0x00 00000a18: DUP1 00000a19: RETURNDATACOPY 00000a1a: RETURNDATASIZE 00000a1b: PUSH1 0x00 00000a1d: REVERT 00000a1e: JUMPDEST 00000a1f: POP 00000a20: JUMP 00000a21: JUMPDEST 00000a22: PUSH1 0x00 00000a24: PUSH1 0x02 00000a26: PUSH1 0x00 00000a28: SWAP1 00000a29: SLOAD 00000a2a: SWAP1 00000a2b: PUSH2 0x0100 00000a2e: EXP 00000a2f: SWAP1 00000a30: DIV 00000a31: PUSH1 0xff 00000a33: AND 00000a34: SWAP1 00000a35: POP 00000a36: SWAP1 00000a37: JUMP 00000a38: JUMPDEST 00000a39: PUSH1 0x00 00000a3b: DUP1 00000a3c: PUSH1 0x00 00000a3e: SWAP1 00000a3f: SLOAD 00000a40: SWAP1 00000a41: PUSH2 0x0100 00000a44: EXP 00000a45: SWAP1 00000a46: DIV 00000a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5c: AND 00000a5d: SWAP1 00000a5e: POP 00000a5f: SWAP1 00000a60: JUMP 00000a61: JUMPDEST 00000a62: PUSH1 0x00 00000a64: PUSH1 0x01 00000a66: PUSH1 0x00 00000a68: DUP4 00000a69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7e: AND 00000a7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a94: AND 00000a95: DUP2 00000a96: MSTORE 00000a97: PUSH1 0x20 00000a99: ADD 00000a9a: SWAP1 00000a9b: DUP2 00000a9c: MSTORE 00000a9d: PUSH1 0x20 00000a9f: ADD 00000aa0: PUSH1 0x00 00000aa2: KECCAK256 00000aa3: SLOAD 00000aa4: SWAP1 00000aa5: POP 00000aa6: SWAP2 00000aa7: SWAP1 00000aa8: POP 00000aa9: JUMP 00000aaa: JUMPDEST 00000aab: PUSH1 0x00 00000aad: PUSH1 0x02 00000aaf: DUP2 00000ab0: GT 00000ab1: ISZERO 00000ab2: PUSH2 0x0ab7 00000ab5: JUMPI 00000ab6: INVALID 00000ab7: JUMPDEST 00000ab8: PUSH1 0x02 00000aba: PUSH1 0x00 00000abc: SWAP1 00000abd: SLOAD 00000abe: SWAP1 00000abf: PUSH2 0x0100 00000ac2: EXP 00000ac3: SWAP1 00000ac4: DIV 00000ac5: PUSH1 0xff 00000ac7: AND 00000ac8: PUSH1 0x02 00000aca: DUP2 00000acb: GT 00000acc: ISZERO 00000acd: PUSH2 0x0ad2 00000ad0: JUMPI 00000ad1: INVALID 00000ad2: JUMPDEST 00000ad3: EQ 00000ad4: PUSH2 0x0b28 00000ad7: JUMPI 00000ad8: PUSH1 0x40 00000ada: MLOAD 00000adb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000afc: DUP2 00000afd: MSTORE 00000afe: PUSH1 0x04 00000b00: ADD 00000b01: DUP1 00000b02: DUP1 00000b03: PUSH1 0x20 00000b05: ADD 00000b06: DUP3 00000b07: DUP2 00000b08: SUB 00000b09: DUP3 00000b0a: MSTORE 00000b0b: PUSH1 0x2b 00000b0d: DUP2 00000b0e: MSTORE 00000b0f: PUSH1 0x20 00000b11: ADD 00000b12: DUP1 00000b13: PUSH2 0x0f4d 00000b16: PUSH1 0x2b 00000b18: SWAP2 00000b19: CODECOPY 00000b1a: PUSH1 0x40 00000b1c: ADD 00000b1d: SWAP2 00000b1e: POP 00000b1f: POP 00000b20: PUSH1 0x40 00000b22: MLOAD 00000b23: DUP1 00000b24: SWAP2 00000b25: SUB 00000b26: SWAP1 00000b27: REVERT 00000b28: JUMPDEST 00000b29: PUSH2 0x0b31 00000b2c: DUP2 00000b2d: PUSH2 0x0cfb 00000b30: JUMP 00000b31: JUMPDEST 00000b32: POP 00000b33: JUMP 00000b34: JUMPDEST 00000b35: PUSH1 0x00 00000b37: DUP1 00000b38: SWAP1 00000b39: SLOAD 00000b3a: SWAP1 00000b3b: PUSH2 0x0100 00000b3e: EXP 00000b3f: SWAP1 00000b40: DIV 00000b41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b56: AND 00000b57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6c: AND 00000b6d: CALLER 00000b6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b83: AND 00000b84: EQ 00000b85: PUSH2 0x0bd9 00000b88: JUMPI 00000b89: PUSH1 0x40 00000b8b: MLOAD 00000b8c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bad: DUP2 00000bae: MSTORE 00000baf: PUSH1 0x04 00000bb1: ADD 00000bb2: DUP1 00000bb3: DUP1 00000bb4: PUSH1 0x20 00000bb6: ADD 00000bb7: DUP3 00000bb8: DUP2 00000bb9: SUB 00000bba: DUP3 00000bbb: MSTORE 00000bbc: PUSH1 0x2c 00000bbe: DUP2 00000bbf: MSTORE 00000bc0: PUSH1 0x20 00000bc2: ADD 00000bc3: DUP1 00000bc4: PUSH2 0x0ffe 00000bc7: PUSH1 0x2c 00000bc9: SWAP2 00000bca: CODECOPY 00000bcb: PUSH1 0x40 00000bcd: ADD 00000bce: SWAP2 00000bcf: POP 00000bd0: POP 00000bd1: PUSH1 0x40 00000bd3: MLOAD 00000bd4: DUP1 00000bd5: SWAP2 00000bd6: SUB 00000bd7: SWAP1 00000bd8: REVERT 00000bd9: JUMPDEST 00000bda: PUSH1 0x00 00000bdc: PUSH1 0x01 00000bde: PUSH1 0x00 00000be0: DUP4 00000be1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf6: AND 00000bf7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c0c: AND 00000c0d: DUP2 00000c0e: MSTORE 00000c0f: PUSH1 0x20 00000c11: ADD 00000c12: SWAP1 00000c13: DUP2 00000c14: MSTORE 00000c15: PUSH1 0x20 00000c17: ADD 00000c18: PUSH1 0x00 00000c1a: KECCAK256 00000c1b: SLOAD 00000c1c: SWAP1 00000c1d: POP 00000c1e: PUSH1 0x00 00000c20: PUSH1 0x01 00000c22: PUSH1 0x00 00000c24: DUP5 00000c25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3a: AND 00000c3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c50: AND 00000c51: DUP2 00000c52: MSTORE 00000c53: PUSH1 0x20 00000c55: ADD 00000c56: SWAP1 00000c57: DUP2 00000c58: MSTORE 00000c59: PUSH1 0x20 00000c5b: ADD 00000c5c: PUSH1 0x00 00000c5e: KECCAK256 00000c5f: DUP2 00000c60: SWAP1 00000c61: SSTORE 00000c62: POP 00000c63: DUP2 00000c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c79: AND 00000c7a: PUSH2 0x08fc 00000c7d: DUP3 00000c7e: SWAP1 00000c7f: DUP2 00000c80: ISZERO 00000c81: MUL 00000c82: SWAP1 00000c83: PUSH1 0x40 00000c85: MLOAD 00000c86: PUSH1 0x00 00000c88: PUSH1 0x40 00000c8a: MLOAD 00000c8b: DUP1 00000c8c: DUP4 00000c8d: SUB 00000c8e: DUP2 00000c8f: DUP6 00000c90: DUP9 00000c91: DUP9 00000c92: CALL 00000c93: SWAP4 00000c94: POP 00000c95: POP 00000c96: POP 00000c97: POP 00000c98: ISZERO 00000c99: DUP1 00000c9a: ISZERO 00000c9b: PUSH2 0x0ca8 00000c9e: JUMPI 00000c9f: RETURNDATASIZE 00000ca0: PUSH1 0x00 00000ca2: DUP1 00000ca3: RETURNDATACOPY 00000ca4: RETURNDATASIZE 00000ca5: PUSH1 0x00 00000ca7: REVERT 00000ca8: JUMPDEST 00000ca9: POP 00000caa: DUP2 00000cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc0: AND 00000cc1: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 00000ce2: DUP3 00000ce3: PUSH1 0x40 00000ce5: MLOAD 00000ce6: DUP1 00000ce7: DUP3 00000ce8: DUP2 00000ce9: MSTORE 00000cea: PUSH1 0x20 00000cec: ADD 00000ced: SWAP2 00000cee: POP 00000cef: POP 00000cf0: PUSH1 0x40 00000cf2: MLOAD 00000cf3: DUP1 00000cf4: SWAP2 00000cf5: SUB 00000cf6: SWAP1 00000cf7: LOG2 00000cf8: POP 00000cf9: POP 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: PUSH1 0x00 00000cfe: DUP1 00000cff: SWAP1 00000d00: SLOAD 00000d01: SWAP1 00000d02: PUSH2 0x0100 00000d05: EXP 00000d06: SWAP1 00000d07: DIV 00000d08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d1d: AND 00000d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d33: AND 00000d34: CALLER 00000d35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4a: AND 00000d4b: EQ 00000d4c: PUSH2 0x0da0 00000d4f: JUMPI 00000d50: PUSH1 0x40 00000d52: MLOAD 00000d53: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d74: DUP2 00000d75: MSTORE 00000d76: PUSH1 0x04 00000d78: ADD 00000d79: DUP1 00000d7a: DUP1 00000d7b: PUSH1 0x20 00000d7d: ADD 00000d7e: DUP3 00000d7f: DUP2 00000d80: SUB 00000d81: DUP3 00000d82: MSTORE 00000d83: PUSH1 0x2c 00000d85: DUP2 00000d86: MSTORE 00000d87: PUSH1 0x20 00000d89: ADD 00000d8a: DUP1 00000d8b: PUSH2 0x0ffe 00000d8e: PUSH1 0x2c 00000d90: SWAP2 00000d91: CODECOPY 00000d92: PUSH1 0x40 00000d94: ADD 00000d95: SWAP2 00000d96: POP 00000d97: POP 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: DUP1 00000d9c: SWAP2 00000d9d: SUB 00000d9e: SWAP1 00000d9f: REVERT 00000da0: JUMPDEST 00000da1: PUSH1 0x00 00000da3: CALLVALUE 00000da4: SWAP1 00000da5: POP 00000da6: PUSH2 0x0df7 00000da9: DUP2 00000daa: PUSH1 0x01 00000dac: PUSH1 0x00 00000dae: DUP6 00000daf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc4: AND 00000dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dda: AND 00000ddb: DUP2 00000ddc: MSTORE 00000ddd: PUSH1 0x20 00000ddf: ADD 00000de0: SWAP1 00000de1: DUP2 00000de2: MSTORE 00000de3: PUSH1 0x20 00000de5: ADD 00000de6: PUSH1 0x00 00000de8: KECCAK256 00000de9: SLOAD 00000dea: PUSH2 0x0e8c 00000ded: SWAP1 00000dee: SWAP2 00000def: SWAP1 00000df0: PUSH4 0xffffffff 00000df5: AND 00000df6: JUMP 00000df7: JUMPDEST 00000df8: PUSH1 0x01 00000dfa: PUSH1 0x00 00000dfc: DUP5 00000dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e12: AND 00000e13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e28: AND 00000e29: DUP2 00000e2a: MSTORE 00000e2b: PUSH1 0x20 00000e2d: ADD 00000e2e: SWAP1 00000e2f: DUP2 00000e30: MSTORE 00000e31: PUSH1 0x20 00000e33: ADD 00000e34: PUSH1 0x00 00000e36: KECCAK256 00000e37: DUP2 00000e38: SWAP1 00000e39: SSTORE 00000e3a: POP 00000e3b: DUP2 00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e51: AND 00000e52: PUSH32 0x2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4 00000e73: DUP3 00000e74: PUSH1 0x40 00000e76: MLOAD 00000e77: DUP1 00000e78: DUP3 00000e79: DUP2 00000e7a: MSTORE 00000e7b: PUSH1 0x20 00000e7d: ADD 00000e7e: SWAP2 00000e7f: POP 00000e80: POP 00000e81: PUSH1 0x40 00000e83: MLOAD 00000e84: DUP1 00000e85: SWAP2 00000e86: SUB 00000e87: SWAP1 00000e88: LOG2 00000e89: POP 00000e8a: POP 00000e8b: JUMP 00000e8c: JUMPDEST 00000e8d: PUSH1 0x00 00000e8f: DUP1 00000e90: DUP3 00000e91: DUP5 00000e92: ADD 00000e93: SWAP1 00000e94: POP 00000e95: DUP4 00000e96: DUP2 00000e97: LT 00000e98: ISZERO 00000e99: PUSH2 0x0f0a 00000e9c: JUMPI 00000e9d: PUSH1 0x40 00000e9f: MLOAD 00000ea0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ec1: DUP2 00000ec2: MSTORE 00000ec3: PUSH1 0x04 00000ec5: ADD 00000ec6: DUP1 00000ec7: DUP1 00000ec8: PUSH1 0x20 00000eca: ADD 00000ecb: DUP3 00000ecc: DUP2 00000ecd: SUB 00000ece: DUP3 00000ecf: MSTORE 00000ed0: PUSH1 0x1b 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: PUSH1 0x20 00000ed6: ADD 00000ed7: DUP1 00000ed8: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000ef9: DUP2 00000efa: MSTORE 00000efb: POP 00000efc: PUSH1 0x20 00000efe: ADD 00000eff: SWAP2 00000f00: POP 00000f01: POP 00000f02: PUSH1 0x40 00000f04: MLOAD 00000f05: DUP1 00000f06: SWAP2 00000f07: SUB 00000f08: SWAP1 00000f09: REVERT 00000f0a: JUMPDEST 00000f0b: DUP1 00000f0c: SWAP2 00000f0d: POP 00000f0e: POP 00000f0f: SWAP3 00000f10: SWAP2 00000f11: POP 00000f12: POP 00000f13: JUMP 00000f14: INVALID 00000f15: MSTORE 00000f16: PUSH6 0x66756e644573 00000f1d: PUSH4 0x726f773a 00000f22: KECCAK256 00000f23: PUSH3 0x656e65 00000f27: PUSH7 0x69636961727920 00000f2f: PUSH4 0x616e206f 00000f34: PUSH15 0x6c7920776974686472617720776869 00000f44: PUSH13 0x6520636c6f736564526566756e 00000f52: PUSH5 0x457363726f 00000f58: PUSH24 0x3a2063616e206f6e6c79206465706f736974207768696c65 00000f71: KECCAK256 00000f72: PUSH2 0x6374 00000f75: PUSH10 0x7665436f6e646974696f 00000f80: PUSH15 0x616c457363726f773a207061796565 00000f90: KECCAK256 00000f91: PUSH10 0x73206e6f7420616c6c6f 00000f9c: PUSH24 0x656420746f207769746864726177526566756e6445736372 00000fb5: PUSH16 0x773a2063616e206f6e6c7920636c6f73 00000fc6: PUSH6 0x207768696c65 00000fcd: KECCAK256 00000fce: PUSH2 0x6374 00000fd1: PUSH10 0x76655365636f6e646172 00000fdc: PUSH26 0x3a206e6577207072696d61727920697320746865207a65726f20 00000ff7: PUSH2 0x6464 00000ffa: PUSH19 0x6573735365636f6e646172793a2063616c6c65 0000100e: PUSH19 0x206973206e6f7420746865207072696d617279 00001022: KECCAK256 00001023: PUSH2 0x6363 00001026: PUSH16 0x756e74526566756e64457363726f773a 00001037: KECCAK256 00001038: PUSH4 0x616e206f 0000103d: PUSH15 0x6c7920656e61626c6520726566756e 0000104d: PUSH5 0x7320776869 00001053: PUSH13 0x6520616374697665a265627a7a 00001061: PUSH19 0x315820cd03596a48f265a58fbd74c024c831ed 00001075: CODESIZE 00001076: UNKNOWN(0xCF) 00001077: DUP3 00001078: DUP11 00001079: PUSH14 0x8a0d2859cc5f84a6b9a0c664736f 00001088: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xea0573ac732212f3de2cf95d9e08669e6c069454aa731f28cdb4f845a587e000
call_targets:
0x185e1240552472b23ab984f825de63fa63df253d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xea0573ac732212f3de2cf95d9e08669e6c069454aa731f28cdb4f845a587e000",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x185e1240552472b23ab984f825de63fa63df253d"
],
"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": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9af6549a",
"selector": "0x9af6549a",
"calldata_variants": [
"0x9af6549a",
"0x9af6549a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6dbdf61",
"selector": "0xc6dbdf61",
"calldata_variants": [
"0xc6dbdf61",
"0xc6dbdf610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3a9db1a",
"selector": "0xe3a9db1a",
"calldata_variants": [
"0xe3a9db1a",
"0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2348238c",
"selector": "0x2348238c",
"calldata_variants": [
"0x2348238c",
"0x2348238c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2568,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3218,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 954,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1494,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2022,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2925,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3380,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xea0573ac732212f3de2cf95d9e08669e6c069454aa731f28cdb4f845a587e000
call_targets:
0x185e1240552472b23ab984f825de63fa63df253d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xea0573ac732212f3de2cf95d9e08669e6c069454aa731f28cdb4f845a587e000",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x185e1240552472b23ab984f825de63fa63df253d"
],
"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": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9af6549a",
"selector": "0x9af6549a",
"calldata_variants": [
"0x9af6549a",
"0x9af6549a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc6dbdf61",
"selector": "0xc6dbdf61",
"calldata_variants": [
"0xc6dbdf61",
"0xc6dbdf610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe3a9db1a",
"selector": "0xe3a9db1a",
"calldata_variants": [
"0xe3a9db1a",
"0xe3a9db1a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2348238c",
"selector": "0x2348238c",
"calldata_variants": [
"0x2348238c",
"0x2348238c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2568,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3218,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 954,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1494,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2022,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2925,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3380,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|