019b477e-b3f3-7296-ac41-142e5547c820
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 |
|---|---|---|---|---|
| 22643 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22644 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89613 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89614 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89615 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89616 | 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 0x013d 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x040da8f4 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0175 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x06fdde03 00000046: EQ 00000047: PUSH2 0x019c 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x0aa9a4fb 00000051: EQ 00000052: PUSH2 0x0226 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x0bd5b493 0000005c: EQ 0000005d: PUSH2 0x025b 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x200ef97e 00000067: EQ 00000068: PUSH2 0x0285 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x3a2bc42b 00000072: EQ 00000073: PUSH2 0x029a 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x4443fbf4 0000007d: EQ 0000007e: PUSH2 0x02af 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x6c6bf551 00000088: EQ 00000089: PUSH2 0x02d0 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8a7eac45 00000093: EQ 00000094: PUSH2 0x02e5 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x8ade246a 0000009e: EQ 0000009f: PUSH2 0x02fa 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8da5cb5b 000000a9: EQ 000000aa: PUSH2 0x0311 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x95d89b41 000000b4: EQ 000000b5: PUSH2 0x0342 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xa5d8746e 000000bf: EQ 000000c0: PUSH2 0x0357 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa9c8733c 000000ca: EQ 000000cb: PUSH2 0x0380 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xab6840e7 000000d5: EQ 000000d6: PUSH2 0x0395 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xad8b2c77 000000e0: EQ 000000e1: PUSH2 0x03aa 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xafafb3f0 000000eb: EQ 000000ec: PUSH2 0x03bf 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xc5cbbabe 000000f6: EQ 000000f7: PUSH2 0x03d4 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xddf8224d 00000101: EQ 00000102: PUSH2 0x03e9 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xefbec487 0000010c: EQ 0000010d: PUSH2 0x03fe 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xf1112e70 00000117: EQ 00000118: PUSH2 0x0416 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xf4f42358 00000122: EQ 00000123: PUSH2 0x0437 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0xf9146b2f 0000012d: EQ 0000012e: PUSH2 0x044c 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xfb815503 00000138: EQ 00000139: PUSH2 0x046d 0000013c: JUMPI 0000013d: JUMPDEST 0000013e: PUSH1 0x40 00000140: DUP1 00000141: MLOAD 00000142: CALLVALUE 00000143: DUP2 00000144: MSTORE 00000145: SWAP1 00000146: MLOAD 00000147: CALLER 00000148: SWAP2 00000149: PUSH32 0x1c15fecf7e02abab6ddfc04504224ff6a9cfa6c0fbaaae4eed835ac0786fc9fb 0000016a: SWAP2 0000016b: SWAP1 0000016c: DUP2 0000016d: SWAP1 0000016e: SUB 0000016f: PUSH1 0x20 00000171: ADD 00000172: SWAP1 00000173: LOG2 00000174: STOP 00000175: JUMPDEST 00000176: CALLVALUE 00000177: DUP1 00000178: ISZERO 00000179: PUSH2 0x0181 0000017c: JUMPI 0000017d: PUSH1 0x00 0000017f: DUP1 00000180: REVERT 00000181: JUMPDEST 00000182: POP 00000183: PUSH2 0x018a 00000186: PUSH2 0x0482 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH1 0x40 0000018d: DUP1 0000018e: MLOAD 0000018f: SWAP2 00000190: DUP3 00000191: MSTORE 00000192: MLOAD 00000193: SWAP1 00000194: DUP2 00000195: SWAP1 00000196: SUB 00000197: PUSH1 0x20 00000199: ADD 0000019a: SWAP1 0000019b: RETURN 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: DUP1 0000019f: ISZERO 000001a0: PUSH2 0x01a8 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: POP 000001aa: PUSH2 0x01b1 000001ad: PUSH2 0x0488 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH1 0x40 000001b4: DUP1 000001b5: MLOAD 000001b6: PUSH1 0x20 000001b8: DUP1 000001b9: DUP3 000001ba: MSTORE 000001bb: DUP4 000001bc: MLOAD 000001bd: DUP2 000001be: DUP4 000001bf: ADD 000001c0: MSTORE 000001c1: DUP4 000001c2: MLOAD 000001c3: SWAP2 000001c4: SWAP3 000001c5: DUP4 000001c6: SWAP3 000001c7: SWAP1 000001c8: DUP4 000001c9: ADD 000001ca: SWAP2 000001cb: DUP6 000001cc: ADD 000001cd: SWAP1 000001ce: DUP1 000001cf: DUP4 000001d0: DUP4 000001d1: PUSH1 0x00 000001d3: JUMPDEST 000001d4: DUP4 000001d5: DUP2 000001d6: LT 000001d7: ISZERO 000001d8: PUSH2 0x01eb 000001db: JUMPI 000001dc: DUP2 000001dd: DUP2 000001de: ADD 000001df: MLOAD 000001e0: DUP4 000001e1: DUP3 000001e2: ADD 000001e3: MSTORE 000001e4: PUSH1 0x20 000001e6: ADD 000001e7: PUSH2 0x01d3 000001ea: JUMP 000001eb: JUMPDEST 000001ec: POP 000001ed: POP 000001ee: POP 000001ef: POP 000001f0: SWAP1 000001f1: POP 000001f2: SWAP1 000001f3: DUP2 000001f4: ADD 000001f5: SWAP1 000001f6: PUSH1 0x1f 000001f8: AND 000001f9: DUP1 000001fa: ISZERO 000001fb: PUSH2 0x0218 000001fe: JUMPI 000001ff: DUP1 00000200: DUP3 00000201: SUB 00000202: DUP1 00000203: MLOAD 00000204: PUSH1 0x01 00000206: DUP4 00000207: PUSH1 0x20 00000209: SUB 0000020a: PUSH2 0x0100 0000020d: EXP 0000020e: SUB 0000020f: NOT 00000210: AND 00000211: DUP2 00000212: MSTORE 00000213: PUSH1 0x20 00000215: ADD 00000216: SWAP2 00000217: POP 00000218: JUMPDEST 00000219: POP 0000021a: SWAP3 0000021b: POP 0000021c: POP 0000021d: POP 0000021e: PUSH1 0x40 00000220: MLOAD 00000221: DUP1 00000222: SWAP2 00000223: SUB 00000224: SWAP1 00000225: RETURN 00000226: JUMPDEST 00000227: CALLVALUE 00000228: DUP1 00000229: ISZERO 0000022a: PUSH2 0x0232 0000022d: JUMPI 0000022e: PUSH1 0x00 00000230: DUP1 00000231: REVERT 00000232: JUMPDEST 00000233: POP 00000234: PUSH2 0x0259 00000237: PUSH1 0x01 00000239: PUSH1 0xa0 0000023b: PUSH1 0x02 0000023d: EXP 0000023e: SUB 0000023f: PUSH1 0x04 00000241: CALLDATALOAD 00000242: AND 00000243: PUSH1 0x24 00000245: CALLDATALOAD 00000246: PUSH1 0xff 00000248: PUSH1 0x44 0000024a: CALLDATALOAD 0000024b: AND 0000024c: PUSH1 0x64 0000024e: CALLDATALOAD 0000024f: PUSH1 0x84 00000251: CALLDATALOAD 00000252: PUSH1 0xa4 00000254: CALLDATALOAD 00000255: PUSH2 0x04bf 00000258: JUMP 00000259: JUMPDEST 0000025a: STOP 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: POP 00000269: PUSH2 0x0259 0000026c: PUSH1 0x01 0000026e: PUSH1 0xa0 00000270: PUSH1 0x02 00000272: EXP 00000273: SUB 00000274: PUSH1 0x04 00000276: CALLDATALOAD 00000277: DUP2 00000278: AND 00000279: SWAP1 0000027a: PUSH1 0x24 0000027c: CALLDATALOAD 0000027d: AND 0000027e: PUSH1 0x44 00000280: CALLDATALOAD 00000281: PUSH2 0x0570 00000284: JUMP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH2 0x0259 00000296: PUSH2 0x0680 00000299: JUMP 0000029a: JUMPDEST 0000029b: CALLVALUE 0000029c: DUP1 0000029d: ISZERO 0000029e: PUSH2 0x02a6 000002a1: JUMPI 000002a2: PUSH1 0x00 000002a4: DUP1 000002a5: REVERT 000002a6: JUMPDEST 000002a7: POP 000002a8: PUSH2 0x0259 000002ab: PUSH2 0x076e 000002ae: JUMP 000002af: JUMPDEST 000002b0: CALLVALUE 000002b1: DUP1 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: POP 000002bd: PUSH2 0x018a 000002c0: PUSH1 0x01 000002c2: PUSH1 0xa0 000002c4: PUSH1 0x02 000002c6: EXP 000002c7: SUB 000002c8: PUSH1 0x04 000002ca: CALLDATALOAD 000002cb: AND 000002cc: PUSH2 0x07ee 000002cf: JUMP 000002d0: JUMPDEST 000002d1: CALLVALUE 000002d2: DUP1 000002d3: ISZERO 000002d4: PUSH2 0x02dc 000002d7: JUMPI 000002d8: PUSH1 0x00 000002da: DUP1 000002db: REVERT 000002dc: JUMPDEST 000002dd: POP 000002de: PUSH2 0x018a 000002e1: PUSH2 0x0800 000002e4: JUMP 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: POP 000002f3: PUSH2 0x018a 000002f6: PUSH2 0x0806 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH2 0x0259 000002fe: PUSH1 0x04 00000300: CALLDATALOAD 00000301: PUSH1 0x01 00000303: PUSH1 0xa0 00000305: PUSH1 0x02 00000307: EXP 00000308: SUB 00000309: PUSH1 0x24 0000030b: CALLDATALOAD 0000030c: AND 0000030d: PUSH2 0x080c 00000310: JUMP 00000311: JUMPDEST 00000312: CALLVALUE 00000313: DUP1 00000314: ISZERO 00000315: PUSH2 0x031d 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: PUSH2 0x0326 00000322: PUSH2 0x0a10 00000325: JUMP 00000326: JUMPDEST 00000327: PUSH1 0x40 00000329: DUP1 0000032a: MLOAD 0000032b: PUSH1 0x01 0000032d: PUSH1 0xa0 0000032f: PUSH1 0x02 00000331: EXP 00000332: SUB 00000333: SWAP1 00000334: SWAP3 00000335: AND 00000336: DUP3 00000337: MSTORE 00000338: MLOAD 00000339: SWAP1 0000033a: DUP2 0000033b: SWAP1 0000033c: SUB 0000033d: PUSH1 0x20 0000033f: ADD 00000340: SWAP1 00000341: RETURN 00000342: JUMPDEST 00000343: CALLVALUE 00000344: DUP1 00000345: ISZERO 00000346: PUSH2 0x034e 00000349: JUMPI 0000034a: PUSH1 0x00 0000034c: DUP1 0000034d: REVERT 0000034e: JUMPDEST 0000034f: POP 00000350: PUSH2 0x01b1 00000353: PUSH2 0x0a1f 00000356: JUMP 00000357: JUMPDEST 00000358: CALLVALUE 00000359: DUP1 0000035a: ISZERO 0000035b: PUSH2 0x0363 0000035e: JUMPI 0000035f: PUSH1 0x00 00000361: DUP1 00000362: REVERT 00000363: JUMPDEST 00000364: POP 00000365: PUSH2 0x036c 00000368: PUSH2 0x0a56 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH1 0x40 0000036f: DUP1 00000370: MLOAD 00000371: SWAP2 00000372: ISZERO 00000373: ISZERO 00000374: DUP3 00000375: MSTORE 00000376: MLOAD 00000377: SWAP1 00000378: DUP2 00000379: SWAP1 0000037a: SUB 0000037b: PUSH1 0x20 0000037d: ADD 0000037e: SWAP1 0000037f: RETURN 00000380: JUMPDEST 00000381: CALLVALUE 00000382: DUP1 00000383: ISZERO 00000384: PUSH2 0x038c 00000387: JUMPI 00000388: PUSH1 0x00 0000038a: DUP1 0000038b: REVERT 0000038c: JUMPDEST 0000038d: POP 0000038e: PUSH2 0x0259 00000391: PUSH2 0x0a71 00000394: JUMP 00000395: JUMPDEST 00000396: CALLVALUE 00000397: DUP1 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: POP 000003a3: PUSH2 0x018a 000003a6: PUSH2 0x0af1 000003a9: JUMP 000003aa: JUMPDEST 000003ab: CALLVALUE 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: POP 000003b8: PUSH2 0x018a 000003bb: PUSH2 0x0af7 000003be: JUMP 000003bf: JUMPDEST 000003c0: CALLVALUE 000003c1: DUP1 000003c2: ISZERO 000003c3: PUSH2 0x03cb 000003c6: JUMPI 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: REVERT 000003cb: JUMPDEST 000003cc: POP 000003cd: PUSH2 0x0326 000003d0: PUSH2 0x0afd 000003d3: JUMP 000003d4: JUMPDEST 000003d5: CALLVALUE 000003d6: DUP1 000003d7: ISZERO 000003d8: PUSH2 0x03e0 000003db: JUMPI 000003dc: PUSH1 0x00 000003de: DUP1 000003df: REVERT 000003e0: JUMPDEST 000003e1: POP 000003e2: PUSH2 0x018a 000003e5: PUSH2 0x0b0c 000003e8: JUMP 000003e9: JUMPDEST 000003ea: CALLVALUE 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: POP 000003f7: PUSH2 0x018a 000003fa: PUSH2 0x0b12 000003fd: JUMP 000003fe: JUMPDEST 000003ff: CALLVALUE 00000400: DUP1 00000401: ISZERO 00000402: PUSH2 0x040a 00000405: JUMPI 00000406: PUSH1 0x00 00000408: DUP1 00000409: REVERT 0000040a: JUMPDEST 0000040b: POP 0000040c: PUSH2 0x0259 0000040f: PUSH1 0x04 00000411: CALLDATALOAD 00000412: PUSH2 0x0b18 00000415: JUMP 00000416: JUMPDEST 00000417: CALLVALUE 00000418: DUP1 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: PUSH2 0x0259 00000427: PUSH1 0x01 00000429: PUSH1 0xa0 0000042b: PUSH1 0x02 0000042d: EXP 0000042e: SUB 0000042f: PUSH1 0x04 00000431: CALLDATALOAD 00000432: AND 00000433: PUSH2 0x0c7f 00000436: JUMP 00000437: JUMPDEST 00000438: CALLVALUE 00000439: DUP1 0000043a: ISZERO 0000043b: PUSH2 0x0443 0000043e: JUMPI 0000043f: PUSH1 0x00 00000441: DUP1 00000442: REVERT 00000443: JUMPDEST 00000444: POP 00000445: PUSH2 0x018a 00000448: PUSH2 0x0d0a 0000044b: JUMP 0000044c: JUMPDEST 0000044d: CALLVALUE 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: POP 0000045a: PUSH2 0x0259 0000045d: PUSH1 0x01 0000045f: PUSH1 0xa0 00000461: PUSH1 0x02 00000463: EXP 00000464: SUB 00000465: PUSH1 0x04 00000467: CALLDATALOAD 00000468: AND 00000469: PUSH2 0x0d16 0000046c: JUMP 0000046d: JUMPDEST 0000046e: CALLVALUE 0000046f: DUP1 00000470: ISZERO 00000471: PUSH2 0x0479 00000474: JUMPI 00000475: PUSH1 0x00 00000477: DUP1 00000478: REVERT 00000479: JUMPDEST 0000047a: POP 0000047b: PUSH2 0x0259 0000047e: PUSH2 0x0d94 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH1 0x07 00000485: SLOAD 00000486: DUP2 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x40 0000048b: DUP1 0000048c: MLOAD 0000048d: DUP1 0000048e: DUP3 0000048f: ADD 00000490: SWAP1 00000491: SWAP2 00000492: MSTORE 00000493: PUSH1 0x18 00000495: DUP2 00000496: MSTORE 00000497: PUSH32 0x426974636f696e50726963652e426574204d6f6e74686c790000000000000000 000004b8: PUSH1 0x20 000004ba: DUP3 000004bb: ADD 000004bc: MSTORE 000004bd: DUP2 000004be: JUMP 000004bf: JUMPDEST 000004c0: PUSH1 0x00 000004c2: SLOAD 000004c3: PUSH1 0x01 000004c5: PUSH1 0xa0 000004c7: PUSH1 0x02 000004c9: EXP 000004ca: SUB 000004cb: AND 000004cc: CALLER 000004cd: EQ 000004ce: PUSH2 0x04d6 000004d1: JUMPI 000004d2: PUSH1 0x00 000004d4: DUP1 000004d5: REVERT 000004d6: JUMPDEST 000004d7: PUSH1 0x09 000004d9: SLOAD 000004da: DUP6 000004db: GT 000004dc: ISZERO 000004dd: PUSH2 0x04e5 000004e0: JUMPI 000004e1: PUSH1 0x00 000004e3: DUP1 000004e4: REVERT 000004e5: JUMPDEST 000004e6: PUSH1 0x01 000004e8: PUSH1 0xa0 000004ea: PUSH1 0x02 000004ec: EXP 000004ed: SUB 000004ee: DUP7 000004ef: AND 000004f0: PUSH1 0x00 000004f2: DUP2 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH1 0x04 000004f7: PUSH1 0x20 000004f9: SWAP1 000004fa: DUP2 000004fb: MSTORE 000004fc: PUSH1 0x40 000004fe: SWAP2 000004ff: DUP3 00000500: SWAP1 00000501: KECCAK256 00000502: DUP1 00000503: SLOAD 00000504: DUP10 00000505: ADD 00000506: SWAP1 00000507: SSTORE 00000508: PUSH1 0x05 0000050a: DUP1 0000050b: SLOAD 0000050c: DUP10 0000050d: ADD 0000050e: SWAP1 0000050f: SSTORE 00000510: PUSH1 0x09 00000512: DUP1 00000513: SLOAD 00000514: DUP10 00000515: SWAP1 00000516: SUB 00000517: SWAP1 00000518: SSTORE 00000519: DUP2 0000051a: MLOAD 0000051b: DUP9 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0xff 00000520: DUP9 00000521: AND 00000522: SWAP2 00000523: DUP2 00000524: ADD 00000525: SWAP2 00000526: SWAP1 00000527: SWAP2 00000528: MSTORE 00000529: DUP1 0000052a: DUP3 0000052b: ADD 0000052c: DUP7 0000052d: SWAP1 0000052e: MSTORE 0000052f: PUSH1 0x60 00000531: DUP2 00000532: ADD 00000533: DUP6 00000534: SWAP1 00000535: MSTORE 00000536: PUSH1 0x80 00000538: DUP2 00000539: ADD 0000053a: DUP5 0000053b: SWAP1 0000053c: MSTORE 0000053d: SWAP1 0000053e: MLOAD 0000053f: PUSH32 0x98c64e15580fea9eb71342d9ead751862c92014a8e357ae724f1be5adcf37af1 00000560: SWAP2 00000561: DUP2 00000562: SWAP1 00000563: SUB 00000564: PUSH1 0xa0 00000566: ADD 00000567: SWAP1 00000568: LOG2 00000569: POP 0000056a: POP 0000056b: POP 0000056c: POP 0000056d: POP 0000056e: POP 0000056f: JUMP 00000570: JUMPDEST 00000571: PUSH1 0x00 00000573: SLOAD 00000574: PUSH1 0x01 00000576: PUSH1 0xa0 00000578: PUSH1 0x02 0000057a: EXP 0000057b: SUB 0000057c: AND 0000057d: CALLER 0000057e: EQ 0000057f: PUSH2 0x0587 00000582: JUMPI 00000583: PUSH1 0x00 00000585: DUP1 00000586: REVERT 00000587: JUMPDEST 00000588: PUSH1 0x09 0000058a: SLOAD 0000058b: DUP2 0000058c: GT 0000058d: ISZERO 0000058e: PUSH2 0x0596 00000591: JUMPI 00000592: PUSH1 0x00 00000594: DUP1 00000595: REVERT 00000596: JUMPDEST 00000597: PUSH1 0x09 00000599: DUP1 0000059a: SLOAD 0000059b: DUP3 0000059c: SWAP1 0000059d: SUB 0000059e: SWAP1 0000059f: SSTORE 000005a0: PUSH1 0x01 000005a2: SLOAD 000005a3: PUSH1 0x40 000005a5: DUP1 000005a6: MLOAD 000005a7: PUSH32 0xdfb03cf700000000000000000000000000000000000000000000000000000000 000005c8: DUP2 000005c9: MSTORE 000005ca: PUSH1 0x01 000005cc: PUSH1 0xa0 000005ce: PUSH1 0x02 000005d0: EXP 000005d1: SUB 000005d2: DUP7 000005d3: DUP2 000005d4: AND 000005d5: PUSH1 0x04 000005d7: DUP4 000005d8: ADD 000005d9: MSTORE 000005da: DUP6 000005db: DUP2 000005dc: AND 000005dd: PUSH1 0x24 000005df: DUP4 000005e0: ADD 000005e1: MSTORE 000005e2: SWAP2 000005e3: MLOAD 000005e4: SWAP2 000005e5: SWAP1 000005e6: SWAP3 000005e7: AND 000005e8: SWAP2 000005e9: PUSH4 0xdfb03cf7 000005ee: SWAP2 000005ef: DUP5 000005f0: SWAP2 000005f1: PUSH1 0x44 000005f3: DUP1 000005f4: DUP3 000005f5: ADD 000005f6: SWAP3 000005f7: PUSH1 0x00 000005f9: SWAP3 000005fa: SWAP1 000005fb: SWAP2 000005fc: SWAP1 000005fd: DUP3 000005fe: SWAP1 000005ff: SUB 00000600: ADD 00000601: DUP2 00000602: DUP6 00000603: DUP9 00000604: DUP1 00000605: EXTCODESIZE 00000606: ISZERO 00000607: DUP1 00000608: ISZERO 00000609: PUSH2 0x0611 0000060c: JUMPI 0000060d: PUSH1 0x00 0000060f: DUP1 00000610: REVERT 00000611: JUMPDEST 00000612: POP 00000613: GAS 00000614: CALL 00000615: ISZERO 00000616: DUP1 00000617: ISZERO 00000618: PUSH2 0x0625 0000061b: JUMPI 0000061c: RETURNDATASIZE 0000061d: PUSH1 0x00 0000061f: DUP1 00000620: RETURNDATACOPY 00000621: RETURNDATASIZE 00000622: PUSH1 0x00 00000624: REVERT 00000625: JUMPDEST 00000626: POP 00000627: POP 00000628: PUSH1 0x01 0000062a: SLOAD 0000062b: PUSH1 0x40 0000062d: DUP1 0000062e: MLOAD 0000062f: DUP7 00000630: DUP2 00000631: MSTORE 00000632: TIMESTAMP 00000633: PUSH1 0x20 00000635: DUP3 00000636: ADD 00000637: MSTORE 00000638: DUP2 00000639: MLOAD 0000063a: PUSH1 0x01 0000063c: PUSH1 0xa0 0000063e: PUSH1 0x02 00000640: EXP 00000641: SUB 00000642: SWAP4 00000643: DUP5 00000644: AND 00000645: SWAP7 00000646: POP 00000647: DUP9 00000648: DUP5 00000649: AND 0000064a: SWAP6 0000064b: POP 0000064c: SWAP3 0000064d: DUP10 0000064e: AND 0000064f: SWAP4 00000650: POP 00000651: PUSH32 0xf93679ce590194aca8e3b7bae6b49f6bbcb8e805a9304f1007e76b80ed88ffa4 00000672: SWAP3 00000673: SWAP1 00000674: DUP2 00000675: SWAP1 00000676: SUB 00000677: SWAP1 00000678: SWAP2 00000679: ADD 0000067a: SWAP1 0000067b: LOG4 0000067c: POP 0000067d: POP 0000067e: POP 0000067f: JUMP 00000680: JUMPDEST 00000681: PUSH1 0x00 00000683: DUP1 00000684: SLOAD 00000685: PUSH1 0x01 00000687: PUSH1 0xa0 00000689: PUSH1 0x02 0000068b: EXP 0000068c: SUB 0000068d: AND 0000068e: CALLER 0000068f: EQ 00000690: PUSH2 0x0698 00000693: JUMPI 00000694: PUSH1 0x00 00000696: DUP1 00000697: REVERT 00000698: JUMPDEST 00000699: PUSH1 0x08 0000069b: SLOAD 0000069c: PUSH1 0x00 0000069e: LT 0000069f: PUSH2 0x06a7 000006a2: JUMPI 000006a3: PUSH1 0x00 000006a5: DUP1 000006a6: REVERT 000006a7: JUMPDEST 000006a8: PUSH1 0x08 000006aa: SLOAD 000006ab: SWAP1 000006ac: POP 000006ad: PUSH20 0xad0a61589f3559026f00888027beac31a5ac4625 000006c2: PUSH1 0x01 000006c4: PUSH1 0xa0 000006c6: PUSH1 0x02 000006c8: EXP 000006c9: SUB 000006ca: AND 000006cb: PUSH4 0xb60d4288 000006d0: PUSH1 0x08 000006d2: SLOAD 000006d3: PUSH1 0x40 000006d5: MLOAD 000006d6: DUP3 000006d7: PUSH4 0xffffffff 000006dc: AND 000006dd: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000006fb: MUL 000006fc: DUP2 000006fd: MSTORE 000006fe: PUSH1 0x04 00000700: ADD 00000701: PUSH1 0x00 00000703: PUSH1 0x40 00000705: MLOAD 00000706: DUP1 00000707: DUP4 00000708: SUB 00000709: DUP2 0000070a: DUP6 0000070b: DUP9 0000070c: DUP1 0000070d: EXTCODESIZE 0000070e: ISZERO 0000070f: DUP1 00000710: ISZERO 00000711: PUSH2 0x0719 00000714: JUMPI 00000715: PUSH1 0x00 00000717: DUP1 00000718: REVERT 00000719: JUMPDEST 0000071a: POP 0000071b: GAS 0000071c: CALL 0000071d: ISZERO 0000071e: DUP1 0000071f: ISZERO 00000720: PUSH2 0x072d 00000723: JUMPI 00000724: RETURNDATASIZE 00000725: PUSH1 0x00 00000727: DUP1 00000728: RETURNDATACOPY 00000729: RETURNDATASIZE 0000072a: PUSH1 0x00 0000072c: REVERT 0000072d: JUMPDEST 0000072e: POP 0000072f: POP 00000730: PUSH1 0x00 00000732: PUSH1 0x08 00000734: SSTORE 00000735: POP 00000736: POP 00000737: PUSH1 0x40 00000739: DUP1 0000073a: MLOAD 0000073b: DUP4 0000073c: DUP2 0000073d: MSTORE 0000073e: SWAP1 0000073f: MLOAD 00000740: PUSH32 0x605e9a3a858d9c423b3d2494ca38bc93b6db88f81905a48c89b6deeee177a689 00000761: SWAP3 00000762: POP 00000763: SWAP1 00000764: DUP2 00000765: SWAP1 00000766: SUB 00000767: PUSH1 0x20 00000769: ADD 0000076a: SWAP1 0000076b: LOG1 0000076c: POP 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH1 0x00 00000771: DUP1 00000772: SLOAD 00000773: DUP2 00000774: SWAP1 00000775: PUSH1 0x01 00000777: PUSH1 0xa0 00000779: PUSH1 0x02 0000077b: EXP 0000077c: SUB 0000077d: AND 0000077e: CALLER 0000077f: EQ 00000780: PUSH2 0x0788 00000783: JUMPI 00000784: PUSH1 0x00 00000786: DUP1 00000787: REVERT 00000788: JUMPDEST 00000789: POP 0000078a: POP 0000078b: PUSH1 0x09 0000078d: SLOAD 0000078e: PUSH1 0x08 00000790: SLOAD 00000791: PUSH1 0x07 00000793: SLOAD 00000794: PUSH1 0x06 00000796: SLOAD 00000797: PUSH1 0x05 00000799: SLOAD 0000079a: ADD 0000079b: ADD 0000079c: ADD 0000079d: ADD 0000079e: ADDRESS 0000079f: BALANCE 000007a0: DUP2 000007a1: SWAP1 000007a2: SUB 000007a3: PUSH1 0x00 000007a5: DUP2 000007a6: GT 000007a7: PUSH2 0x07af 000007aa: JUMPI 000007ab: PUSH1 0x00 000007ad: DUP1 000007ae: REVERT 000007af: JUMPDEST 000007b0: PUSH1 0x09 000007b2: DUP1 000007b3: SLOAD 000007b4: DUP3 000007b5: ADD 000007b6: SWAP1 000007b7: SSTORE 000007b8: PUSH1 0x40 000007ba: DUP1 000007bb: MLOAD 000007bc: DUP3 000007bd: DUP2 000007be: MSTORE 000007bf: SWAP1 000007c0: MLOAD 000007c1: PUSH32 0x91061ecd2174c2cc1d71dde610d511ba85de327d6d30ed0f257699d6a7a9a7f5 000007e2: SWAP2 000007e3: DUP2 000007e4: SWAP1 000007e5: SUB 000007e6: PUSH1 0x20 000007e8: ADD 000007e9: SWAP1 000007ea: LOG1 000007eb: POP 000007ec: POP 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH1 0x04 000007f1: PUSH1 0x20 000007f3: MSTORE 000007f4: PUSH1 0x00 000007f6: SWAP1 000007f7: DUP2 000007f8: MSTORE 000007f9: PUSH1 0x40 000007fb: SWAP1 000007fc: KECCAK256 000007fd: SLOAD 000007fe: DUP2 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH1 0x09 00000803: SLOAD 00000804: DUP2 00000805: JUMP 00000806: JUMPDEST 00000807: PUSH1 0x06 00000809: SLOAD 0000080a: DUP2 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH1 0x00 0000080f: DUP1 00000810: PUSH1 0x00 00000812: DUP1 00000813: PUSH1 0x00 00000815: PUSH1 0x02 00000817: SLOAD 00000818: TIMESTAMP 00000819: LT 0000081a: ISZERO 0000081b: DUP1 0000081c: ISZERO 0000081d: PUSH2 0x0828 00000820: JUMPI 00000821: POP 00000822: PUSH1 0x03 00000824: SLOAD 00000825: TIMESTAMP 00000826: GT 00000827: ISZERO 00000828: JUMPDEST 00000829: ISZERO 0000082a: ISZERO 0000082b: PUSH2 0x0833 0000082e: JUMPI 0000082f: PUSH1 0x00 00000831: DUP1 00000832: REVERT 00000833: JUMPDEST 00000834: PUSH8 0x016345785d8a0000 0000083d: DUP1 0000083e: CALLVALUE 0000083f: DIV 00000840: MUL 00000841: SWAP5 00000842: POP 00000843: CALLVALUE 00000844: DUP6 00000845: SWAP1 00000846: SUB 00000847: SWAP4 00000848: POP 00000849: PUSH1 0x00 0000084b: DUP6 0000084c: GT 0000084d: PUSH2 0x0855 00000850: JUMPI 00000851: PUSH1 0x00 00000853: DUP1 00000854: REVERT 00000855: JUMPDEST 00000856: PUSH1 0x07 00000858: DUP1 00000859: SLOAD 0000085a: DUP6 0000085b: ADD 0000085c: SWAP1 0000085d: SSTORE 0000085e: PUSH1 0x11 00000860: SWAP3 00000861: POP 00000862: PUSH1 0x00 00000864: SWAP2 00000865: POP 00000866: PUSH1 0x01 00000868: PUSH1 0xa0 0000086a: PUSH1 0x02 0000086c: EXP 0000086d: SUB 0000086e: DUP7 0000086f: AND 00000870: ISZERO 00000871: PUSH2 0x095a 00000874: JUMPI 00000875: PUSH1 0x08 00000877: SWAP3 00000878: DUP4 00000879: ADD 0000087a: SWAP3 0000087b: PUSH1 0x64 0000087d: SWAP1 0000087e: DUP7 0000087f: MUL 00000880: PUSH1 0x01 00000882: SLOAD 00000883: PUSH1 0x40 00000885: DUP1 00000886: MLOAD 00000887: PUSH32 0xdfb03cf700000000000000000000000000000000000000000000000000000000 000008a8: DUP2 000008a9: MSTORE 000008aa: PUSH1 0x01 000008ac: PUSH1 0xa0 000008ae: PUSH1 0x02 000008b0: EXP 000008b1: SUB 000008b2: DUP12 000008b3: DUP2 000008b4: AND 000008b5: PUSH1 0x04 000008b7: DUP4 000008b8: ADD 000008b9: MSTORE 000008ba: CALLER 000008bb: PUSH1 0x24 000008bd: DUP4 000008be: ADD 000008bf: MSTORE 000008c0: SWAP2 000008c1: MLOAD 000008c2: SWAP5 000008c3: SWAP1 000008c4: SWAP4 000008c5: DIV 000008c6: SWAP6 000008c7: POP 000008c8: AND 000008c9: SWAP2 000008ca: PUSH4 0xdfb03cf7 000008cf: SWAP2 000008d0: DUP6 000008d1: SWAP2 000008d2: PUSH1 0x44 000008d4: DUP1 000008d5: DUP4 000008d6: ADD 000008d7: SWAP3 000008d8: PUSH1 0x00 000008da: SWAP3 000008db: SWAP2 000008dc: SWAP1 000008dd: DUP3 000008de: SWAP1 000008df: SUB 000008e0: ADD 000008e1: DUP2 000008e2: DUP6 000008e3: DUP9 000008e4: DUP1 000008e5: EXTCODESIZE 000008e6: ISZERO 000008e7: DUP1 000008e8: ISZERO 000008e9: PUSH2 0x08f1 000008ec: JUMPI 000008ed: PUSH1 0x00 000008ef: DUP1 000008f0: REVERT 000008f1: JUMPDEST 000008f2: POP 000008f3: GAS 000008f4: CALL 000008f5: ISZERO 000008f6: DUP1 000008f7: ISZERO 000008f8: PUSH2 0x0905 000008fb: JUMPI 000008fc: RETURNDATASIZE 000008fd: PUSH1 0x00 000008ff: DUP1 00000900: RETURNDATACOPY 00000901: RETURNDATASIZE 00000902: PUSH1 0x00 00000904: REVERT 00000905: JUMPDEST 00000906: POP 00000907: POP 00000908: PUSH1 0x01 0000090a: SLOAD 0000090b: PUSH1 0x40 0000090d: DUP1 0000090e: MLOAD 0000090f: DUP8 00000910: DUP2 00000911: MSTORE 00000912: TIMESTAMP 00000913: PUSH1 0x20 00000915: DUP3 00000916: ADD 00000917: MSTORE 00000918: DUP2 00000919: MLOAD 0000091a: PUSH1 0x01 0000091c: PUSH1 0xa0 0000091e: PUSH1 0x02 00000920: EXP 00000921: SUB 00000922: SWAP4 00000923: DUP5 00000924: AND 00000925: SWAP7 00000926: POP 00000927: CALLER 00000928: SWAP6 00000929: POP 0000092a: SWAP3 0000092b: DUP13 0000092c: AND 0000092d: SWAP4 0000092e: POP 0000092f: PUSH32 0xf93679ce590194aca8e3b7bae6b49f6bbcb8e805a9304f1007e76b80ed88ffa4 00000950: SWAP3 00000951: SWAP1 00000952: DUP2 00000953: SWAP1 00000954: SUB 00000955: SWAP1 00000956: SWAP2 00000957: ADD 00000958: SWAP1 00000959: LOG4 0000095a: JUMPDEST 0000095b: POP 0000095c: PUSH1 0x09 0000095e: DUP1 0000095f: SLOAD 00000960: PUSH1 0x64 00000962: PUSH1 0xff 00000964: DUP6 00000965: AND 00000966: DUP8 00000967: MUL 00000968: DUP2 00000969: SWAP1 0000096a: DIV 0000096b: DUP8 0000096c: SUB 0000096d: SWAP2 0000096e: DUP3 0000096f: ADD 00000970: SWAP1 00000971: SWAP3 00000972: SSTORE 00000973: PUSH1 0x06 00000975: DUP1 00000976: SLOAD 00000977: PUSH1 0x0a 00000979: DUP9 0000097a: MUL 0000097b: DUP5 0000097c: SWAP1 0000097d: DIV 0000097e: ADD 0000097f: SWAP1 00000980: SSTORE 00000981: PUSH1 0x07 00000983: DUP1 00000984: SLOAD 00000985: PUSH1 0x02 00000987: DUP9 00000988: MUL 00000989: DUP5 0000098a: SWAP1 0000098b: DIV 0000098c: ADD 0000098d: SWAP1 0000098e: SSTORE 0000098f: PUSH1 0x08 00000991: DUP1 00000992: SLOAD 00000993: PUSH1 0x05 00000995: DUP9 00000996: MUL 00000997: SWAP4 00000998: SWAP1 00000999: SWAP4 0000099a: DIV 0000099b: SWAP1 0000099c: SWAP3 0000099d: ADD 0000099e: SWAP1 0000099f: SWAP2 000009a0: SSTORE 000009a1: PUSH1 0x40 000009a3: DUP1 000009a4: MLOAD 000009a5: DUP7 000009a6: DUP2 000009a7: MSTORE 000009a8: PUSH1 0x20 000009aa: DUP2 000009ab: ADD 000009ac: DUP10 000009ad: SWAP1 000009ae: MSTORE 000009af: DUP1 000009b0: DUP3 000009b1: ADD 000009b2: DUP7 000009b3: SWAP1 000009b4: MSTORE 000009b5: PUSH1 0x60 000009b7: DUP2 000009b8: ADD 000009b9: DUP5 000009ba: SWAP1 000009bb: MSTORE 000009bc: PUSH8 0x016345785d8a0000 000009c5: DUP8 000009c6: DIV 000009c7: PUSH1 0x80 000009c9: DUP3 000009ca: ADD 000009cb: MSTORE 000009cc: SWAP1 000009cd: MLOAD 000009ce: TIMESTAMP 000009cf: SWAP2 000009d0: PUSH1 0x01 000009d2: PUSH1 0xa0 000009d4: PUSH1 0x02 000009d6: EXP 000009d7: SUB 000009d8: DUP10 000009d9: AND 000009da: SWAP2 000009db: CALLER 000009dc: SWAP2 000009dd: PUSH32 0xde28de290d2fd8e8081558373acbb9527799489b8d125f3a33260b4fa7cc9bc2 000009fe: SWAP2 000009ff: SWAP1 00000a00: DUP2 00000a01: SWAP1 00000a02: SUB 00000a03: PUSH1 0xa0 00000a05: ADD 00000a06: SWAP1 00000a07: LOG4 00000a08: POP 00000a09: POP 00000a0a: POP 00000a0b: POP 00000a0c: POP 00000a0d: POP 00000a0e: POP 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: PUSH1 0x00 00000a13: SLOAD 00000a14: PUSH1 0x01 00000a16: PUSH1 0xa0 00000a18: PUSH1 0x02 00000a1a: EXP 00000a1b: SUB 00000a1c: AND 00000a1d: DUP2 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: PUSH1 0x40 00000a22: DUP1 00000a23: MLOAD 00000a24: DUP1 00000a25: DUP3 00000a26: ADD 00000a27: SWAP1 00000a28: SWAP2 00000a29: MSTORE 00000a2a: PUSH1 0x04 00000a2c: DUP2 00000a2d: MSTORE 00000a2e: PUSH32 0x4250424d00000000000000000000000000000000000000000000000000000000 00000a4f: PUSH1 0x20 00000a51: DUP3 00000a52: ADD 00000a53: MSTORE 00000a54: DUP2 00000a55: JUMP 00000a56: JUMPDEST 00000a57: PUSH1 0x00 00000a59: PUSH1 0x02 00000a5b: SLOAD 00000a5c: TIMESTAMP 00000a5d: LT 00000a5e: ISZERO 00000a5f: DUP1 00000a60: ISZERO 00000a61: PUSH2 0x0a6c 00000a64: JUMPI 00000a65: POP 00000a66: PUSH1 0x03 00000a68: SLOAD 00000a69: TIMESTAMP 00000a6a: GT 00000a6b: ISZERO 00000a6c: JUMPDEST 00000a6d: SWAP1 00000a6e: POP 00000a6f: SWAP1 00000a70: JUMP 00000a71: JUMPDEST 00000a72: PUSH1 0x00 00000a74: DUP1 00000a75: SLOAD 00000a76: DUP2 00000a77: SWAP1 00000a78: PUSH1 0x01 00000a7a: PUSH1 0xa0 00000a7c: PUSH1 0x02 00000a7e: EXP 00000a7f: SUB 00000a80: AND 00000a81: CALLER 00000a82: EQ 00000a83: PUSH2 0x0a8b 00000a86: JUMPI 00000a87: PUSH1 0x00 00000a89: DUP1 00000a8a: REVERT 00000a8b: JUMPDEST 00000a8c: POP 00000a8d: POP 00000a8e: PUSH1 0x09 00000a90: SLOAD 00000a91: PUSH1 0x08 00000a93: SLOAD 00000a94: PUSH1 0x07 00000a96: SLOAD 00000a97: PUSH1 0x06 00000a99: SLOAD 00000a9a: PUSH1 0x05 00000a9c: SLOAD 00000a9d: ADD 00000a9e: ADD 00000a9f: ADD 00000aa0: ADD 00000aa1: ADDRESS 00000aa2: BALANCE 00000aa3: DUP2 00000aa4: SWAP1 00000aa5: SUB 00000aa6: PUSH1 0x00 00000aa8: DUP2 00000aa9: GT 00000aaa: PUSH2 0x0ab2 00000aad: JUMPI 00000aae: PUSH1 0x00 00000ab0: DUP1 00000ab1: REVERT 00000ab2: JUMPDEST 00000ab3: PUSH1 0x06 00000ab5: DUP1 00000ab6: SLOAD 00000ab7: DUP3 00000ab8: ADD 00000ab9: SWAP1 00000aba: SSTORE 00000abb: PUSH1 0x40 00000abd: DUP1 00000abe: MLOAD 00000abf: DUP3 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: SWAP1 00000ac3: MLOAD 00000ac4: PUSH32 0x2af6f770e2c966c5a4d31350690f97496224985197b1342ec3a35ea32620b617 00000ae5: SWAP2 00000ae6: DUP2 00000ae7: SWAP1 00000ae8: SUB 00000ae9: PUSH1 0x20 00000aeb: ADD 00000aec: SWAP1 00000aed: LOG1 00000aee: POP 00000aef: POP 00000af0: JUMP 00000af1: JUMPDEST 00000af2: PUSH1 0x08 00000af4: SLOAD 00000af5: DUP2 00000af6: JUMP 00000af7: JUMPDEST 00000af8: PUSH1 0x02 00000afa: SLOAD 00000afb: DUP2 00000afc: JUMP 00000afd: JUMPDEST 00000afe: PUSH1 0x01 00000b00: SLOAD 00000b01: PUSH1 0x01 00000b03: PUSH1 0xa0 00000b05: PUSH1 0x02 00000b07: EXP 00000b08: SUB 00000b09: AND 00000b0a: DUP2 00000b0b: JUMP 00000b0c: JUMPDEST 00000b0d: PUSH1 0x03 00000b0f: SLOAD 00000b10: DUP2 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x05 00000b15: SLOAD 00000b16: DUP2 00000b17: JUMP 00000b18: JUMPDEST 00000b19: PUSH1 0x00 00000b1b: DUP1 00000b1c: SLOAD 00000b1d: DUP2 00000b1e: SWAP1 00000b1f: PUSH1 0x01 00000b21: PUSH1 0xa0 00000b23: PUSH1 0x02 00000b25: EXP 00000b26: SUB 00000b27: AND 00000b28: CALLER 00000b29: EQ 00000b2a: PUSH2 0x0b32 00000b2d: JUMPI 00000b2e: PUSH1 0x00 00000b30: DUP1 00000b31: REVERT 00000b32: JUMPDEST 00000b33: PUSH1 0x06 00000b35: SLOAD 00000b36: DUP4 00000b37: GT 00000b38: ISZERO 00000b39: PUSH2 0x0b41 00000b3c: JUMPI 00000b3d: PUSH1 0x00 00000b3f: DUP1 00000b40: REVERT 00000b41: JUMPDEST 00000b42: DUP3 00000b43: ISZERO 00000b44: ISZERO 00000b45: PUSH2 0x0b4e 00000b48: JUMPI 00000b49: PUSH1 0x06 00000b4b: SLOAD 00000b4c: SWAP3 00000b4d: POP 00000b4e: JUMPDEST 00000b4f: PUSH1 0x64 00000b51: PUSH1 0x5a 00000b53: DUP5 00000b54: MUL 00000b55: DIV 00000b56: SWAP2 00000b57: POP 00000b58: PUSH1 0x64 00000b5a: PUSH1 0x0a 00000b5c: DUP5 00000b5d: MUL 00000b5e: PUSH1 0x40 00000b60: MLOAD 00000b61: SWAP2 00000b62: SWAP1 00000b63: DIV 00000b64: SWAP2 00000b65: POP 00000b66: PUSH20 0x42cf5e102deccf8d89e525151c5d5bbeac54200d 00000b7b: SWAP1 00000b7c: DUP4 00000b7d: ISZERO 00000b7e: PUSH2 0x08fc 00000b81: MUL 00000b82: SWAP1 00000b83: DUP5 00000b84: SWAP1 00000b85: PUSH1 0x00 00000b87: DUP2 00000b88: DUP2 00000b89: DUP2 00000b8a: DUP6 00000b8b: DUP9 00000b8c: DUP9 00000b8d: CALL 00000b8e: SWAP4 00000b8f: POP 00000b90: POP 00000b91: POP 00000b92: POP 00000b93: ISZERO 00000b94: PUSH2 0x0bee 00000b97: JUMPI 00000b98: PUSH1 0x06 00000b9a: DUP1 00000b9b: SLOAD 00000b9c: DUP4 00000b9d: SWAP1 00000b9e: SUB 00000b9f: SWAP1 00000ba0: SSTORE 00000ba1: PUSH1 0x40 00000ba3: DUP1 00000ba4: MLOAD 00000ba5: DUP4 00000ba6: DUP2 00000ba7: MSTORE 00000ba8: TIMESTAMP 00000ba9: PUSH1 0x20 00000bab: DUP3 00000bac: ADD 00000bad: MSTORE 00000bae: DUP2 00000baf: MLOAD 00000bb0: PUSH20 0x42cf5e102deccf8d89e525151c5d5bbeac54200d 00000bc5: SWAP3 00000bc6: PUSH32 0xbfd80b7518d12673941ad7d48fad1285bd1517a70cf69fc217bab6136d2426c3 00000be7: SWAP3 00000be8: DUP3 00000be9: SWAP1 00000bea: SUB 00000beb: ADD 00000bec: SWAP1 00000bed: LOG2 00000bee: JUMPDEST 00000bef: PUSH1 0x40 00000bf1: MLOAD 00000bf2: PUSH20 0x8d86e611ef0c054fdf04e1c744a8cefc37f00f81 00000c07: SWAP1 00000c08: DUP3 00000c09: ISZERO 00000c0a: PUSH2 0x08fc 00000c0d: MUL 00000c0e: SWAP1 00000c0f: DUP4 00000c10: SWAP1 00000c11: PUSH1 0x00 00000c13: DUP2 00000c14: DUP2 00000c15: DUP2 00000c16: DUP6 00000c17: DUP9 00000c18: DUP9 00000c19: CALL 00000c1a: SWAP4 00000c1b: POP 00000c1c: POP 00000c1d: POP 00000c1e: POP 00000c1f: ISZERO 00000c20: PUSH2 0x0c7a 00000c23: JUMPI 00000c24: PUSH1 0x06 00000c26: DUP1 00000c27: SLOAD 00000c28: DUP3 00000c29: SWAP1 00000c2a: SUB 00000c2b: SWAP1 00000c2c: SSTORE 00000c2d: PUSH1 0x40 00000c2f: DUP1 00000c30: MLOAD 00000c31: DUP3 00000c32: DUP2 00000c33: MSTORE 00000c34: TIMESTAMP 00000c35: PUSH1 0x20 00000c37: DUP3 00000c38: ADD 00000c39: MSTORE 00000c3a: DUP2 00000c3b: MLOAD 00000c3c: PUSH20 0x8d86e611ef0c054fdf04e1c744a8cefc37f00f81 00000c51: SWAP3 00000c52: PUSH32 0xbfd80b7518d12673941ad7d48fad1285bd1517a70cf69fc217bab6136d2426c3 00000c73: SWAP3 00000c74: DUP3 00000c75: SWAP1 00000c76: SUB 00000c77: ADD 00000c78: SWAP1 00000c79: LOG2 00000c7a: JUMPDEST 00000c7b: POP 00000c7c: POP 00000c7d: POP 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: PUSH1 0x00 00000c82: SLOAD 00000c83: PUSH1 0x01 00000c85: PUSH1 0xa0 00000c87: PUSH1 0x02 00000c89: EXP 00000c8a: SUB 00000c8b: AND 00000c8c: CALLER 00000c8d: EQ 00000c8e: PUSH2 0x0c96 00000c91: JUMPI 00000c92: PUSH1 0x00 00000c94: DUP1 00000c95: REVERT 00000c96: JUMPDEST 00000c97: PUSH1 0x07 00000c99: SLOAD 00000c9a: PUSH1 0x00 00000c9c: LT 00000c9d: PUSH2 0x0ca5 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP1 00000ca4: REVERT 00000ca5: JUMPDEST 00000ca6: PUSH1 0x07 00000ca8: SLOAD 00000ca9: PUSH1 0x40 00000cab: MLOAD 00000cac: PUSH1 0x01 00000cae: PUSH1 0xa0 00000cb0: PUSH1 0x02 00000cb2: EXP 00000cb3: SUB 00000cb4: DUP4 00000cb5: AND 00000cb6: SWAP2 00000cb7: PUSH2 0xc350 00000cba: SWAP2 00000cbb: PUSH1 0x00 00000cbd: DUP2 00000cbe: DUP2 00000cbf: DUP2 00000cc0: DUP6 00000cc1: DUP9 00000cc2: DUP9 00000cc3: CALL 00000cc4: SWAP4 00000cc5: POP 00000cc6: POP 00000cc7: POP 00000cc8: POP 00000cc9: ISZERO 00000cca: PUSH2 0x0d07 00000ccd: JUMPI 00000cce: PUSH1 0x00 00000cd0: PUSH1 0x07 00000cd2: DUP2 00000cd3: SWAP1 00000cd4: SSTORE 00000cd5: PUSH1 0x40 00000cd7: DUP1 00000cd8: MLOAD 00000cd9: SWAP2 00000cda: DUP3 00000cdb: MSTORE 00000cdc: MLOAD 00000cdd: PUSH32 0xab87ee58875b66771b8b92659121a9e642a60745aa5a9b000ac2a982df65f35b 00000cfe: SWAP2 00000cff: DUP2 00000d00: SWAP1 00000d01: SUB 00000d02: PUSH1 0x20 00000d04: ADD 00000d05: SWAP1 00000d06: LOG1 00000d07: JUMPDEST 00000d08: POP 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: PUSH8 0x016345785d8a0000 00000d14: DUP2 00000d15: JUMP 00000d16: JUMPDEST 00000d17: PUSH1 0x00 00000d19: SLOAD 00000d1a: PUSH1 0x01 00000d1c: PUSH1 0xa0 00000d1e: PUSH1 0x02 00000d20: EXP 00000d21: SUB 00000d22: AND 00000d23: CALLER 00000d24: EQ 00000d25: PUSH2 0x0d2d 00000d28: JUMPI 00000d29: PUSH1 0x00 00000d2b: DUP1 00000d2c: REVERT 00000d2d: JUMPDEST 00000d2e: PUSH1 0x01 00000d30: DUP1 00000d31: SLOAD 00000d32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d47: NOT 00000d48: AND 00000d49: PUSH1 0x01 00000d4b: PUSH1 0xa0 00000d4d: PUSH1 0x02 00000d4f: EXP 00000d50: SUB 00000d51: DUP4 00000d52: AND 00000d53: SWAP1 00000d54: DUP2 00000d55: OR 00000d56: SWAP1 00000d57: SWAP2 00000d58: SSTORE 00000d59: PUSH1 0x40 00000d5b: DUP1 00000d5c: MLOAD 00000d5d: SWAP2 00000d5e: DUP3 00000d5f: MSTORE 00000d60: TIMESTAMP 00000d61: PUSH1 0x20 00000d63: DUP4 00000d64: ADD 00000d65: MSTORE 00000d66: DUP1 00000d67: MLOAD 00000d68: PUSH32 0x56c3bab9774f079d7833aa80ed2eb486f8216bf2a0c156836748ad21e66c3f63 00000d89: SWAP3 00000d8a: DUP2 00000d8b: SWAP1 00000d8c: SUB 00000d8d: SWAP1 00000d8e: SWAP2 00000d8f: ADD 00000d90: SWAP1 00000d91: LOG1 00000d92: POP 00000d93: JUMP 00000d94: JUMPDEST 00000d95: CALLER 00000d96: PUSH1 0x00 00000d98: SWAP1 00000d99: DUP2 00000d9a: MSTORE 00000d9b: PUSH1 0x04 00000d9d: PUSH1 0x20 00000d9f: MSTORE 00000da0: PUSH1 0x40 00000da2: DUP2 00000da3: KECCAK256 00000da4: SLOAD 00000da5: DUP2 00000da6: LT 00000da7: PUSH2 0x0daf 00000daa: JUMPI 00000dab: PUSH1 0x00 00000dad: DUP1 00000dae: REVERT 00000daf: JUMPDEST 00000db0: POP 00000db1: CALLER 00000db2: PUSH1 0x00 00000db4: DUP2 00000db5: DUP2 00000db6: MSTORE 00000db7: PUSH1 0x04 00000db9: PUSH1 0x20 00000dbb: MSTORE 00000dbc: PUSH1 0x40 00000dbe: DUP1 00000dbf: DUP3 00000dc0: KECCAK256 00000dc1: DUP1 00000dc2: SLOAD 00000dc3: SWAP1 00000dc4: DUP4 00000dc5: SWAP1 00000dc6: SSTORE 00000dc7: PUSH1 0x05 00000dc9: DUP1 00000dca: SLOAD 00000dcb: DUP3 00000dcc: SWAP1 00000dcd: SUB 00000dce: SWAP1 00000dcf: SSTORE 00000dd0: SWAP1 00000dd1: MLOAD 00000dd2: SWAP1 00000dd3: SWAP3 00000dd4: SWAP2 00000dd5: DUP4 00000dd6: ISZERO 00000dd7: PUSH2 0x08fc 00000dda: MUL 00000ddb: SWAP2 00000ddc: DUP5 00000ddd: SWAP2 00000dde: DUP2 00000ddf: DUP2 00000de0: DUP2 00000de1: DUP6 00000de2: DUP9 00000de3: DUP9 00000de4: CALL 00000de5: SWAP4 00000de6: POP 00000de7: POP 00000de8: POP 00000de9: POP 00000dea: ISZERO 00000deb: DUP1 00000dec: ISZERO 00000ded: PUSH2 0x0dfa 00000df0: JUMPI 00000df1: RETURNDATASIZE 00000df2: PUSH1 0x00 00000df4: DUP1 00000df5: RETURNDATACOPY 00000df6: RETURNDATASIZE 00000df7: PUSH1 0x00 00000df9: REVERT 00000dfa: JUMPDEST 00000dfb: POP 00000dfc: PUSH1 0x40 00000dfe: DUP1 00000dff: MLOAD 00000e00: DUP3 00000e01: DUP2 00000e02: MSTORE 00000e03: SWAP1 00000e04: MLOAD 00000e05: CALLER 00000e06: SWAP2 00000e07: PUSH32 0xdd0e51ca9fe6a0a8495a0bf28a5d74796714159e4b9e392618596ba572835e31 00000e28: SWAP2 00000e29: SWAP1 00000e2a: DUP2 00000e2b: SWAP1 00000e2c: SUB 00000e2d: PUSH1 0x20 00000e2f: ADD 00000e30: SWAP1 00000e31: LOG2 00000e32: POP 00000e33: JUMP 00000e34: STOP 00000e35: LOG1 00000e36: PUSH6 0x627a7a723058 00000e3d: KECCAK256 00000e3e: UNKNOWN(0x0F) 00000e3f: UNKNOWN(0xCA) 00000e40: UNKNOWN(0xE4) 00000e41: MUL 00000e42: MCOPY 00000e43: SWAP9 00000e44: LOG0 00000e45: SHR 00000e46: UNKNOWN(0x26) 00000e47: PUSH6 0x3fa45d66af49 00000e4e: UNKNOWN(0xDD) 00000e4f: CODECOPY 00000e50: PUSH19
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xac08cc6241b8487e59299af79374d3e2377ea7092ce3417bc92da1f8c2884502
call_targets:
0x4d2c8d1e351da28cc65f32938fcf6156fbc1d26c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xac08cc6241b8487e59299af79374d3e2377ea7092ce3417bc92da1f8c2884502",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4d2c8d1e351da28cc65f32938fcf6156fbc1d26c"
],
"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": "0x040da8f4",
"selector": "0x040da8f4",
"calldata_variants": [
"0x040da8f4",
"0x040da8f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0aa9a4fb",
"selector": "0x0aa9a4fb",
"calldata_variants": [
"0x0aa9a4fb",
"0x0aa9a4fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bd5b493",
"selector": "0x0bd5b493",
"calldata_variants": [
"0x0bd5b493",
"0x0bd5b4930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x200ef97e",
"selector": "0x200ef97e",
"calldata_variants": [
"0x200ef97e",
"0x200ef97e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a2bc42b",
"selector": "0x3a2bc42b",
"calldata_variants": [
"0x3a2bc42b",
"0x3a2bc42b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4443fbf4",
"selector": "0x4443fbf4",
"calldata_variants": [
"0x4443fbf4",
"0x4443fbf40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6c6bf551",
"selector": "0x6c6bf551",
"calldata_variants": [
"0x6c6bf551",
"0x6c6bf5510000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1556,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1820,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2292,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xac08cc6241b8487e59299af79374d3e2377ea7092ce3417bc92da1f8c2884502
call_targets:
0x4d2c8d1e351da28cc65f32938fcf6156fbc1d26c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xac08cc6241b8487e59299af79374d3e2377ea7092ce3417bc92da1f8c2884502",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4d2c8d1e351da28cc65f32938fcf6156fbc1d26c"
],
"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": "0x040da8f4",
"selector": "0x040da8f4",
"calldata_variants": [
"0x040da8f4",
"0x040da8f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0aa9a4fb",
"selector": "0x0aa9a4fb",
"calldata_variants": [
"0x0aa9a4fb",
"0x0aa9a4fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0bd5b493",
"selector": "0x0bd5b493",
"calldata_variants": [
"0x0bd5b493",
"0x0bd5b4930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x200ef97e",
"selector": "0x200ef97e",
"calldata_variants": [
"0x200ef97e",
"0x200ef97e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a2bc42b",
"selector": "0x3a2bc42b",
"calldata_variants": [
"0x3a2bc42b",
"0x3a2bc42b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4443fbf4",
"selector": "0x4443fbf4",
"calldata_variants": [
"0x4443fbf4",
"0x4443fbf40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6c6bf551",
"selector": "0x6c6bf551",
"calldata_variants": [
"0x6c6bf551",
"0x6c6bf5510000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1556,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1820,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2292,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|