019b477e-d91a-70de-ba8c-2da30d41b5b0
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 |
|---|---|---|---|---|
| 29195 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 29196 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 72920 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 72921 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 72922 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 72923 | 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 0x00e1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xb7d18789 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb7d18789 0000002f: EQ 00000030: PUSH2 0x02a1 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xba69ebed 0000003a: EQ 0000003b: PUSH2 0x02b7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd3a3a6ef 00000045: EQ 00000046: PUSH2 0x02cc 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0300 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8da5cb5b 00000060: EQ 00000061: PUSH2 0x0227 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x9bf1401c 0000006b: EQ 0000006c: PUSH2 0x0245 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xad5c4648 00000076: EQ 00000077: PUSH2 0x0279 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x1c75f085 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x1c75f085 00000091: EQ 00000092: PUSH2 0x018a 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x61d027b3 0000009c: EQ 0000009d: PUSH2 0x01aa 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x715018a6 000000a7: EQ 000000a8: PUSH2 0x01de 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x873e5034 000000b2: EQ 000000b3: PUSH2 0x01f3 000000b6: JUMPI 000000b7: PUSH1 0x00 000000b9: DUP1 000000ba: REVERT 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x08aa2695 000000c2: EQ 000000c3: PUSH2 0x00ed 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x095cf5c6 000000cd: EQ 000000ce: PUSH2 0x011c 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x1694505e 000000d8: EQ 000000d9: PUSH2 0x013e 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: CALLDATASIZE 000000e3: PUSH2 0x00e8 000000e6: JUMPI 000000e7: STOP 000000e8: JUMPDEST 000000e9: PUSH1 0x00 000000eb: DUP1 000000ec: REVERT 000000ed: JUMPDEST 000000ee: CALLVALUE 000000ef: DUP1 000000f0: ISZERO 000000f1: PUSH2 0x00f9 000000f4: JUMPI 000000f5: PUSH1 0x00 000000f7: DUP1 000000f8: REVERT 000000f9: JUMPDEST 000000fa: POP 000000fb: PUSH2 0x0109 000000fe: PUSH8 0x1bc16d674ec80000 00000107: DUP2 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH1 0x40 0000010c: MLOAD 0000010d: SWAP1 0000010e: DUP2 0000010f: MSTORE 00000110: PUSH1 0x20 00000112: ADD 00000113: JUMPDEST 00000114: PUSH1 0x40 00000116: MLOAD 00000117: DUP1 00000118: SWAP2 00000119: SUB 0000011a: SWAP1 0000011b: RETURN 0000011c: JUMPDEST 0000011d: CALLVALUE 0000011e: DUP1 0000011f: ISZERO 00000120: PUSH2 0x0128 00000123: JUMPI 00000124: PUSH1 0x00 00000126: DUP1 00000127: REVERT 00000128: JUMPDEST 00000129: POP 0000012a: PUSH2 0x013c 0000012d: PUSH2 0x0137 00000130: CALLDATASIZE 00000131: PUSH1 0x04 00000133: PUSH2 0x0d3f 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH2 0x0320 0000013b: JUMP 0000013c: JUMPDEST 0000013d: STOP 0000013e: JUMPDEST 0000013f: CALLVALUE 00000140: DUP1 00000141: ISZERO 00000142: PUSH2 0x014a 00000145: JUMPI 00000146: PUSH1 0x00 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: POP 0000014c: PUSH2 0x0172 0000014f: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000170: DUP2 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH1 0x40 00000175: MLOAD 00000176: PUSH1 0x01 00000178: PUSH1 0x01 0000017a: PUSH1 0xa0 0000017c: SHL 0000017d: SUB 0000017e: SWAP1 0000017f: SWAP2 00000180: AND 00000181: DUP2 00000182: MSTORE 00000183: PUSH1 0x20 00000185: ADD 00000186: PUSH2 0x0113 00000189: JUMP 0000018a: JUMPDEST 0000018b: CALLVALUE 0000018c: DUP1 0000018d: ISZERO 0000018e: PUSH2 0x0196 00000191: JUMPI 00000192: PUSH1 0x00 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: POP 00000198: PUSH1 0x02 0000019a: SLOAD 0000019b: PUSH2 0x0172 0000019e: SWAP1 0000019f: PUSH1 0x01 000001a1: PUSH1 0x01 000001a3: PUSH1 0xa0 000001a5: SHL 000001a6: SUB 000001a7: AND 000001a8: DUP2 000001a9: JUMP 000001aa: JUMPDEST 000001ab: CALLVALUE 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x01b6 000001b1: JUMPI 000001b2: PUSH1 0x00 000001b4: DUP1 000001b5: REVERT 000001b6: JUMPDEST 000001b7: POP 000001b8: PUSH2 0x0172 000001bb: PUSH32 0x000000000000000000000000e6338a83fa23f55919b6c371e32e8f5f71dab59a 000001dc: DUP2 000001dd: JUMP 000001de: JUMPDEST 000001df: CALLVALUE 000001e0: DUP1 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: POP 000001ec: PUSH2 0x013c 000001ef: PUSH2 0x0357 000001f2: JUMP 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: DUP1 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH2 0x0172 00000204: PUSH32 0x0000000000000000000000000b25d5358e13899e3cc77fe54b4baf949e476ac5 00000225: DUP2 00000226: JUMP 00000227: JUMPDEST 00000228: CALLVALUE 00000229: DUP1 0000022a: ISZERO 0000022b: PUSH2 0x0233 0000022e: JUMPI 0000022f: PUSH1 0x00 00000231: DUP1 00000232: REVERT 00000233: JUMPDEST 00000234: POP 00000235: PUSH1 0x00 00000237: SLOAD 00000238: PUSH1 0x01 0000023a: PUSH1 0x01 0000023c: PUSH1 0xa0 0000023e: SHL 0000023f: SUB 00000240: AND 00000241: PUSH2 0x0172 00000244: JUMP 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 0x0172 00000256: PUSH32 0x00000000000000000000000047f53e843689840cf155b160301c3121aa60e74f 00000277: DUP2 00000278: JUMP 00000279: JUMPDEST 0000027a: CALLVALUE 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x0285 00000280: JUMPI 00000281: PUSH1 0x00 00000283: DUP1 00000284: REVERT 00000285: JUMPDEST 00000286: POP 00000287: PUSH2 0x0172 0000028a: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000029f: DUP2 000002a0: JUMP 000002a1: JUMPDEST 000002a2: CALLVALUE 000002a3: DUP1 000002a4: ISZERO 000002a5: PUSH2 0x02ad 000002a8: JUMPI 000002a9: PUSH1 0x00 000002ab: DUP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: POP 000002af: PUSH2 0x0109 000002b2: PUSH1 0x01 000002b4: SLOAD 000002b5: DUP2 000002b6: JUMP 000002b7: JUMPDEST 000002b8: CALLVALUE 000002b9: DUP1 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: POP 000002c5: PUSH2 0x013c 000002c8: PUSH2 0x036b 000002cb: JUMP 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: PUSH2 0x0172 000002dd: PUSH32 0x0000000000000000000000004166673521e31ed98801e45e8b068b4bc227a110 000002fe: DUP2 000002ff: JUMP 00000300: JUMPDEST 00000301: CALLVALUE 00000302: DUP1 00000303: ISZERO 00000304: PUSH2 0x030c 00000307: JUMPI 00000308: PUSH1 0x00 0000030a: DUP1 0000030b: REVERT 0000030c: JUMPDEST 0000030d: POP 0000030e: PUSH2 0x013c 00000311: PUSH2 0x031b 00000314: CALLDATASIZE 00000315: PUSH1 0x04 00000317: PUSH2 0x0d3f 0000031a: JUMP 0000031b: JUMPDEST 0000031c: PUSH2 0x0822 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH2 0x0328 00000324: PUSH2 0x08b7 00000327: JUMP 00000328: JUMPDEST 00000329: PUSH1 0x02 0000032b: DUP1 0000032c: SLOAD 0000032d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000342: NOT 00000343: AND 00000344: PUSH1 0x01 00000346: PUSH1 0x01 00000348: PUSH1 0xa0 0000034a: SHL 0000034b: SUB 0000034c: SWAP3 0000034d: SWAP1 0000034e: SWAP3 0000034f: AND 00000350: SWAP2 00000351: SWAP1 00000352: SWAP2 00000353: OR 00000354: SWAP1 00000355: SSTORE 00000356: JUMP 00000357: JUMPDEST 00000358: PUSH2 0x035f 0000035b: PUSH2 0x08b7 0000035e: JUMP 0000035f: JUMPDEST 00000360: PUSH2 0x0369 00000363: PUSH1 0x00 00000365: PUSH2 0x0911 00000368: JUMP 00000369: JUMPDEST 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH1 0x40 0000036e: MLOAD 0000036f: PUSH4 0x70a08231 00000374: PUSH1 0xe0 00000376: SHL 00000377: DUP2 00000378: MSTORE 00000379: ADDRESS 0000037a: PUSH1 0x04 0000037c: DUP3 0000037d: ADD 0000037e: MSTORE 0000037f: PUSH1 0x00 00000381: SWAP1 00000382: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 00000397: SWAP1 00000398: PUSH4 0x70a08231 0000039d: SWAP1 0000039e: PUSH1 0x24 000003a0: ADD 000003a1: PUSH1 0x20 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: DUP1 000003a7: DUP4 000003a8: SUB 000003a9: DUP2 000003aa: DUP7 000003ab: GAS 000003ac: STATICCALL 000003ad: ISZERO 000003ae: DUP1 000003af: ISZERO 000003b0: PUSH2 0x03bd 000003b3: JUMPI 000003b4: RETURNDATASIZE 000003b5: PUSH1 0x00 000003b7: DUP1 000003b8: RETURNDATACOPY 000003b9: RETURNDATASIZE 000003ba: PUSH1 0x00 000003bc: REVERT 000003bd: JUMPDEST 000003be: POP 000003bf: POP 000003c0: POP 000003c1: POP 000003c2: PUSH1 0x40 000003c4: MLOAD 000003c5: RETURNDATASIZE 000003c6: PUSH1 0x1f 000003c8: NOT 000003c9: PUSH1 0x1f 000003cb: DUP3 000003cc: ADD 000003cd: AND 000003ce: DUP3 000003cf: ADD 000003d0: DUP1 000003d1: PUSH1 0x40 000003d3: MSTORE 000003d4: POP 000003d5: DUP2 000003d6: ADD 000003d7: SWAP1 000003d8: PUSH2 0x03e1 000003db: SWAP2 000003dc: SWAP1 000003dd: PUSH2 0x0d6f 000003e0: JUMP 000003e1: JUMPDEST 000003e2: SWAP1 000003e3: POP 000003e4: DUP1 000003e5: ISZERO 000003e6: PUSH2 0x0468 000003e9: JUMPI 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000 0000040e: DUP2 0000040f: MSTORE 00000410: PUSH1 0x04 00000412: DUP2 00000413: ADD 00000414: DUP3 00000415: SWAP1 00000416: MSTORE 00000417: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000042c: SWAP1 0000042d: PUSH4 0x2e1a7d4d 00000432: SWAP1 00000433: PUSH1 0x24 00000435: ADD 00000436: PUSH1 0x00 00000438: PUSH1 0x40 0000043a: MLOAD 0000043b: DUP1 0000043c: DUP4 0000043d: SUB 0000043e: DUP2 0000043f: PUSH1 0x00 00000441: DUP8 00000442: DUP1 00000443: EXTCODESIZE 00000444: ISZERO 00000445: DUP1 00000446: ISZERO 00000447: PUSH2 0x044f 0000044a: JUMPI 0000044b: PUSH1 0x00 0000044d: DUP1 0000044e: REVERT 0000044f: JUMPDEST 00000450: POP 00000451: GAS 00000452: CALL 00000453: ISZERO 00000454: DUP1 00000455: ISZERO 00000456: PUSH2 0x0463 00000459: JUMPI 0000045a: RETURNDATASIZE 0000045b: PUSH1 0x00 0000045d: DUP1 0000045e: RETURNDATACOPY 0000045f: RETURNDATASIZE 00000460: PUSH1 0x00 00000462: REVERT 00000463: JUMPDEST 00000464: POP 00000465: POP 00000466: POP 00000467: POP 00000468: JUMPDEST 00000469: PUSH8 0x1bc16d674ec80000 00000472: SELFBALANCE 00000473: LT 00000474: DUP1 00000475: ISZERO 00000476: SWAP1 00000477: PUSH2 0x081e 0000047a: JUMPI 0000047b: PUSH1 0x02 0000047d: SLOAD 0000047e: PUSH1 0x40 00000480: MLOAD 00000481: PUSH1 0x00 00000483: SWAP2 00000484: PUSH1 0x01 00000486: PUSH1 0x01 00000488: PUSH1 0xa0 0000048a: SHL 0000048b: SUB 0000048c: AND 0000048d: SWAP1 0000048e: PUSH8 0x0b1a2bc2ec500000 00000497: SWAP1 00000498: DUP4 00000499: DUP2 0000049a: DUP2 0000049b: DUP2 0000049c: DUP6 0000049d: DUP8 0000049e: GAS 0000049f: CALL 000004a0: SWAP3 000004a1: POP 000004a2: POP 000004a3: POP 000004a4: RETURNDATASIZE 000004a5: DUP1 000004a6: PUSH1 0x00 000004a8: DUP2 000004a9: EQ 000004aa: PUSH2 0x04cf 000004ad: JUMPI 000004ae: PUSH1 0x40 000004b0: MLOAD 000004b1: SWAP2 000004b2: POP 000004b3: PUSH1 0x1f 000004b5: NOT 000004b6: PUSH1 0x3f 000004b8: RETURNDATASIZE 000004b9: ADD 000004ba: AND 000004bb: DUP3 000004bc: ADD 000004bd: PUSH1 0x40 000004bf: MSTORE 000004c0: RETURNDATASIZE 000004c1: DUP3 000004c2: MSTORE 000004c3: RETURNDATASIZE 000004c4: PUSH1 0x00 000004c6: PUSH1 0x20 000004c8: DUP5 000004c9: ADD 000004ca: RETURNDATACOPY 000004cb: PUSH2 0x04d4 000004ce: JUMP 000004cf: JUMPDEST 000004d0: PUSH1 0x60 000004d2: SWAP2 000004d3: POP 000004d4: JUMPDEST 000004d5: POP 000004d6: POP 000004d7: PUSH1 0x01 000004d9: SLOAD 000004da: SWAP1 000004db: SWAP2 000004dc: POP 000004dd: PUSH8 0x10a741a462780000 000004e6: SWAP1 000004e7: PUSH1 0x00 000004e9: SUB 000004ea: PUSH2 0x05ee 000004ed: JUMPI 000004ee: PUSH1 0x01 000004f0: PUSH1 0x00 000004f2: DUP2 000004f3: SLOAD 000004f4: PUSH2 0x04fc 000004f7: SWAP1 000004f8: PUSH2 0x0d88 000004fb: JUMP 000004fc: JUMPDEST 000004fd: SWAP1 000004fe: SWAP2 000004ff: SSTORE 00000500: POP 00000501: PUSH2 0x0509 00000504: DUP2 00000505: PUSH2 0x096e 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH1 0x40 0000050c: MLOAD 0000050d: PUSH4 0x70a08231 00000512: PUSH1 0xe0 00000514: SHL 00000515: DUP2 00000516: MSTORE 00000517: ADDRESS 00000518: PUSH1 0x04 0000051a: DUP3 0000051b: ADD 0000051c: MSTORE 0000051d: PUSH32 0x0000000000000000000000004166673521e31ed98801e45e8b068b4bc227a110 0000053e: PUSH1 0x01 00000540: PUSH1 0x01 00000542: PUSH1 0xa0 00000544: SHL 00000545: SUB 00000546: AND 00000547: SWAP1 00000548: PUSH4 0x42966c68 0000054d: SWAP1 0000054e: DUP3 0000054f: SWAP1 00000550: PUSH4 0x70a08231 00000555: SWAP1 00000556: PUSH1 0x24 00000558: ADD 00000559: PUSH1 0x20 0000055b: PUSH1 0x40 0000055d: MLOAD 0000055e: DUP1 0000055f: DUP4 00000560: SUB 00000561: DUP2 00000562: DUP7 00000563: GAS 00000564: STATICCALL 00000565: ISZERO 00000566: DUP1 00000567: ISZERO 00000568: PUSH2 0x0575 0000056b: JUMPI 0000056c: RETURNDATASIZE 0000056d: PUSH1 0x00 0000056f: DUP1 00000570: RETURNDATACOPY 00000571: RETURNDATASIZE 00000572: PUSH1 0x00 00000574: REVERT 00000575: JUMPDEST 00000576: POP 00000577: POP 00000578: POP 00000579: POP 0000057a: PUSH1 0x40 0000057c: MLOAD 0000057d: RETURNDATASIZE 0000057e: PUSH1 0x1f 00000580: NOT 00000581: PUSH1 0x1f 00000583: DUP3 00000584: ADD 00000585: AND 00000586: DUP3 00000587: ADD 00000588: DUP1 00000589: PUSH1 0x40 0000058b: MSTORE 0000058c: POP 0000058d: DUP2 0000058e: ADD 0000058f: SWAP1 00000590: PUSH2 0x0599 00000593: SWAP2 00000594: SWAP1 00000595: PUSH2 0x0d6f 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x40 0000059c: MLOAD 0000059d: DUP3 0000059e: PUSH4 0xffffffff 000005a3: AND 000005a4: PUSH1 0xe0 000005a6: SHL 000005a7: DUP2 000005a8: MSTORE 000005a9: PUSH1 0x04 000005ab: ADD 000005ac: PUSH2 0x05b7 000005af: SWAP2 000005b0: DUP2 000005b1: MSTORE 000005b2: PUSH1 0x20 000005b4: ADD 000005b5: SWAP1 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH1 0x00 000005ba: PUSH1 0x40 000005bc: MLOAD 000005bd: DUP1 000005be: DUP4 000005bf: SUB 000005c0: DUP2 000005c1: PUSH1 0x00 000005c3: DUP8 000005c4: DUP1 000005c5: EXTCODESIZE 000005c6: ISZERO 000005c7: DUP1 000005c8: ISZERO 000005c9: PUSH2 0x05d1 000005cc: JUMPI 000005cd: PUSH1 0x00 000005cf: DUP1 000005d0: REVERT 000005d1: JUMPDEST 000005d2: POP 000005d3: GAS 000005d4: CALL 000005d5: ISZERO 000005d6: DUP1 000005d7: ISZERO 000005d8: PUSH2 0x05e5 000005db: JUMPI 000005dc: RETURNDATASIZE 000005dd: PUSH1 0x00 000005df: DUP1 000005e0: RETURNDATACOPY 000005e1: RETURNDATASIZE 000005e2: PUSH1 0x00 000005e4: REVERT 000005e5: JUMPDEST 000005e6: POP 000005e7: POP 000005e8: POP 000005e9: POP 000005ea: PUSH2 0x081b 000005ed: JUMP 000005ee: JUMPDEST 000005ef: PUSH1 0x01 000005f1: SLOAD 000005f2: PUSH1 0x01 000005f4: SUB 000005f5: PUSH2 0x0618 000005f8: JUMPI 000005f9: PUSH1 0x01 000005fb: PUSH1 0x00 000005fd: DUP2 000005fe: SLOAD 000005ff: PUSH2 0x0607 00000602: SWAP1 00000603: PUSH2 0x0d88 00000606: JUMP 00000607: JUMPDEST 00000608: SWAP1 00000609: SWAP2 0000060a: SSTORE 0000060b: POP 0000060c: PUSH2 0x0613 0000060f: PUSH2 0x0abf 00000612: JUMP 00000613: JUMPDEST 00000614: PUSH2 0x081b 00000617: JUMP 00000618: JUMPDEST 00000619: PUSH1 0x01 0000061b: SLOAD 0000061c: PUSH1 0x02 0000061e: SUB 0000061f: PUSH2 0x07a1 00000622: JUMPI 00000623: PUSH1 0x01 00000625: PUSH1 0x00 00000627: DUP2 00000628: SLOAD 00000629: PUSH2 0x0631 0000062c: SWAP1 0000062d: PUSH2 0x0d88 00000630: JUMP 00000631: JUMPDEST 00000632: SWAP1 00000633: SWAP2 00000634: SSTORE 00000635: POP 00000636: PUSH2 0x063e 00000639: DUP2 0000063a: PUSH2 0x096e 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH1 0x40 00000641: MLOAD 00000642: PUSH4 0x70a08231 00000647: PUSH1 0xe0 00000649: SHL 0000064a: DUP2 0000064b: MSTORE 0000064c: ADDRESS 0000064d: PUSH1 0x04 0000064f: DUP3 00000650: ADD 00000651: MSTORE 00000652: PUSH1 0x00 00000654: SWAP1 00000655: PUSH32 0x0000000000000000000000004166673521e31ed98801e45e8b068b4bc227a110 00000676: PUSH1 0x01 00000678: PUSH1 0x01 0000067a: PUSH1 0xa0 0000067c: SHL 0000067d: SUB 0000067e: AND 0000067f: SWAP1 00000680: PUSH4 0x70a08231 00000685: SWAP1 00000686: PUSH1 0x24 00000688: ADD 00000689: PUSH1 0x20 0000068b: PUSH1 0x40 0000068d: MLOAD 0000068e: DUP1 0000068f: DUP4 00000690: SUB 00000691: DUP2 00000692: DUP7 00000693: GAS 00000694: STATICCALL 00000695: ISZERO 00000696: DUP1 00000697: ISZERO 00000698: PUSH2 0x06a5 0000069b: JUMPI 0000069c: RETURNDATASIZE 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: RETURNDATACOPY 000006a1: RETURNDATASIZE 000006a2: PUSH1 0x00 000006a4: REVERT 000006a5: JUMPDEST 000006a6: POP 000006a7: POP 000006a8: POP 000006a9: POP 000006aa: PUSH1 0x40 000006ac: MLOAD 000006ad: RETURNDATASIZE 000006ae: PUSH1 0x1f 000006b0: NOT 000006b1: PUSH1 0x1f 000006b3: DUP3 000006b4: ADD 000006b5: AND 000006b6: DUP3 000006b7: ADD 000006b8: DUP1 000006b9: PUSH1 0x40 000006bb: MSTORE 000006bc: POP 000006bd: DUP2 000006be: ADD 000006bf: SWAP1 000006c0: PUSH2 0x06c9 000006c3: SWAP2 000006c4: SWAP1 000006c5: PUSH2 0x0d6f 000006c8: JUMP 000006c9: JUMPDEST 000006ca: PUSH1 0x40 000006cc: MLOAD 000006cd: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000006ee: DUP2 000006ef: MSTORE 000006f0: PUSH1 0x01 000006f2: PUSH1 0x01 000006f4: PUSH1 0xa0 000006f6: SHL 000006f7: SUB 000006f8: PUSH32 0x00000000000000000000000047f53e843689840cf155b160301c3121aa60e74f 00000719: DUP2 0000071a: AND 0000071b: PUSH1 0x04 0000071d: DUP4 0000071e: ADD 0000071f: MSTORE 00000720: PUSH1 0x24 00000722: DUP3 00000723: ADD 00000724: DUP4 00000725: SWAP1 00000726: MSTORE 00000727: SWAP2 00000728: SWAP3 00000729: POP 0000072a: PUSH32 0x0000000000000000000000004166673521e31ed98801e45e8b068b4bc227a110 0000074b: SWAP1 0000074c: SWAP2 0000074d: AND 0000074e: SWAP1 0000074f: PUSH4 0xa9059cbb 00000754: SWAP1 00000755: PUSH1 0x44 00000757: ADD 00000758: PUSH1 0x20 0000075a: PUSH1 0x40 0000075c: MLOAD 0000075d: DUP1 0000075e: DUP4 0000075f: SUB 00000760: DUP2 00000761: PUSH1 0x00 00000763: DUP8 00000764: GAS 00000765: CALL 00000766: ISZERO 00000767: DUP1 00000768: ISZERO 00000769: PUSH2 0x0776 0000076c: JUMPI 0000076d: RETURNDATASIZE 0000076e: PUSH1 0x00 00000770: DUP1 00000771: RETURNDATACOPY 00000772: RETURNDATASIZE 00000773: PUSH1 0x00 00000775: REVERT 00000776: JUMPDEST 00000777: POP 00000778: POP 00000779: POP 0000077a: POP 0000077b: PUSH1 0x40 0000077d: MLOAD 0000077e: RETURNDATASIZE 0000077f: PUSH1 0x1f 00000781: NOT 00000782: PUSH1 0x1f 00000784: DUP3 00000785: ADD 00000786: AND 00000787: DUP3 00000788: ADD 00000789: DUP1 0000078a: PUSH1 0x40 0000078c: MSTORE 0000078d: POP 0000078e: DUP2 0000078f: ADD 00000790: SWAP1 00000791: PUSH2 0x079a 00000794: SWAP2 00000795: SWAP1 00000796: PUSH2 0x0daf 00000799: JUMP 0000079a: JUMPDEST 0000079b: POP 0000079c: POP 0000079d: PUSH2 0x081b 000007a0: JUMP 000007a1: JUMPDEST 000007a2: PUSH1 0x00 000007a4: PUSH1 0x01 000007a6: DUP2 000007a7: SWAP1 000007a8: SSTORE 000007a9: PUSH1 0x40 000007ab: MLOAD 000007ac: PUSH32 0x0000000000000000000000000b25d5358e13899e3cc77fe54b4baf949e476ac5 000007cd: PUSH1 0x01 000007cf: PUSH1 0x01 000007d1: PUSH1 0xa0 000007d3: SHL 000007d4: SUB 000007d5: AND 000007d6: SWAP2 000007d7: DUP4 000007d8: SWAP2 000007d9: SWAP1 000007da: DUP2 000007db: DUP2 000007dc: DUP2 000007dd: DUP6 000007de: DUP8 000007df: GAS 000007e0: CALL 000007e1: SWAP3 000007e2: POP 000007e3: POP 000007e4: POP 000007e5: RETURNDATASIZE 000007e6: DUP1 000007e7: PUSH1 0x00 000007e9: DUP2 000007ea: EQ 000007eb: PUSH2 0x0810 000007ee: JUMPI 000007ef: PUSH1 0x40 000007f1: MLOAD 000007f2: SWAP2 000007f3: POP 000007f4: PUSH1 0x1f 000007f6: NOT 000007f7: PUSH1 0x3f 000007f9: RETURNDATASIZE 000007fa: ADD 000007fb: AND 000007fc: DUP3 000007fd: ADD 000007fe: PUSH1 0x40 00000800: MSTORE 00000801: RETURNDATASIZE 00000802: DUP3 00000803: MSTORE 00000804: RETURNDATASIZE 00000805: PUSH1 0x00 00000807: PUSH1 0x20 00000809: DUP5 0000080a: ADD 0000080b: RETURNDATACOPY 0000080c: PUSH2 0x0815 0000080f: JUMP 00000810: JUMPDEST 00000811: PUSH1 0x60 00000813: SWAP2 00000814: POP 00000815: JUMPDEST 00000816: POP 00000817: SWAP1 00000818: SWAP3 00000819: POP 0000081a: POP 0000081b: JUMPDEST 0000081c: POP 0000081d: POP 0000081e: JUMPDEST 0000081f: POP 00000820: POP 00000821: JUMP 00000822: JUMPDEST 00000823: PUSH2 0x082a 00000826: PUSH2 0x08b7 00000829: JUMP 0000082a: JUMPDEST 0000082b: PUSH1 0x01 0000082d: PUSH1 0x01 0000082f: PUSH1 0xa0 00000831: SHL 00000832: SUB 00000833: DUP2 00000834: AND 00000835: PUSH2 0x08ab 00000838: JUMPI 00000839: PUSH1 0x40 0000083b: MLOAD 0000083c: PUSH3 0x461bcd 00000840: PUSH1 0xe5 00000842: SHL 00000843: DUP2 00000844: MSTORE 00000845: PUSH1 0x20 00000847: PUSH1 0x04 00000849: DUP3 0000084a: ADD 0000084b: MSTORE 0000084c: PUSH1 0x26 0000084e: PUSH1 0x24 00000850: DUP3 00000851: ADD 00000852: MSTORE 00000853: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000874: PUSH1 0x44 00000876: DUP3 00000877: ADD 00000878: MSTORE 00000879: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000089a: PUSH1 0x64 0000089c: DUP3 0000089d: ADD 0000089e: MSTORE 0000089f: PUSH1 0x84 000008a1: ADD 000008a2: JUMPDEST 000008a3: PUSH1 0x40 000008a5: MLOAD 000008a6: DUP1 000008a7: SWAP2 000008a8: SUB 000008a9: SWAP1 000008aa: REVERT 000008ab: JUMPDEST 000008ac: PUSH2 0x08b4 000008af: DUP2 000008b0: PUSH2 0x0911 000008b3: JUMP 000008b4: JUMPDEST 000008b5: POP 000008b6: JUMP 000008b7: JUMPDEST 000008b8: PUSH1 0x00 000008ba: SLOAD 000008bb: PUSH1 0x01 000008bd: PUSH1 0x01 000008bf: PUSH1 0xa0 000008c1: SHL 000008c2: SUB 000008c3: AND 000008c4: CALLER 000008c5: EQ 000008c6: PUSH2 0x0369 000008c9: JUMPI 000008ca: PUSH1 0x40 000008cc: MLOAD 000008cd: PUSH3 0x461bcd 000008d1: PUSH1 0xe5 000008d3: SHL 000008d4: DUP2 000008d5: MSTORE 000008d6: PUSH1 0x20 000008d8: PUSH1 0x04 000008da: DUP3 000008db: ADD 000008dc: DUP2 000008dd: SWAP1 000008de: MSTORE 000008df: PUSH1 0x24 000008e1: DUP3 000008e2: ADD 000008e3: MSTORE 000008e4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000905: PUSH1 0x44 00000907: DUP3 00000908: ADD 00000909: MSTORE 0000090a: PUSH1 0x64 0000090c: ADD 0000090d: PUSH2 0x08a2 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH1 0x00 00000914: DUP1 00000915: SLOAD 00000916: PUSH1 0x01 00000918: PUSH1 0x01 0000091a: PUSH1 0xa0 0000091c: SHL 0000091d: SUB 0000091e: DUP4 0000091f: DUP2 00000920: AND 00000921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000936: NOT 00000937: DUP4 00000938: AND 00000939: DUP2 0000093a: OR 0000093b: DUP5 0000093c: SSTORE 0000093d: PUSH1 0x40 0000093f: MLOAD 00000940: SWAP2 00000941: SWAP1 00000942: SWAP3 00000943: AND 00000944: SWAP3 00000945: DUP4 00000946: SWAP2 00000947: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000968: SWAP2 00000969: SWAP1 0000096a: LOG3 0000096b: POP 0000096c: POP 0000096d: JUMP 0000096e: JUMPDEST 0000096f: PUSH1 0x40 00000971: DUP1 00000972: MLOAD 00000973: PUSH1 0x02 00000975: DUP1 00000976: DUP3 00000977: MSTORE 00000978: PUSH1 0x60 0000097a: DUP3 0000097b: ADD 0000097c: DUP4 0000097d: MSTORE 0000097e: PUSH1 0x00 00000980: SWAP3 00000981: PUSH1 0x20 00000983: DUP4 00000984: ADD 00000985: SWAP1 00000986: DUP1 00000987: CALLDATASIZE 00000988: DUP4 00000989: CALLDATACOPY 0000098a: ADD 0000098b: SWAP1 0000098c: POP 0000098d: POP 0000098e: SWAP1 0000098f: POP 00000990: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000009a5: DUP2 000009a6: PUSH1 0x00 000009a8: DUP2 000009a9: MLOAD 000009aa: DUP2 000009ab: LT 000009ac: PUSH2 0x09b7 000009af: JUMPI 000009b0: PUSH2 0x09b7 000009b3: PUSH2 0x0dd1 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH1 0x20 000009ba: MUL 000009bb: PUSH1 0x20 000009bd: ADD 000009be: ADD 000009bf: SWAP1 000009c0: PUSH1 0x01 000009c2: PUSH1 0x01 000009c4: PUSH1 0xa0 000009c6: SHL 000009c7: SUB 000009c8: AND 000009c9: SWAP1 000009ca: DUP2 000009cb: PUSH1 0x01 000009cd: PUSH1 0x01 000009cf: PUSH1 0xa0 000009d1: SHL 000009d2: SUB 000009d3: AND 000009d4: DUP2 000009d5: MSTORE 000009d6: POP 000009d7: POP 000009d8: PUSH32 0x0000000000000000000000004166673521e31ed98801e45e8b068b4bc227a110 000009f9: DUP2 000009fa: PUSH1 0x01 000009fc: DUP2 000009fd: MLOAD 000009fe: DUP2 000009ff: LT 00000a00: PUSH2 0x0a0b 00000a03: JUMPI 00000a04: PUSH2 0x0a0b 00000a07: PUSH2 0x0dd1 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: PUSH1 0x01 00000a0e: PUSH1 0x01 00000a10: PUSH1 0xa0 00000a12: SHL 00000a13: SUB 00000a14: SWAP3 00000a15: DUP4 00000a16: AND 00000a17: PUSH1 0x20 00000a19: SWAP2 00000a1a: DUP3 00000a1b: MUL 00000a1c: SWAP3 00000a1d: SWAP1 00000a1e: SWAP3 00000a1f: ADD 00000a20: ADD 00000a21: MSTORE 00000a22: PUSH1 0x40 00000a24: MLOAD 00000a25: PUSH32 0xb6f9de9500000000000000000000000000000000000000000000000000000000 00000a46: DUP2 00000a47: MSTORE 00000a48: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000a69: SWAP1 00000a6a: SWAP2 00000a6b: AND 00000a6c: SWAP1 00000a6d: PUSH4 0xb6f9de95 00000a72: SWAP1 00000a73: DUP5 00000a74: SWAP1 00000a75: PUSH2 0x0a89 00000a78: SWAP1 00000a79: PUSH1 0x00 00000a7b: SWAP1 00000a7c: DUP7 00000a7d: SWAP1 00000a7e: ADDRESS 00000a7f: SWAP1 00000a80: TIMESTAMP 00000a81: SWAP1 00000a82: PUSH1 0x04 00000a84: ADD 00000a85: PUSH2 0x0de7 00000a88: JUMP 00000a89: JUMPDEST 00000a8a: PUSH1 0x00 00000a8c: PUSH1 0x40 00000a8e: MLOAD 00000a8f: DUP1 00000a90: DUP4 00000a91: SUB 00000a92: DUP2 00000a93: DUP6 00000a94: DUP9 00000a95: DUP1 00000a96: EXTCODESIZE 00000a97: ISZERO 00000a98: DUP1 00000a99: ISZERO 00000a9a: PUSH2 0x0aa2 00000a9d: JUMPI 00000a9e: PUSH1 0x00 00000aa0: DUP1 00000aa1: REVERT 00000aa2: JUMPDEST 00000aa3: POP 00000aa4: GAS 00000aa5: CALL 00000aa6: ISZERO 00000aa7: DUP1 00000aa8: ISZERO 00000aa9: PUSH2 0x0ab6 00000aac: JUMPI 00000aad: RETURNDATASIZE 00000aae: PUSH1 0x00 00000ab0: DUP1 00000ab1: RETURNDATACOPY 00000ab2: RETURNDATASIZE 00000ab3: PUSH1 0x00 00000ab5: REVERT 00000ab6: JUMPDEST 00000ab7: POP 00000ab8: POP 00000ab9: POP 00000aba: POP 00000abb: POP 00000abc: POP 00000abd: POP 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: PUSH2 0x0ad0 00000ac3: PUSH8 0x0853a0d2313c0000 00000acc: PUSH2 0x096e 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: PUSH1 0x40 00000ad3: MLOAD 00000ad4: PUSH4 0x70a08231 00000ad9: PUSH1 0xe0 00000adb: SHL 00000adc: DUP2 00000add: MSTORE 00000ade: ADDRESS 00000adf: PUSH1 0x04 00000ae1: DUP3 00000ae2: ADD 00000ae3: MSTORE 00000ae4: PUSH1 0x00 00000ae6: SWAP1 00000ae7: PUSH32 0x0000000000000000000000004166673521e31ed98801e45e8b068b4bc227a110 00000b08: PUSH1 0x01 00000b0a: PUSH1 0x01 00000b0c: PUSH1 0xa0 00000b0e: SHL 00000b0f: SUB 00000b10: AND 00000b11: SWAP1 00000b12: PUSH4 0x70a08231 00000b17: SWAP1 00000b18: PUSH1 0x24 00000b1a: ADD 00000b1b: PUSH1 0x20 00000b1d: PUSH1 0x40 00000b1f: MLOAD 00000b20: DUP1 00000b21: DUP4 00000b22: SUB 00000b23: DUP2 00000b24: DUP7 00000b25: GAS 00000b26: STATICCALL 00000b27: ISZERO 00000b28: DUP1 00000b29: ISZERO 00000b2a: PUSH2 0x0b37 00000b2d: JUMPI 00000b2e: RETURNDATASIZE 00000b2f: PUSH1 0x00 00000b31: DUP1 00000b32: RETURNDATACOPY 00000b33: RETURNDATASIZE 00000b34: PUSH1 0x00 00000b36: REVERT 00000b37: JUMPDEST 00000b38: POP 00000b39: POP 00000b3a: POP 00000b3b: POP 00000b3c: PUSH1 0x40 00000b3e: MLOAD 00000b3f: RETURNDATASIZE 00000b40: PUSH1 0x1f 00000b42: NOT 00000b43: PUSH1 0x1f 00000b45: DUP3 00000b46: ADD 00000b47: AND 00000b48: DUP3 00000b49: ADD 00000b4a: DUP1 00000b4b: PUSH1 0x40 00000b4d: MSTORE 00000b4e: POP 00000b4f: DUP2 00000b50: ADD 00000b51: SWAP1 00000b52: PUSH2 0x0b5b 00000b55: SWAP2 00000b56: SWAP1 00000b57: PUSH2 0x0d6f 00000b5a: JUMP 00000b5b: JUMPDEST 00000b5c: PUSH1 0x40 00000b5e: MLOAD 00000b5f: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000 00000b80: DUP2 00000b81: MSTORE 00000b82: PUSH1 0x01 00000b84: PUSH1 0x01 00000b86: PUSH1 0xa0 00000b88: SHL 00000b89: SUB 00000b8a: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000bab: DUP2 00000bac: AND 00000bad: PUSH1 0x04 00000baf: DUP4 00000bb0: ADD 00000bb1: MSTORE 00000bb2: PUSH1 0x24 00000bb4: DUP3 00000bb5: ADD 00000bb6: DUP4 00000bb7: SWAP1 00000bb8: MSTORE 00000bb9: SWAP2 00000bba: SWAP3 00000bbb: POP 00000bbc: PUSH32 0x0000000000000000000000004166673521e31ed98801e45e8b068b4bc227a110 00000bdd: SWAP1 00000bde: SWAP2 00000bdf: AND 00000be0: SWAP1 00000be1: PUSH4 0x095ea7b3 00000be6: SWAP1 00000be7: PUSH1 0x44 00000be9: ADD 00000bea: PUSH1 0x20 00000bec: PUSH1 0x40 00000bee: MLOAD 00000bef: DUP1 00000bf0: DUP4 00000bf1: SUB 00000bf2: DUP2 00000bf3: PUSH1 0x00 00000bf5: DUP8 00000bf6: GAS 00000bf7: CALL 00000bf8: ISZERO 00000bf9: DUP1 00000bfa: ISZERO 00000bfb: PUSH2 0x0c08 00000bfe: JUMPI 00000bff: RETURNDATASIZE 00000c00: PUSH1 0x00 00000c02: DUP1 00000c03: RETURNDATACOPY 00000c04: RETURNDATASIZE 00000c05: PUSH1 0x00 00000c07: REVERT 00000c08: JUMPDEST 00000c09: POP 00000c0a: POP 00000c0b: POP 00000c0c: POP 00000c0d: PUSH1 0x40 00000c0f: MLOAD 00000c10: RETURNDATASIZE 00000c11: PUSH1 0x1f 00000c13: NOT 00000c14: PUSH1 0x1f 00000c16: DUP3 00000c17: ADD 00000c18: AND 00000c19: DUP3 00000c1a: ADD 00000c1b: DUP1 00000c1c: PUSH1 0x40 00000c1e: MSTORE 00000c1f: POP 00000c20: DUP2 00000c21: ADD 00000c22: SWAP1 00000c23: PUSH2 0x0c2c 00000c26: SWAP2 00000c27: SWAP1 00000c28: PUSH2 0x0daf 00000c2b: JUMP 00000c2c: JUMPDEST 00000c2d: POP 00000c2e: PUSH1 0x40 00000c30: MLOAD 00000c31: PUSH32 0xf305d71900000000000000000000000000000000000000000000000000000000 00000c52: DUP2 00000c53: MSTORE 00000c54: PUSH1 0x01 00000c56: PUSH1 0x01 00000c58: PUSH1 0xa0 00000c5a: SHL 00000c5b: SUB 00000c5c: PUSH32 0x0000000000000000000000004166673521e31ed98801e45e8b068b4bc227a110 00000c7d: DUP2 00000c7e: AND 00000c7f: PUSH1 0x04 00000c81: DUP4 00000c82: ADD 00000c83: MSTORE 00000c84: PUSH1 0x24 00000c86: DUP3 00000c87: ADD 00000c88: DUP4 00000c89: SWAP1 00000c8a: MSTORE 00000c8b: PUSH1 0x00 00000c8d: PUSH1 0x44 00000c8f: DUP4 00000c90: ADD 00000c91: DUP2 00000c92: SWAP1 00000c93: MSTORE 00000c94: PUSH1 0x64 00000c96: DUP4 00000c97: ADD 00000c98: MSTORE 00000c99: PUSH32 0x000000000000000000000000e6338a83fa23f55919b6c371e32e8f5f71dab59a 00000cba: DUP2 00000cbb: AND 00000cbc: PUSH1 0x84 00000cbe: DUP4 00000cbf: ADD 00000cc0: MSTORE 00000cc1: TIMESTAMP 00000cc2: PUSH1 0xa4 00000cc4: DUP4 00000cc5: ADD 00000cc6: MSTORE 00000cc7: PUSH32 0x0000000000000000000000007a250d5630b4cf539739df2c5dacb4c659f2488d 00000ce8: AND 00000ce9: SWAP1 00000cea: PUSH4 0xf305d719 00000cef: SWAP1 00000cf0: PUSH8 0x0853a0d2313c0000 00000cf9: SWAP1 00000cfa: PUSH1 0xc4 00000cfc: ADD 00000cfd: PUSH1 0x60 00000cff: PUSH1 0x40 00000d01: MLOAD 00000d02: DUP1 00000d03: DUP4 00000d04: SUB 00000d05: DUP2 00000d06: DUP6 00000d07: DUP9 00000d08: GAS 00000d09: CALL 00000d0a: ISZERO 00000d0b: DUP1 00000d0c: ISZERO 00000d0d: PUSH2 0x0d1a 00000d10: JUMPI 00000d11: RETURNDATASIZE 00000d12: PUSH1 0x00 00000d14: DUP1 00000d15: RETURNDATACOPY 00000d16: RETURNDATASIZE 00000d17: PUSH1 0x00 00000d19: REVERT 00000d1a: JUMPDEST 00000d1b: POP 00000d1c: POP 00000d1d: POP 00000d1e: POP 00000d1f: POP 00000d20: PUSH1 0x40 00000d22: MLOAD 00000d23: RETURNDATASIZE 00000d24: PUSH1 0x1f 00000d26: NOT 00000d27: PUSH1 0x1f 00000d29: DUP3 00000d2a: ADD 00000d2b: AND 00000d2c: DUP3 00000d2d: ADD 00000d2e: DUP1 00000d2f: PUSH1 0x40 00000d31: MSTORE 00000d32: POP 00000d33: DUP2 00000d34: ADD 00000d35: SWAP1 00000d36: PUSH2 0x081b 00000d39: SWAP2 00000d3a: SWAP1 00000d3b: PUSH2 0x0e51 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: PUSH1 0x00 00000d42: PUSH1 0x20 00000d44: DUP3 00000d45: DUP5 00000d46: SUB 00000d47: SLT 00000d48: ISZERO 00000d49: PUSH2 0x0d51 00000d4c: JUMPI 00000d4d: PUSH1 0x00 00000d4f: DUP1 00000d50: REVERT 00000d51: JUMPDEST 00000d52: DUP2 00000d53: CALLDATALOAD 00000d54: PUSH1 0x01 00000d56: PUSH1 0x01 00000d58: PUSH1 0xa0 00000d5a: SHL 00000d5b: SUB 00000d5c: DUP2 00000d5d: AND 00000d5e: DUP2 00000d5f: EQ 00000d60: PUSH2 0x0d68 00000d63: JUMPI 00000d64: PUSH1 0x00 00000d66: DUP1 00000d67: REVERT 00000d68: JUMPDEST 00000d69: SWAP4 00000d6a: SWAP3 00000d6b: POP 00000d6c: POP 00000d6d: POP 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH1 0x00 00000d72: PUSH1 0x20 00000d74: DUP3 00000d75: DUP5 00000d76: SUB 00000d77: SLT 00000d78: ISZERO 00000d79: PUSH2 0x0d81 00000d7c: JUMPI 00000d7d: PUSH1 0x00 00000d7f: DUP1 00000d80: REVERT 00000d81: JUMPDEST 00000d82: POP 00000d83: MLOAD 00000d84: SWAP2 00000d85: SWAP1 00000d86: POP 00000d87: JUMP 00000d88: JUMPDEST 00000d89: PUSH1 0x00 00000d8b: PUSH1 0x01 00000d8d: DUP3 00000d8e: ADD 00000d8f: PUSH2 0x0da8 00000d92: JUMPI 00000d93: PUSH4 0x4e487b71 00000d98: PUSH1 0xe0 00000d9a: SHL 00000d9b: PUSH1 0x00 00000d9d: MSTORE 00000d9e: PUSH1 0x11 00000da0: PUSH1 0x04 00000da2: MSTORE 00000da3: PUSH1 0x24 00000da5: PUSH1 0x00 00000da7: REVERT 00000da8: JUMPDEST 00000da9: POP 00000daa: PUSH1 0x01 00000dac: ADD 00000dad: SWAP1 00000dae: JUMP 00000daf: JUMPDEST 00000db0: PUSH1 0x00 00000db2: PUSH1 0x20 00000db4: DUP3 00000db5: DUP5 00000db6: SUB 00000db7: SLT 00000db8: ISZERO 00000db9: PUSH2 0x0dc1 00000dbc: JUMPI 00000dbd: PUSH1 0x00 00000dbf: DUP1 00000dc0: REVERT 00000dc1: JUMPDEST 00000dc2: DUP2 00000dc3: MLOAD 00000dc4: DUP1 00000dc5: ISZERO 00000dc6: ISZERO 00000dc7: DUP2 00000dc8: EQ 00000dc9: PUSH2 0x0d68 00000dcc: JUMPI 00000dcd: PUSH1 0x00 00000dcf: DUP1 00000dd0: REVERT 00000dd1: JUMPDEST 00000dd2: PUSH4 0x4e487b71 00000dd7: PUSH1 0xe0 00000dd9: SHL 00000dda: PUSH1 0x00 00000ddc: MSTORE 00000ddd: PUSH1 0x32 00000ddf: PUSH1 0x04 00000de1: MSTORE 00000de2: PUSH1 0x24 00000de4: PUSH1 0x00 00000de6: REVERT 00000de7: JUMPDEST 00000de8: PUSH1 0x00 00000dea: PUSH1 0x80 00000dec: DUP3 00000ded: ADD 00000dee: DUP7 00000def: DUP4 00000df0: MSTORE 00000df1: PUSH1 0x20 00000df3: PUSH1 0x80 00000df5: DUP2 00000df6: DUP6 00000df7: ADD 00000df8: MSTORE 00000df9: DUP2 00000dfa: DUP8 00000dfb: MLOAD 00000dfc: DUP1 00000dfd: DUP5 00000dfe: MSTORE 00000dff: PUSH1 0xa0 00000e01: DUP7 00000e02: ADD 00000e03: SWAP2 00000e04: POP 00000e05: DUP3 00000e06: DUP10 00000e07: ADD 00000e08: SWAP4 00000e09: POP 00000e0a: PUSH1 0x00 00000e0c: JUMPDEST 00000e0d: DUP2 00000e0e: DUP2 00000e0f: LT 00000e10: ISZERO 00000e11: PUSH2 0x0e31 00000e14: JUMPI 00000e15: DUP5 00000e16: MLOAD 00000e17: PUSH1 0x01 00000e19: PUSH1 0x01 00000e1b: PUSH1 0xa0 00000e1d: SHL 00000e1e: SUB 00000e1f: AND 00000e20: DUP4 00000e21: MSTORE 00000e22: SWAP4 00000e23: DUP4 00000e24: ADD 00000e25: SWAP4 00000e26: SWAP2 00000e27: DUP4 00000e28: ADD 00000e29: SWAP2 00000e2a: PUSH1 0x01 00000e2c: ADD 00000e2d: PUSH2 0x0e0c 00000e30: JUMP 00000e31: JUMPDEST 00000e32: POP 00000e33: POP 00000e34: PUSH1 0x01 00000e36: PUSH1 0x01 00000e38: PUSH1 0xa0 00000e3a: SHL 00000e3b: SUB 00000e3c: SWAP7 00000e3d: SWAP1 00000e3e: SWAP7 00000e3f: AND 00000e40: PUSH1 0x40 00000e42: DUP6 00000e43: ADD 00000e44: MSTORE 00000e45: POP 00000e46: POP 00000e47: POP 00000e48: PUSH1 0x60 00000e4a: ADD 00000e4b: MSTORE 00000e4c: SWAP3 00000e4d: SWAP2 00000e4e: POP 00000e4f: POP 00000e50: JUMP 00000e51: JUMPDEST 00000e52: PUSH1 0x00 00000e54: DUP1 00000e55: PUSH1 0x00 00000e57: PUSH1 0x60 00000e59: DUP5 00000e5a: DUP7 00000e5b: SUB 00000e5c: SLT 00000e5d: ISZERO 00000e5e: PUSH2 0x0e66 00000e61: JUMPI 00000e62: PUSH1 0x00 00000e64: DUP1 00000e65: REVERT 00000e66: JUMPDEST 00000e67: DUP4 00000e68: MLOAD 00000e69: SWAP3 00000e6a: POP 00000e6b: PUSH1 0x20 00000e6d: DUP5 00000e6e: ADD 00000e6f: MLOAD 00000e70: SWAP2 00000e71: POP 00000e72: PUSH1 0x40 00000e74: DUP5 00000e75: ADD 00000e76: MLOAD 00000e77: SWAP1 00000e78: POP 00000e79: SWAP3 00000e7a: POP 00000e7b: SWAP3 00000e7c: POP 00000e7d: SWAP3 00000e7e: JUMP 00000e7f: INVALID 00000e80: LOG2 00000e81: PUSH5 0x6970667358 00000e87: UNKNOWN(0x22) 00000e88: SLT 00000e89: KECCAK256 00000e8a: UNKNOWN(0xD5) 00000e8b: ADDMOD 00000e8c: UNKNOWN(0xA6) 00000e8d: CALLVALUE 00000e8e: LOG0 00000e8f: UNKNOWN(0x0E) 00000e90: UNKNOWN(0xCA) 00000e91: UNKNOWN(0x24) 00000e92: DUP1 00000e93: UNKNOWN(0xBA) 00000e94: EXTCODESIZE 00000e95: TSTORE 00000e96: GAS 00000e97: EQ 00000e98: UNKNOWN(0xC9) 00000e99: PUSH25 0xb4006b0e041645f0c4b22a2593b5694664736f6c6343000813 00000eb3: STOP 00000eb4: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x7c1e706290189bad1a589309515419338f75b586c8b643bc4eee8a7deed01cc9
call_targets:
0x33e3f32d0160c04bdfe274d61ba42110dc7e0099
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7c1e706290189bad1a589309515419338f75b586c8b643bc4eee8a7deed01cc9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x33e3f32d0160c04bdfe274d61ba42110dc7e0099"
],
"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": "0xb7d18789",
"selector": "0xb7d18789",
"calldata_variants": [
"0xb7d18789",
"0xb7d187890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba69ebed",
"selector": "0xba69ebed",
"calldata_variants": [
"0xba69ebed",
"0xba69ebed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3a3a6ef",
"selector": "0xd3a3a6ef",
"calldata_variants": [
"0xd3a3a6ef",
"0xd3a3a6ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9bf1401c",
"selector": "0x9bf1401c",
"calldata_variants": [
"0x9bf1401c",
"0x9bf1401c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c75f085",
"selector": "0x1c75f085",
"calldata_variants": [
"0x1c75f085",
"0x1c75f0850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1106,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1183,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1492,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [],
"untrusted_call_count": 8
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x7c1e706290189bad1a589309515419338f75b586c8b643bc4eee8a7deed01cc9
call_targets:
0x33e3f32d0160c04bdfe274d61ba42110dc7e0099
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7c1e706290189bad1a589309515419338f75b586c8b643bc4eee8a7deed01cc9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x33e3f32d0160c04bdfe274d61ba42110dc7e0099"
],
"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": "0xb7d18789",
"selector": "0xb7d18789",
"calldata_variants": [
"0xb7d18789",
"0xb7d187890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xba69ebed",
"selector": "0xba69ebed",
"calldata_variants": [
"0xba69ebed",
"0xba69ebed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd3a3a6ef",
"selector": "0xd3a3a6ef",
"calldata_variants": [
"0xd3a3a6ef",
"0xd3a3a6ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9bf1401c",
"selector": "0x9bf1401c",
"calldata_variants": [
"0x9bf1401c",
"0x9bf1401c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad5c4648",
"selector": "0xad5c4648",
"calldata_variants": [
"0xad5c4648",
"0xad5c46480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1c75f085",
"selector": "0x1c75f085",
"calldata_variants": [
"0x1c75f085",
"0x1c75f0850000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1106,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1183,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1492,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": []
}
|