019b477e-d21f-7094-8c51-d9125c614247
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 |
|---|---|---|---|---|
| 27889 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27890 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103457 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103458 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103459 | detector.run | complete | 1 / 3 | 1 week ago |
| 103460 | 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 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x715018a6 00000024: EQ 00000025: PUSH2 0x02b5 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x7cb549be 0000002f: EQ 00000030: PUSH2 0x02ca 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x8da5cb5b 0000003a: EQ 0000003b: PUSH2 0x02df 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xce7c2ac2 00000045: EQ 00000046: PUSH2 0x0301 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0330 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfc0c546a 0000005b: EQ 0000005c: PUSH2 0x0350 0000005f: JUMPI 00000060: PUSH2 0x01fb 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x144fa6d7 0000006b: EQ 0000006c: PUSH2 0x0200 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x36bdee74 00000076: EQ 00000077: PUSH2 0x0220 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x3ccfd60b 00000081: EQ 00000082: PUSH2 0x024b 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x47e7ef24 0000008c: EQ 0000008d: PUSH2 0x0260 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x4e71d92d 00000097: EQ 00000098: PUSH2 0x0280 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x5eebea20 000000a2: EQ 000000a3: PUSH2 0x0295 000000a6: JUMPI 000000a7: PUSH2 0x01fb 000000aa: JUMP 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x01fb 000000b0: JUMPI 000000b1: CALLVALUE 000000b2: PUSH2 0x00ba 000000b5: JUMPI 000000b6: PUSH2 0x01f9 000000b9: JUMP 000000ba: JUMPDEST 000000bb: PUSH1 0x02 000000bd: SLOAD 000000be: PUSH1 0x40 000000c0: MLOAD 000000c1: PUSH4 0x70a08231 000000c6: PUSH1 0xe0 000000c8: SHL 000000c9: DUP2 000000ca: MSTORE 000000cb: PUSH1 0x00 000000cd: SWAP2 000000ce: PUSH1 0x01 000000d0: PUSH1 0x01 000000d2: PUSH1 0xa0 000000d4: SHL 000000d5: SUB 000000d6: AND 000000d7: SWAP1 000000d8: PUSH4 0x70a08231 000000dd: SWAP1 000000de: PUSH2 0x00eb 000000e1: SWAP1 000000e2: ADDRESS 000000e3: SWAP1 000000e4: PUSH1 0x04 000000e6: ADD 000000e7: PUSH2 0x099d 000000ea: JUMP 000000eb: JUMPDEST 000000ec: PUSH1 0x20 000000ee: PUSH1 0x40 000000f0: MLOAD 000000f1: DUP1 000000f2: DUP4 000000f3: SUB 000000f4: DUP2 000000f5: DUP7 000000f6: DUP1 000000f7: EXTCODESIZE 000000f8: ISZERO 000000f9: DUP1 000000fa: ISZERO 000000fb: PUSH2 0x0103 000000fe: JUMPI 000000ff: PUSH1 0x00 00000101: DUP1 00000102: REVERT 00000103: JUMPDEST 00000104: POP 00000105: GAS 00000106: STATICCALL 00000107: ISZERO 00000108: DUP1 00000109: ISZERO 0000010a: PUSH2 0x0117 0000010d: JUMPI 0000010e: RETURNDATASIZE 0000010f: PUSH1 0x00 00000111: DUP1 00000112: RETURNDATACOPY 00000113: RETURNDATASIZE 00000114: PUSH1 0x00 00000116: REVERT 00000117: JUMPDEST 00000118: POP 00000119: POP 0000011a: POP 0000011b: POP 0000011c: PUSH1 0x40 0000011e: MLOAD 0000011f: RETURNDATASIZE 00000120: PUSH1 0x1f 00000122: NOT 00000123: PUSH1 0x1f 00000125: DUP3 00000126: ADD 00000127: AND 00000128: DUP3 00000129: ADD 0000012a: DUP1 0000012b: PUSH1 0x40 0000012d: MSTORE 0000012e: POP 0000012f: DUP2 00000130: ADD 00000131: SWAP1 00000132: PUSH2 0x013b 00000135: SWAP2 00000136: SWAP1 00000137: PUSH2 0x0982 0000013a: JUMP 0000013b: JUMPDEST 0000013c: SWAP1 0000013d: POP 0000013e: DUP1 0000013f: PUSH2 0x015e 00000142: JUMPI 00000143: PUSH1 0x04 00000145: SLOAD 00000146: PUSH2 0x0158 00000149: SWAP1 0000014a: PUSH1 0x01 0000014c: PUSH1 0x01 0000014e: PUSH1 0xa0 00000150: SHL 00000151: SUB 00000152: AND 00000153: CALLVALUE 00000154: PUSH2 0x0365 00000157: JUMP 00000158: JUMPDEST 00000159: POP 0000015a: PUSH2 0x01f9 0000015d: JUMP 0000015e: JUMPDEST 0000015f: PUSH1 0x00 00000161: PUSH2 0x016b 00000164: PUSH1 0x05 00000166: CALLVALUE 00000167: PUSH2 0x0ba8 0000016a: JUMP 0000016b: JUMPDEST 0000016c: PUSH2 0x0176 0000016f: SWAP1 00000170: PUSH1 0x03 00000172: PUSH2 0x0bc8 00000175: JUMP 00000176: JUMPDEST 00000177: SWAP1 00000178: POP 00000179: PUSH1 0x00 0000017b: DUP3 0000017c: PUSH2 0x018d 0000017f: PUSH8 0x0de0b6b3a7640000 00000188: DUP5 00000189: PUSH2 0x0bc8 0000018c: JUMP 0000018d: JUMPDEST 0000018e: PUSH2 0x0197 00000191: SWAP2 00000192: SWAP1 00000193: PUSH2 0x0ba8 00000196: JUMP 00000197: JUMPDEST 00000198: SWAP1 00000199: POP 0000019a: DUP1 0000019b: PUSH1 0x03 0000019d: PUSH1 0x00 0000019f: DUP3 000001a0: DUP3 000001a1: SLOAD 000001a2: PUSH2 0x01ab 000001a5: SWAP2 000001a6: SWAP1 000001a7: PUSH2 0x0b90 000001aa: JUMP 000001ab: JUMPDEST 000001ac: SWAP3 000001ad: POP 000001ae: POP 000001af: DUP2 000001b0: SWAP1 000001b1: SSTORE 000001b2: POP 000001b3: DUP2 000001b4: PUSH1 0x05 000001b6: PUSH1 0x00 000001b8: DUP3 000001b9: DUP3 000001ba: SLOAD 000001bb: PUSH2 0x01c4 000001be: SWAP2 000001bf: SWAP1 000001c0: PUSH2 0x0b90 000001c3: JUMP 000001c4: JUMPDEST 000001c5: SWAP1 000001c6: SWAP2 000001c7: SSTORE 000001c8: POP 000001c9: PUSH1 0x00 000001cb: SWAP1 000001cc: POP 000001cd: PUSH2 0x01d6 000001d0: DUP4 000001d1: CALLVALUE 000001d2: PUSH2 0x0be7 000001d5: JUMP 000001d6: JUMPDEST 000001d7: SWAP1 000001d8: POP 000001d9: DUP1 000001da: ISZERO 000001db: PUSH2 0x01f4 000001de: JUMPI 000001df: PUSH1 0x04 000001e1: SLOAD 000001e2: PUSH2 0x01f4 000001e5: SWAP1 000001e6: PUSH1 0x01 000001e8: PUSH1 0x01 000001ea: PUSH1 0xa0 000001ec: SHL 000001ed: SUB 000001ee: AND 000001ef: DUP3 000001f0: PUSH2 0x0365 000001f3: JUMP 000001f4: JUMPDEST 000001f5: POP 000001f6: POP 000001f7: POP 000001f8: POP 000001f9: JUMPDEST 000001fa: STOP 000001fb: JUMPDEST 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: CALLVALUE 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x01f9 00000211: PUSH2 0x021b 00000214: CALLDATASIZE 00000215: PUSH1 0x04 00000217: PUSH2 0x091b 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x040f 0000021f: JUMP 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x0235 00000231: PUSH2 0x043d 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH1 0x40 00000238: MLOAD 00000239: PUSH2 0x0242 0000023c: SWAP2 0000023d: SWAP1 0000023e: PUSH2 0x0b71 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: MLOAD 00000246: DUP1 00000247: SWAP2 00000248: SUB 00000249: SWAP1 0000024a: RETURN 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH2 0x01f9 0000025c: PUSH2 0x0443 0000025f: JUMP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x01f9 00000271: PUSH2 0x027b 00000274: CALLDATASIZE 00000275: PUSH1 0x04 00000277: PUSH2 0x0937 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH2 0x0559 0000027f: JUMP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x01f9 00000291: PUSH2 0x05f9 00000294: JUMP 00000295: JUMPDEST 00000296: CALLVALUE 00000297: DUP1 00000298: ISZERO 00000299: PUSH2 0x02a1 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: POP 000002a3: PUSH2 0x0235 000002a6: PUSH2 0x02b0 000002a9: CALLDATASIZE 000002aa: PUSH1 0x04 000002ac: PUSH2 0x091b 000002af: JUMP 000002b0: JUMPDEST 000002b1: PUSH2 0x065b 000002b4: JUMP 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: DUP1 000002b8: ISZERO 000002b9: PUSH2 0x02c1 000002bc: JUMPI 000002bd: PUSH1 0x00 000002bf: DUP1 000002c0: REVERT 000002c1: JUMPDEST 000002c2: POP 000002c3: PUSH2 0x01f9 000002c6: PUSH2 0x06cf 000002c9: JUMP 000002ca: JUMPDEST 000002cb: CALLVALUE 000002cc: DUP1 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: PUSH2 0x0235 000002db: PUSH2 0x06e3 000002de: JUMP 000002df: JUMPDEST 000002e0: CALLVALUE 000002e1: DUP1 000002e2: ISZERO 000002e3: PUSH2 0x02eb 000002e6: JUMPI 000002e7: PUSH1 0x00 000002e9: DUP1 000002ea: REVERT 000002eb: JUMPDEST 000002ec: POP 000002ed: PUSH2 0x02f4 000002f0: PUSH2 0x06e9 000002f3: JUMP 000002f4: JUMPDEST 000002f5: PUSH1 0x40 000002f7: MLOAD 000002f8: PUSH2 0x0242 000002fb: SWAP2 000002fc: SWAP1 000002fd: PUSH2 0x099d 00000300: JUMP 00000301: JUMPDEST 00000302: CALLVALUE 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x030d 00000308: JUMPI 00000309: PUSH1 0x00 0000030b: DUP1 0000030c: REVERT 0000030d: JUMPDEST 0000030e: POP 0000030f: PUSH2 0x0321 00000312: PUSH2 0x031c 00000315: CALLDATASIZE 00000316: PUSH1 0x04 00000318: PUSH2 0x091b 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH2 0x06f8 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x40 00000324: MLOAD 00000325: PUSH2 0x0242 00000328: SWAP4 00000329: SWAP3 0000032a: SWAP2 0000032b: SWAP1 0000032c: PUSH2 0x0b7a 0000032f: JUMP 00000330: JUMPDEST 00000331: CALLVALUE 00000332: DUP1 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: POP 0000033e: PUSH2 0x01f9 00000341: PUSH2 0x034b 00000344: CALLDATASIZE 00000345: PUSH1 0x04 00000347: PUSH2 0x091b 0000034a: JUMP 0000034b: JUMPDEST 0000034c: PUSH2 0x0718 0000034f: JUMP 00000350: JUMPDEST 00000351: CALLVALUE 00000352: DUP1 00000353: ISZERO 00000354: PUSH2 0x035c 00000357: JUMPI 00000358: PUSH1 0x00 0000035a: DUP1 0000035b: REVERT 0000035c: JUMPDEST 0000035d: POP 0000035e: PUSH2 0x02f4 00000361: PUSH2 0x074f 00000364: JUMP 00000365: JUMPDEST 00000366: DUP1 00000367: SELFBALANCE 00000368: LT 00000369: ISZERO 0000036a: PUSH2 0x038e 0000036d: JUMPI 0000036e: PUSH1 0x40 00000370: MLOAD 00000371: PUSH3 0x461bcd 00000375: PUSH1 0xe5 00000377: SHL 00000378: DUP2 00000379: MSTORE 0000037a: PUSH1 0x04 0000037c: ADD 0000037d: PUSH2 0x0385 00000380: SWAP1 00000381: PUSH2 0x0aa2 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x40 00000388: MLOAD 00000389: DUP1 0000038a: SWAP2 0000038b: SUB 0000038c: SWAP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: PUSH1 0x00 00000391: DUP3 00000392: PUSH1 0x01 00000394: PUSH1 0x01 00000396: PUSH1 0xa0 00000398: SHL 00000399: SUB 0000039a: AND 0000039b: DUP3 0000039c: PUSH1 0x40 0000039e: MLOAD 0000039f: PUSH2 0x03a7 000003a2: SWAP1 000003a3: PUSH2 0x099a 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH1 0x00 000003aa: PUSH1 0x40 000003ac: MLOAD 000003ad: DUP1 000003ae: DUP4 000003af: SUB 000003b0: DUP2 000003b1: DUP6 000003b2: DUP8 000003b3: GAS 000003b4: CALL 000003b5: SWAP3 000003b6: POP 000003b7: POP 000003b8: POP 000003b9: RETURNDATASIZE 000003ba: DUP1 000003bb: PUSH1 0x00 000003bd: DUP2 000003be: EQ 000003bf: PUSH2 0x03e4 000003c2: JUMPI 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: SWAP2 000003c7: POP 000003c8: PUSH1 0x1f 000003ca: NOT 000003cb: PUSH1 0x3f 000003cd: RETURNDATASIZE 000003ce: ADD 000003cf: AND 000003d0: DUP3 000003d1: ADD 000003d2: PUSH1 0x40 000003d4: MSTORE 000003d5: RETURNDATASIZE 000003d6: DUP3 000003d7: MSTORE 000003d8: RETURNDATASIZE 000003d9: PUSH1 0x00 000003db: PUSH1 0x20 000003dd: DUP5 000003de: ADD 000003df: RETURNDATACOPY 000003e0: PUSH2 0x03e9 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH1 0x60 000003e7: SWAP2 000003e8: POP 000003e9: JUMPDEST 000003ea: POP 000003eb: POP 000003ec: SWAP1 000003ed: POP 000003ee: DUP1 000003ef: PUSH2 0x040a 000003f2: JUMPI 000003f3: PUSH1 0x40 000003f5: MLOAD 000003f6: PUSH3 0x461bcd 000003fa: PUSH1 0xe5 000003fc: SHL 000003fd: DUP2 000003fe: MSTORE 000003ff: PUSH1 0x04 00000401: ADD 00000402: PUSH2 0x0385 00000405: SWAP1 00000406: PUSH2 0x0a45 00000409: JUMP 0000040a: JUMPDEST 0000040b: POP 0000040c: POP 0000040d: POP 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH2 0x0417 00000413: PUSH2 0x075e 00000416: JUMP 00000417: JUMPDEST 00000418: PUSH1 0x02 0000041a: DUP1 0000041b: SLOAD 0000041c: PUSH1 0x01 0000041e: PUSH1 0x01 00000420: PUSH1 0xa0 00000422: SHL 00000423: SUB 00000424: NOT 00000425: AND 00000426: PUSH1 0x01 00000428: PUSH1 0x01 0000042a: PUSH1 0xa0 0000042c: SHL 0000042d: SUB 0000042e: DUP4 0000042f: AND 00000430: OR 00000431: SWAP1 00000432: SSTORE 00000433: PUSH2 0x043a 00000436: PUSH2 0x06cf 00000439: JUMP 0000043a: JUMPDEST 0000043b: POP 0000043c: JUMP 0000043d: JUMPDEST 0000043e: PUSH1 0x05 00000440: SLOAD 00000441: DUP2 00000442: JUMP 00000443: JUMPDEST 00000444: CALLER 00000445: PUSH1 0x00 00000447: SWAP1 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x01 0000044c: PUSH1 0x20 0000044e: DUP2 0000044f: DUP2 00000450: MSTORE 00000451: PUSH1 0x40 00000453: SWAP3 00000454: DUP4 00000455: SWAP1 00000456: KECCAK256 00000457: DUP4 00000458: MLOAD 00000459: PUSH1 0x60 0000045b: DUP2 0000045c: ADD 0000045d: DUP6 0000045e: MSTORE 0000045f: DUP2 00000460: SLOAD 00000461: DUP2 00000462: MSTORE 00000463: SWAP3 00000464: DUP2 00000465: ADD 00000466: SLOAD 00000467: SWAP2 00000468: DUP4 00000469: ADD 0000046a: DUP3 0000046b: SWAP1 0000046c: MSTORE 0000046d: PUSH1 0x02 0000046f: ADD 00000470: SLOAD 00000471: SWAP3 00000472: DUP3 00000473: ADD 00000474: SWAP3 00000475: SWAP1 00000476: SWAP3 00000477: MSTORE 00000478: SWAP1 00000479: PUSH2 0x0494 0000047c: JUMPI 0000047d: PUSH1 0x40 0000047f: MLOAD 00000480: PUSH3 0x461bcd 00000484: PUSH1 0xe5 00000486: SHL 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x04 0000048b: ADD 0000048c: PUSH2 0x0385 0000048f: SWAP1 00000490: PUSH2 0x0b0e 00000493: JUMP 00000494: JUMPDEST 00000495: DUP1 00000496: MLOAD 00000497: TIMESTAMP 00000498: SWAP1 00000499: PUSH2 0x04a5 0000049c: SWAP1 0000049d: PUSH3 0x069780 000004a1: PUSH2 0x0b90 000004a4: JUMP 000004a5: JUMPDEST 000004a6: LT 000004a7: PUSH2 0x04c2 000004aa: JUMPI 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: PUSH3 0x461bcd 000004b2: PUSH1 0xe5 000004b4: SHL 000004b5: DUP2 000004b6: MSTORE 000004b7: PUSH1 0x04 000004b9: ADD 000004ba: PUSH2 0x0385 000004bd: SWAP1 000004be: PUSH2 0x0b3a 000004c1: JUMP 000004c2: JUMPDEST 000004c3: PUSH1 0x02 000004c5: SLOAD 000004c6: PUSH1 0x20 000004c8: DUP3 000004c9: ADD 000004ca: MLOAD 000004cb: PUSH1 0x40 000004cd: MLOAD 000004ce: PUSH4 0xa9059cbb 000004d3: PUSH1 0xe0 000004d5: SHL 000004d6: DUP2 000004d7: MSTORE 000004d8: PUSH1 0x01 000004da: PUSH1 0x01 000004dc: PUSH1 0xa0 000004de: SHL 000004df: SUB 000004e0: SWAP1 000004e1: SWAP3 000004e2: AND 000004e3: SWAP2 000004e4: PUSH4 0xa9059cbb 000004e9: SWAP2 000004ea: PUSH2 0x04f8 000004ed: SWAP2 000004ee: CALLER 000004ef: SWAP2 000004f0: SWAP1 000004f1: PUSH1 0x04 000004f3: ADD 000004f4: PUSH2 0x09b1 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH1 0x20 000004fb: PUSH1 0x40 000004fd: MLOAD 000004fe: DUP1 000004ff: DUP4 00000500: SUB 00000501: DUP2 00000502: PUSH1 0x00 00000504: DUP8 00000505: DUP1 00000506: EXTCODESIZE 00000507: ISZERO 00000508: DUP1 00000509: ISZERO 0000050a: PUSH2 0x0512 0000050d: JUMPI 0000050e: PUSH1 0x00 00000510: DUP1 00000511: REVERT 00000512: JUMPDEST 00000513: POP 00000514: GAS 00000515: CALL 00000516: ISZERO 00000517: DUP1 00000518: ISZERO 00000519: PUSH2 0x0526 0000051c: JUMPI 0000051d: RETURNDATASIZE 0000051e: PUSH1 0x00 00000520: DUP1 00000521: RETURNDATACOPY 00000522: RETURNDATASIZE 00000523: PUSH1 0x00 00000525: REVERT 00000526: JUMPDEST 00000527: POP 00000528: POP 00000529: POP 0000052a: POP 0000052b: PUSH1 0x40 0000052d: MLOAD 0000052e: RETURNDATASIZE 0000052f: PUSH1 0x1f 00000531: NOT 00000532: PUSH1 0x1f 00000534: DUP3 00000535: ADD 00000536: AND 00000537: DUP3 00000538: ADD 00000539: DUP1 0000053a: PUSH1 0x40 0000053c: MSTORE 0000053d: POP 0000053e: DUP2 0000053f: ADD 00000540: SWAP1 00000541: PUSH2 0x054a 00000544: SWAP2 00000545: SWAP1 00000546: PUSH2 0x0962 00000549: JUMP 0000054a: JUMPDEST 0000054b: POP 0000054c: PUSH2 0x043a 0000054f: CALLER 00000550: DUP3 00000551: PUSH1 0x00 00000553: PUSH1 0x01 00000555: PUSH2 0x079d 00000558: JUMP 00000559: JUMPDEST 0000055a: PUSH1 0x02 0000055c: SLOAD 0000055d: PUSH1 0x01 0000055f: PUSH1 0x01 00000561: PUSH1 0xa0 00000563: SHL 00000564: SUB 00000565: AND 00000566: CALLER 00000567: EQ 00000568: PUSH2 0x0581 0000056b: JUMPI 0000056c: PUSH4 0x4e487b71 00000571: PUSH1 0xe0 00000573: SHL 00000574: PUSH1 0x00 00000576: MSTORE 00000577: PUSH1 0x01 00000579: PUSH1 0x04 0000057b: MSTORE 0000057c: PUSH1 0x24 0000057e: PUSH1 0x00 00000580: REVERT 00000581: JUMPDEST 00000582: PUSH1 0x00 00000584: DUP2 00000585: GT 00000586: PUSH2 0x05a1 00000589: JUMPI 0000058a: PUSH1 0x40 0000058c: MLOAD 0000058d: PUSH3 0x461bcd 00000591: PUSH1 0xe5 00000593: SHL 00000594: DUP2 00000595: MSTORE 00000596: PUSH1 0x04 00000598: ADD 00000599: PUSH2 0x0385 0000059c: SWAP1 0000059d: PUSH2 0x0a10 000005a0: JUMP 000005a1: JUMPDEST 000005a2: PUSH1 0x01 000005a4: PUSH1 0x01 000005a6: PUSH1 0xa0 000005a8: SHL 000005a9: SUB 000005aa: DUP3 000005ab: AND 000005ac: PUSH1 0x00 000005ae: SWAP1 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x01 000005b3: PUSH1 0x20 000005b5: DUP2 000005b6: DUP2 000005b7: MSTORE 000005b8: PUSH1 0x40 000005ba: SWAP3 000005bb: DUP4 000005bc: SWAP1 000005bd: KECCAK256 000005be: DUP4 000005bf: MLOAD 000005c0: PUSH1 0x60 000005c2: DUP2 000005c3: ADD 000005c4: DUP6 000005c5: MSTORE 000005c6: DUP2 000005c7: SLOAD 000005c8: DUP2 000005c9: MSTORE 000005ca: SWAP3 000005cb: DUP2 000005cc: ADD 000005cd: SLOAD 000005ce: SWAP2 000005cf: DUP4 000005d0: ADD 000005d1: DUP3 000005d2: SWAP1 000005d3: MSTORE 000005d4: PUSH1 0x02 000005d6: ADD 000005d7: SLOAD 000005d8: SWAP3 000005d9: DUP3 000005da: ADD 000005db: SWAP3 000005dc: SWAP1 000005dd: SWAP3 000005de: MSTORE 000005df: SWAP1 000005e0: PUSH2 0x040a 000005e3: SWAP1 000005e4: DUP5 000005e5: SWAP1 000005e6: DUP4 000005e7: SWAP1 000005e8: PUSH2 0x05f2 000005eb: SWAP1 000005ec: DUP7 000005ed: SWAP1 000005ee: PUSH2 0x0b90 000005f1: JUMP 000005f2: JUMPDEST 000005f3: PUSH1 0x01 000005f5: PUSH2 0x079d 000005f8: JUMP 000005f9: JUMPDEST 000005fa: CALLER 000005fb: PUSH1 0x00 000005fd: SWAP1 000005fe: DUP2 000005ff: MSTORE 00000600: PUSH1 0x01 00000602: PUSH1 0x20 00000604: DUP2 00000605: DUP2 00000606: MSTORE 00000607: PUSH1 0x40 00000609: SWAP3 0000060a: DUP4 0000060b: SWAP1 0000060c: KECCAK256 0000060d: DUP4 0000060e: MLOAD 0000060f: PUSH1 0x60 00000611: DUP2 00000612: ADD 00000613: DUP6 00000614: MSTORE 00000615: DUP2 00000616: SLOAD 00000617: DUP2 00000618: MSTORE 00000619: SWAP3 0000061a: DUP2 0000061b: ADD 0000061c: SLOAD 0000061d: SWAP2 0000061e: DUP4 0000061f: ADD 00000620: DUP3 00000621: SWAP1 00000622: MSTORE 00000623: PUSH1 0x02 00000625: ADD 00000626: SLOAD 00000627: SWAP3 00000628: DUP3 00000629: ADD 0000062a: SWAP3 0000062b: SWAP1 0000062c: SWAP3 0000062d: MSTORE 0000062e: SWAP1 0000062f: PUSH2 0x064a 00000632: JUMPI 00000633: PUSH1 0x40 00000635: MLOAD 00000636: PUSH3 0x461bcd 0000063a: PUSH1 0xe5 0000063c: SHL 0000063d: DUP2 0000063e: MSTORE 0000063f: PUSH1 0x04 00000641: ADD 00000642: PUSH2 0x0385 00000645: SWAP1 00000646: PUSH2 0x0b0e 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH2 0x043a 0000064e: CALLER 0000064f: DUP3 00000650: DUP4 00000651: PUSH1 0x20 00000653: ADD 00000654: MLOAD 00000655: PUSH1 0x00 00000657: PUSH2 0x079d 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH1 0x01 0000065e: PUSH1 0x01 00000660: PUSH1 0xa0 00000662: SHL 00000663: SUB 00000664: DUP2 00000665: AND 00000666: PUSH1 0x00 00000668: SWAP1 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x01 0000066d: PUSH1 0x20 0000066f: DUP2 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x40 00000674: DUP1 00000675: DUP5 00000676: KECCAK256 00000677: DUP2 00000678: MLOAD 00000679: PUSH1 0x60 0000067b: DUP2 0000067c: ADD 0000067d: DUP4 0000067e: MSTORE 0000067f: DUP2 00000680: SLOAD 00000681: DUP2 00000682: MSTORE 00000683: SWAP4 00000684: DUP2 00000685: ADD 00000686: SLOAD 00000687: SWAP3 00000688: DUP5 00000689: ADD 0000068a: SWAP3 0000068b: SWAP1 0000068c: SWAP3 0000068d: MSTORE 0000068e: PUSH1 0x02 00000690: SWAP1 00000691: SWAP2 00000692: ADD 00000693: SLOAD 00000694: SWAP1 00000695: DUP3 00000696: ADD 00000697: DUP2 00000698: SWAP1 00000699: MSTORE 0000069a: PUSH1 0x03 0000069c: SLOAD 0000069d: PUSH8 0x0de0b6b3a7640000 000006a6: SWAP2 000006a7: PUSH2 0x06af 000006aa: SWAP2 000006ab: PUSH2 0x0be7 000006ae: JUMP 000006af: JUMPDEST 000006b0: DUP3 000006b1: PUSH1 0x20 000006b3: ADD 000006b4: MLOAD 000006b5: PUSH2 0x06be 000006b8: SWAP2 000006b9: SWAP1 000006ba: PUSH2 0x0bc8 000006bd: JUMP 000006be: JUMPDEST 000006bf: PUSH2 0x06c8 000006c2: SWAP2 000006c3: SWAP1 000006c4: PUSH2 0x0ba8 000006c7: JUMP 000006c8: JUMPDEST 000006c9: SWAP4 000006ca: SWAP3 000006cb: POP 000006cc: POP 000006cd: POP 000006ce: JUMP 000006cf: JUMPDEST 000006d0: PUSH2 0x06d7 000006d3: PUSH2 0x075e 000006d6: JUMP 000006d7: JUMPDEST 000006d8: PUSH2 0x06e1 000006db: PUSH1 0x00 000006dd: PUSH2 0x08c7 000006e0: JUMP 000006e1: JUMPDEST 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH1 0x03 000006e6: SLOAD 000006e7: DUP2 000006e8: JUMP 000006e9: JUMPDEST 000006ea: PUSH1 0x00 000006ec: SLOAD 000006ed: PUSH1 0x01 000006ef: PUSH1 0x01 000006f1: PUSH1 0xa0 000006f3: SHL 000006f4: SUB 000006f5: AND 000006f6: SWAP1 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH1 0x01 000006fb: PUSH1 0x20 000006fd: DUP2 000006fe: SWAP1 000006ff: MSTORE 00000700: PUSH1 0x00 00000702: SWAP2 00000703: DUP3 00000704: MSTORE 00000705: PUSH1 0x40 00000707: SWAP1 00000708: SWAP2 00000709: KECCAK256 0000070a: DUP1 0000070b: SLOAD 0000070c: SWAP2 0000070d: DUP2 0000070e: ADD 0000070f: SLOAD 00000710: PUSH1 0x02 00000712: SWAP1 00000713: SWAP2 00000714: ADD 00000715: SLOAD 00000716: DUP4 00000717: JUMP 00000718: JUMPDEST 00000719: PUSH2 0x0720 0000071c: PUSH2 0x075e 0000071f: JUMP 00000720: JUMPDEST 00000721: PUSH1 0x01 00000723: PUSH1 0x01 00000725: PUSH1 0xa0 00000727: SHL 00000728: SUB 00000729: DUP2 0000072a: AND 0000072b: PUSH2 0x0746 0000072e: JUMPI 0000072f: PUSH1 0x40 00000731: MLOAD 00000732: PUSH3 0x461bcd 00000736: PUSH1 0xe5 00000738: SHL 00000739: DUP2 0000073a: MSTORE 0000073b: PUSH1 0x04 0000073d: ADD 0000073e: PUSH2 0x0385 00000741: SWAP1 00000742: PUSH2 0x09ca 00000745: JUMP 00000746: JUMPDEST 00000747: PUSH2 0x043a 0000074a: DUP2 0000074b: PUSH2 0x08c7 0000074e: JUMP 0000074f: JUMPDEST 00000750: PUSH1 0x02 00000752: SLOAD 00000753: PUSH1 0x01 00000755: PUSH1 0x01 00000757: PUSH1 0xa0 00000759: SHL 0000075a: SUB 0000075b: AND 0000075c: DUP2 0000075d: JUMP 0000075e: JUMPDEST 0000075f: PUSH2 0x0766 00000762: PUSH2 0x0917 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH1 0x01 00000769: PUSH1 0x01 0000076b: PUSH1 0xa0 0000076d: SHL 0000076e: SUB 0000076f: AND 00000770: PUSH2 0x0777 00000773: PUSH2 0x06e9 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH1 0x01 0000077a: PUSH1 0x01 0000077c: PUSH1 0xa0 0000077e: SHL 0000077f: SUB 00000780: AND 00000781: EQ 00000782: PUSH2 0x06e1 00000785: JUMPI 00000786: PUSH1 0x40 00000788: MLOAD 00000789: PUSH3 0x461bcd 0000078d: PUSH1 0xe5 0000078f: SHL 00000790: DUP2 00000791: MSTORE 00000792: PUSH1 0x04 00000794: ADD 00000795: PUSH2 0x0385 00000798: SWAP1 00000799: PUSH2 0x0ad9 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH1 0x00 000007a0: DUP4 000007a1: PUSH1 0x20 000007a3: ADD 000007a4: MLOAD 000007a5: PUSH1 0x00 000007a7: EQ 000007a8: PUSH2 0x07e2 000007ab: JUMPI 000007ac: PUSH8 0x0de0b6b3a7640000 000007b5: DUP5 000007b6: PUSH1 0x40 000007b8: ADD 000007b9: MLOAD 000007ba: PUSH1 0x03 000007bc: SLOAD 000007bd: PUSH2 0x07c6 000007c0: SWAP2 000007c1: SWAP1 000007c2: PUSH2 0x0be7 000007c5: JUMP 000007c6: JUMPDEST 000007c7: DUP6 000007c8: PUSH1 0x20 000007ca: ADD 000007cb: MLOAD 000007cc: PUSH2 0x07d5 000007cf: SWAP2 000007d0: SWAP1 000007d1: PUSH2 0x0bc8 000007d4: JUMP 000007d5: JUMPDEST 000007d6: PUSH2 0x07df 000007d9: SWAP2 000007da: SWAP1 000007db: PUSH2 0x0ba8 000007de: JUMP 000007df: JUMPDEST 000007e0: SWAP1 000007e1: POP 000007e2: JUMPDEST 000007e3: DUP3 000007e4: PUSH2 0x0813 000007e7: JUMPI 000007e8: PUSH1 0x01 000007ea: PUSH1 0x01 000007ec: PUSH1 0xa0 000007ee: SHL 000007ef: SUB 000007f0: DUP6 000007f1: AND 000007f2: PUSH1 0x00 000007f4: SWAP1 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x01 000007f9: PUSH1 0x20 000007fb: DUP2 000007fc: SWAP1 000007fd: MSTORE 000007fe: PUSH1 0x40 00000800: DUP3 00000801: KECCAK256 00000802: DUP3 00000803: DUP2 00000804: SSTORE 00000805: SWAP1 00000806: DUP2 00000807: ADD 00000808: DUP3 00000809: SWAP1 0000080a: SSTORE 0000080b: PUSH1 0x02 0000080d: ADD 0000080e: SSTORE 0000080f: PUSH2 0x08b0 00000812: JUMP 00000813: JUMPDEST 00000814: DUP2 00000815: ISZERO 00000816: PUSH2 0x0866 00000819: JUMPI 0000081a: PUSH1 0x40 0000081c: DUP1 0000081d: MLOAD 0000081e: PUSH1 0x60 00000820: DUP2 00000821: ADD 00000822: DUP3 00000823: MSTORE 00000824: TIMESTAMP 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x20 00000829: DUP1 0000082a: DUP3 0000082b: ADD 0000082c: DUP7 0000082d: DUP2 0000082e: MSTORE 0000082f: PUSH1 0x03 00000831: SLOAD 00000832: DUP4 00000833: DUP6 00000834: ADD 00000835: SWAP1 00000836: DUP2 00000837: MSTORE 00000838: PUSH1 0x01 0000083a: PUSH1 0x01 0000083c: PUSH1 0xa0 0000083e: SHL 0000083f: SUB 00000840: DUP11 00000841: AND 00000842: PUSH1 0x00 00000844: SWAP1 00000845: DUP2 00000846: MSTORE 00000847: PUSH1 0x01 00000849: SWAP4 0000084a: DUP5 0000084b: SWAP1 0000084c: MSTORE 0000084d: SWAP5 0000084e: SWAP1 0000084f: SWAP5 00000850: KECCAK256 00000851: SWAP3 00000852: MLOAD 00000853: DUP4 00000854: SSTORE 00000855: MLOAD 00000856: SWAP1 00000857: DUP3 00000858: ADD 00000859: SSTORE 0000085a: SWAP1 0000085b: MLOAD 0000085c: PUSH1 0x02 0000085e: SWAP1 0000085f: SWAP2 00000860: ADD 00000861: SSTORE 00000862: PUSH2 0x08b0 00000865: JUMP 00000866: JUMPDEST 00000867: PUSH1 0x40 00000869: DUP1 0000086a: MLOAD 0000086b: PUSH1 0x60 0000086d: DUP2 0000086e: ADD 0000086f: DUP3 00000870: MSTORE 00000871: DUP6 00000872: MLOAD 00000873: DUP2 00000874: MSTORE 00000875: PUSH1 0x20 00000877: DUP1 00000878: DUP3 00000879: ADD 0000087a: DUP7 0000087b: DUP2 0000087c: MSTORE 0000087d: PUSH1 0x03 0000087f: SLOAD 00000880: DUP4 00000881: DUP6 00000882: ADD 00000883: SWAP1 00000884: DUP2 00000885: MSTORE 00000886: PUSH1 0x01 00000888: PUSH1 0x01 0000088a: PUSH1 0xa0 0000088c: SHL 0000088d: SUB 0000088e: DUP11 0000088f: AND 00000890: PUSH1 0x00 00000892: SWAP1 00000893: DUP2 00000894: MSTORE 00000895: PUSH1 0x01 00000897: SWAP4 00000898: DUP5 00000899: SWAP1 0000089a: MSTORE 0000089b: SWAP5 0000089c: SWAP1 0000089d: SWAP5 0000089e: KECCAK256 0000089f: SWAP3 000008a0: MLOAD 000008a1: DUP4 000008a2: SSTORE 000008a3: MLOAD 000008a4: SWAP1 000008a5: DUP3 000008a6: ADD 000008a7: SSTORE 000008a8: SWAP1 000008a9: MLOAD 000008aa: PUSH1 0x02 000008ac: SWAP1 000008ad: SWAP2 000008ae: ADD 000008af: SSTORE 000008b0: JUMPDEST 000008b1: DUP1 000008b2: ISZERO 000008b3: PUSH2 0x08c0 000008b6: JUMPI 000008b7: PUSH2 0x08c0 000008ba: DUP6 000008bb: DUP3 000008bc: PUSH2 0x0365 000008bf: JUMP 000008c0: JUMPDEST 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: POP 000008c6: JUMP 000008c7: JUMPDEST 000008c8: PUSH1 0x00 000008ca: DUP1 000008cb: SLOAD 000008cc: PUSH1 0x01 000008ce: PUSH1 0x01 000008d0: PUSH1 0xa0 000008d2: SHL 000008d3: SUB 000008d4: DUP4 000008d5: DUP2 000008d6: AND 000008d7: PUSH1 0x01 000008d9: PUSH1 0x01 000008db: PUSH1 0xa0 000008dd: SHL 000008de: SUB 000008df: NOT 000008e0: DUP4 000008e1: AND 000008e2: DUP2 000008e3: OR 000008e4: DUP5 000008e5: SSTORE 000008e6: PUSH1 0x40 000008e8: MLOAD 000008e9: SWAP2 000008ea: SWAP1 000008eb: SWAP3 000008ec: AND 000008ed: SWAP3 000008ee: DUP4 000008ef: SWAP2 000008f0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000911: SWAP2 00000912: SWAP1 00000913: LOG3 00000914: POP 00000915: POP 00000916: JUMP 00000917: JUMPDEST 00000918: CALLER 00000919: SWAP1 0000091a: JUMP 0000091b: JUMPDEST 0000091c: PUSH1 0x00 0000091e: PUSH1 0x20 00000920: DUP3 00000921: DUP5 00000922: SUB 00000923: SLT 00000924: ISZERO 00000925: PUSH2 0x092c 00000928: JUMPI 00000929: DUP1 0000092a: DUP2 0000092b: REVERT 0000092c: JUMPDEST 0000092d: DUP2 0000092e: CALLDATALOAD 0000092f: PUSH2 0x06c8 00000932: DUP2 00000933: PUSH2 0x0c14 00000936: JUMP 00000937: JUMPDEST 00000938: PUSH1 0x00 0000093a: DUP1 0000093b: PUSH1 0x40 0000093d: DUP4 0000093e: DUP6 0000093f: SUB 00000940: SLT 00000941: ISZERO 00000942: PUSH2 0x0949 00000945: JUMPI 00000946: DUP1 00000947: DUP2 00000948: REVERT 00000949: JUMPDEST 0000094a: DUP3 0000094b: CALLDATALOAD 0000094c: PUSH2 0x0954 0000094f: DUP2 00000950: PUSH2 0x0c14 00000953: JUMP 00000954: JUMPDEST 00000955: SWAP5 00000956: PUSH1 0x20 00000958: SWAP4 00000959: SWAP1 0000095a: SWAP4 0000095b: ADD 0000095c: CALLDATALOAD 0000095d: SWAP4 0000095e: POP 0000095f: POP 00000960: POP 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH1 0x00 00000965: PUSH1 0x20 00000967: DUP3 00000968: DUP5 00000969: SUB 0000096a: SLT 0000096b: ISZERO 0000096c: PUSH2 0x0973 0000096f: JUMPI 00000970: DUP1 00000971: DUP2 00000972: REVERT 00000973: JUMPDEST 00000974: DUP2 00000975: MLOAD 00000976: DUP1 00000977: ISZERO 00000978: ISZERO 00000979: DUP2 0000097a: EQ 0000097b: PUSH2 0x06c8 0000097e: JUMPI 0000097f: DUP2 00000980: DUP3 00000981: REVERT 00000982: JUMPDEST 00000983: PUSH1 0x00 00000985: PUSH1 0x20 00000987: DUP3 00000988: DUP5 00000989: SUB 0000098a: SLT 0000098b: ISZERO 0000098c: PUSH2 0x0993 0000098f: JUMPI 00000990: DUP1 00000991: DUP2 00000992: REVERT 00000993: JUMPDEST 00000994: POP 00000995: MLOAD 00000996: SWAP2 00000997: SWAP1 00000998: POP 00000999: JUMP 0000099a: JUMPDEST 0000099b: SWAP1 0000099c: JUMP 0000099d: JUMPDEST 0000099e: PUSH1 0x01 000009a0: PUSH1 0x01 000009a2: PUSH1 0xa0 000009a4: SHL 000009a5: SUB 000009a6: SWAP2 000009a7: SWAP1 000009a8: SWAP2 000009a9: AND 000009aa: DUP2 000009ab: MSTORE 000009ac: PUSH1 0x20 000009ae: ADD 000009af: SWAP1 000009b0: JUMP 000009b1: JUMPDEST 000009b2: PUSH1 0x01 000009b4: PUSH1 0x01 000009b6: PUSH1 0xa0 000009b8: SHL 000009b9: SUB 000009ba: SWAP3 000009bb: SWAP1 000009bc: SWAP3 000009bd: AND 000009be: DUP3 000009bf: MSTORE 000009c0: PUSH1 0x20 000009c2: DUP3 000009c3: ADD 000009c4: MSTORE 000009c5: PUSH1 0x40 000009c7: ADD 000009c8: SWAP1 000009c9: JUMP 000009ca: JUMPDEST 000009cb: PUSH1 0x20 000009cd: DUP1 000009ce: DUP3 000009cf: MSTORE 000009d0: PUSH1 0x26 000009d2: SWAP1 000009d3: DUP3 000009d4: ADD 000009d5: MSTORE 000009d6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000009f7: PUSH1 0x40 000009f9: DUP3 000009fa: ADD 000009fb: MSTORE 000009fc: PUSH6 0x646472657373 00000a03: PUSH1 0xd0 00000a05: SHL 00000a06: PUSH1 0x60 00000a08: DUP3 00000a09: ADD 00000a0a: MSTORE 00000a0b: PUSH1 0x80 00000a0d: ADD 00000a0e: SWAP1 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: PUSH1 0x20 00000a13: DUP1 00000a14: DUP3 00000a15: MSTORE 00000a16: DUP2 00000a17: DUP2 00000a18: ADD 00000a19: MSTORE 00000a1a: PUSH32 0x416d6f756e74206d7573742062652067726561746572207468616e207a65726f 00000a3b: PUSH1 0x40 00000a3d: DUP3 00000a3e: ADD 00000a3f: MSTORE 00000a40: PUSH1 0x60 00000a42: ADD 00000a43: SWAP1 00000a44: JUMP 00000a45: JUMPDEST 00000a46: PUSH1 0x20 00000a48: DUP1 00000a49: DUP3 00000a4a: MSTORE 00000a4b: PUSH1 0x3a 00000a4d: SWAP1 00000a4e: DUP3 00000a4f: ADD 00000a50: MSTORE 00000a51: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000a72: PUSH1 0x40 00000a74: DUP3 00000a75: ADD 00000a76: MSTORE 00000a77: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000a98: PUSH1 0x60 00000a9a: DUP3 00000a9b: ADD 00000a9c: MSTORE 00000a9d: PUSH1 0x80 00000a9f: ADD 00000aa0: SWAP1 00000aa1: JUMP 00000aa2: JUMPDEST 00000aa3: PUSH1 0x20 00000aa5: DUP1 00000aa6: DUP3 00000aa7: MSTORE 00000aa8: PUSH1 0x1d 00000aaa: SWAP1 00000aab: DUP3 00000aac: ADD 00000aad: MSTORE 00000aae: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000acf: PUSH1 0x40 00000ad1: DUP3 00000ad2: ADD 00000ad3: MSTORE 00000ad4: PUSH1 0x60 00000ad6: ADD 00000ad7: SWAP1 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: PUSH1 0x20 00000adc: DUP1 00000add: DUP3 00000ade: MSTORE 00000adf: DUP2 00000ae0: DUP2 00000ae1: ADD 00000ae2: MSTORE 00000ae3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b04: PUSH1 0x40 00000b06: DUP3 00000b07: ADD 00000b08: MSTORE 00000b09: PUSH1 0x60 00000b0b: ADD 00000b0c: SWAP1 00000b0d: JUMP 00000b0e: JUMPDEST 00000b0f: PUSH1 0x20 00000b11: DUP1 00000b12: DUP3 00000b13: MSTORE 00000b14: PUSH1 0x12 00000b16: SWAP1 00000b17: DUP3 00000b18: ADD 00000b19: MSTORE 00000b1a: PUSH18 0x139bc81a5b9a5d1a585b0819195c1bdcda5d 00000b2d: PUSH1 0x72 00000b2f: SHL 00000b30: PUSH1 0x40 00000b32: DUP3 00000b33: ADD 00000b34: MSTORE 00000b35: PUSH1 0x60 00000b37: ADD 00000b38: SWAP1 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH1 0x20 00000b3d: DUP1 00000b3e: DUP3 00000b3f: MSTORE 00000b40: PUSH1 0x17 00000b42: SWAP1 00000b43: DUP3 00000b44: ADD 00000b45: MSTORE 00000b46: PUSH32 0x7769746864726177206166746572206f6e65207765656b000000000000000000 00000b67: PUSH1 0x40 00000b69: DUP3 00000b6a: ADD 00000b6b: MSTORE 00000b6c: PUSH1 0x60 00000b6e: ADD 00000b6f: SWAP1 00000b70: JUMP 00000b71: JUMPDEST 00000b72: SWAP1 00000b73: DUP2 00000b74: MSTORE 00000b75: PUSH1 0x20 00000b77: ADD 00000b78: SWAP1 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: SWAP3 00000b7c: DUP4 00000b7d: MSTORE 00000b7e: PUSH1 0x20 00000b80: DUP4 00000b81: ADD 00000b82: SWAP2 00000b83: SWAP1 00000b84: SWAP2 00000b85: MSTORE 00000b86: PUSH1 0x40 00000b88: DUP3 00000b89: ADD 00000b8a: MSTORE 00000b8b: PUSH1 0x60 00000b8d: ADD 00000b8e: SWAP1 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH1 0x00 00000b93: DUP3 00000b94: NOT 00000b95: DUP3 00000b96: GT 00000b97: ISZERO 00000b98: PUSH2 0x0ba3 00000b9b: JUMPI 00000b9c: PUSH2 0x0ba3 00000b9f: PUSH2 0x0bfe 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: POP 00000ba5: ADD 00000ba6: SWAP1 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH1 0x00 00000bab: DUP3 00000bac: PUSH2 0x0bc3 00000baf: JUMPI 00000bb0: PUSH4 0x4e487b71 00000bb5: PUSH1 0xe0 00000bb7: SHL 00000bb8: DUP2 00000bb9: MSTORE 00000bba: PUSH1 0x12 00000bbc: PUSH1 0x04 00000bbe: MSTORE 00000bbf: PUSH1 0x24 00000bc1: DUP2 00000bc2: REVERT 00000bc3: JUMPDEST 00000bc4: POP 00000bc5: DIV 00000bc6: SWAP1 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x00 00000bcb: DUP2 00000bcc: PUSH1 0x00 00000bce: NOT 00000bcf: DIV 00000bd0: DUP4 00000bd1: GT 00000bd2: DUP3 00000bd3: ISZERO 00000bd4: ISZERO 00000bd5: AND 00000bd6: ISZERO 00000bd7: PUSH2 0x0be2 00000bda: JUMPI 00000bdb: PUSH2 0x0be2 00000bde: PUSH2 0x0bfe 00000be1: JUMP 00000be2: JUMPDEST 00000be3: POP 00000be4: MUL 00000be5: SWAP1 00000be6: JUMP 00000be7: JUMPDEST 00000be8: PUSH1 0x00 00000bea: DUP3 00000beb: DUP3 00000bec: LT 00000bed: ISZERO 00000bee: PUSH2 0x0bf9 00000bf1: JUMPI 00000bf2: PUSH2 0x0bf9 00000bf5: PUSH2 0x0bfe 00000bf8: JUMP 00000bf9: JUMPDEST 00000bfa: POP 00000bfb: SUB 00000bfc: SWAP1 00000bfd: JUMP 00000bfe: JUMPDEST 00000bff: PUSH4 0x4e487b71 00000c04: PUSH1 0xe0 00000c06: SHL 00000c07: PUSH1 0x00 00000c09: MSTORE 00000c0a: PUSH1 0x11 00000c0c: PUSH1 0x04 00000c0e: MSTORE 00000c0f: PUSH1 0x24 00000c11: PUSH1 0x00 00000c13: REVERT 00000c14: JUMPDEST 00000c15: PUSH1 0x01 00000c17: PUSH1 0x01 00000c19: PUSH1 0xa0 00000c1b: SHL 00000c1c: SUB 00000c1d: DUP2 00000c1e: AND 00000c1f: DUP2 00000c20: EQ 00000c21: PUSH2 0x043a 00000c24: JUMPI 00000c25: PUSH1 0x00 00000c27: DUP1 00000c28: REVERT 00000c29: INVALID 00000c2a: LOG2 00000c2b: PUSH5 0x6970667358 00000c31: UNKNOWN(0x22) 00000c32: SLT 00000c33: KECCAK256 00000c34: UNKNOWN(0x28) 00000c35: UNKNOWN(0xAC) 00000c36: PUSH3 0x20dabb 00000c3a: DUP12 00000c3b: SWAP12 00000c3c: JUMP 00000c3d: UNKNOWN(0xEB) 00000c3e: SHL 00000c3f: UNKNOWN(0xB0) 00000c40: CALL 00000c41: CREATE2 00000c42: CALLVALUE 00000c43: UNKNOWN(0xAE) 00000c44: PC 00000c45: UNKNOWN(0xED) 00000c46: UNKNOWN(0xAB) 00000c47: UNKNOWN(0xDD) 00000c48: MCOPY 00000c49: PUSH25
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf2bd57bddf02d8891794925b117b4dd0d3128520bf6bad4c1c856ff827dc17f9
call_targets:
0xa640f2abbbaf5150fbbc3469b28360ff6f92da60
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf2bd57bddf02d8891794925b117b4dd0d3128520bf6bad4c1c856ff827dc17f9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa640f2abbbaf5150fbbc3469b28360ff6f92da60"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cb549be",
"selector": "0x7cb549be",
"calldata_variants": [
"0x7cb549be",
"0x7cb549be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36bdee74",
"selector": "0x36bdee74",
"calldata_variants": [
"0x36bdee74",
"0x36bdee740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 948,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1301,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3136,
"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: 0xf2bd57bddf02d8891794925b117b4dd0d3128520bf6bad4c1c856ff827dc17f9
call_targets:
0xa640f2abbbaf5150fbbc3469b28360ff6f92da60
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf2bd57bddf02d8891794925b117b4dd0d3128520bf6bad4c1c856ff827dc17f9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa640f2abbbaf5150fbbc3469b28360ff6f92da60"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cb549be",
"selector": "0x7cb549be",
"calldata_variants": [
"0x7cb549be",
"0x7cb549be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36bdee74",
"selector": "0x36bdee74",
"calldata_variants": [
"0x36bdee74",
"0x36bdee740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 948,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1301,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3136,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x0d03158696f32c44ddf9601ce585d2223eed1db60381ddfe35e137597f238df3
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0x0d03158696f32c44ddf9601ce585d2223eed1db60381ddfe35e137597f238df3",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7cb549be",
"selector": "0x7cb549be",
"calldata_variants": [
"0x7cb549be",
"0x7cb549be0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36bdee74",
"selector": "0x36bdee74",
"calldata_variants": [
"0x36bdee74",
"0x36bdee740000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|