019b477e-c649-7018-9b6c-6b06e04333b5
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 |
|---|---|---|---|---|
| 25747 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25748 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112703 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112704 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112705 | detector.run | complete | 1 / 3 | 1 week ago |
| 112706 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0038 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x09c613c8 00000019: EQ 0000001a: PUSH2 0x015d 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9e8c708e 00000024: EQ 00000025: PUSH2 0x0179 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd040c9c6 0000002f: EQ 00000030: PUSH2 0x01a2 00000033: JUMPI 00000034: PUSH2 0x003f 00000037: JUMP 00000038: JUMPDEST 00000039: CALLDATASIZE 0000003a: PUSH2 0x003f 0000003d: JUMPI 0000003e: STOP 0000003f: JUMPDEST 00000040: PUSH20 0xf7e602c3c3922324351c0392ea999a32f87ca90d 00000055: CALLER 00000056: EQ 00000057: PUSH2 0x005f 0000005a: JUMPI 0000005b: PUSH1 0x03 0000005d: DUP1 0000005e: REVERT 0000005f: JUMPDEST 00000060: CALLVALUE 00000061: CALLDATALOAD 00000062: PUSH1 0xe8 00000064: SHR 00000065: DUP1 00000066: NUMBER 00000067: EQ 00000068: PUSH2 0x0070 0000006b: JUMPI 0000006c: PUSH1 0x03 0000006e: DUP1 0000006f: REVERT 00000070: JUMPDEST 00000071: PUSH1 0x04 00000073: CALLDATALOAD 00000074: PUSH1 0x90 00000076: SHR 00000077: PUSH1 0x12 00000079: CALLDATALOAD 0000007a: PUSH1 0x90 0000007c: SHR 0000007d: PUSH1 0x20 0000007f: CALLDATALOAD 00000080: PUSH1 0x60 00000082: SHR 00000083: PUSH1 0x34 00000085: CALLDATALOAD 00000086: PUSH1 0x60 00000088: SHR 00000089: DUP1 0000008a: PUSH2 0x00a5 0000008d: JUMPI 0000008e: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000000a3: SWAP1 000000a4: POP 000000a5: JUMPDEST 000000a6: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000000c7: PUSH1 0x7c 000000c9: MSTORE 000000ca: DUP2 000000cb: PUSH1 0x80 000000cd: MSTORE 000000ce: DUP4 000000cf: PUSH1 0xa0 000000d1: MSTORE 000000d2: CALLVALUE 000000d3: CALLVALUE 000000d4: PUSH1 0x44 000000d6: PUSH1 0x7c 000000d8: CALLVALUE 000000d9: DUP6 000000da: GAS 000000db: CALL 000000dc: PUSH2 0x00e4 000000df: JUMPI 000000e0: PUSH1 0x03 000000e2: DUP1 000000e3: REVERT 000000e4: JUMPDEST 000000e5: PUSH32 0x022c0d9f00000000000000000000000000000000000000000000000000000000 00000106: PUSH1 0x7c 00000108: MSTORE 00000109: PUSH1 0x03 0000010b: CALLDATALOAD 0000010c: PUSH1 0xf8 0000010e: SHR 0000010f: PUSH1 0x00 00000111: DUP2 00000112: EQ 00000113: PUSH2 0x0123 00000116: JUMPI 00000117: PUSH1 0x01 00000119: DUP2 0000011a: EQ 0000011b: PUSH2 0x0130 0000011e: JUMPI 0000011f: PUSH2 0x0139 00000122: JUMP 00000123: JUMPDEST 00000124: DUP4 00000125: PUSH1 0x80 00000127: MSTORE 00000128: CALLVALUE 00000129: PUSH1 0xa0 0000012b: MSTORE 0000012c: PUSH2 0x0139 0000012f: JUMP 00000130: JUMPDEST 00000131: CALLVALUE 00000132: PUSH1 0x80 00000134: MSTORE 00000135: DUP4 00000136: PUSH1 0xa0 00000138: MSTORE 00000139: JUMPDEST 0000013a: POP 0000013b: ADDRESS 0000013c: PUSH1 0xc0 0000013e: MSTORE 0000013f: PUSH1 0x80 00000141: PUSH1 0xe0 00000143: MSTORE 00000144: CALLVALUE 00000145: CALLVALUE 00000146: PUSH1 0xa4 00000148: PUSH1 0x7c 0000014a: CALLVALUE 0000014b: DUP7 0000014c: GAS 0000014d: CALL 0000014e: PUSH2 0x0156 00000151: JUMPI 00000152: PUSH1 0x03 00000154: DUP1 00000155: REVERT 00000156: JUMPDEST 00000157: POP 00000158: POP 00000159: POP 0000015a: POP 0000015b: POP 0000015c: STOP 0000015d: JUMPDEST 0000015e: PUSH2 0x0177 00000161: PUSH1 0x04 00000163: DUP1 00000164: CALLDATASIZE 00000165: SUB 00000166: DUP2 00000167: ADD 00000168: SWAP1 00000169: PUSH2 0x0172 0000016c: SWAP2 0000016d: SWAP1 0000016e: PUSH2 0x0a7f 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH2 0x01be 00000176: JUMP 00000177: JUMPDEST 00000178: STOP 00000179: JUMPDEST 0000017a: CALLVALUE 0000017b: DUP1 0000017c: ISZERO 0000017d: PUSH2 0x0185 00000180: JUMPI 00000181: PUSH1 0x00 00000183: DUP1 00000184: REVERT 00000185: JUMPDEST 00000186: POP 00000187: PUSH2 0x01a0 0000018a: PUSH1 0x04 0000018c: DUP1 0000018d: CALLDATASIZE 0000018e: SUB 0000018f: DUP2 00000190: ADD 00000191: SWAP1 00000192: PUSH2 0x019b 00000195: SWAP2 00000196: SWAP1 00000197: PUSH2 0x0991 0000019a: JUMP 0000019b: JUMPDEST 0000019c: PUSH2 0x043d 0000019f: JUMP 000001a0: JUMPDEST 000001a1: STOP 000001a2: JUMPDEST 000001a3: PUSH2 0x01bc 000001a6: PUSH1 0x04 000001a8: DUP1 000001a9: CALLDATASIZE 000001aa: SUB 000001ab: DUP2 000001ac: ADD 000001ad: SWAP1 000001ae: PUSH2 0x01b7 000001b1: SWAP2 000001b2: SWAP1 000001b3: PUSH2 0x0a18 000001b6: JUMP 000001b7: JUMPDEST 000001b8: PUSH2 0x0581 000001bb: JUMP 000001bc: JUMPDEST 000001bd: STOP 000001be: JUMPDEST 000001bf: PUSH32 0x000000000000000000000000f7e602c3c3922324351c0392ea999a32f87ca90d 000001e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f5: AND 000001f6: CALLER 000001f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020c: AND 0000020d: EQ 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: DUP1 00000218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022d: AND 0000022e: PUSH4 0xa9059cbb 00000233: DUP4 00000234: DUP7 00000235: PUSH1 0x40 00000237: MLOAD 00000238: DUP4 00000239: PUSH4 0xffffffff 0000023e: AND 0000023f: PUSH1 0xe0 00000241: SHL 00000242: DUP2 00000243: MSTORE 00000244: PUSH1 0x04 00000246: ADD 00000247: PUSH2 0x0251 0000024a: SWAP3 0000024b: SWAP2 0000024c: SWAP1 0000024d: PUSH2 0x0c09 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH1 0x20 00000254: PUSH1 0x40 00000256: MLOAD 00000257: DUP1 00000258: DUP4 00000259: SUB 0000025a: DUP2 0000025b: PUSH1 0x00 0000025d: DUP8 0000025e: DUP1 0000025f: EXTCODESIZE 00000260: ISZERO 00000261: DUP1 00000262: ISZERO 00000263: PUSH2 0x026b 00000266: JUMPI 00000267: PUSH1 0x00 00000269: DUP1 0000026a: REVERT 0000026b: JUMPDEST 0000026c: POP 0000026d: GAS 0000026e: CALL 0000026f: ISZERO 00000270: DUP1 00000271: ISZERO 00000272: PUSH2 0x027f 00000275: JUMPI 00000276: RETURNDATASIZE 00000277: PUSH1 0x00 00000279: DUP1 0000027a: RETURNDATACOPY 0000027b: RETURNDATASIZE 0000027c: PUSH1 0x00 0000027e: REVERT 0000027f: JUMPDEST 00000280: POP 00000281: POP 00000282: POP 00000283: POP 00000284: PUSH1 0x40 00000286: MLOAD 00000287: RETURNDATASIZE 00000288: PUSH1 0x1f 0000028a: NOT 0000028b: PUSH1 0x1f 0000028d: DUP3 0000028e: ADD 0000028f: AND 00000290: DUP3 00000291: ADD 00000292: DUP1 00000293: PUSH1 0x40 00000295: MSTORE 00000296: POP 00000297: DUP2 00000298: ADD 00000299: SWAP1 0000029a: PUSH2 0x02a3 0000029d: SWAP2 0000029e: SWAP1 0000029f: PUSH2 0x09be 000002a2: JUMP 000002a3: JUMPDEST 000002a4: POP 000002a5: PUSH1 0x00 000002a7: DUP6 000002a8: EQ 000002a9: ISZERO 000002aa: PUSH2 0x036d 000002ad: JUMPI 000002ae: DUP2 000002af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c4: AND 000002c5: PUSH4 0x022c0d9f 000002ca: DUP5 000002cb: PUSH1 0x00 000002cd: ADDRESS 000002ce: PUSH1 0x00 000002d0: PUSH8 0xffffffffffffffff 000002d9: DUP2 000002da: GT 000002db: ISZERO 000002dc: PUSH2 0x02e8 000002df: JUMPI 000002e0: PUSH2 0x02e7 000002e3: PUSH2 0x0dcf 000002e6: JUMP 000002e7: JUMPDEST 000002e8: JUMPDEST 000002e9: PUSH1 0x40 000002eb: MLOAD 000002ec: SWAP1 000002ed: DUP1 000002ee: DUP3 000002ef: MSTORE 000002f0: DUP1 000002f1: PUSH1 0x1f 000002f3: ADD 000002f4: PUSH1 0x1f 000002f6: NOT 000002f7: AND 000002f8: PUSH1 0x20 000002fa: ADD 000002fb: DUP3 000002fc: ADD 000002fd: PUSH1 0x40 000002ff: MSTORE 00000300: DUP1 00000301: ISZERO 00000302: PUSH2 0x031a 00000305: JUMPI 00000306: DUP2 00000307: PUSH1 0x20 00000309: ADD 0000030a: PUSH1 0x01 0000030c: DUP3 0000030d: MUL 0000030e: DUP1 0000030f: CALLDATASIZE 00000310: DUP4 00000311: CALLDATACOPY 00000312: DUP1 00000313: DUP3 00000314: ADD 00000315: SWAP2 00000316: POP 00000317: POP 00000318: SWAP1 00000319: POP 0000031a: JUMPDEST 0000031b: POP 0000031c: PUSH1 0x40 0000031e: MLOAD 0000031f: DUP6 00000320: PUSH4 0xffffffff 00000325: AND 00000326: PUSH1 0xe0 00000328: SHL 00000329: DUP2 0000032a: MSTORE 0000032b: PUSH1 0x04 0000032d: ADD 0000032e: PUSH2 0x033a 00000331: SWAP5 00000332: SWAP4 00000333: SWAP3 00000334: SWAP2 00000335: SWAP1 00000336: PUSH2 0x0cbe 00000339: JUMP 0000033a: JUMPDEST 0000033b: PUSH1 0x00 0000033d: PUSH1 0x40 0000033f: MLOAD 00000340: DUP1 00000341: DUP4 00000342: SUB 00000343: DUP2 00000344: PUSH1 0x00 00000346: DUP8 00000347: DUP1 00000348: EXTCODESIZE 00000349: ISZERO 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: POP 00000356: GAS 00000357: CALL 00000358: ISZERO 00000359: DUP1 0000035a: ISZERO 0000035b: PUSH2 0x0368 0000035e: JUMPI 0000035f: RETURNDATASIZE 00000360: PUSH1 0x00 00000362: DUP1 00000363: RETURNDATACOPY 00000364: RETURNDATASIZE 00000365: PUSH1 0x00 00000367: REVERT 00000368: JUMPDEST 00000369: POP 0000036a: POP 0000036b: POP 0000036c: POP 0000036d: JUMPDEST 0000036e: PUSH1 0x01 00000370: DUP6 00000371: EQ 00000372: ISZERO 00000373: PUSH2 0x0436 00000376: JUMPI 00000377: DUP2 00000378: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038d: AND 0000038e: PUSH4 0x022c0d9f 00000393: PUSH1 0x00 00000395: DUP6 00000396: ADDRESS 00000397: PUSH1 0x00 00000399: PUSH8 0xffffffffffffffff 000003a2: DUP2 000003a3: GT 000003a4: ISZERO 000003a5: PUSH2 0x03b1 000003a8: JUMPI 000003a9: PUSH2 0x03b0 000003ac: PUSH2 0x0dcf 000003af: JUMP 000003b0: JUMPDEST 000003b1: JUMPDEST 000003b2: PUSH1 0x40 000003b4: MLOAD 000003b5: SWAP1 000003b6: DUP1 000003b7: DUP3 000003b8: MSTORE 000003b9: DUP1 000003ba: PUSH1 0x1f 000003bc: ADD 000003bd: PUSH1 0x1f 000003bf: NOT 000003c0: AND 000003c1: PUSH1 0x20 000003c3: ADD 000003c4: DUP3 000003c5: ADD 000003c6: PUSH1 0x40 000003c8: MSTORE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03e3 000003ce: JUMPI 000003cf: DUP2 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: PUSH1 0x01 000003d5: DUP3 000003d6: MUL 000003d7: DUP1 000003d8: CALLDATASIZE 000003d9: DUP4 000003da: CALLDATACOPY 000003db: DUP1 000003dc: DUP3 000003dd: ADD 000003de: SWAP2 000003df: POP 000003e0: POP 000003e1: SWAP1 000003e2: POP 000003e3: JUMPDEST 000003e4: POP 000003e5: PUSH1 0x40 000003e7: MLOAD 000003e8: DUP6 000003e9: PUSH4 0xffffffff 000003ee: AND 000003ef: PUSH1 0xe0 000003f1: SHL 000003f2: DUP2 000003f3: MSTORE 000003f4: PUSH1 0x04 000003f6: ADD 000003f7: PUSH2 0x0403 000003fa: SWAP5 000003fb: SWAP4 000003fc: SWAP3 000003fd: SWAP2 000003fe: SWAP1 000003ff: PUSH2 0x0c32 00000402: JUMP 00000403: JUMPDEST 00000404: PUSH1 0x00 00000406: PUSH1 0x40 00000408: MLOAD 00000409: DUP1 0000040a: DUP4 0000040b: SUB 0000040c: DUP2 0000040d: PUSH1 0x00 0000040f: DUP8 00000410: DUP1 00000411: EXTCODESIZE 00000412: ISZERO 00000413: DUP1 00000414: ISZERO 00000415: PUSH2 0x041d 00000418: JUMPI 00000419: PUSH1 0x00 0000041b: DUP1 0000041c: REVERT 0000041d: JUMPDEST 0000041e: POP 0000041f: GAS 00000420: CALL 00000421: ISZERO 00000422: DUP1 00000423: ISZERO 00000424: PUSH2 0x0431 00000427: JUMPI 00000428: RETURNDATASIZE 00000429: PUSH1 0x00 0000042b: DUP1 0000042c: RETURNDATACOPY 0000042d: RETURNDATASIZE 0000042e: PUSH1 0x00 00000430: REVERT 00000431: JUMPDEST 00000432: POP 00000433: POP 00000434: POP 00000435: POP 00000436: JUMPDEST 00000437: POP 00000438: POP 00000439: POP 0000043a: POP 0000043b: POP 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH32 0x000000000000000000000000f7e602c3c3922324351c0392ea999a32f87ca90d 0000045f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000474: AND 00000475: CALLER 00000476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048b: AND 0000048c: EQ 0000048d: PUSH2 0x04cb 00000490: JUMPI 00000491: PUSH1 0x40 00000493: MLOAD 00000494: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004b5: DUP2 000004b6: MSTORE 000004b7: PUSH1 0x04 000004b9: ADD 000004ba: PUSH2 0x04c2 000004bd: SWAP1 000004be: PUSH2 0x0c7e 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH1 0x40 000004c5: MLOAD 000004c6: DUP1 000004c7: SWAP2 000004c8: SUB 000004c9: SWAP1 000004ca: REVERT 000004cb: JUMPDEST 000004cc: PUSH2 0x057e 000004cf: CALLER 000004d0: DUP3 000004d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e6: AND 000004e7: PUSH4 0x70a08231 000004ec: ADDRESS 000004ed: PUSH1 0x40 000004ef: MLOAD 000004f0: DUP3 000004f1: PUSH4 0xffffffff 000004f6: AND 000004f7: PUSH1 0xe0 000004f9: SHL 000004fa: DUP2 000004fb: MSTORE 000004fc: PUSH1 0x04 000004fe: ADD 000004ff: PUSH2 0x0508 00000502: SWAP2 00000503: SWAP1 00000504: PUSH2 0x0bee 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH1 0x20 0000050b: PUSH1 0x40 0000050d: MLOAD 0000050e: DUP1 0000050f: DUP4 00000510: SUB 00000511: DUP2 00000512: DUP7 00000513: DUP1 00000514: EXTCODESIZE 00000515: ISZERO 00000516: DUP1 00000517: ISZERO 00000518: PUSH2 0x0520 0000051b: JUMPI 0000051c: PUSH1 0x00 0000051e: DUP1 0000051f: REVERT 00000520: JUMPDEST 00000521: POP 00000522: GAS 00000523: STATICCALL 00000524: ISZERO 00000525: DUP1 00000526: ISZERO 00000527: PUSH2 0x0534 0000052a: JUMPI 0000052b: RETURNDATASIZE 0000052c: PUSH1 0x00 0000052e: DUP1 0000052f: RETURNDATACOPY 00000530: RETURNDATASIZE 00000531: PUSH1 0x00 00000533: REVERT 00000534: JUMPDEST 00000535: POP 00000536: POP 00000537: POP 00000538: POP 00000539: PUSH1 0x40 0000053b: MLOAD 0000053c: RETURNDATASIZE 0000053d: PUSH1 0x1f 0000053f: NOT 00000540: PUSH1 0x1f 00000542: DUP3 00000543: ADD 00000544: AND 00000545: DUP3 00000546: ADD 00000547: DUP1 00000548: PUSH1 0x40 0000054a: MSTORE 0000054b: POP 0000054c: DUP2 0000054d: ADD 0000054e: SWAP1 0000054f: PUSH2 0x0558 00000552: SWAP2 00000553: SWAP1 00000554: PUSH2 0x09eb 00000557: JUMP 00000558: JUMPDEST 00000559: DUP4 0000055a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056f: AND 00000570: PUSH2 0x0813 00000573: SWAP1 00000574: SWAP3 00000575: SWAP2 00000576: SWAP1 00000577: PUSH4 0xffffffff 0000057c: AND 0000057d: JUMP 0000057e: JUMPDEST 0000057f: POP 00000580: JUMP 00000581: JUMPDEST 00000582: PUSH32 0x000000000000000000000000f7e602c3c3922324351c0392ea999a32f87ca90d 000005a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b8: AND 000005b9: CALLER 000005ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cf: AND 000005d0: EQ 000005d1: PUSH2 0x05d9 000005d4: JUMPI 000005d5: PUSH1 0x00 000005d7: DUP1 000005d8: REVERT 000005d9: JUMPDEST 000005da: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 000005ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000604: AND 00000605: PUSH4 0xa9059cbb 0000060a: DUP3 0000060b: DUP6 0000060c: PUSH1 0x40 0000060e: MLOAD 0000060f: DUP4 00000610: PUSH4 0xffffffff 00000615: AND 00000616: PUSH1 0xe0 00000618: SHL 00000619: DUP2 0000061a: MSTORE 0000061b: PUSH1 0x04 0000061d: ADD 0000061e: PUSH2 0x0628 00000621: SWAP3 00000622: SWAP2 00000623: SWAP1 00000624: PUSH2 0x0c09 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x20 0000062b: PUSH1 0x40 0000062d: MLOAD 0000062e: DUP1 0000062f: DUP4 00000630: SUB 00000631: DUP2 00000632: PUSH1 0x00 00000634: DUP8 00000635: DUP1 00000636: EXTCODESIZE 00000637: ISZERO 00000638: DUP1 00000639: ISZERO 0000063a: PUSH2 0x0642 0000063d: JUMPI 0000063e: PUSH1 0x00 00000640: DUP1 00000641: REVERT 00000642: JUMPDEST 00000643: POP 00000644: GAS 00000645: CALL 00000646: ISZERO 00000647: DUP1 00000648: ISZERO 00000649: PUSH2 0x0656 0000064c: JUMPI 0000064d: RETURNDATASIZE 0000064e: PUSH1 0x00 00000650: DUP1 00000651: RETURNDATACOPY 00000652: RETURNDATASIZE 00000653: PUSH1 0x00 00000655: REVERT 00000656: JUMPDEST 00000657: POP 00000658: POP 00000659: POP 0000065a: POP 0000065b: PUSH1 0x40 0000065d: MLOAD 0000065e: RETURNDATASIZE 0000065f: PUSH1 0x1f 00000661: NOT 00000662: PUSH1 0x1f 00000664: DUP3 00000665: ADD 00000666: AND 00000667: DUP3 00000668: ADD 00000669: DUP1 0000066a: PUSH1 0x40 0000066c: MSTORE 0000066d: POP 0000066e: DUP2 0000066f: ADD 00000670: SWAP1 00000671: PUSH2 0x067a 00000674: SWAP2 00000675: SWAP1 00000676: PUSH2 0x09be 00000679: JUMP 0000067a: JUMPDEST 0000067b: POP 0000067c: PUSH1 0x00 0000067e: DUP5 0000067f: EQ 00000680: ISZERO 00000681: PUSH2 0x0744 00000684: JUMPI 00000685: DUP1 00000686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069b: AND 0000069c: PUSH4 0x022c0d9f 000006a1: DUP4 000006a2: PUSH1 0x00 000006a4: ADDRESS 000006a5: PUSH1 0x00 000006a7: PUSH8 0xffffffffffffffff 000006b0: DUP2 000006b1: GT 000006b2: ISZERO 000006b3: PUSH2 0x06bf 000006b6: JUMPI 000006b7: PUSH2 0x06be 000006ba: PUSH2 0x0dcf 000006bd: JUMP 000006be: JUMPDEST 000006bf: JUMPDEST 000006c0: PUSH1 0x40 000006c2: MLOAD 000006c3: SWAP1 000006c4: DUP1 000006c5: DUP3 000006c6: MSTORE 000006c7: DUP1 000006c8: PUSH1 0x1f 000006ca: ADD 000006cb: PUSH1 0x1f 000006cd: NOT 000006ce: AND 000006cf: PUSH1 0x20 000006d1: ADD 000006d2: DUP3 000006d3: ADD 000006d4: PUSH1 0x40 000006d6: MSTORE 000006d7: DUP1 000006d8: ISZERO 000006d9: PUSH2 0x06f1 000006dc: JUMPI 000006dd: DUP2 000006de: PUSH1 0x20 000006e0: ADD 000006e1: PUSH1 0x01 000006e3: DUP3 000006e4: MUL 000006e5: DUP1 000006e6: CALLDATASIZE 000006e7: DUP4 000006e8: CALLDATACOPY 000006e9: DUP1 000006ea: DUP3 000006eb: ADD 000006ec: SWAP2 000006ed: POP 000006ee: POP 000006ef: SWAP1 000006f0: POP 000006f1: JUMPDEST 000006f2: POP 000006f3: PUSH1 0x40 000006f5: MLOAD 000006f6: DUP6 000006f7: PUSH4 0xffffffff 000006fc: AND 000006fd: PUSH1 0xe0 000006ff: SHL 00000700: DUP2 00000701: MSTORE 00000702: PUSH1 0x04 00000704: ADD 00000705: PUSH2 0x0711 00000708: SWAP5 00000709: SWAP4 0000070a: SWAP3 0000070b: SWAP2 0000070c: SWAP1 0000070d: PUSH2 0x0cbe 00000710: JUMP 00000711: JUMPDEST 00000712: PUSH1 0x00 00000714: PUSH1 0x40 00000716: MLOAD 00000717: DUP1 00000718: DUP4 00000719: SUB 0000071a: DUP2 0000071b: PUSH1 0x00 0000071d: DUP8 0000071e: DUP1 0000071f: EXTCODESIZE 00000720: ISZERO 00000721: DUP1 00000722: ISZERO 00000723: PUSH2 0x072b 00000726: JUMPI 00000727: PUSH1 0x00 00000729: DUP1 0000072a: REVERT 0000072b: JUMPDEST 0000072c: POP 0000072d: GAS 0000072e: CALL 0000072f: ISZERO 00000730: DUP1 00000731: ISZERO 00000732: PUSH2 0x073f 00000735: JUMPI 00000736: RETURNDATASIZE 00000737: PUSH1 0x00 00000739: DUP1 0000073a: RETURNDATACOPY 0000073b: RETURNDATASIZE 0000073c: PUSH1 0x00 0000073e: REVERT 0000073f: JUMPDEST 00000740: POP 00000741: POP 00000742: POP 00000743: POP 00000744: JUMPDEST 00000745: PUSH1 0x01 00000747: DUP5 00000748: EQ 00000749: ISZERO 0000074a: PUSH2 0x080d 0000074d: JUMPI 0000074e: DUP1 0000074f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000764: AND 00000765: PUSH4 0x022c0d9f 0000076a: PUSH1 0x00 0000076c: DUP5 0000076d: ADDRESS 0000076e: PUSH1 0x00 00000770: PUSH8 0xffffffffffffffff 00000779: DUP2 0000077a: GT 0000077b: ISZERO 0000077c: PUSH2 0x0788 0000077f: JUMPI 00000780: PUSH2 0x0787 00000783: PUSH2 0x0dcf 00000786: JUMP 00000787: JUMPDEST 00000788: JUMPDEST 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: SWAP1 0000078d: DUP1 0000078e: DUP3 0000078f: MSTORE 00000790: DUP1 00000791: PUSH1 0x1f 00000793: ADD 00000794: PUSH1 0x1f 00000796: NOT 00000797: AND 00000798: PUSH1 0x20 0000079a: ADD 0000079b: DUP3 0000079c: ADD 0000079d: PUSH1 0x40 0000079f: MSTORE 000007a0: DUP1 000007a1: ISZERO 000007a2: PUSH2 0x07ba 000007a5: JUMPI 000007a6: DUP2 000007a7: PUSH1 0x20 000007a9: ADD 000007aa: PUSH1 0x01 000007ac: DUP3 000007ad: MUL 000007ae: DUP1 000007af: CALLDATASIZE 000007b0: DUP4 000007b1: CALLDATACOPY 000007b2: DUP1 000007b3: DUP3 000007b4: ADD 000007b5: SWAP2 000007b6: POP 000007b7: POP 000007b8: SWAP1 000007b9: POP 000007ba: JUMPDEST 000007bb: POP 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: DUP6 000007c0: PUSH4 0xffffffff 000007c5: AND 000007c6: PUSH1 0xe0 000007c8: SHL 000007c9: DUP2 000007ca: MSTORE 000007cb: PUSH1 0x04 000007cd: ADD 000007ce: PUSH2 0x07da 000007d1: SWAP5 000007d2: SWAP4 000007d3: SWAP3 000007d4: SWAP2 000007d5: SWAP1 000007d6: PUSH2 0x0c32 000007d9: JUMP 000007da: JUMPDEST 000007db: PUSH1 0x00 000007dd: PUSH1 0x40 000007df: MLOAD 000007e0: DUP1 000007e1: DUP4 000007e2: SUB 000007e3: DUP2 000007e4: PUSH1 0x00 000007e6: DUP8 000007e7: DUP1 000007e8: EXTCODESIZE 000007e9: ISZERO 000007ea: DUP1 000007eb: ISZERO 000007ec: PUSH2 0x07f4 000007ef: JUMPI 000007f0: PUSH1 0x00 000007f2: DUP1 000007f3: REVERT 000007f4: JUMPDEST 000007f5: POP 000007f6: GAS 000007f7: CALL 000007f8: ISZERO 000007f9: DUP1 000007fa: ISZERO 000007fb: PUSH2 0x0808 000007fe: JUMPI 000007ff: RETURNDATASIZE 00000800: PUSH1 0x00 00000802: DUP1 00000803: RETURNDATACOPY 00000804: RETURNDATASIZE 00000805: PUSH1 0x00 00000807: REVERT 00000808: JUMPDEST 00000809: POP 0000080a: POP 0000080b: POP 0000080c: POP 0000080d: JUMPDEST 0000080e: POP 0000080f: POP 00000810: POP 00000811: POP 00000812: JUMP 00000813: JUMPDEST 00000814: PUSH1 0x00 00000816: DUP4 00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082c: AND 0000082d: PUSH4 0xa9059cbb 00000832: PUSH1 0xe0 00000834: SHL 00000835: DUP5 00000836: DUP5 00000837: PUSH1 0x40 00000839: MLOAD 0000083a: PUSH1 0x24 0000083c: ADD 0000083d: PUSH2 0x0847 00000840: SWAP3 00000841: SWAP2 00000842: SWAP1 00000843: PUSH2 0x0c09 00000846: JUMP 00000847: JUMPDEST 00000848: PUSH1 0x40 0000084a: MLOAD 0000084b: PUSH1 0x20 0000084d: DUP2 0000084e: DUP4 0000084f: SUB 00000850: SUB 00000851: DUP2 00000852: MSTORE 00000853: SWAP1 00000854: PUSH1 0x40 00000856: MSTORE 00000857: SWAP1 00000858: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000875: NOT 00000876: AND 00000877: PUSH1 0x20 00000879: DUP3 0000087a: ADD 0000087b: DUP1 0000087c: MLOAD 0000087d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000089a: DUP4 0000089b: DUP2 0000089c: DUP4 0000089d: AND 0000089e: OR 0000089f: DUP4 000008a0: MSTORE 000008a1: POP 000008a2: POP 000008a3: POP 000008a4: POP 000008a5: PUSH1 0x40 000008a7: MLOAD 000008a8: PUSH2 0x08b1 000008ab: SWAP2 000008ac: SWAP1 000008ad: PUSH2 0x0bd7 000008b0: JUMP 000008b1: JUMPDEST 000008b2: PUSH1 0x00 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: DUP1 000008b8: DUP4 000008b9: SUB 000008ba: DUP2 000008bb: PUSH1 0x00 000008bd: DUP7 000008be: GAS 000008bf: CALL 000008c0: SWAP2 000008c1: POP 000008c2: POP 000008c3: RETURNDATASIZE 000008c4: DUP1 000008c5: PUSH1 0x00 000008c7: DUP2 000008c8: EQ 000008c9: PUSH2 0x08ee 000008cc: JUMPI 000008cd: PUSH1 0x40 000008cf: MLOAD 000008d0: SWAP2 000008d1: POP 000008d2: PUSH1 0x1f 000008d4: NOT 000008d5: PUSH1 0x3f 000008d7: RETURNDATASIZE 000008d8: ADD 000008d9: AND 000008da: DUP3 000008db: ADD 000008dc: PUSH1 0x40 000008de: MSTORE 000008df: RETURNDATASIZE 000008e0: DUP3 000008e1: MSTORE 000008e2: RETURNDATASIZE 000008e3: PUSH1 0x00 000008e5: PUSH1 0x20 000008e7: DUP5 000008e8: ADD 000008e9: RETURNDATACOPY 000008ea: PUSH2 0x08f3 000008ed: JUMP 000008ee: JUMPDEST 000008ef: PUSH1 0x60 000008f1: SWAP2 000008f2: POP 000008f3: JUMPDEST 000008f4: POP 000008f5: POP 000008f6: SWAP1 000008f7: POP 000008f8: DUP1 000008f9: PUSH2 0x0937 000008fc: JUMPI 000008fd: PUSH1 0x40 000008ff: MLOAD 00000900: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000921: DUP2 00000922: MSTORE 00000923: PUSH1 0x04 00000925: ADD 00000926: PUSH2 0x092e 00000929: SWAP1 0000092a: PUSH2 0x0c9e 0000092d: JUMP 0000092e: JUMPDEST 0000092f: PUSH1 0x40 00000931: MLOAD 00000932: DUP1 00000933: SWAP2 00000934: SUB 00000935: SWAP1 00000936: REVERT 00000937: JUMPDEST 00000938: POP 00000939: POP 0000093a: POP 0000093b: POP 0000093c: JUMP 0000093d: JUMPDEST 0000093e: PUSH1 0x00 00000940: DUP2 00000941: CALLDATALOAD 00000942: SWAP1 00000943: POP 00000944: PUSH2 0x094c 00000947: DUP2 00000948: PUSH2 0x0e66 0000094b: JUMP 0000094c: JUMPDEST 0000094d: SWAP3 0000094e: SWAP2 0000094f: POP 00000950: POP 00000951: JUMP 00000952: JUMPDEST 00000953: PUSH1 0x00 00000955: DUP2 00000956: MLOAD 00000957: SWAP1 00000958: POP 00000959: PUSH2 0x0961 0000095c: DUP2 0000095d: PUSH2 0x0e7d 00000960: JUMP 00000961: JUMPDEST 00000962: SWAP3 00000963: SWAP2 00000964: POP 00000965: POP 00000966: JUMP 00000967: JUMPDEST 00000968: PUSH1 0x00 0000096a: DUP2 0000096b: CALLDATALOAD 0000096c: SWAP1 0000096d: POP 0000096e: PUSH2 0x0976 00000971: DUP2 00000972: PUSH2 0x0e94 00000975: JUMP 00000976: JUMPDEST 00000977: SWAP3 00000978: SWAP2 00000979: POP 0000097a: POP 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH1 0x00 0000097f: DUP2 00000980: MLOAD 00000981: SWAP1 00000982: POP 00000983: PUSH2 0x098b 00000986: DUP2 00000987: PUSH2 0x0e94 0000098a: JUMP 0000098b: JUMPDEST 0000098c: SWAP3 0000098d: SWAP2 0000098e: POP 0000098f: POP 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x00 00000994: PUSH1 0x20 00000996: DUP3 00000997: DUP5 00000998: SUB 00000999: SLT 0000099a: ISZERO 0000099b: PUSH2 0x09a7 0000099e: JUMPI 0000099f: PUSH2 0x09a6 000009a2: PUSH2 0x0dfe 000009a5: JUMP 000009a6: JUMPDEST 000009a7: JUMPDEST 000009a8: PUSH1 0x00 000009aa: PUSH2 0x09b5 000009ad: DUP5 000009ae: DUP3 000009af: DUP6 000009b0: ADD 000009b1: PUSH2 0x093d 000009b4: JUMP 000009b5: JUMPDEST 000009b6: SWAP2 000009b7: POP 000009b8: POP 000009b9: SWAP3 000009ba: SWAP2 000009bb: POP 000009bc: POP 000009bd: JUMP 000009be: JUMPDEST 000009bf: PUSH1 0x00 000009c1: PUSH1 0x20 000009c3: DUP3 000009c4: DUP5 000009c5: SUB 000009c6: SLT 000009c7: ISZERO 000009c8: PUSH2 0x09d4 000009cb: JUMPI 000009cc: PUSH2 0x09d3 000009cf: PUSH2 0x0dfe 000009d2: JUMP 000009d3: JUMPDEST 000009d4: JUMPDEST 000009d5: PUSH1 0x00 000009d7: PUSH2 0x09e2 000009da: DUP5 000009db: DUP3 000009dc: DUP6 000009dd: ADD 000009de: PUSH2 0x0952 000009e1: JUMP 000009e2: JUMPDEST 000009e3: SWAP2 000009e4: POP 000009e5: POP 000009e6: SWAP3 000009e7: SWAP2 000009e8: POP 000009e9: POP 000009ea: JUMP 000009eb: JUMPDEST 000009ec: PUSH1 0x00 000009ee: PUSH1 0x20 000009f0: DUP3 000009f1: DUP5 000009f2: SUB 000009f3: SLT 000009f4: ISZERO 000009f5: PUSH2 0x0a01 000009f8: JUMPI 000009f9: PUSH2 0x0a00 000009fc: PUSH2 0x0dfe 000009ff: JUMP 00000a00: JUMPDEST 00000a01: JUMPDEST 00000a02: PUSH1 0x00 00000a04: PUSH2 0x0a0f 00000a07: DUP5 00000a08: DUP3 00000a09: DUP6 00000a0a: ADD 00000a0b: PUSH2 0x097c 00000a0e: JUMP 00000a0f: JUMPDEST 00000a10: SWAP2 00000a11: POP 00000a12: POP 00000a13: SWAP3 00000a14: SWAP2 00000a15: POP 00000a16: POP 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x00 00000a1b: DUP1 00000a1c: PUSH1 0x00 00000a1e: DUP1 00000a1f: PUSH1 0x80 00000a21: DUP6 00000a22: DUP8 00000a23: SUB 00000a24: SLT 00000a25: ISZERO 00000a26: PUSH2 0x0a32 00000a29: JUMPI 00000a2a: PUSH2 0x0a31 00000a2d: PUSH2 0x0dfe 00000a30: JUMP 00000a31: JUMPDEST 00000a32: JUMPDEST 00000a33: PUSH1 0x00 00000a35: PUSH2 0x0a40 00000a38: DUP8 00000a39: DUP3 00000a3a: DUP9 00000a3b: ADD 00000a3c: PUSH2 0x0967 00000a3f: JUMP 00000a40: JUMPDEST 00000a41: SWAP5 00000a42: POP 00000a43: POP 00000a44: PUSH1 0x20 00000a46: PUSH2 0x0a51 00000a49: DUP8 00000a4a: DUP3 00000a4b: DUP9 00000a4c: ADD 00000a4d: PUSH2 0x0967 00000a50: JUMP 00000a51: JUMPDEST 00000a52: SWAP4 00000a53: POP 00000a54: POP 00000a55: PUSH1 0x40 00000a57: PUSH2 0x0a62 00000a5a: DUP8 00000a5b: DUP3 00000a5c: DUP9 00000a5d: ADD 00000a5e: PUSH2 0x0967 00000a61: JUMP 00000a62: JUMPDEST 00000a63: SWAP3 00000a64: POP 00000a65: POP 00000a66: PUSH1 0x60 00000a68: PUSH2 0x0a73 00000a6b: DUP8 00000a6c: DUP3 00000a6d: DUP9 00000a6e: ADD 00000a6f: PUSH2 0x093d 00000a72: JUMP 00000a73: JUMPDEST 00000a74: SWAP2 00000a75: POP 00000a76: POP 00000a77: SWAP3 00000a78: SWAP6 00000a79: SWAP2 00000a7a: SWAP5 00000a7b: POP 00000a7c: SWAP3 00000a7d: POP 00000a7e: JUMP 00000a7f: JUMPDEST 00000a80: PUSH1 0x00 00000a82: DUP1 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: PUSH1 0x00 00000a88: PUSH1 0xa0 00000a8a: DUP7 00000a8b: DUP9 00000a8c: SUB 00000a8d: SLT 00000a8e: ISZERO 00000a8f: PUSH2 0x0a9b 00000a92: JUMPI 00000a93: PUSH2 0x0a9a 00000a96: PUSH2 0x0dfe 00000a99: JUMP 00000a9a: JUMPDEST 00000a9b: JUMPDEST 00000a9c: PUSH1 0x00 00000a9e: PUSH2 0x0aa9 00000aa1: DUP9 00000aa2: DUP3 00000aa3: DUP10 00000aa4: ADD 00000aa5: PUSH2 0x0967 00000aa8: JUMP 00000aa9: JUMPDEST 00000aaa: SWAP6 00000aab: POP 00000aac: POP 00000aad: PUSH1 0x20 00000aaf: PUSH2 0x0aba 00000ab2: DUP9 00000ab3: DUP3 00000ab4: DUP10 00000ab5: ADD 00000ab6: PUSH2 0x0967 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: SWAP5 00000abc: POP 00000abd: POP 00000abe: PUSH1 0x40 00000ac0: PUSH2 0x0acb 00000ac3: DUP9 00000ac4: DUP3 00000ac5: DUP10 00000ac6: ADD 00000ac7: PUSH2 0x0967 00000aca: JUMP 00000acb: JUMPDEST 00000acc: SWAP4 00000acd: POP 00000ace: POP 00000acf: PUSH1 0x60 00000ad1: PUSH2 0x0adc 00000ad4: DUP9 00000ad5: DUP3 00000ad6: DUP10 00000ad7: ADD 00000ad8: PUSH2 0x093d 00000adb: JUMP 00000adc: JUMPDEST 00000add: SWAP3 00000ade: POP 00000adf: POP 00000ae0: PUSH1 0x80 00000ae2: PUSH2 0x0aed 00000ae5: DUP9 00000ae6: DUP3 00000ae7: DUP10 00000ae8: ADD 00000ae9: PUSH2 0x093d 00000aec: JUMP 00000aed: JUMPDEST 00000aee: SWAP2 00000aef: POP 00000af0: POP 00000af1: SWAP3 00000af2: SWAP6 00000af3: POP 00000af4: SWAP3 00000af5: SWAP6 00000af6: SWAP1 00000af7: SWAP4 00000af8: POP 00000af9: JUMP 00000afa: JUMPDEST 00000afb: PUSH2 0x0b03 00000afe: DUP2 00000aff: PUSH2 0x0d42 00000b02: JUMP 00000b03: JUMPDEST 00000b04: DUP3 00000b05: MSTORE 00000b06: POP 00000b07: POP 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH1 0x00 00000b0c: PUSH2 0x0b14 00000b0f: DUP3 00000b10: PUSH2 0x0d0a 00000b13: JUMP 00000b14: JUMPDEST 00000b15: PUSH2 0x0b1e 00000b18: DUP2 00000b19: DUP6 00000b1a: PUSH2 0x0d15 00000b1d: JUMP 00000b1e: JUMPDEST 00000b1f: SWAP4 00000b20: POP 00000b21: PUSH2 0x0b2e 00000b24: DUP2 00000b25: DUP6 00000b26: PUSH1 0x20 00000b28: DUP7 00000b29: ADD 00000b2a: PUSH2 0x0d9c 00000b2d: JUMP 00000b2e: JUMPDEST 00000b2f: PUSH2 0x0b37 00000b32: DUP2 00000b33: PUSH2 0x0e03 00000b36: JUMP 00000b37: JUMPDEST 00000b38: DUP5 00000b39: ADD 00000b3a: SWAP2 00000b3b: POP 00000b3c: POP 00000b3d: SWAP3 00000b3e: SWAP2 00000b3f: POP 00000b40: POP 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH1 0x00 00000b45: PUSH2 0x0b4d 00000b48: DUP3 00000b49: PUSH2 0x0d0a 00000b4c: JUMP 00000b4d: JUMPDEST 00000b4e: PUSH2 0x0b57 00000b51: DUP2 00000b52: DUP6 00000b53: PUSH2 0x0d26 00000b56: JUMP 00000b57: JUMPDEST 00000b58: SWAP4 00000b59: POP 00000b5a: PUSH2 0x0b67 00000b5d: DUP2 00000b5e: DUP6 00000b5f: PUSH1 0x20 00000b61: DUP7 00000b62: ADD 00000b63: PUSH2 0x0d9c 00000b66: JUMP 00000b67: JUMPDEST 00000b68: DUP1 00000b69: DUP5 00000b6a: ADD 00000b6b: SWAP2 00000b6c: POP 00000b6d: POP 00000b6e: SWAP3 00000b6f: SWAP2 00000b70: POP 00000b71: POP 00000b72: JUMP 00000b73: JUMPDEST 00000b74: PUSH2 0x0b7c 00000b77: DUP2 00000b78: PUSH2 0x0d8a 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: DUP3 00000b7e: MSTORE 00000b7f: POP 00000b80: POP 00000b81: JUMP 00000b82: JUMPDEST 00000b83: PUSH1 0x00 00000b85: PUSH2 0x0b8f 00000b88: PUSH1 0x04 00000b8a: DUP4 00000b8b: PUSH2 0x0d31 00000b8e: JUMP 00000b8f: JUMPDEST 00000b90: SWAP2 00000b91: POP 00000b92: PUSH2 0x0b9a 00000b95: DUP3 00000b96: PUSH2 0x0e14 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: PUSH1 0x20 00000b9d: DUP3 00000b9e: ADD 00000b9f: SWAP1 00000ba0: POP 00000ba1: SWAP2 00000ba2: SWAP1 00000ba3: POP 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: PUSH1 0x00 00000ba8: PUSH2 0x0bb2 00000bab: PUSH1 0x13 00000bad: DUP4 00000bae: PUSH2 0x0d31 00000bb1: JUMP 00000bb2: JUMPDEST 00000bb3: SWAP2 00000bb4: POP 00000bb5: PUSH2 0x0bbd 00000bb8: DUP3 00000bb9: PUSH2 0x0e3d 00000bbc: JUMP 00000bbd: JUMPDEST 00000bbe: PUSH1 0x20 00000bc0: DUP3 00000bc1: ADD 00000bc2: SWAP1 00000bc3: POP 00000bc4: SWAP2 00000bc5: SWAP1 00000bc6: POP 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH2 0x0bd1 00000bcc: DUP2 00000bcd: PUSH2 0x0d80 00000bd0: JUMP 00000bd1: JUMPDEST 00000bd2: DUP3 00000bd3: MSTORE 00000bd4: POP 00000bd5: POP 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x00 00000bda: PUSH2 0x0be3 00000bdd: DUP3 00000bde: DUP5 00000bdf: PUSH2 0x0b42 00000be2: JUMP 00000be3: JUMPDEST 00000be4: SWAP2 00000be5: POP 00000be6: DUP2 00000be7: SWAP1 00000be8: POP 00000be9: SWAP3 00000bea: SWAP2 00000beb: POP 00000bec: POP 00000bed: JUMP 00000bee: JUMPDEST 00000bef: PUSH1 0x00 00000bf1: PUSH1 0x20 00000bf3: DUP3 00000bf4: ADD 00000bf5: SWAP1 00000bf6: POP 00000bf7: PUSH2 0x0c03 00000bfa: PUSH1 0x00 00000bfc: DUP4 00000bfd: ADD 00000bfe: DUP5 00000bff: PUSH2 0x0afa 00000c02: JUMP 00000c03: JUMPDEST 00000c04: SWAP3 00000c05: SWAP2 00000c06: POP 00000c07: POP 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: PUSH1 0x00 00000c0c: PUSH1 0x40 00000c0e: DUP3 00000c0f: ADD 00000c10: SWAP1 00000c11: POP 00000c12: PUSH2 0x0c1e 00000c15: PUSH1 0x00 00000c17: DUP4 00000c18: ADD 00000c19: DUP6 00000c1a: PUSH2 0x0afa 00000c1d: JUMP 00000c1e: JUMPDEST 00000c1f: PUSH2 0x0c2b 00000c22: PUSH1 0x20 00000c24: DUP4 00000c25: ADD 00000c26: DUP5 00000c27: PUSH2 0x0bc8 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: SWAP4 00000c2d: SWAP3 00000c2e: POP 00000c2f: POP 00000c30: POP 00000c31: JUMP 00000c32: JUMPDEST 00000c33: PUSH1 0x00 00000c35: PUSH1 0x80 00000c37: DUP3 00000c38: ADD 00000c39: SWAP1 00000c3a: POP 00000c3b: PUSH2 0x0c47 00000c3e: PUSH1 0x00 00000c40: DUP4 00000c41: ADD 00000c42: DUP8 00000c43: PUSH2 0x0b73 00000c46: JUMP 00000c47: JUMPDEST 00000c48: PUSH2 0x0c54 00000c4b: PUSH1 0x20 00000c4d: DUP4 00000c4e: ADD 00000c4f: DUP7 00000c50: PUSH2 0x0bc8 00000c53: JUMP 00000c54: JUMPDEST 00000c55: PUSH2 0x0c61 00000c58: PUSH1 0x40 00000c5a: DUP4 00000c5b: ADD 00000c5c: DUP6 00000c5d: PUSH2 0x0afa 00000c60: JUMP 00000c61: JUMPDEST 00000c62: DUP2 00000c63: DUP2 00000c64: SUB 00000c65: PUSH1 0x60 00000c67: DUP4 00000c68: ADD 00000c69: MSTORE 00000c6a: PUSH2 0x0c73 00000c6d: DUP2 00000c6e: DUP5 00000c6f: PUSH2 0x0b09 00000c72: JUMP 00000c73: JUMPDEST 00000c74: SWAP1 00000c75: POP 00000c76: SWAP6 00000c77: SWAP5 00000c78: POP 00000c79: POP 00000c7a: POP 00000c7b: POP 00000c7c: POP 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x00 00000c81: PUSH1 0x20 00000c83: DUP3 00000c84: ADD 00000c85: SWAP1 00000c86: POP 00000c87: DUP2 00000c88: DUP2 00000c89: SUB 00000c8a: PUSH1 0x00 00000c8c: DUP4 00000c8d: ADD 00000c8e: MSTORE 00000c8f: PUSH2 0x0c97 00000c92: DUP2 00000c93: PUSH2 0x0b82 00000c96: JUMP 00000c97: JUMPDEST 00000c98: SWAP1 00000c99: POP 00000c9a: SWAP2 00000c9b: SWAP1 00000c9c: POP 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH1 0x00 00000ca1: PUSH1 0x20 00000ca3: DUP3 00000ca4: ADD 00000ca5: SWAP1 00000ca6: POP 00000ca7: DUP2 00000ca8: DUP2 00000ca9: SUB 00000caa: PUSH1 0x00 00000cac: DUP4 00000cad: ADD 00000cae: MSTORE 00000caf: PUSH2 0x0cb7 00000cb2: DUP2 00000cb3: PUSH2 0x0ba5 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: SWAP1 00000cb9: POP 00000cba: SWAP2 00000cbb: SWAP1 00000cbc: POP 00000cbd: JUMP 00000cbe: JUMPDEST 00000cbf: PUSH1 0x00 00000cc1: PUSH1 0x80 00000cc3: DUP3 00000cc4: ADD 00000cc5: SWAP1 00000cc6: POP 00000cc7: PUSH2 0x0cd3 00000cca: PUSH1 0x00 00000ccc: DUP4 00000ccd: ADD 00000cce: DUP8 00000ccf: PUSH2 0x0bc8 00000cd2: JUMP 00000cd3: JUMPDEST 00000cd4: PUSH2 0x0ce0 00000cd7: PUSH1 0x20 00000cd9: DUP4 00000cda: ADD 00000cdb: DUP7 00000cdc: PUSH2 0x0b73 00000cdf: JUMP 00000ce0: JUMPDEST 00000ce1: PUSH2 0x0ced 00000ce4: PUSH1 0x40 00000ce6: DUP4 00000ce7: ADD 00000ce8: DUP6 00000ce9: PUSH2 0x0afa 00000cec: JUMP 00000ced: JUMPDEST 00000cee: DUP2 00000cef: DUP2 00000cf0: SUB 00000cf1: PUSH1 0x60 00000cf3: DUP4 00000cf4: ADD 00000cf5: MSTORE 00000cf6: PUSH2 0x0cff 00000cf9: DUP2 00000cfa: DUP5 00000cfb: PUSH2 0x0b09 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: SWAP1 00000d01: POP 00000d02: SWAP6 00000d03: SWAP5 00000d04: POP 00000d05: POP 00000d06: POP 00000d07: POP 00000d08: POP 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: PUSH1 0x00 00000d0d: DUP2 00000d0e: MLOAD 00000d0f: SWAP1 00000d10: POP 00000d11: SWAP2 00000d12: SWAP1 00000d13: POP 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH1 0x00 00000d18: DUP3 00000d19: DUP3 00000d1a: MSTORE 00000d1b: PUSH1 0x20 00000d1d: DUP3 00000d1e: ADD 00000d1f: SWAP1 00000d20: POP 00000d21: SWAP3 00000d22: SWAP2 00000d23: POP 00000d24: POP 00000d25: JUMP 00000d26: JUMPDEST 00000d27: PUSH1 0x00 00000d29: DUP2 00000d2a: SWAP1 00000d2b: POP 00000d2c: SWAP3 00000d2d: SWAP2 00000d2e: POP 00000d2f: POP 00000d30: JUMP 00000d31: JUMPDEST 00000d32: PUSH1 0x00 00000d34: DUP3 00000d35: DUP3 00000d36: MSTORE 00000d37: PUSH1 0x20 00000d39: DUP3 00000d3a: ADD 00000d3b: SWAP1 00000d3c: POP 00000d3d: SWAP3 00000d3e: SWAP2 00000d3f: POP 00000d40: POP 00000d41: JUMP 00000d42: JUMPDEST 00000d43: PUSH1 0x00 00000d45: PUSH2 0x0d4d 00000d48: DUP3 00000d49: PUSH2 0x0d60 00000d4c: JUMP 00000d4d: JUMPDEST 00000d4e: SWAP1 00000d4f: POP 00000d50: SWAP2 00000d51: SWAP1 00000d52: POP 00000d53: JUMP 00000d54: JUMPDEST 00000d55: PUSH1 0x00 00000d57: DUP2 00000d58: ISZERO 00000d59: ISZERO 00000d5a: SWAP1 00000d5b: POP 00000d5c: SWAP2 00000d5d: SWAP1 00000d5e: POP 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: PUSH1 0x00 00000d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d78: DUP3 00000d79: AND 00000d7a: SWAP1 00000d7b: POP 00000d7c: SWAP2 00000d7d: SWAP1 00000d7e: POP 00000d7f: JUMP 00000d80: JUMPDEST 00000d81: PUSH1 0x00 00000d83: DUP2 00000d84: SWAP1 00000d85: POP 00000d86: SWAP2 00000d87: SWAP1 00000d88: POP 00000d89: JUMP 00000d8a: JUMPDEST 00000d8b: PUSH1 0x00 00000d8d: PUSH2 0x0d95 00000d90: DUP3 00000d91: PUSH2 0x0d80 00000d94: JUMP 00000d95: JUMPDEST 00000d96: SWAP1 00000d97: POP 00000d98: SWAP2 00000d99: SWAP1 00000d9a: POP 00000d9b: JUMP 00000d9c: JUMPDEST 00000d9d: PUSH1 0x00 00000d9f: JUMPDEST 00000da0: DUP4 00000da1: DUP2 00000da2: LT 00000da3: ISZERO 00000da4: PUSH2 0x0dba 00000da7: JUMPI 00000da8: DUP1 00000da9: DUP3 00000daa: ADD 00000dab: MLOAD 00000dac: DUP2 00000dad: DUP5 00000dae: ADD 00000daf: MSTORE 00000db0: PUSH1 0x20 00000db2: DUP2 00000db3: ADD 00000db4: SWAP1 00000db5: POP 00000db6: PUSH2 0x0d9f 00000db9: JUMP 00000dba: JUMPDEST 00000dbb: DUP4 00000dbc: DUP2 00000dbd: GT 00000dbe: ISZERO 00000dbf: PUSH2 0x0dc9 00000dc2: JUMPI 00000dc3: PUSH1 0x00 00000dc5: DUP5 00000dc6: DUP5 00000dc7: ADD 00000dc8: MSTORE 00000dc9: JUMPDEST 00000dca: POP 00000dcb: POP 00000dcc: POP 00000dcd: POP 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000df1: PUSH1 0x00 00000df3: MSTORE 00000df4: PUSH1 0x41 00000df6: PUSH1 0x04 00000df8: MSTORE 00000df9: PUSH1 0x24 00000dfb: PUSH1 0x00 00000dfd: REVERT 00000dfe: JUMPDEST 00000dff: PUSH1 0x00 00000e01: DUP1 00000e02: REVERT 00000e03: JUMPDEST 00000e04: PUSH1 0x00 00000e06: PUSH1 0x1f 00000e08: NOT 00000e09: PUSH1 0x1f 00000e0b: DUP4 00000e0c: ADD 00000e0d: AND 00000e0e: SWAP1 00000e0f: POP 00000e10: SWAP2 00000e11: SWAP1 00000e12: POP 00000e13: JUMP 00000e14: JUMPDEST 00000e15: PUSH32 0x73686f6f00000000000000000000000000000000000000000000000000000000 00000e36: PUSH1 0x00 00000e38: DUP3 00000e39: ADD 00000e3a: MSTORE 00000e3b: POP 00000e3c: JUMP 00000e3d: JUMPDEST 00000e3e: PUSH32 0x736166655472616e73666572206661696c656400000000000000000000000000 00000e5f: PUSH1 0x00 00000e61: DUP3 00000e62: ADD 00000e63: MSTORE 00000e64: POP 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH2 0x0e6f 00000e6a: DUP2 00000e6b: PUSH2 0x0d42 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: DUP2 00000e71: EQ 00000e72: PUSH2 0x0e7a 00000e75: JUMPI 00000e76: PUSH1 0x00 00000e78: DUP1 00000e79: REVERT 00000e7a: JUMPDEST 00000e7b: POP 00000e7c: JUMP 00000e7d: JUMPDEST 00000e7e: PUSH2 0x0e86 00000e81: DUP2 00000e82: PUSH2 0x0d54 00000e85: JUMP 00000e86: JUMPDEST 00000e87: DUP2 00000e88: EQ 00000e89: PUSH2 0x0e91 00000e8c: JUMPI 00000e8d: PUSH1 0x00 00000e8f: DUP1 00000e90: REVERT 00000e91: JUMPDEST 00000e92: POP 00000e93: JUMP 00000e94: JUMPDEST 00000e95: PUSH2 0x0e9d 00000e98: DUP2 00000e99: PUSH2 0x0d80 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: DUP2 00000e9f: EQ 00000ea0: PUSH2 0x0ea8 00000ea3: JUMPI 00000ea4: PUSH1 0x00 00000ea6: DUP1 00000ea7: REVERT 00000ea8: JUMPDEST 00000ea9: POP 00000eaa: JUMP 00000eab: INVALID 00000eac: LOG2 00000ead: PUSH5 0x6970667358 00000eb3: UNKNOWN(0x22) 00000eb4: SLT 00000eb5: KECCAK256 00000eb6: UNKNOWN(0xF6) 00000eb7: UNKNOWN(0xEC) 00000eb8: PUSH26 0x40c63c4956eb3ae0eaee67d4b3afd6645c61bbe64e945de27cfb 00000ed3: UNKNOWN(0xF7) 00000ed4: DIV 00000ed5: UNKNOWN(0xDE) 00000ed6: PUSH5 0x736f6c6343 00000edc: STOP 00000edd: ADDMOD 00000ede: MOD 00000edf: STOP 00000ee0: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xac165a60cf80e8b34f36b3dbbe52db0bc35b2a1796549fc84d12568b5ce24cbb
call_targets:
0x2fea965e184b36a364c19fbc4740d491a87e6584
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xac165a60cf80e8b34f36b3dbbe52db0bc35b2a1796549fc84d12568b5ce24cbb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2fea965e184b36a364c19fbc4740d491a87e6584"
],
"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": "0x09c613c8",
"selector": "0x09c613c8",
"calldata_variants": [
"0x09c613c8",
"0x09c613c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e8c708e",
"selector": "0x9e8c708e",
"calldata_variants": [
"0x9e8c708e",
"0x9e8c708e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd040c9c6",
"selector": "0xd040c9c6",
"calldata_variants": [
"0xd040c9c6",
"0xd040c9c60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 219,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "constant"
},
{
"pc": 333,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "constant"
},
{
"pc": 622,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [
{
"pc": 86,
"type": "msg_sender_eq_const",
"value": 1.415250132628742e+48
},
{
"pc": 502,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1141,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1465,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 9
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xac165a60cf80e8b34f36b3dbbe52db0bc35b2a1796549fc84d12568b5ce24cbb
call_targets:
0x2fea965e184b36a364c19fbc4740d491a87e6584
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xac165a60cf80e8b34f36b3dbbe52db0bc35b2a1796549fc84d12568b5ce24cbb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2fea965e184b36a364c19fbc4740d491a87e6584"
],
"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": "0x09c613c8",
"selector": "0x09c613c8",
"calldata_variants": [
"0x09c613c8",
"0x09c613c80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e8c708e",
"selector": "0x9e8c708e",
"calldata_variants": [
"0x9e8c708e",
"0x9e8c708e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd040c9c6",
"selector": "0xd040c9c6",
"calldata_variants": [
"0xd040c9c6",
"0xd040c9c60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 219,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "constant"
},
{
"pc": 333,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "constant"
},
{
"pc": 622,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": [
{
"pc": 86,
"type": "msg_sender_eq_const",
"value": 1.415250132628742e+48
},
{
"pc": 502,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1141,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1465,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|