019b477e-d011-70a7-a16a-2dec0cd14869
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 |
|---|---|---|---|---|
| 27499 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27500 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92177 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92178 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92179 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92180 | 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 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x015d 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xae0b51df 0000002f: EQ 00000030: PUSH2 0x0185 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xdab5f340 0000003a: EQ 0000003b: PUSH2 0x01a5 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xdbe7e3bd 00000045: EQ 00000046: PUSH2 0x01c5 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xebf0c717 00000050: EQ 00000051: PUSH2 0x0204 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0228 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x3ccfd60b 0000006b: EQ 0000006c: PUSH2 0x00b7 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x3f4ba83a 00000076: EQ 00000077: PUSH2 0x00ce 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x5c975abb 00000081: EQ 00000082: PUSH2 0x00e3 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x715018a6 0000008c: EQ 0000008d: PUSH2 0x0113 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x8456cb59 00000097: EQ 00000098: PUSH2 0x0128 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x89476069 000000a2: EQ 000000a3: PUSH2 0x013d 000000a6: JUMPI 000000a7: PUSH1 0x00 000000a9: DUP1 000000aa: REVERT 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x00b2 000000b0: JUMPI 000000b1: STOP 000000b2: JUMPDEST 000000b3: PUSH1 0x00 000000b5: DUP1 000000b6: REVERT 000000b7: JUMPDEST 000000b8: CALLVALUE 000000b9: DUP1 000000ba: ISZERO 000000bb: PUSH2 0x00c3 000000be: JUMPI 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: POP 000000c5: PUSH2 0x00cc 000000c8: PUSH2 0x0248 000000cb: JUMP 000000cc: JUMPDEST 000000cd: STOP 000000ce: JUMPDEST 000000cf: CALLVALUE 000000d0: DUP1 000000d1: ISZERO 000000d2: PUSH2 0x00da 000000d5: JUMPI 000000d6: PUSH1 0x00 000000d8: DUP1 000000d9: REVERT 000000da: JUMPDEST 000000db: POP 000000dc: PUSH2 0x00cc 000000df: PUSH2 0x02e5 000000e2: JUMP 000000e3: JUMPDEST 000000e4: CALLVALUE 000000e5: DUP1 000000e6: ISZERO 000000e7: PUSH2 0x00ef 000000ea: JUMPI 000000eb: PUSH1 0x00 000000ed: DUP1 000000ee: REVERT 000000ef: JUMPDEST 000000f0: POP 000000f1: PUSH1 0x00 000000f3: SLOAD 000000f4: PUSH1 0x01 000000f6: PUSH1 0xa0 000000f8: SHL 000000f9: SWAP1 000000fa: DIV 000000fb: PUSH1 0xff 000000fd: AND 000000fe: JUMPDEST 000000ff: PUSH1 0x40 00000101: MLOAD 00000102: SWAP1 00000103: ISZERO 00000104: ISZERO 00000105: DUP2 00000106: MSTORE 00000107: PUSH1 0x20 00000109: ADD 0000010a: JUMPDEST 0000010b: PUSH1 0x40 0000010d: MLOAD 0000010e: DUP1 0000010f: SWAP2 00000110: SUB 00000111: SWAP1 00000112: RETURN 00000113: JUMPDEST 00000114: CALLVALUE 00000115: DUP1 00000116: ISZERO 00000117: PUSH2 0x011f 0000011a: JUMPI 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: POP 00000121: PUSH2 0x00cc 00000124: PUSH2 0x02f7 00000127: JUMP 00000128: JUMPDEST 00000129: CALLVALUE 0000012a: DUP1 0000012b: ISZERO 0000012c: PUSH2 0x0134 0000012f: JUMPI 00000130: PUSH1 0x00 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: POP 00000136: PUSH2 0x00cc 00000139: PUSH2 0x0309 0000013c: JUMP 0000013d: JUMPDEST 0000013e: CALLVALUE 0000013f: DUP1 00000140: ISZERO 00000141: PUSH2 0x0149 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: POP 0000014b: PUSH2 0x00cc 0000014e: PUSH2 0x0158 00000151: CALLDATASIZE 00000152: PUSH1 0x04 00000154: PUSH2 0x095a 00000157: JUMP 00000158: JUMPDEST 00000159: PUSH2 0x0319 0000015c: JUMP 0000015d: JUMPDEST 0000015e: CALLVALUE 0000015f: DUP1 00000160: ISZERO 00000161: PUSH2 0x0169 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: POP 0000016b: PUSH1 0x00 0000016d: SLOAD 0000016e: PUSH1 0x40 00000170: MLOAD 00000171: PUSH1 0x01 00000173: PUSH1 0x01 00000175: PUSH1 0xa0 00000177: SHL 00000178: SUB 00000179: SWAP1 0000017a: SWAP2 0000017b: AND 0000017c: DUP2 0000017d: MSTORE 0000017e: PUSH1 0x20 00000180: ADD 00000181: PUSH2 0x010a 00000184: JUMP 00000185: JUMPDEST 00000186: CALLVALUE 00000187: DUP1 00000188: ISZERO 00000189: PUSH2 0x0191 0000018c: JUMPI 0000018d: PUSH1 0x00 0000018f: DUP1 00000190: REVERT 00000191: JUMPDEST 00000192: POP 00000193: PUSH2 0x00cc 00000196: PUSH2 0x01a0 00000199: CALLDATASIZE 0000019a: PUSH1 0x04 0000019c: PUSH2 0x09c6 0000019f: JUMP 000001a0: JUMPDEST 000001a1: PUSH2 0x0423 000001a4: JUMP 000001a5: JUMPDEST 000001a6: CALLVALUE 000001a7: DUP1 000001a8: ISZERO 000001a9: PUSH2 0x01b1 000001ac: JUMPI 000001ad: PUSH1 0x00 000001af: DUP1 000001b0: REVERT 000001b1: JUMPDEST 000001b2: POP 000001b3: PUSH2 0x00cc 000001b6: PUSH2 0x01c0 000001b9: CALLDATASIZE 000001ba: PUSH1 0x04 000001bc: PUSH2 0x0996 000001bf: JUMP 000001c0: JUMPDEST 000001c1: PUSH2 0x0652 000001c4: JUMP 000001c5: JUMPDEST 000001c6: CALLVALUE 000001c7: DUP1 000001c8: ISZERO 000001c9: PUSH2 0x01d1 000001cc: JUMPI 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: REVERT 000001d1: JUMPDEST 000001d2: POP 000001d3: PUSH2 0x00fe 000001d6: PUSH2 0x01e0 000001d9: CALLDATASIZE 000001da: PUSH1 0x04 000001dc: PUSH2 0x0996 000001df: JUMP 000001e0: JUMPDEST 000001e1: PUSH1 0x08 000001e3: DUP2 000001e4: SWAP1 000001e5: SHR 000001e6: PUSH1 0x00 000001e8: SWAP1 000001e9: DUP2 000001ea: MSTORE 000001eb: PUSH1 0x03 000001ed: PUSH1 0x20 000001ef: MSTORE 000001f0: PUSH1 0x40 000001f2: DUP2 000001f3: KECCAK256 000001f4: SLOAD 000001f5: PUSH1 0x01 000001f7: PUSH1 0xff 000001f9: DUP5 000001fa: AND 000001fb: SHL 000001fc: AND 000001fd: ISZERO 000001fe: ISZERO 000001ff: SWAP3 00000200: SWAP2 00000201: POP 00000202: POP 00000203: JUMP 00000204: JUMPDEST 00000205: CALLVALUE 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: PUSH2 0x021a 00000215: PUSH1 0x02 00000217: SLOAD 00000218: DUP2 00000219: JUMP 0000021a: JUMPDEST 0000021b: PUSH1 0x40 0000021d: MLOAD 0000021e: SWAP1 0000021f: DUP2 00000220: MSTORE 00000221: PUSH1 0x20 00000223: ADD 00000224: PUSH2 0x010a 00000227: JUMP 00000228: JUMPDEST 00000229: CALLVALUE 0000022a: DUP1 0000022b: ISZERO 0000022c: PUSH2 0x0234 0000022f: JUMPI 00000230: PUSH1 0x00 00000232: DUP1 00000233: REVERT 00000234: JUMPDEST 00000235: POP 00000236: PUSH2 0x00cc 00000239: PUSH2 0x0243 0000023c: CALLDATASIZE 0000023d: PUSH1 0x04 0000023f: PUSH2 0x095a 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH2 0x065f 00000247: JUMP 00000248: JUMPDEST 00000249: PUSH2 0x0250 0000024c: PUSH2 0x06d8 0000024f: JUMP 00000250: JUMPDEST 00000251: PUSH1 0x40 00000253: MLOAD 00000254: SELFBALANCE 00000255: SWAP1 00000256: PUSH1 0x00 00000258: SWAP1 00000259: CALLER 0000025a: SWAP1 0000025b: DUP4 0000025c: SWAP1 0000025d: DUP4 0000025e: DUP2 0000025f: DUP2 00000260: DUP2 00000261: DUP6 00000262: DUP8 00000263: GAS 00000264: CALL 00000265: SWAP3 00000266: POP 00000267: POP 00000268: POP 00000269: RETURNDATASIZE 0000026a: DUP1 0000026b: PUSH1 0x00 0000026d: DUP2 0000026e: EQ 0000026f: PUSH2 0x0294 00000272: JUMPI 00000273: PUSH1 0x40 00000275: MLOAD 00000276: SWAP2 00000277: POP 00000278: PUSH1 0x1f 0000027a: NOT 0000027b: PUSH1 0x3f 0000027d: RETURNDATASIZE 0000027e: ADD 0000027f: AND 00000280: DUP3 00000281: ADD 00000282: PUSH1 0x40 00000284: MSTORE 00000285: RETURNDATASIZE 00000286: DUP3 00000287: MSTORE 00000288: RETURNDATASIZE 00000289: PUSH1 0x00 0000028b: PUSH1 0x20 0000028d: DUP5 0000028e: ADD 0000028f: RETURNDATACOPY 00000290: PUSH2 0x0299 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH1 0x60 00000297: SWAP2 00000298: POP 00000299: JUMPDEST 0000029a: POP 0000029b: POP 0000029c: SWAP1 0000029d: POP 0000029e: DUP1 0000029f: PUSH2 0x02e1 000002a2: JUMPI 000002a3: PUSH1 0x40 000002a5: MLOAD 000002a6: PUSH3 0x461bcd 000002aa: PUSH1 0xe5 000002ac: SHL 000002ad: DUP2 000002ae: MSTORE 000002af: PUSH1 0x20 000002b1: PUSH1 0x04 000002b3: DUP3 000002b4: ADD 000002b5: MSTORE 000002b6: PUSH1 0x0f 000002b8: PUSH1 0x24 000002ba: DUP3 000002bb: ADD 000002bc: MSTORE 000002bd: PUSH15 0x1d1c985b9cd9995c8819985a5b1959 000002cd: PUSH1 0x8a 000002cf: SHL 000002d0: PUSH1 0x44 000002d2: DUP3 000002d3: ADD 000002d4: MSTORE 000002d5: PUSH1 0x64 000002d7: ADD 000002d8: JUMPDEST 000002d9: PUSH1 0x40 000002db: MLOAD 000002dc: DUP1 000002dd: SWAP2 000002de: SUB 000002df: SWAP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: POP 000002e3: POP 000002e4: JUMP 000002e5: JUMPDEST 000002e6: PUSH2 0x02ed 000002e9: PUSH2 0x06d8 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH2 0x02f5 000002f1: PUSH2 0x0732 000002f4: JUMP 000002f5: JUMPDEST 000002f6: JUMP 000002f7: JUMPDEST 000002f8: PUSH2 0x02ff 000002fb: PUSH2 0x06d8 000002fe: JUMP 000002ff: JUMPDEST 00000300: PUSH2 0x02f5 00000303: PUSH1 0x00 00000305: PUSH2 0x0787 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH2 0x0311 0000030d: PUSH2 0x06d8 00000310: JUMP 00000311: JUMPDEST 00000312: PUSH2 0x02f5 00000315: PUSH2 0x07d7 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH2 0x0321 0000031d: PUSH2 0x06d8 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x40 00000324: MLOAD 00000325: PUSH4 0x70a08231 0000032a: PUSH1 0xe0 0000032c: SHL 0000032d: DUP2 0000032e: MSTORE 0000032f: ADDRESS 00000330: PUSH1 0x04 00000332: DUP3 00000333: ADD 00000334: MSTORE 00000335: PUSH1 0x00 00000337: SWAP1 00000338: PUSH1 0x01 0000033a: PUSH1 0x01 0000033c: PUSH1 0xa0 0000033e: SHL 0000033f: SUB 00000340: DUP4 00000341: AND 00000342: SWAP1 00000343: PUSH4 0x70a08231 00000348: SWAP1 00000349: PUSH1 0x24 0000034b: ADD 0000034c: PUSH1 0x20 0000034e: PUSH1 0x40 00000350: MLOAD 00000351: DUP1 00000352: DUP4 00000353: SUB 00000354: DUP2 00000355: DUP7 00000356: DUP1 00000357: EXTCODESIZE 00000358: ISZERO 00000359: DUP1 0000035a: ISZERO 0000035b: PUSH2 0x0363 0000035e: JUMPI 0000035f: PUSH1 0x00 00000361: DUP1 00000362: REVERT 00000363: JUMPDEST 00000364: POP 00000365: GAS 00000366: STATICCALL 00000367: ISZERO 00000368: DUP1 00000369: ISZERO 0000036a: PUSH2 0x0377 0000036d: JUMPI 0000036e: RETURNDATASIZE 0000036f: PUSH1 0x00 00000371: DUP1 00000372: RETURNDATACOPY 00000373: RETURNDATASIZE 00000374: PUSH1 0x00 00000376: REVERT 00000377: JUMPDEST 00000378: POP 00000379: POP 0000037a: POP 0000037b: POP 0000037c: PUSH1 0x40 0000037e: MLOAD 0000037f: RETURNDATASIZE 00000380: PUSH1 0x1f 00000382: NOT 00000383: PUSH1 0x1f 00000385: DUP3 00000386: ADD 00000387: AND 00000388: DUP3 00000389: ADD 0000038a: DUP1 0000038b: PUSH1 0x40 0000038d: MSTORE 0000038e: POP 0000038f: DUP2 00000390: ADD 00000391: SWAP1 00000392: PUSH2 0x039b 00000395: SWAP2 00000396: SWAP1 00000397: PUSH2 0x09ae 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH1 0x40 0000039e: MLOAD 0000039f: PUSH4 0xa9059cbb 000003a4: PUSH1 0xe0 000003a6: SHL 000003a7: DUP2 000003a8: MSTORE 000003a9: CALLER 000003aa: PUSH1 0x04 000003ac: DUP3 000003ad: ADD 000003ae: MSTORE 000003af: PUSH1 0x24 000003b1: DUP2 000003b2: ADD 000003b3: DUP3 000003b4: SWAP1 000003b5: MSTORE 000003b6: SWAP1 000003b7: SWAP2 000003b8: POP 000003b9: PUSH1 0x01 000003bb: PUSH1 0x01 000003bd: PUSH1 0xa0 000003bf: SHL 000003c0: SUB 000003c1: DUP4 000003c2: AND 000003c3: SWAP1 000003c4: PUSH4 0xa9059cbb 000003c9: SWAP1 000003ca: PUSH1 0x44 000003cc: ADD 000003cd: PUSH1 0x20 000003cf: PUSH1 0x40 000003d1: MLOAD 000003d2: DUP1 000003d3: DUP4 000003d4: SUB 000003d5: DUP2 000003d6: PUSH1 0x00 000003d8: DUP8 000003d9: DUP1 000003da: EXTCODESIZE 000003db: ISZERO 000003dc: DUP1 000003dd: ISZERO 000003de: PUSH2 0x03e6 000003e1: JUMPI 000003e2: PUSH1 0x00 000003e4: DUP1 000003e5: REVERT 000003e6: JUMPDEST 000003e7: POP 000003e8: GAS 000003e9: CALL 000003ea: ISZERO 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03fa 000003f0: JUMPI 000003f1: RETURNDATASIZE 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: RETURNDATACOPY 000003f6: RETURNDATASIZE 000003f7: PUSH1 0x00 000003f9: REVERT 000003fa: JUMPDEST 000003fb: POP 000003fc: POP 000003fd: POP 000003fe: POP 000003ff: PUSH1 0x40 00000401: MLOAD 00000402: RETURNDATASIZE 00000403: PUSH1 0x1f 00000405: NOT 00000406: PUSH1 0x1f 00000408: DUP3 00000409: ADD 0000040a: AND 0000040b: DUP3 0000040c: ADD 0000040d: DUP1 0000040e: PUSH1 0x40 00000410: MSTORE 00000411: POP 00000412: DUP2 00000413: ADD 00000414: SWAP1 00000415: PUSH2 0x041e 00000418: SWAP2 00000419: SWAP1 0000041a: PUSH2 0x0976 0000041d: JUMP 0000041e: JUMPDEST 0000041f: POP 00000420: POP 00000421: POP 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH2 0x042b 00000427: PUSH2 0x081a 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH1 0x02 0000042e: PUSH1 0x01 00000430: SLOAD 00000431: EQ 00000432: ISZERO 00000433: PUSH2 0x047e 00000436: JUMPI 00000437: PUSH1 0x40 00000439: MLOAD 0000043a: PUSH3 0x461bcd 0000043e: PUSH1 0xe5 00000440: SHL 00000441: DUP2 00000442: MSTORE 00000443: PUSH1 0x20 00000445: PUSH1 0x04 00000447: DUP3 00000448: ADD 00000449: MSTORE 0000044a: PUSH1 0x1f 0000044c: PUSH1 0x24 0000044e: DUP3 0000044f: ADD 00000450: MSTORE 00000451: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000472: PUSH1 0x44 00000474: DUP3 00000475: ADD 00000476: MSTORE 00000477: PUSH1 0x64 00000479: ADD 0000047a: PUSH2 0x02d8 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH1 0x02 00000481: PUSH1 0x01 00000483: SWAP1 00000484: DUP2 00000485: SSTORE 00000486: PUSH1 0x08 00000488: DUP4 00000489: SWAP1 0000048a: SHR 0000048b: PUSH1 0x00 0000048d: SWAP1 0000048e: DUP2 0000048f: MSTORE 00000490: PUSH1 0x03 00000492: PUSH1 0x20 00000494: MSTORE 00000495: PUSH1 0x40 00000497: SWAP1 00000498: KECCAK256 00000499: SLOAD 0000049a: PUSH1 0xff 0000049c: DUP5 0000049d: AND 0000049e: SWAP2 0000049f: SWAP1 000004a0: SWAP2 000004a1: SHL 000004a2: AND 000004a3: ISZERO 000004a4: PUSH2 0x04d9 000004a7: JUMPI 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: PUSH3 0x461bcd 000004af: PUSH1 0xe5 000004b1: SHL 000004b2: DUP2 000004b3: MSTORE 000004b4: PUSH1 0x20 000004b6: PUSH1 0x04 000004b8: DUP3 000004b9: ADD 000004ba: MSTORE 000004bb: PUSH1 0x07 000004bd: PUSH1 0x24 000004bf: DUP3 000004c0: ADD 000004c1: MSTORE 000004c2: PUSH7 0x18db185a5b5959 000004ca: PUSH1 0xca 000004cc: SHL 000004cd: PUSH1 0x44 000004cf: DUP3 000004d0: ADD 000004d1: MSTORE 000004d2: PUSH1 0x64 000004d4: ADD 000004d5: PUSH2 0x02d8 000004d8: JUMP 000004d9: JUMPDEST 000004da: PUSH1 0x08 000004dc: DUP3 000004dd: SWAP1 000004de: SHR 000004df: PUSH1 0x00 000004e1: SWAP1 000004e2: DUP2 000004e3: MSTORE 000004e4: PUSH1 0x03 000004e6: PUSH1 0x20 000004e8: MSTORE 000004e9: PUSH1 0x40 000004eb: SWAP1 000004ec: KECCAK256 000004ed: DUP1 000004ee: SLOAD 000004ef: PUSH1 0x01 000004f1: PUSH1 0xff 000004f3: DUP6 000004f4: AND 000004f5: SHL 000004f6: OR 000004f7: SWAP1 000004f8: SSTORE 000004f9: PUSH1 0x40 000004fb: MLOAD 000004fc: PUSH12 0xffffffffffffffffffffffff 00000509: NOT 0000050a: CALLER 0000050b: PUSH1 0x60 0000050d: SHL 0000050e: AND 0000050f: PUSH1 0x20 00000511: DUP3 00000512: ADD 00000513: MSTORE 00000514: PUSH1 0x34 00000516: DUP2 00000517: ADD 00000518: DUP4 00000519: SWAP1 0000051a: MSTORE 0000051b: PUSH1 0x54 0000051d: DUP2 0000051e: ADD 0000051f: DUP5 00000520: SWAP1 00000521: MSTORE 00000522: PUSH1 0x00 00000524: SWAP1 00000525: PUSH1 0x74 00000527: ADD 00000528: PUSH1 0x40 0000052a: MLOAD 0000052b: PUSH1 0x20 0000052d: DUP2 0000052e: DUP4 0000052f: SUB 00000530: SUB 00000531: DUP2 00000532: MSTORE 00000533: SWAP1 00000534: PUSH1 0x40 00000536: MSTORE 00000537: DUP1 00000538: MLOAD 00000539: SWAP1 0000053a: PUSH1 0x20 0000053c: ADD 0000053d: KECCAK256 0000053e: SWAP1 0000053f: POP 00000540: PUSH2 0x054c 00000543: DUP3 00000544: PUSH1 0x02 00000546: SLOAD 00000547: DUP4 00000548: PUSH2 0x0867 0000054b: JUMP 0000054c: JUMPDEST 0000054d: PUSH2 0x0588 00000550: JUMPI 00000551: PUSH1 0x40 00000553: MLOAD 00000554: PUSH3 0x461bcd 00000558: PUSH1 0xe5 0000055a: SHL 0000055b: DUP2 0000055c: MSTORE 0000055d: PUSH1 0x20 0000055f: PUSH1 0x04 00000561: DUP3 00000562: ADD 00000563: MSTORE 00000564: PUSH1 0x0d 00000566: PUSH1 0x24 00000568: DUP3 00000569: ADD 0000056a: MSTORE 0000056b: PUSH13 0x34b73b30b634b210383937b7b3 00000579: PUSH1 0x99 0000057b: SHL 0000057c: PUSH1 0x44 0000057e: DUP3 0000057f: ADD 00000580: MSTORE 00000581: PUSH1 0x64 00000583: ADD 00000584: PUSH2 0x02d8 00000587: JUMP 00000588: JUMPDEST 00000589: PUSH1 0x40 0000058b: MLOAD 0000058c: PUSH1 0x00 0000058e: SWAP1 0000058f: CALLER 00000590: SWAP1 00000591: DUP7 00000592: SWAP1 00000593: DUP4 00000594: DUP2 00000595: DUP2 00000596: DUP2 00000597: DUP6 00000598: DUP8 00000599: GAS 0000059a: CALL 0000059b: SWAP3 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: RETURNDATASIZE 000005a0: DUP1 000005a1: PUSH1 0x00 000005a3: DUP2 000005a4: EQ 000005a5: PUSH2 0x05ca 000005a8: JUMPI 000005a9: PUSH1 0x40 000005ab: MLOAD 000005ac: SWAP2 000005ad: POP 000005ae: PUSH1 0x1f 000005b0: NOT 000005b1: PUSH1 0x3f 000005b3: RETURNDATASIZE 000005b4: ADD 000005b5: AND 000005b6: DUP3 000005b7: ADD 000005b8: PUSH1 0x40 000005ba: MSTORE 000005bb: RETURNDATASIZE 000005bc: DUP3 000005bd: MSTORE 000005be: RETURNDATASIZE 000005bf: PUSH1 0x00 000005c1: PUSH1 0x20 000005c3: DUP5 000005c4: ADD 000005c5: RETURNDATACOPY 000005c6: PUSH2 0x05cf 000005c9: JUMP 000005ca: JUMPDEST 000005cb: PUSH1 0x60 000005cd: SWAP2 000005ce: POP 000005cf: JUMPDEST 000005d0: POP 000005d1: POP 000005d2: SWAP1 000005d3: POP 000005d4: DUP1 000005d5: PUSH2 0x0612 000005d8: JUMPI 000005d9: PUSH1 0x40 000005db: MLOAD 000005dc: PUSH3 0x461bcd 000005e0: PUSH1 0xe5 000005e2: SHL 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x20 000005e7: PUSH1 0x04 000005e9: DUP3 000005ea: ADD 000005eb: MSTORE 000005ec: PUSH1 0x0f 000005ee: PUSH1 0x24 000005f0: DUP3 000005f1: ADD 000005f2: MSTORE 000005f3: PUSH15 0x1d1c985b9cd9995c8819985a5b1959 00000603: PUSH1 0x8a 00000605: SHL 00000606: PUSH1 0x44 00000608: DUP3 00000609: ADD 0000060a: MSTORE 0000060b: PUSH1 0x64 0000060d: ADD 0000060e: PUSH2 0x02d8 00000611: JUMP 00000612: JUMPDEST 00000613: PUSH1 0x40 00000615: MLOAD 00000616: DUP6 00000617: DUP2 00000618: MSTORE 00000619: CALLER 0000061a: SWAP1 0000061b: PUSH32 0xd8138f8a3f377c5259ca548e70e4c2de94f129f5a11036a15b69513cba2b426a 0000063c: SWAP1 0000063d: PUSH1 0x20 0000063f: ADD 00000640: PUSH1 0x40 00000642: MLOAD 00000643: DUP1 00000644: SWAP2 00000645: SUB 00000646: SWAP1 00000647: LOG2 00000648: POP 00000649: POP 0000064a: PUSH1 0x01 0000064c: DUP1 0000064d: SSTORE 0000064e: POP 0000064f: POP 00000650: POP 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH2 0x065a 00000656: PUSH2 0x06d8 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH1 0x02 0000065d: SSTORE 0000065e: JUMP 0000065f: JUMPDEST 00000660: PUSH2 0x0667 00000663: PUSH2 0x06d8 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH1 0x01 0000066a: PUSH1 0x01 0000066c: PUSH1 0xa0 0000066e: SHL 0000066f: SUB 00000670: DUP2 00000671: AND 00000672: PUSH2 0x06cc 00000675: JUMPI 00000676: PUSH1 0x40 00000678: MLOAD 00000679: PUSH3 0x461bcd 0000067d: PUSH1 0xe5 0000067f: SHL 00000680: DUP2 00000681: MSTORE 00000682: PUSH1 0x20 00000684: PUSH1 0x04 00000686: DUP3 00000687: ADD 00000688: MSTORE 00000689: PUSH1 0x26 0000068b: PUSH1 0x24 0000068d: DUP3 0000068e: ADD 0000068f: MSTORE 00000690: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000006b1: PUSH1 0x44 000006b3: DUP3 000006b4: ADD 000006b5: MSTORE 000006b6: PUSH6 0x646472657373 000006bd: PUSH1 0xd0 000006bf: SHL 000006c0: PUSH1 0x64 000006c2: DUP3 000006c3: ADD 000006c4: MSTORE 000006c5: PUSH1 0x84 000006c7: ADD 000006c8: PUSH2 0x02d8 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH2 0x06d5 000006d0: DUP2 000006d1: PUSH2 0x0787 000006d4: JUMP 000006d5: JUMPDEST 000006d6: POP 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH1 0x00 000006db: SLOAD 000006dc: PUSH1 0x01 000006de: PUSH1 0x01 000006e0: PUSH1 0xa0 000006e2: SHL 000006e3: SUB 000006e4: AND 000006e5: CALLER 000006e6: EQ 000006e7: PUSH2 0x02f5 000006ea: JUMPI 000006eb: PUSH1 0x40 000006ed: MLOAD 000006ee: PUSH3 0x461bcd 000006f2: PUSH1 0xe5 000006f4: SHL 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x20 000006f9: PUSH1 0x04 000006fb: DUP3 000006fc: ADD 000006fd: DUP2 000006fe: SWAP1 000006ff: MSTORE 00000700: PUSH1 0x24 00000702: DUP3 00000703: ADD 00000704: MSTORE 00000705: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000726: PUSH1 0x44 00000728: DUP3 00000729: ADD 0000072a: MSTORE 0000072b: PUSH1 0x64 0000072d: ADD 0000072e: PUSH2 0x02d8 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH2 0x073a 00000736: PUSH2 0x087d 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH1 0x00 0000073d: DUP1 0000073e: SLOAD 0000073f: PUSH1 0xff 00000741: PUSH1 0xa0 00000743: SHL 00000744: NOT 00000745: AND 00000746: SWAP1 00000747: SSTORE 00000748: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00000769: CALLER 0000076a: JUMPDEST 0000076b: PUSH1 0x40 0000076d: MLOAD 0000076e: PUSH1 0x01 00000770: PUSH1 0x01 00000772: PUSH1 0xa0 00000774: SHL 00000775: SUB 00000776: SWAP1 00000777: SWAP2 00000778: AND 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x20 0000077d: ADD 0000077e: PUSH1 0x40 00000780: MLOAD 00000781: DUP1 00000782: SWAP2 00000783: SUB 00000784: SWAP1 00000785: LOG1 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH1 0x00 0000078a: DUP1 0000078b: SLOAD 0000078c: PUSH1 0x01 0000078e: PUSH1 0x01 00000790: PUSH1 0xa0 00000792: SHL 00000793: SUB 00000794: DUP4 00000795: DUP2 00000796: AND 00000797: PUSH1 0x01 00000799: PUSH1 0x01 0000079b: PUSH1 0xa0 0000079d: SHL 0000079e: SUB 0000079f: NOT 000007a0: DUP4 000007a1: AND 000007a2: DUP2 000007a3: OR 000007a4: DUP5 000007a5: SSTORE 000007a6: PUSH1 0x40 000007a8: MLOAD 000007a9: SWAP2 000007aa: SWAP1 000007ab: SWAP3 000007ac: AND 000007ad: SWAP3 000007ae: DUP4 000007af: SWAP2 000007b0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000007d1: SWAP2 000007d2: SWAP1 000007d3: LOG3 000007d4: POP 000007d5: POP 000007d6: JUMP 000007d7: JUMPDEST 000007d8: PUSH2 0x07df 000007db: PUSH2 0x081a 000007de: JUMP 000007df: JUMPDEST 000007e0: PUSH1 0x00 000007e2: DUP1 000007e3: SLOAD 000007e4: PUSH1 0xff 000007e6: PUSH1 0xa0 000007e8: SHL 000007e9: NOT 000007ea: AND 000007eb: PUSH1 0x01 000007ed: PUSH1 0xa0 000007ef: SHL 000007f0: OR 000007f1: SWAP1 000007f2: SSTORE 000007f3: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00000814: PUSH2 0x076a 00000817: CALLER 00000818: SWAP1 00000819: JUMP 0000081a: JUMPDEST 0000081b: PUSH1 0x00 0000081d: SLOAD 0000081e: PUSH1 0x01 00000820: PUSH1 0xa0 00000822: SHL 00000823: SWAP1 00000824: DIV 00000825: PUSH1 0xff 00000827: AND 00000828: ISZERO 00000829: PUSH2 0x02f5 0000082c: JUMPI 0000082d: PUSH1 0x40 0000082f: MLOAD 00000830: PUSH3 0x461bcd 00000834: PUSH1 0xe5 00000836: SHL 00000837: DUP2 00000838: MSTORE 00000839: PUSH1 0x20 0000083b: PUSH1 0x04 0000083d: DUP3 0000083e: ADD 0000083f: MSTORE 00000840: PUSH1 0x10 00000842: PUSH1 0x24 00000844: DUP3 00000845: ADD 00000846: MSTORE 00000847: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000858: PUSH1 0x82 0000085a: SHL 0000085b: PUSH1 0x44 0000085d: DUP3 0000085e: ADD 0000085f: MSTORE 00000860: PUSH1 0x64 00000862: ADD 00000863: PUSH2 0x02d8 00000866: JUMP 00000867: JUMPDEST 00000868: PUSH1 0x00 0000086a: DUP3 0000086b: PUSH2 0x0874 0000086e: DUP6 0000086f: DUP5 00000870: PUSH2 0x08cd 00000873: JUMP 00000874: JUMPDEST 00000875: EQ 00000876: SWAP5 00000877: SWAP4 00000878: POP 00000879: POP 0000087a: POP 0000087b: POP 0000087c: JUMP 0000087d: JUMPDEST 0000087e: PUSH1 0x00 00000880: SLOAD 00000881: PUSH1 0x01 00000883: PUSH1 0xa0 00000885: SHL 00000886: SWAP1 00000887: DIV 00000888: PUSH1 0xff 0000088a: AND 0000088b: PUSH2 0x02f5 0000088e: JUMPI 0000088f: PUSH1 0x40 00000891: MLOAD 00000892: PUSH3 0x461bcd 00000896: PUSH1 0xe5 00000898: SHL 00000899: DUP2 0000089a: MSTORE 0000089b: PUSH1 0x20 0000089d: PUSH1 0x04 0000089f: DUP3 000008a0: ADD 000008a1: MSTORE 000008a2: PUSH1 0x14 000008a4: PUSH1 0x24 000008a6: DUP3 000008a7: ADD 000008a8: MSTORE 000008a9: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 000008be: PUSH1 0x62 000008c0: SHL 000008c1: PUSH1 0x44 000008c3: DUP3 000008c4: ADD 000008c5: MSTORE 000008c6: PUSH1 0x64 000008c8: ADD 000008c9: PUSH2 0x02d8 000008cc: JUMP 000008cd: JUMPDEST 000008ce: PUSH1 0x00 000008d0: DUP2 000008d1: DUP2 000008d2: JUMPDEST 000008d3: DUP5 000008d4: MLOAD 000008d5: DUP2 000008d6: LT 000008d7: ISZERO 000008d8: PUSH2 0x0920 000008db: JUMPI 000008dc: PUSH2 0x090c 000008df: DUP3 000008e0: DUP7 000008e1: DUP4 000008e2: DUP2 000008e3: MLOAD 000008e4: DUP2 000008e5: LT 000008e6: PUSH2 0x08ff 000008e9: JUMPI 000008ea: PUSH4 0x4e487b71 000008ef: PUSH1 0xe0 000008f1: SHL 000008f2: PUSH1 0x00 000008f4: MSTORE 000008f5: PUSH1 0x32 000008f7: PUSH1 0x04 000008f9: MSTORE 000008fa: PUSH1 0x24 000008fc: PUSH1 0x00 000008fe: REVERT 000008ff: JUMPDEST 00000900: PUSH1 0x20 00000902: MUL 00000903: PUSH1 0x20 00000905: ADD 00000906: ADD 00000907: MLOAD 00000908: PUSH2 0x0928 0000090b: JUMP 0000090c: JUMPDEST 0000090d: SWAP2 0000090e: POP 0000090f: DUP1 00000910: PUSH2 0x0918 00000913: DUP2 00000914: PUSH2 0x0a9b 00000917: JUMP 00000918: JUMPDEST 00000919: SWAP2 0000091a: POP 0000091b: POP 0000091c: PUSH2 0x08d2 0000091f: JUMP 00000920: JUMPDEST 00000921: POP 00000922: SWAP4 00000923: SWAP3 00000924: POP 00000925: POP 00000926: POP 00000927: JUMP 00000928: JUMPDEST 00000929: PUSH1 0x00 0000092b: DUP2 0000092c: DUP4 0000092d: LT 0000092e: PUSH2 0x0944 00000931: JUMPI 00000932: PUSH1 0x00 00000934: DUP3 00000935: DUP2 00000936: MSTORE 00000937: PUSH1 0x20 00000939: DUP5 0000093a: SWAP1 0000093b: MSTORE 0000093c: PUSH1 0x40 0000093e: SWAP1 0000093f: KECCAK256 00000940: PUSH2 0x0953 00000943: JUMP 00000944: JUMPDEST 00000945: PUSH1 0x00 00000947: DUP4 00000948: DUP2 00000949: MSTORE 0000094a: PUSH1 0x20 0000094c: DUP4 0000094d: SWAP1 0000094e: MSTORE 0000094f: PUSH1 0x40 00000951: SWAP1 00000952: KECCAK256 00000953: JUMPDEST 00000954: SWAP4 00000955: SWAP3 00000956: POP 00000957: POP 00000958: POP 00000959: JUMP 0000095a: JUMPDEST 0000095b: PUSH1 0x00 0000095d: PUSH1 0x20 0000095f: DUP3 00000960: DUP5 00000961: SUB 00000962: SLT 00000963: ISZERO 00000964: PUSH2 0x096b 00000967: JUMPI 00000968: DUP1 00000969: DUP2 0000096a: REVERT 0000096b: JUMPDEST 0000096c: DUP2 0000096d: CALLDATALOAD 0000096e: PUSH2 0x0953 00000971: DUP2 00000972: PUSH2 0x0ad8 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH1 0x00 00000979: PUSH1 0x20 0000097b: DUP3 0000097c: DUP5 0000097d: SUB 0000097e: SLT 0000097f: ISZERO 00000980: PUSH2 0x0987 00000983: JUMPI 00000984: DUP1 00000985: DUP2 00000986: REVERT 00000987: JUMPDEST 00000988: DUP2 00000989: MLOAD 0000098a: DUP1 0000098b: ISZERO 0000098c: ISZERO 0000098d: DUP2 0000098e: EQ 0000098f: PUSH2 0x0953 00000992: JUMPI 00000993: DUP2 00000994: DUP3 00000995: REVERT 00000996: JUMPDEST 00000997: PUSH1 0x00 00000999: PUSH1 0x20 0000099b: DUP3 0000099c: DUP5 0000099d: SUB 0000099e: SLT 0000099f: ISZERO 000009a0: PUSH2 0x09a7 000009a3: JUMPI 000009a4: DUP1 000009a5: DUP2 000009a6: REVERT 000009a7: JUMPDEST 000009a8: POP 000009a9: CALLDATALOAD 000009aa: SWAP2 000009ab: SWAP1 000009ac: POP 000009ad: JUMP 000009ae: JUMPDEST 000009af: PUSH1 0x00 000009b1: PUSH1 0x20 000009b3: DUP3 000009b4: DUP5 000009b5: SUB 000009b6: SLT 000009b7: ISZERO 000009b8: PUSH2 0x09bf 000009bb: JUMPI 000009bc: DUP1 000009bd: DUP2 000009be: REVERT 000009bf: JUMPDEST 000009c0: POP 000009c1: MLOAD 000009c2: SWAP2 000009c3: SWAP1 000009c4: POP 000009c5: JUMP 000009c6: JUMPDEST 000009c7: PUSH1 0x00 000009c9: DUP1 000009ca: PUSH1 0x00 000009cc: PUSH1 0x60 000009ce: DUP5 000009cf: DUP7 000009d0: SUB 000009d1: SLT 000009d2: ISZERO 000009d3: PUSH2 0x09da 000009d6: JUMPI 000009d7: DUP2 000009d8: DUP3 000009d9: REVERT 000009da: JUMPDEST 000009db: DUP4 000009dc: CALLDATALOAD 000009dd: SWAP3 000009de: POP 000009df: PUSH1 0x20 000009e1: DUP1 000009e2: DUP6 000009e3: ADD 000009e4: CALLDATALOAD 000009e5: SWAP3 000009e6: POP 000009e7: PUSH1 0x40 000009e9: DUP6 000009ea: ADD 000009eb: CALLDATALOAD 000009ec: PUSH8 0xffffffffffffffff 000009f5: DUP1 000009f6: DUP3 000009f7: GT 000009f8: ISZERO 000009f9: PUSH2 0x0a00 000009fc: JUMPI 000009fd: DUP4 000009fe: DUP5 000009ff: REVERT 00000a00: JUMPDEST 00000a01: DUP2 00000a02: DUP8 00000a03: ADD 00000a04: SWAP2 00000a05: POP 00000a06: DUP8 00000a07: PUSH1 0x1f 00000a09: DUP4 00000a0a: ADD 00000a0b: SLT 00000a0c: PUSH2 0x0a13 00000a0f: JUMPI 00000a10: DUP4 00000a11: DUP5 00000a12: REVERT 00000a13: JUMPDEST 00000a14: DUP2 00000a15: CALLDATALOAD 00000a16: DUP2 00000a17: DUP2 00000a18: GT 00000a19: ISZERO 00000a1a: PUSH2 0x0a25 00000a1d: JUMPI 00000a1e: PUSH2 0x0a25 00000a21: PUSH2 0x0ac2 00000a24: JUMP 00000a25: JUMPDEST 00000a26: DUP1 00000a27: PUSH1 0x05 00000a29: SHL 00000a2a: PUSH1 0x40 00000a2c: MLOAD 00000a2d: PUSH1 0x1f 00000a2f: NOT 00000a30: PUSH1 0x3f 00000a32: DUP4 00000a33: ADD 00000a34: AND 00000a35: DUP2 00000a36: ADD 00000a37: DUP2 00000a38: DUP2 00000a39: LT 00000a3a: DUP6 00000a3b: DUP3 00000a3c: GT 00000a3d: OR 00000a3e: ISZERO 00000a3f: PUSH2 0x0a4a 00000a42: JUMPI 00000a43: PUSH2 0x0a4a 00000a46: PUSH2 0x0ac2 00000a49: JUMP 00000a4a: JUMPDEST 00000a4b: PUSH1 0x40 00000a4d: MSTORE 00000a4e: DUP3 00000a4f: DUP2 00000a50: MSTORE 00000a51: DUP6 00000a52: DUP2 00000a53: ADD 00000a54: SWAP4 00000a55: POP 00000a56: DUP5 00000a57: DUP7 00000a58: ADD 00000a59: DUP3 00000a5a: DUP7 00000a5b: ADD 00000a5c: DUP8 00000a5d: ADD 00000a5e: DUP13 00000a5f: LT 00000a60: ISZERO 00000a61: PUSH2 0x0a68 00000a64: JUMPI 00000a65: DUP8 00000a66: DUP9 00000a67: REVERT 00000a68: JUMPDEST 00000a69: DUP8 00000a6a: SWAP6 00000a6b: POP 00000a6c: JUMPDEST 00000a6d: DUP4 00000a6e: DUP7 00000a6f: LT 00000a70: ISZERO 00000a71: PUSH2 0x0a8a 00000a74: JUMPI 00000a75: DUP1 00000a76: CALLDATALOAD 00000a77: DUP6 00000a78: MSTORE 00000a79: PUSH1 0x01 00000a7b: SWAP6 00000a7c: SWAP1 00000a7d: SWAP6 00000a7e: ADD 00000a7f: SWAP5 00000a80: SWAP4 00000a81: DUP7 00000a82: ADD 00000a83: SWAP4 00000a84: DUP7 00000a85: ADD 00000a86: PUSH2 0x0a6c 00000a89: JUMP 00000a8a: JUMPDEST 00000a8b: POP 00000a8c: DUP1 00000a8d: SWAP7 00000a8e: POP 00000a8f: POP 00000a90: POP 00000a91: POP 00000a92: POP 00000a93: POP 00000a94: POP 00000a95: SWAP3 00000a96: POP 00000a97: SWAP3 00000a98: POP 00000a99: SWAP3 00000a9a: JUMP 00000a9b: JUMPDEST 00000a9c: PUSH1 0x00 00000a9e: PUSH1 0x00 00000aa0: NOT 00000aa1: DUP3 00000aa2: EQ 00000aa3: ISZERO 00000aa4: PUSH2 0x0abb 00000aa7: JUMPI 00000aa8: PUSH4 0x4e487b71 00000aad: PUSH1 0xe0 00000aaf: SHL 00000ab0: DUP2 00000ab1: MSTORE 00000ab2: PUSH1 0x11 00000ab4: PUSH1 0x04 00000ab6: MSTORE 00000ab7: PUSH1 0x24 00000ab9: DUP2 00000aba: REVERT 00000abb: JUMPDEST 00000abc: POP 00000abd: PUSH1 0x01 00000abf: ADD 00000ac0: SWAP1 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH4 0x4e487b71 00000ac8: PUSH1 0xe0 00000aca: SHL 00000acb: PUSH1 0x00 00000acd: MSTORE 00000ace: PUSH1 0x41 00000ad0: PUSH1 0x04 00000ad2: MSTORE 00000ad3: PUSH1 0x24 00000ad5: PUSH1 0x00 00000ad7: REVERT 00000ad8: JUMPDEST 00000ad9: PUSH1 0x01 00000adb: PUSH1 0x01 00000add: PUSH1 0xa0 00000adf: SHL 00000ae0: SUB 00000ae1: DUP2 00000ae2: AND 00000ae3: DUP2 00000ae4: EQ 00000ae5: PUSH2 0x06d5 00000ae8: JUMPI 00000ae9: PUSH1 0x00 00000aeb: DUP1 00000aec: REVERT 00000aed: INVALID 00000aee: LOG2 00000aef: PUSH5 0x6970667358 00000af5: UNKNOWN(0x22) 00000af6: SLT 00000af7: KECCAK256 00000af8: UNKNOWN(0xBA) 00000af9: REVERT 00000afa: UNKNOWN(0xE2) 00000afb: LOG3 00000afc: UNKNOWN(0xD7) 00000afd: EXTCODEHASH 00000afe: PUSH9 0xb4cfcbf653b00500ee 00000b08: UNKNOWN(0xD5) 00000b09: PUSH16 0xe9eeebb0fdf85f187ee6dcab478d6473 00000b1a: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6f58a80907d9e27bac2ed03da0da402454bfd32fad88da816eb33182b62adebf
call_targets:
0x59540aaf601cec8cfa7407ce79cbc9c104ce4c84
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6f58a80907d9e27bac2ed03da0da402454bfd32fad88da816eb33182b62adebf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x59540aaf601cec8cfa7407ce79cbc9c104ce4c84"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae0b51df",
"selector": "0xae0b51df",
"calldata_variants": [
"0xae0b51df",
"0xae0b51df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdab5f340",
"selector": "0xdab5f340",
"calldata_variants": [
"0xdab5f340",
"0xdab5f3400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbe7e3bd",
"selector": "0xdbe7e3bd",
"calldata_variants": [
"0xdbe7e3bd",
"0xdbe7e3bd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebf0c717",
"selector": "0xebf0c717",
"calldata_variants": [
"0xebf0c717",
"0xebf0c7170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 612,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1434,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6f58a80907d9e27bac2ed03da0da402454bfd32fad88da816eb33182b62adebf
call_targets:
0x59540aaf601cec8cfa7407ce79cbc9c104ce4c84
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6f58a80907d9e27bac2ed03da0da402454bfd32fad88da816eb33182b62adebf",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x59540aaf601cec8cfa7407ce79cbc9c104ce4c84"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae0b51df",
"selector": "0xae0b51df",
"calldata_variants": [
"0xae0b51df",
"0xae0b51df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdab5f340",
"selector": "0xdab5f340",
"calldata_variants": [
"0xdab5f340",
"0xdab5f3400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdbe7e3bd",
"selector": "0xdbe7e3bd",
"calldata_variants": [
"0xdbe7e3bd",
"0xdbe7e3bd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xebf0c717",
"selector": "0xebf0c717",
"calldata_variants": [
"0xebf0c717",
"0xebf0c7170000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 612,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1434,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|