019b3844-a9ad-72ef-bdaa-61a4be7255ba
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 |
|---|---|---|---|---|
| 16937 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 16938 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 60498 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 60499 | capability.graph | complete | 1 / 3 | 1 week ago |
| 60500 | detector.run | complete | 1 / 3 | 1 week ago |
| 60501 | 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 0x00e1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8456cb59 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbad490dc 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbad490dc 0000002f: EQ 00000030: PUSH2 0x0216 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd7a78db8 0000003a: EQ 0000003b: PUSH2 0x022b 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf851a440 00000045: EQ 00000046: PUSH2 0x024b 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfd7e1bee 00000050: EQ 00000051: PUSH2 0x0260 00000054: JUMPI 00000055: PUSH2 0x00f0 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8456cb59 00000060: EQ 00000061: PUSH2 0x01cc 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8f283970 0000006b: EQ 0000006c: PUSH2 0x01e1 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x9fd0506d 00000076: EQ 00000077: PUSH2 0x0201 0000007a: JUMPI 0000007b: PUSH2 0x00f0 0000007e: JUMP 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x3f4ba83a 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x3f4ba83a 00000091: EQ 00000092: PUSH2 0x0162 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x4f1ef286 0000009c: EQ 0000009d: PUSH2 0x0177 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x5c60da1b 000000a7: EQ 000000a8: PUSH2 0x018a 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x5c975abb 000000b2: EQ 000000b3: PUSH2 0x01b7 000000b6: JUMPI 000000b7: PUSH2 0x00f0 000000ba: JUMP 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x054f7d9c 000000c2: EQ 000000c3: PUSH2 0x00f8 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x2cd271e7 000000cd: EQ 000000ce: PUSH2 0x0122 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x3659cfe6 000000d8: EQ 000000d9: PUSH2 0x0142 000000dc: JUMPI 000000dd: PUSH2 0x00f0 000000e0: JUMP 000000e1: JUMPDEST 000000e2: CALLDATASIZE 000000e3: PUSH2 0x00f0 000000e6: JUMPI 000000e7: PUSH2 0x00ee 000000ea: PUSH2 0x0283 000000ed: JUMP 000000ee: JUMPDEST 000000ef: STOP 000000f0: JUMPDEST 000000f1: PUSH2 0x00ee 000000f4: PUSH2 0x0283 000000f7: JUMP 000000f8: JUMPDEST 000000f9: CALLVALUE 000000fa: DUP1 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: PUSH2 0x010d 00000109: PUSH2 0x029d 0000010c: JUMP 0000010d: JUMPDEST 0000010e: PUSH1 0x40 00000110: MLOAD 00000111: SWAP1 00000112: ISZERO 00000113: ISZERO 00000114: DUP2 00000115: MSTORE 00000116: PUSH1 0x20 00000118: ADD 00000119: JUMPDEST 0000011a: PUSH1 0x40 0000011c: MLOAD 0000011d: DUP1 0000011e: SWAP2 0000011f: SUB 00000120: SWAP1 00000121: RETURN 00000122: JUMPDEST 00000123: CALLVALUE 00000124: DUP1 00000125: ISZERO 00000126: PUSH2 0x012e 00000129: JUMPI 0000012a: PUSH1 0x00 0000012c: DUP1 0000012d: REVERT 0000012e: JUMPDEST 0000012f: POP 00000130: PUSH2 0x00ee 00000133: PUSH2 0x013d 00000136: CALLDATASIZE 00000137: PUSH1 0x04 00000139: PUSH2 0x0d3f 0000013c: JUMP 0000013d: JUMPDEST 0000013e: PUSH2 0x02ce 00000141: JUMP 00000142: JUMPDEST 00000143: CALLVALUE 00000144: DUP1 00000145: ISZERO 00000146: PUSH2 0x014e 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: POP 00000150: PUSH2 0x00ee 00000153: PUSH2 0x015d 00000156: CALLDATASIZE 00000157: PUSH1 0x04 00000159: PUSH2 0x0d3f 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH2 0x034c 00000161: JUMP 00000162: JUMPDEST 00000163: CALLVALUE 00000164: DUP1 00000165: ISZERO 00000166: PUSH2 0x016e 00000169: JUMPI 0000016a: PUSH1 0x00 0000016c: DUP1 0000016d: REVERT 0000016e: JUMPDEST 0000016f: POP 00000170: PUSH2 0x00ee 00000173: PUSH2 0x0386 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH2 0x00ee 0000017b: PUSH2 0x0185 0000017e: CALLDATASIZE 0000017f: PUSH1 0x04 00000181: PUSH2 0x0d5a 00000184: JUMP 00000185: JUMPDEST 00000186: PUSH2 0x03dc 00000189: JUMP 0000018a: JUMPDEST 0000018b: CALLVALUE 0000018c: DUP1 0000018d: ISZERO 0000018e: PUSH2 0x0196 00000191: JUMPI 00000192: PUSH1 0x00 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: POP 00000198: PUSH2 0x019f 0000019b: PUSH2 0x044b 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: PUSH1 0x01 000001a5: PUSH1 0x01 000001a7: PUSH1 0xa0 000001a9: SHL 000001aa: SUB 000001ab: SWAP1 000001ac: SWAP2 000001ad: AND 000001ae: DUP2 000001af: MSTORE 000001b0: PUSH1 0x20 000001b2: ADD 000001b3: PUSH2 0x0119 000001b6: JUMP 000001b7: JUMPDEST 000001b8: CALLVALUE 000001b9: DUP1 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: POP 000001c5: PUSH2 0x010d 000001c8: PUSH2 0x046c 000001cb: JUMP 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: DUP1 000001cf: ISZERO 000001d0: PUSH2 0x01d8 000001d3: JUMPI 000001d4: PUSH1 0x00 000001d6: DUP1 000001d7: REVERT 000001d8: JUMPDEST 000001d9: POP 000001da: PUSH2 0x00ee 000001dd: PUSH2 0x04d7 000001e0: JUMP 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: DUP1 000001e4: ISZERO 000001e5: PUSH2 0x01ed 000001e8: JUMPI 000001e9: PUSH1 0x00 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: POP 000001ef: PUSH2 0x00ee 000001f2: PUSH2 0x01fc 000001f5: CALLDATASIZE 000001f6: PUSH1 0x04 000001f8: PUSH2 0x0d3f 000001fb: JUMP 000001fc: JUMPDEST 000001fd: PUSH2 0x0540 00000200: JUMP 00000201: JUMPDEST 00000202: CALLVALUE 00000203: DUP1 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: POP 0000020f: PUSH2 0x019f 00000212: PUSH2 0x0568 00000215: JUMP 00000216: JUMPDEST 00000217: CALLVALUE 00000218: DUP1 00000219: ISZERO 0000021a: PUSH2 0x0222 0000021d: JUMPI 0000021e: PUSH1 0x00 00000220: DUP1 00000221: REVERT 00000222: JUMPDEST 00000223: POP 00000224: PUSH2 0x00ee 00000227: PUSH2 0x05b6 0000022a: JUMP 0000022b: JUMPDEST 0000022c: CALLVALUE 0000022d: DUP1 0000022e: ISZERO 0000022f: PUSH2 0x0237 00000232: JUMPI 00000233: PUSH1 0x00 00000235: DUP1 00000236: REVERT 00000237: JUMPDEST 00000238: POP 00000239: PUSH2 0x00ee 0000023c: PUSH2 0x0246 0000023f: CALLDATASIZE 00000240: PUSH1 0x04 00000242: PUSH2 0x0ddd 00000245: JUMP 00000246: JUMPDEST 00000247: PUSH2 0x05d5 0000024a: JUMP 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 0x019f 0000025c: PUSH2 0x05f5 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 0x0275 00000271: PUSH2 0x0616 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH1 0x40 00000278: MLOAD 00000279: SWAP1 0000027a: DUP2 0000027b: MSTORE 0000027c: PUSH1 0x20 0000027e: ADD 0000027f: PUSH2 0x0119 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH2 0x028b 00000287: PUSH2 0x0692 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH2 0x029b 0000028f: PUSH2 0x0296 00000292: PUSH2 0x06f0 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH2 0x06fa 0000029a: JUMP 0000029b: JUMPDEST 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x00 000002a0: PUSH2 0x02a7 000002a3: PUSH2 0x071e 000002a6: JUMP 000002a7: JUMPDEST 000002a8: PUSH1 0x01 000002aa: PUSH1 0x01 000002ac: PUSH1 0xa0 000002ae: SHL 000002af: SUB 000002b0: AND 000002b1: CALLER 000002b2: SUB 000002b3: PUSH2 0x02c3 000002b6: JUMPI 000002b7: PUSH2 0x02be 000002ba: PUSH2 0x0751 000002bd: JUMP 000002be: JUMPDEST 000002bf: SWAP1 000002c0: POP 000002c1: SWAP1 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH2 0x02cb 000002c7: PUSH2 0x0283 000002ca: JUMP 000002cb: JUMPDEST 000002cc: SWAP1 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH2 0x02d6 000002d2: PUSH2 0x071e 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH1 0x01 000002d9: PUSH1 0x01 000002db: PUSH1 0xa0 000002dd: SHL 000002de: SUB 000002df: AND 000002e0: CALLER 000002e1: SUB 000002e2: PUSH2 0x0344 000002e5: JUMPI 000002e6: PUSH2 0x02ed 000002e9: PUSH2 0x0794 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH32 0x95bb211a5a393c4d30c3edc9a745825fba4e6ad3e3bb949e6bf8ccdfe431a811 0000030f: PUSH2 0x0316 00000312: PUSH2 0x07ba 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH1 0x40 00000319: DUP1 0000031a: MLOAD 0000031b: PUSH1 0x01 0000031d: PUSH1 0x01 0000031f: PUSH1 0xa0 00000321: SHL 00000322: SUB 00000323: SWAP3 00000324: DUP4 00000325: AND 00000326: DUP2 00000327: MSTORE 00000328: SWAP2 00000329: DUP5 0000032a: AND 0000032b: PUSH1 0x20 0000032d: DUP4 0000032e: ADD 0000032f: MSTORE 00000330: ADD 00000331: PUSH1 0x40 00000333: MLOAD 00000334: DUP1 00000335: SWAP2 00000336: SUB 00000337: SWAP1 00000338: LOG1 00000339: PUSH2 0x0341 0000033c: DUP2 0000033d: PUSH2 0x07ea 00000340: JUMP 00000341: JUMPDEST 00000342: POP 00000343: JUMP 00000344: JUMPDEST 00000345: PUSH2 0x0341 00000348: PUSH2 0x0283 0000034b: JUMP 0000034c: JUMPDEST 0000034d: PUSH2 0x0354 00000350: PUSH2 0x071e 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH1 0x01 00000357: PUSH1 0x01 00000359: PUSH1 0xa0 0000035b: SHL 0000035c: SUB 0000035d: AND 0000035e: CALLER 0000035f: SUB 00000360: PUSH2 0x0344 00000363: JUMPI 00000364: PUSH2 0x036b 00000367: PUSH2 0x0794 0000036a: JUMP 0000036b: JUMPDEST 0000036c: PUSH2 0x0341 0000036f: DUP2 00000370: PUSH1 0x40 00000372: MLOAD 00000373: DUP1 00000374: PUSH1 0x20 00000376: ADD 00000377: PUSH1 0x40 00000379: MSTORE 0000037a: DUP1 0000037b: PUSH1 0x00 0000037d: DUP2 0000037e: MSTORE 0000037f: POP 00000380: PUSH1 0x00 00000382: PUSH2 0x083a 00000385: JUMP 00000386: JUMPDEST 00000387: PUSH2 0x038e 0000038a: PUSH2 0x071e 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH1 0x01 00000391: PUSH1 0x01 00000393: PUSH1 0xa0 00000395: SHL 00000396: SUB 00000397: AND 00000398: CALLER 00000399: SUB 0000039a: PUSH2 0x03d4 0000039d: JUMPI 0000039e: PUSH2 0x03a5 000003a1: PUSH2 0x0794 000003a4: JUMP 000003a5: JUMPDEST 000003a6: PUSH1 0x00 000003a8: PUSH2 0x03c3 000003ab: PUSH2 0x02cb 000003ae: PUSH1 0x01 000003b0: PUSH1 0x00 000003b2: DUP1 000003b3: MLOAD 000003b4: PUSH1 0x20 000003b6: PUSH2 0x0ea6 000003b9: DUP4 000003ba: CODECOPY 000003bb: DUP2 000003bc: MLOAD 000003bd: SWAP2 000003be: MSTORE 000003bf: PUSH2 0x0e0c 000003c2: JUMP 000003c3: JUMPDEST 000003c4: DUP1 000003c5: SLOAD 000003c6: PUSH1 0xff 000003c8: NOT 000003c9: AND 000003ca: SWAP2 000003cb: ISZERO 000003cc: ISZERO 000003cd: SWAP2 000003ce: SWAP1 000003cf: SWAP2 000003d0: OR 000003d1: SWAP1 000003d2: SSTORE 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH2 0x029b 000003d8: PUSH2 0x0283 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x03e4 000003e0: PUSH2 0x071e 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH1 0x01 000003e7: PUSH1 0x01 000003e9: PUSH1 0xa0 000003eb: SHL 000003ec: SUB 000003ed: AND 000003ee: CALLER 000003ef: SUB 000003f0: PUSH2 0x0443 000003f3: JUMPI 000003f4: PUSH2 0x03fb 000003f7: PUSH2 0x0794 000003fa: JUMP 000003fb: JUMPDEST 000003fc: PUSH2 0x043e 000003ff: DUP4 00000400: DUP4 00000401: DUP4 00000402: DUP1 00000403: DUP1 00000404: PUSH1 0x1f 00000406: ADD 00000407: PUSH1 0x20 00000409: DUP1 0000040a: SWAP2 0000040b: DIV 0000040c: MUL 0000040d: PUSH1 0x20 0000040f: ADD 00000410: PUSH1 0x40 00000412: MLOAD 00000413: SWAP1 00000414: DUP2 00000415: ADD 00000416: PUSH1 0x40 00000418: MSTORE 00000419: DUP1 0000041a: SWAP4 0000041b: SWAP3 0000041c: SWAP2 0000041d: SWAP1 0000041e: DUP2 0000041f: DUP2 00000420: MSTORE 00000421: PUSH1 0x20 00000423: ADD 00000424: DUP4 00000425: DUP4 00000426: DUP1 00000427: DUP3 00000428: DUP5 00000429: CALLDATACOPY 0000042a: PUSH1 0x00 0000042c: SWAP3 0000042d: ADD 0000042e: SWAP2 0000042f: SWAP1 00000430: SWAP2 00000431: MSTORE 00000432: POP 00000433: PUSH1 0x01 00000435: SWAP3 00000436: POP 00000437: PUSH2 0x083a 0000043a: SWAP2 0000043b: POP 0000043c: POP 0000043d: JUMP 0000043e: JUMPDEST 0000043f: POP 00000440: POP 00000441: POP 00000442: JUMP 00000443: JUMPDEST 00000444: PUSH2 0x043e 00000447: PUSH2 0x0283 0000044a: JUMP 0000044b: JUMPDEST 0000044c: PUSH1 0x00 0000044e: PUSH2 0x0455 00000451: PUSH2 0x071e 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH1 0x01 00000458: PUSH1 0x01 0000045a: PUSH1 0xa0 0000045c: SHL 0000045d: SUB 0000045e: AND 0000045f: CALLER 00000460: SUB 00000461: PUSH2 0x02c3 00000464: JUMPI 00000465: PUSH2 0x02be 00000468: PUSH2 0x06f0 0000046b: JUMP 0000046c: JUMPDEST 0000046d: PUSH1 0x00 0000046f: PUSH2 0x0476 00000472: PUSH2 0x071e 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x01 00000479: PUSH1 0x01 0000047b: PUSH1 0xa0 0000047d: SHL 0000047e: SUB 0000047f: AND 00000480: CALLER 00000481: PUSH1 0x01 00000483: PUSH1 0x01 00000485: PUSH1 0xa0 00000487: SHL 00000488: SUB 00000489: AND 0000048a: EQ 0000048b: DUP1 0000048c: PUSH2 0x04ad 0000048f: JUMPI 00000490: POP 00000491: PUSH2 0x0498 00000494: PUSH2 0x07ba 00000497: JUMP 00000498: JUMPDEST 00000499: PUSH1 0x01 0000049b: PUSH1 0x01 0000049d: PUSH1 0xa0 0000049f: SHL 000004a0: SUB 000004a1: AND 000004a2: CALLER 000004a3: PUSH1 0x01 000004a5: PUSH1 0x01 000004a7: PUSH1 0xa0 000004a9: SHL 000004aa: SUB 000004ab: AND 000004ac: EQ 000004ad: JUMPDEST 000004ae: ISZERO 000004af: PUSH2 0x02c3 000004b2: JUMPI 000004b3: PUSH2 0x04ce 000004b6: PUSH2 0x02cb 000004b9: PUSH1 0x01 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: MLOAD 000004bf: PUSH1 0x20 000004c1: PUSH2 0x0ea6 000004c4: DUP4 000004c5: CODECOPY 000004c6: DUP2 000004c7: MLOAD 000004c8: SWAP2 000004c9: MSTORE 000004ca: PUSH2 0x0e0c 000004cd: JUMP 000004ce: JUMPDEST 000004cf: SLOAD 000004d0: PUSH1 0xff 000004d2: AND 000004d3: SWAP1 000004d4: POP 000004d5: SWAP1 000004d6: JUMP 000004d7: JUMPDEST 000004d8: PUSH2 0x04df 000004db: PUSH2 0x071e 000004de: JUMP 000004df: JUMPDEST 000004e0: PUSH1 0x01 000004e2: PUSH1 0x01 000004e4: PUSH1 0xa0 000004e6: SHL 000004e7: SUB 000004e8: AND 000004e9: CALLER 000004ea: PUSH1 0x01 000004ec: PUSH1 0x01 000004ee: PUSH1 0xa0 000004f0: SHL 000004f1: SUB 000004f2: AND 000004f3: EQ 000004f4: DUP1 000004f5: PUSH2 0x0516 000004f8: JUMPI 000004f9: POP 000004fa: PUSH2 0x0501 000004fd: PUSH2 0x07ba 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x01 00000504: PUSH1 0x01 00000506: PUSH1 0xa0 00000508: SHL 00000509: SUB 0000050a: AND 0000050b: CALLER 0000050c: PUSH1 0x01 0000050e: PUSH1 0x01 00000510: PUSH1 0xa0 00000512: SHL 00000513: SUB 00000514: AND 00000515: EQ 00000516: JUMPDEST 00000517: ISZERO 00000518: PUSH2 0x03d4 0000051b: JUMPI 0000051c: PUSH2 0x0523 0000051f: PUSH2 0x0794 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH1 0x01 00000526: PUSH2 0x03c3 00000529: PUSH2 0x02cb 0000052c: DUP3 0000052d: PUSH1 0x00 0000052f: DUP1 00000530: MLOAD 00000531: PUSH1 0x20 00000533: PUSH2 0x0ea6 00000536: DUP4 00000537: CODECOPY 00000538: DUP2 00000539: MLOAD 0000053a: SWAP2 0000053b: MSTORE 0000053c: PUSH2 0x0e0c 0000053f: JUMP 00000540: JUMPDEST 00000541: PUSH2 0x0548 00000544: PUSH2 0x071e 00000547: JUMP 00000548: JUMPDEST 00000549: PUSH1 0x01 0000054b: PUSH1 0x01 0000054d: PUSH1 0xa0 0000054f: SHL 00000550: SUB 00000551: AND 00000552: CALLER 00000553: SUB 00000554: PUSH2 0x0344 00000557: JUMPI 00000558: PUSH2 0x055f 0000055b: PUSH2 0x0794 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH2 0x0341 00000563: DUP2 00000564: PUSH2 0x0865 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH1 0x00 0000056b: PUSH2 0x0572 0000056e: PUSH2 0x071e 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH1 0x01 00000575: PUSH1 0x01 00000577: PUSH1 0xa0 00000579: SHL 0000057a: SUB 0000057b: AND 0000057c: CALLER 0000057d: PUSH1 0x01 0000057f: PUSH1 0x01 00000581: PUSH1 0xa0 00000583: SHL 00000584: SUB 00000585: AND 00000586: EQ 00000587: DUP1 00000588: PUSH2 0x05a9 0000058b: JUMPI 0000058c: POP 0000058d: PUSH2 0x0594 00000590: PUSH2 0x07ba 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH1 0x01 00000597: PUSH1 0x01 00000599: PUSH1 0xa0 0000059b: SHL 0000059c: SUB 0000059d: AND 0000059e: CALLER 0000059f: PUSH1 0x01 000005a1: PUSH1 0x01 000005a3: PUSH1 0xa0 000005a5: SHL 000005a6: SUB 000005a7: AND 000005a8: EQ 000005a9: JUMPDEST 000005aa: ISZERO 000005ab: PUSH2 0x02c3 000005ae: JUMPI 000005af: PUSH2 0x02be 000005b2: PUSH2 0x07ba 000005b5: JUMP 000005b6: JUMPDEST 000005b7: PUSH2 0x05be 000005ba: PUSH2 0x071e 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH1 0x01 000005c1: PUSH1 0x01 000005c3: PUSH1 0xa0 000005c5: SHL 000005c6: SUB 000005c7: AND 000005c8: CALLER 000005c9: SUB 000005ca: PUSH2 0x03d4 000005cd: JUMPI 000005ce: PUSH2 0x029b 000005d1: PUSH2 0x08b9 000005d4: JUMP 000005d5: JUMPDEST 000005d6: PUSH2 0x05dd 000005d9: PUSH2 0x071e 000005dc: JUMP 000005dd: JUMPDEST 000005de: PUSH1 0x01 000005e0: PUSH1 0x01 000005e2: PUSH1 0xa0 000005e4: SHL 000005e5: SUB 000005e6: AND 000005e7: CALLER 000005e8: SUB 000005e9: PUSH2 0x0344 000005ec: JUMPI 000005ed: PUSH2 0x0341 000005f0: DUP2 000005f1: PUSH2 0x08d3 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x00 000005f8: PUSH2 0x05ff 000005fb: PUSH2 0x071e 000005fe: JUMP 000005ff: JUMPDEST 00000600: PUSH1 0x01 00000602: PUSH1 0x01 00000604: PUSH1 0xa0 00000606: SHL 00000607: SUB 00000608: AND 00000609: CALLER 0000060a: SUB 0000060b: PUSH2 0x02c3 0000060e: JUMPI 0000060f: PUSH2 0x02be 00000612: PUSH2 0x071e 00000615: JUMP 00000616: JUMPDEST 00000617: PUSH1 0x00 00000619: PUSH2 0x0620 0000061c: PUSH2 0x071e 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x01 00000623: PUSH1 0x01 00000625: PUSH1 0xa0 00000627: SHL 00000628: SUB 00000629: AND 0000062a: CALLER 0000062b: SUB 0000062c: PUSH2 0x02c3 0000062f: JUMPI 00000630: POP 00000631: PUSH32 0x04b06dd5becaad633b58f99e01f1e05103eff5a573d10d18c9baf1bc4e6bfd3a 00000652: SLOAD 00000653: SWAP1 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH1 0x60 00000658: PUSH2 0x067a 0000065b: DUP4 0000065c: DUP4 0000065d: PUSH1 0x40 0000065f: MLOAD 00000660: DUP1 00000661: PUSH1 0x60 00000663: ADD 00000664: PUSH1 0x40 00000666: MSTORE 00000667: DUP1 00000668: PUSH1 0x27 0000066a: DUP2 0000066b: MSTORE 0000066c: PUSH1 0x20 0000066e: ADD 0000066f: PUSH2 0x0ec6 00000672: PUSH1 0x27 00000674: SWAP2 00000675: CODECOPY 00000676: PUSH2 0x0930 00000679: JUMP 0000067a: JUMPDEST 0000067b: SWAP1 0000067c: POP 0000067d: JUMPDEST 0000067e: SWAP3 0000067f: SWAP2 00000680: POP 00000681: POP 00000682: JUMP 00000683: JUMPDEST 00000684: PUSH1 0x01 00000686: PUSH1 0x01 00000688: PUSH1 0xa0 0000068a: SHL 0000068b: SUB 0000068c: AND 0000068d: EXTCODESIZE 0000068e: ISZERO 0000068f: ISZERO 00000690: SWAP1 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH2 0x06ae 00000696: PUSH2 0x02cb 00000699: PUSH1 0x01 0000069b: PUSH1 0x00 0000069d: DUP1 0000069e: MLOAD 0000069f: PUSH1 0x20 000006a1: PUSH2 0x0ea6 000006a4: DUP4 000006a5: CODECOPY 000006a6: DUP2 000006a7: MLOAD 000006a8: SWAP2 000006a9: MSTORE 000006aa: PUSH2 0x0e0c 000006ad: JUMP 000006ae: JUMPDEST 000006af: SLOAD 000006b0: PUSH1 0xff 000006b2: AND 000006b3: ISZERO 000006b4: DUP1 000006b5: PUSH2 0x06c1 000006b8: JUMPI 000006b9: POP 000006ba: PUSH2 0x06c1 000006bd: PUSH2 0x0751 000006c0: JUMP 000006c1: JUMPDEST 000006c2: DUP1 000006c3: PUSH2 0x06ca 000006c6: JUMPI 000006c7: POP 000006c8: CALLER 000006c9: ISZERO 000006ca: JUMPDEST 000006cb: ISZERO 000006cc: PUSH2 0x06d7 000006cf: JUMPI 000006d0: PUSH2 0x029b 000006d3: PUSH2 0x09a8 000006d6: JUMP 000006d7: JUMPDEST 000006d8: PUSH1 0x40 000006da: MLOAD 000006db: PUSH4 0x09453df5 000006e0: PUSH1 0xe2 000006e2: SHL 000006e3: DUP2 000006e4: MSTORE 000006e5: PUSH1 0x04 000006e7: ADD 000006e8: PUSH1 0x40 000006ea: MLOAD 000006eb: DUP1 000006ec: SWAP2 000006ed: SUB 000006ee: SWAP1 000006ef: REVERT 000006f0: JUMPDEST 000006f1: PUSH1 0x00 000006f3: PUSH2 0x02be 000006f6: PUSH2 0x0a38 000006f9: JUMP 000006fa: JUMPDEST 000006fb: CALLDATASIZE 000006fc: PUSH1 0x00 000006fe: DUP1 000006ff: CALLDATACOPY 00000700: PUSH1 0x00 00000702: DUP1 00000703: CALLDATASIZE 00000704: PUSH1 0x00 00000706: DUP5 00000707: GAS 00000708: DELEGATECALL 00000709: RETURNDATASIZE 0000070a: PUSH1 0x00 0000070c: DUP1 0000070d: RETURNDATACOPY 0000070e: DUP1 0000070f: DUP1 00000710: ISZERO 00000711: PUSH2 0x0719 00000714: JUMPI 00000715: RETURNDATASIZE 00000716: PUSH1 0x00 00000718: RETURN 00000719: JUMPDEST 0000071a: RETURNDATASIZE 0000071b: PUSH1 0x00 0000071d: REVERT 0000071e: JUMPDEST 0000071f: PUSH1 0x00 00000721: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000742: JUMPDEST 00000743: SLOAD 00000744: PUSH1 0x01 00000746: PUSH1 0x01 00000748: PUSH1 0xa0 0000074a: SHL 0000074b: SUB 0000074c: AND 0000074d: SWAP2 0000074e: SWAP1 0000074f: POP 00000750: JUMP 00000751: JUMPDEST 00000752: PUSH1 0x00 00000754: DUP1 00000755: PUSH2 0x077c 00000758: PUSH32 0x04b06dd5becaad633b58f99e01f1e05103eff5a573d10d18c9baf1bc4e6bfd3a 00000779: SLOAD 0000077a: SWAP1 0000077b: JUMP 0000077c: JUMPDEST 0000077d: SWAP1 0000077e: POP 0000077f: PUSH1 0x00 00000781: DUP2 00000782: GT 00000783: DUP1 00000784: ISZERO 00000785: PUSH2 0x078e 00000788: JUMPI 00000789: POP 0000078a: DUP1 0000078b: TIMESTAMP 0000078c: LT 0000078d: ISZERO 0000078e: JUMPDEST 0000078f: SWAP2 00000790: POP 00000791: POP 00000792: SWAP1 00000793: JUMP 00000794: JUMPDEST 00000795: PUSH2 0x079c 00000798: PUSH2 0x0751 0000079b: JUMP 0000079c: JUMPDEST 0000079d: ISZERO 0000079e: PUSH2 0x029b 000007a1: JUMPI 000007a2: PUSH1 0x40 000007a4: MLOAD 000007a5: PUSH4 0xa8cab3d1 000007aa: PUSH1 0xe0 000007ac: SHL 000007ad: DUP2 000007ae: MSTORE 000007af: PUSH1 0x04 000007b1: ADD 000007b2: PUSH1 0x40 000007b4: MLOAD 000007b5: DUP1 000007b6: SWAP2 000007b7: SUB 000007b8: SWAP1 000007b9: REVERT 000007ba: JUMPDEST 000007bb: PUSH1 0x00 000007bd: PUSH2 0x0742 000007c0: PUSH2 0x02cb 000007c3: PUSH1 0x01 000007c5: PUSH32 0x41a07f15d150fca84be71d927adb8e4a8a0de6ebcadef3119141487ff482f0f2 000007e6: PUSH2 0x0e0c 000007e9: JUMP 000007ea: JUMPDEST 000007eb: DUP1 000007ec: PUSH2 0x0819 000007ef: PUSH2 0x02cb 000007f2: PUSH1 0x01 000007f4: PUSH32 0x41a07f15d150fca84be71d927adb8e4a8a0de6ebcadef3119141487ff482f0f2 00000815: PUSH2 0x0e0c 00000818: JUMP 00000819: JUMPDEST 0000081a: DUP1 0000081b: SLOAD 0000081c: PUSH1 0x01 0000081e: PUSH1 0x01 00000820: PUSH1 0xa0 00000822: SHL 00000823: SUB 00000824: NOT 00000825: AND 00000826: PUSH1 0x01 00000828: PUSH1 0x01 0000082a: PUSH1 0xa0 0000082c: SHL 0000082d: SUB 0000082e: SWAP3 0000082f: SWAP1 00000830: SWAP3 00000831: AND 00000832: SWAP2 00000833: SWAP1 00000834: SWAP2 00000835: OR 00000836: SWAP1 00000837: SSTORE 00000838: POP 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH2 0x0843 0000083e: DUP4 0000083f: PUSH2 0x0a60 00000842: JUMP 00000843: JUMPDEST 00000844: PUSH1 0x00 00000846: DUP3 00000847: MLOAD 00000848: GT 00000849: DUP1 0000084a: PUSH2 0x0850 0000084d: JUMPI 0000084e: POP 0000084f: DUP1 00000850: JUMPDEST 00000851: ISZERO 00000852: PUSH2 0x043e 00000855: JUMPI 00000856: PUSH2 0x085f 00000859: DUP4 0000085a: DUP4 0000085b: PUSH2 0x0655 0000085e: JUMP 0000085f: JUMPDEST 00000860: POP 00000861: POP 00000862: POP 00000863: POP 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH32 0x7e644d79422f17c01e4894b5f4f588d331ebfa28653d42ae832dc59e38c9798f 00000887: PUSH2 0x088e 0000088a: PUSH2 0x071e 0000088d: JUMP 0000088e: JUMPDEST 0000088f: PUSH1 0x40 00000891: DUP1 00000892: MLOAD 00000893: PUSH1 0x01 00000895: PUSH1 0x01 00000897: PUSH1 0xa0 00000899: SHL 0000089a: SUB 0000089b: SWAP3 0000089c: DUP4 0000089d: AND 0000089e: DUP2 0000089f: MSTORE 000008a0: SWAP2 000008a1: DUP5 000008a2: AND 000008a3: PUSH1 0x20 000008a5: DUP4 000008a6: ADD 000008a7: MSTORE 000008a8: ADD 000008a9: PUSH1 0x40 000008ab: MLOAD 000008ac: DUP1 000008ad: SWAP2 000008ae: SUB 000008af: SWAP1 000008b0: LOG1 000008b1: PUSH2 0x0341 000008b4: DUP2 000008b5: PUSH2 0x0aa0 000008b8: JUMP 000008b9: JUMPDEST 000008ba: PUSH2 0x08c1 000008bd: PUSH2 0x0794 000008c0: JUMP 000008c1: JUMPDEST 000008c2: PUSH2 0x08c9 000008c5: PUSH2 0x0b2c 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH2 0x029b 000008cd: PUSH1 0x00 000008cf: PUSH2 0x0b81 000008d2: JUMP 000008d3: JUMPDEST 000008d4: PUSH2 0x08db 000008d7: PUSH2 0x0794 000008da: JUMP 000008db: JUMPDEST 000008dc: PUSH2 0x08e3 000008df: PUSH2 0x0b2c 000008e2: JUMP 000008e3: JUMPDEST 000008e4: PUSH3 0x83d600 000008e8: DUP2 000008e9: LT 000008ea: ISZERO 000008eb: PUSH2 0x0918 000008ee: JUMPI 000008ef: PUSH1 0x40 000008f1: MLOAD 000008f2: PUSH4 0x6cb12165 000008f7: PUSH1 0xe1 000008f9: SHL 000008fa: DUP2 000008fb: MSTORE 000008fc: PUSH1 0x04 000008fe: DUP2 000008ff: ADD 00000900: DUP3 00000901: SWAP1 00000902: MSTORE 00000903: PUSH3 0x83d600 00000907: PUSH1 0x24 00000909: DUP3 0000090a: ADD 0000090b: MSTORE 0000090c: PUSH1 0x44 0000090e: ADD 0000090f: JUMPDEST 00000910: PUSH1 0x40 00000912: MLOAD 00000913: DUP1 00000914: SWAP2 00000915: SUB 00000916: SWAP1 00000917: REVERT 00000918: JUMPDEST 00000919: TIMESTAMP 0000091a: PUSH1 0x00 0000091c: PUSH2 0x0925 0000091f: DUP4 00000920: DUP4 00000921: PUSH2 0x0e1f 00000924: JUMP 00000925: JUMPDEST 00000926: SWAP1 00000927: POP 00000928: PUSH2 0x043e 0000092b: DUP2 0000092c: PUSH2 0x0b81 0000092f: JUMP 00000930: JUMPDEST 00000931: PUSH1 0x60 00000933: PUSH1 0x00 00000935: DUP1 00000936: DUP6 00000937: PUSH1 0x01 00000939: PUSH1 0x01 0000093b: PUSH1 0xa0 0000093d: SHL 0000093e: SUB 0000093f: AND 00000940: DUP6 00000941: PUSH1 0x40 00000943: MLOAD 00000944: PUSH2 0x094d 00000947: SWAP2 00000948: SWAP1 00000949: PUSH2 0x0e56 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH1 0x00 00000950: PUSH1 0x40 00000952: MLOAD 00000953: DUP1 00000954: DUP4 00000955: SUB 00000956: DUP2 00000957: DUP6 00000958: GAS 00000959: DELEGATECALL 0000095a: SWAP2 0000095b: POP 0000095c: POP 0000095d: RETURNDATASIZE 0000095e: DUP1 0000095f: PUSH1 0x00 00000961: DUP2 00000962: EQ 00000963: PUSH2 0x0988 00000966: JUMPI 00000967: PUSH1 0x40 00000969: MLOAD 0000096a: SWAP2 0000096b: POP 0000096c: PUSH1 0x1f 0000096e: NOT 0000096f: PUSH1 0x3f 00000971: RETURNDATASIZE 00000972: ADD 00000973: AND 00000974: DUP3 00000975: ADD 00000976: PUSH1 0x40 00000978: MSTORE 00000979: RETURNDATASIZE 0000097a: DUP3 0000097b: MSTORE 0000097c: RETURNDATASIZE 0000097d: PUSH1 0x00 0000097f: PUSH1 0x20 00000981: DUP5 00000982: ADD 00000983: RETURNDATACOPY 00000984: PUSH2 0x098d 00000987: JUMP 00000988: JUMPDEST 00000989: PUSH1 0x60 0000098b: SWAP2 0000098c: POP 0000098d: JUMPDEST 0000098e: POP 0000098f: SWAP2 00000990: POP 00000991: SWAP2 00000992: POP 00000993: PUSH2 0x099e 00000996: DUP7 00000997: DUP4 00000998: DUP4 00000999: DUP8 0000099a: PUSH2 0x0bda 0000099d: JUMP 0000099e: JUMPDEST 0000099f: SWAP7 000009a0: SWAP6 000009a1: POP 000009a2: POP 000009a3: POP 000009a4: POP 000009a5: POP 000009a6: POP 000009a7: JUMP 000009a8: JUMPDEST 000009a9: PUSH2 0x09b0 000009ac: PUSH2 0x071e 000009af: JUMP 000009b0: JUMPDEST 000009b1: PUSH1 0x01 000009b3: PUSH1 0x01 000009b5: PUSH1 0xa0 000009b7: SHL 000009b8: SUB 000009b9: AND 000009ba: CALLER 000009bb: SUB 000009bc: PUSH2 0x029b 000009bf: JUMPI 000009c0: PUSH1 0x40 000009c2: MLOAD 000009c3: PUSH3 0x461bcd 000009c7: PUSH1 0xe5 000009c9: SHL 000009ca: DUP2 000009cb: MSTORE 000009cc: PUSH1 0x20 000009ce: PUSH1 0x04 000009d0: DUP3 000009d1: ADD 000009d2: MSTORE 000009d3: PUSH1 0x42 000009d5: PUSH1 0x24 000009d7: DUP3 000009d8: ADD 000009d9: MSTORE 000009da: PUSH32 0x5472616e73706172656e745570677261646561626c6550726f78793a2061646d 000009fb: PUSH1 0x44 000009fd: DUP3 000009fe: ADD 000009ff: MSTORE 00000a00: PUSH32 0x696e2063616e6e6f742066616c6c6261636b20746f2070726f78792074617267 00000a21: PUSH1 0x64 00000a23: DUP3 00000a24: ADD 00000a25: MSTORE 00000a26: PUSH2 0x195d 00000a29: PUSH1 0xf2 00000a2b: SHL 00000a2c: PUSH1 0x84 00000a2e: DUP3 00000a2f: ADD 00000a30: MSTORE 00000a31: PUSH1 0xa4 00000a33: ADD 00000a34: PUSH2 0x090f 00000a37: JUMP 00000a38: JUMPDEST 00000a39: PUSH1 0x00 00000a3b: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000a5c: PUSH2 0x0742 00000a5f: JUMP 00000a60: JUMPDEST 00000a61: PUSH2 0x0a69 00000a64: DUP2 00000a65: PUSH2 0x0c5b 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: PUSH1 0x40 00000a6c: MLOAD 00000a6d: PUSH1 0x01 00000a6f: PUSH1 0x01 00000a71: PUSH1 0xa0 00000a73: SHL 00000a74: SUB 00000a75: DUP3 00000a76: AND 00000a77: SWAP1 00000a78: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00000a99: SWAP1 00000a9a: PUSH1 0x00 00000a9c: SWAP1 00000a9d: LOG2 00000a9e: POP 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: PUSH1 0x01 00000aa3: PUSH1 0x01 00000aa5: PUSH1 0xa0 00000aa7: SHL 00000aa8: SUB 00000aa9: DUP2 00000aaa: AND 00000aab: PUSH2 0x0b05 00000aae: JUMPI 00000aaf: PUSH1 0x40 00000ab1: MLOAD 00000ab2: PUSH3 0x461bcd 00000ab6: PUSH1 0xe5 00000ab8: SHL 00000ab9: DUP2 00000aba: MSTORE 00000abb: PUSH1 0x20 00000abd: PUSH1 0x04 00000abf: DUP3 00000ac0: ADD 00000ac1: MSTORE 00000ac2: PUSH1 0x26 00000ac4: PUSH1 0x24 00000ac6: DUP3 00000ac7: ADD 00000ac8: MSTORE 00000ac9: PUSH32 0x455243313936373a206e65772061646d696e20697320746865207a65726f2061 00000aea: PUSH1 0x44 00000aec: DUP3 00000aed: ADD 00000aee: MSTORE 00000aef: PUSH6 0x646472657373 00000af6: PUSH1 0xd0 00000af8: SHL 00000af9: PUSH1 0x64 00000afb: DUP3 00000afc: ADD 00000afd: MSTORE 00000afe: PUSH1 0x84 00000b00: ADD 00000b01: PUSH2 0x090f 00000b04: JUMP 00000b05: JUMPDEST 00000b06: DUP1 00000b07: PUSH32 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103 00000b28: PUSH2 0x0819 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: PUSH2 0x0b34 00000b30: PUSH2 0x0cef 00000b33: JUMP 00000b34: JUMPDEST 00000b35: PUSH1 0x01 00000b37: PUSH1 0x01 00000b39: PUSH1 0xa0 00000b3b: SHL 00000b3c: SUB 00000b3d: AND 00000b3e: CALLER 00000b3f: PUSH1 0x01 00000b41: PUSH1 0x01 00000b43: PUSH1 0xa0 00000b45: SHL 00000b46: SUB 00000b47: AND 00000b48: EQ 00000b49: PUSH2 0x029b 00000b4c: JUMPI 00000b4d: CALLER 00000b4e: PUSH2 0x0b55 00000b51: PUSH2 0x0cef 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH1 0x40 00000b58: MLOAD 00000b59: PUSH4 0x295a81c1 00000b5e: PUSH1 0xe0 00000b60: SHL 00000b61: DUP2 00000b62: MSTORE 00000b63: PUSH1 0x01 00000b65: PUSH1 0x01 00000b67: PUSH1 0xa0 00000b69: SHL 00000b6a: SUB 00000b6b: SWAP3 00000b6c: DUP4 00000b6d: AND 00000b6e: PUSH1 0x04 00000b70: DUP3 00000b71: ADD 00000b72: MSTORE 00000b73: SWAP2 00000b74: AND 00000b75: PUSH1 0x24 00000b77: DUP3 00000b78: ADD 00000b79: MSTORE 00000b7a: PUSH1 0x44 00000b7c: ADD 00000b7d: PUSH2 0x090f 00000b80: JUMP 00000b81: JUMPDEST 00000b82: DUP1 00000b83: PUSH32 0x04b06dd5becaad633b58f99e01f1e05103eff5a573d10d18c9baf1bc4e6bfd3a 00000ba4: SSTORE 00000ba5: PUSH1 0x40 00000ba7: MLOAD 00000ba8: DUP2 00000ba9: DUP2 00000baa: MSTORE 00000bab: PUSH32 0x7413b2ccac0d914f9764525af0b89a12aaf913cb0de2b18adb85e22b80c86ca0 00000bcc: SWAP1 00000bcd: PUSH1 0x20 00000bcf: ADD 00000bd0: PUSH1 0x40 00000bd2: MLOAD 00000bd3: DUP1 00000bd4: SWAP2 00000bd5: SUB 00000bd6: SWAP1 00000bd7: LOG1 00000bd8: POP 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: PUSH1 0x60 00000bdd: DUP4 00000bde: ISZERO 00000bdf: PUSH2 0x0c49 00000be2: JUMPI 00000be3: DUP3 00000be4: MLOAD 00000be5: PUSH1 0x00 00000be7: SUB 00000be8: PUSH2 0x0c42 00000beb: JUMPI 00000bec: PUSH1 0x01 00000bee: PUSH1 0x01 00000bf0: PUSH1 0xa0 00000bf2: SHL 00000bf3: SUB 00000bf4: DUP6 00000bf5: AND 00000bf6: EXTCODESIZE 00000bf7: PUSH2 0x0c42 00000bfa: JUMPI 00000bfb: PUSH1 0x40 00000bfd: MLOAD 00000bfe: PUSH3 0x461bcd 00000c02: PUSH1 0xe5 00000c04: SHL 00000c05: DUP2 00000c06: MSTORE 00000c07: PUSH1 0x20 00000c09: PUSH1 0x04 00000c0b: DUP3 00000c0c: ADD 00000c0d: MSTORE 00000c0e: PUSH1 0x1d 00000c10: PUSH1 0x24 00000c12: DUP3 00000c13: ADD 00000c14: MSTORE 00000c15: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000c36: PUSH1 0x44 00000c38: DUP3 00000c39: ADD 00000c3a: MSTORE 00000c3b: PUSH1 0x64 00000c3d: ADD 00000c3e: PUSH2 0x090f 00000c41: JUMP 00000c42: JUMPDEST 00000c43: POP 00000c44: DUP2 00000c45: PUSH2 0x0c53 00000c48: JUMP 00000c49: JUMPDEST 00000c4a: PUSH2 0x0c53 00000c4d: DUP4 00000c4e: DUP4 00000c4f: PUSH2 0x0cf9 00000c52: JUMP 00000c53: JUMPDEST 00000c54: SWAP5 00000c55: SWAP4 00000c56: POP 00000c57: POP 00000c58: POP 00000c59: POP 00000c5a: JUMP 00000c5b: JUMPDEST 00000c5c: PUSH1 0x01 00000c5e: PUSH1 0x01 00000c60: PUSH1 0xa0 00000c62: SHL 00000c63: SUB 00000c64: DUP2 00000c65: AND 00000c66: EXTCODESIZE 00000c67: PUSH2 0x0cc8 00000c6a: JUMPI 00000c6b: PUSH1 0x40 00000c6d: MLOAD 00000c6e: PUSH3 0x461bcd 00000c72: PUSH1 0xe5 00000c74: SHL 00000c75: DUP2 00000c76: MSTORE 00000c77: PUSH1 0x20 00000c79: PUSH1 0x04 00000c7b: DUP3 00000c7c: ADD 00000c7d: MSTORE 00000c7e: PUSH1 0x2d 00000c80: PUSH1 0x24 00000c82: DUP3 00000c83: ADD 00000c84: MSTORE 00000c85: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 00000ca6: PUSH1 0x44 00000ca8: DUP3 00000ca9: ADD 00000caa: MSTORE 00000cab: PUSH13 0x1bdd08184818dbdb9d1c9858dd 00000cb9: PUSH1 0x9a 00000cbb: SHL 00000cbc: PUSH1 0x64 00000cbe: DUP3 00000cbf: ADD 00000cc0: MSTORE 00000cc1: PUSH1 0x84 00000cc3: ADD 00000cc4: PUSH2 0x090f 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: DUP1 00000cca: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000ceb: PUSH2 0x0819 00000cee: JUMP 00000cef: JUMPDEST 00000cf0: PUSH1 0x00 00000cf2: PUSH2 0x02be 00000cf5: PUSH2 0x071e 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: DUP2 00000cfb: MLOAD 00000cfc: ISZERO 00000cfd: PUSH2 0x0d09 00000d00: JUMPI 00000d01: DUP2 00000d02: MLOAD 00000d03: DUP1 00000d04: DUP4 00000d05: PUSH1 0x20 00000d07: ADD 00000d08: REVERT 00000d09: JUMPDEST 00000d0a: DUP1 00000d0b: PUSH1 0x40 00000d0d: MLOAD 00000d0e: PUSH3 0x461bcd 00000d12: PUSH1 0xe5 00000d14: SHL 00000d15: DUP2 00000d16: MSTORE 00000d17: PUSH1 0x04 00000d19: ADD 00000d1a: PUSH2 0x090f 00000d1d: SWAP2 00000d1e: SWAP1 00000d1f: PUSH2 0x0e72 00000d22: JUMP 00000d23: JUMPDEST 00000d24: DUP1 00000d25: CALLDATALOAD 00000d26: PUSH1 0x01 00000d28: PUSH1 0x01 00000d2a: PUSH1 0xa0 00000d2c: SHL 00000d2d: SUB 00000d2e: DUP2 00000d2f: AND 00000d30: DUP2 00000d31: EQ 00000d32: PUSH2 0x0d3a 00000d35: JUMPI 00000d36: PUSH1 0x00 00000d38: DUP1 00000d39: REVERT 00000d3a: JUMPDEST 00000d3b: SWAP2 00000d3c: SWAP1 00000d3d: POP 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: PUSH1 0x00 00000d42: PUSH1 0x20 00000d44: DUP3 00000d45: DUP5 00000d46: SUB 00000d47: SLT 00000d48: ISZERO 00000d49: PUSH2 0x0d51 00000d4c: JUMPI 00000d4d: PUSH1 0x00 00000d4f: DUP1 00000d50: REVERT 00000d51: JUMPDEST 00000d52: PUSH2 0x067a 00000d55: DUP3 00000d56: PUSH2 0x0d23 00000d59: JUMP 00000d5a: JUMPDEST 00000d5b: PUSH1 0x00 00000d5d: DUP1 00000d5e: PUSH1 0x00 00000d60: PUSH1 0x40 00000d62: DUP5 00000d63: DUP7 00000d64: SUB 00000d65: SLT 00000d66: ISZERO 00000d67: PUSH2 0x0d6f 00000d6a: JUMPI 00000d6b: PUSH1 0x00 00000d6d: DUP1 00000d6e: REVERT 00000d6f: JUMPDEST 00000d70: PUSH2 0x0d78 00000d73: DUP5 00000d74: PUSH2 0x0d23 00000d77: JUMP 00000d78: JUMPDEST 00000d79: SWAP3 00000d7a: POP 00000d7b: PUSH1 0x20 00000d7d: DUP5 00000d7e: ADD 00000d7f: CALLDATALOAD 00000d80: PUSH8 0xffffffffffffffff 00000d89: DUP1 00000d8a: DUP3 00000d8b: GT 00000d8c: ISZERO 00000d8d: PUSH2 0x0d95 00000d90: JUMPI 00000d91: PUSH1 0x00 00000d93: DUP1 00000d94: REVERT 00000d95: JUMPDEST 00000d96: DUP2 00000d97: DUP7 00000d98: ADD 00000d99: SWAP2 00000d9a: POP 00000d9b: DUP7 00000d9c: PUSH1 0x1f 00000d9e: DUP4 00000d9f: ADD 00000da0: SLT 00000da1: PUSH2 0x0da9 00000da4: JUMPI 00000da5: PUSH1 0x00 00000da7: DUP1 00000da8: REVERT 00000da9: JUMPDEST 00000daa: DUP2 00000dab: CALLDATALOAD 00000dac: DUP2 00000dad: DUP2 00000dae: GT 00000daf: ISZERO 00000db0: PUSH2 0x0db8 00000db3: JUMPI 00000db4: PUSH1 0x00 00000db6: DUP1 00000db7: REVERT 00000db8: JUMPDEST 00000db9: DUP8 00000dba: PUSH1 0x20 00000dbc: DUP3 00000dbd: DUP6 00000dbe: ADD 00000dbf: ADD 00000dc0: GT 00000dc1: ISZERO 00000dc2: PUSH2 0x0dca 00000dc5: JUMPI 00000dc6: PUSH1 0x00 00000dc8: DUP1 00000dc9: REVERT 00000dca: JUMPDEST 00000dcb: PUSH1 0x20 00000dcd: DUP4 00000dce: ADD 00000dcf: SWAP5 00000dd0: POP 00000dd1: DUP1 00000dd2: SWAP4 00000dd3: POP 00000dd4: POP 00000dd5: POP 00000dd6: POP 00000dd7: SWAP3 00000dd8: POP 00000dd9: SWAP3 00000dda: POP 00000ddb: SWAP3 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: PUSH1 0x00 00000de0: PUSH1 0x20 00000de2: DUP3 00000de3: DUP5 00000de4: SUB 00000de5: SLT 00000de6: ISZERO 00000de7: PUSH2 0x0def 00000dea: JUMPI 00000deb: PUSH1 0x00 00000ded: DUP1 00000dee: REVERT 00000def: JUMPDEST 00000df0: POP 00000df1: CALLDATALOAD 00000df2: SWAP2 00000df3: SWAP1 00000df4: POP 00000df5: JUMP 00000df6: JUMPDEST 00000df7: PUSH4 0x4e487b71 00000dfc: PUSH1 0xe0 00000dfe: SHL 00000dff: PUSH1 0x00 00000e01: MSTORE 00000e02: PUSH1 0x11 00000e04: PUSH1 0x04 00000e06: MSTORE 00000e07: PUSH1 0x24 00000e09: PUSH1 0x00 00000e0b: REVERT 00000e0c: JUMPDEST 00000e0d: DUP2 00000e0e: DUP2 00000e0f: SUB 00000e10: DUP2 00000e11: DUP2 00000e12: GT 00000e13: ISZERO 00000e14: PUSH2 0x067d 00000e17: JUMPI 00000e18: PUSH2 0x067d 00000e1b: PUSH2 0x0df6 00000e1e: JUMP 00000e1f: JUMPDEST 00000e20: DUP1 00000e21: DUP3 00000e22: ADD 00000e23: DUP1 00000e24: DUP3 00000e25: GT 00000e26: ISZERO 00000e27: PUSH2 0x067d 00000e2a: JUMPI 00000e2b: PUSH2 0x067d 00000e2e: PUSH2 0x0df6 00000e31: JUMP 00000e32: JUMPDEST 00000e33: PUSH1 0x00 00000e35: JUMPDEST 00000e36: DUP4 00000e37: DUP2 00000e38: LT 00000e39: ISZERO 00000e3a: PUSH2 0x0e4d 00000e3d: JUMPI 00000e3e: DUP2 00000e3f: DUP2 00000e40: ADD 00000e41: MLOAD 00000e42: DUP4 00000e43: DUP3 00000e44: ADD 00000e45: MSTORE 00000e46: PUSH1 0x20 00000e48: ADD 00000e49: PUSH2 0x0e35 00000e4c: JUMP 00000e4d: JUMPDEST 00000e4e: POP 00000e4f: POP 00000e50: PUSH1 0x00 00000e52: SWAP2 00000e53: ADD 00000e54: MSTORE 00000e55: JUMP 00000e56: JUMPDEST 00000e57: PUSH1 0x00 00000e59: DUP3 00000e5a: MLOAD 00000e5b: PUSH2 0x0e68 00000e5e: DUP2 00000e5f: DUP5 00000e60: PUSH1 0x20 00000e62: DUP8 00000e63: ADD 00000e64: PUSH2 0x0e32 00000e67: JUMP 00000e68: JUMPDEST 00000e69: SWAP2 00000e6a: SWAP1 00000e6b: SWAP2 00000e6c: ADD 00000e6d: SWAP3 00000e6e: SWAP2 00000e6f: POP 00000e70: POP 00000e71: JUMP 00000e72: JUMPDEST 00000e73: PUSH1 0x20 00000e75: DUP2 00000e76: MSTORE 00000e77: PUSH1 0x00 00000e79: DUP3 00000e7a: MLOAD 00000e7b: DUP1 00000e7c: PUSH1 0x20 00000e7e: DUP5 00000e7f: ADD 00000e80: MSTORE 00000e81: PUSH2 0x0e91 00000e84: DUP2 00000e85: PUSH1 0x40 00000e87: DUP6 00000e88: ADD 00000e89: PUSH1 0x20 00000e8b: DUP8 00000e8c: ADD 00000e8d: PUSH2 0x0e32 00000e90: JUMP 00000e91: JUMPDEST 00000e92: PUSH1 0x1f 00000e94: ADD 00000e95: PUSH1 0x1f 00000e97: NOT 00000e98: AND 00000e99: SWAP2 00000e9a: SWAP1 00000e9b: SWAP2 00000e9c: ADD 00000e9d: PUSH1 0x40 00000e9f: ADD 00000ea0: SWAP3 00000ea1: SWAP2 00000ea2: POP 00000ea3: POP 00000ea4: JUMP 00000ea5: INVALID 00000ea6: LOG1 00000ea7: UNKNOWN(0xC5) 00000ea8: CLZ 00000ea9: UNKNOWN(0x2D) 00000eaa: UNKNOWN(0xB0) 00000eab: REVERT 00000eac: POP 00000ead: SWAP13 00000eae: DUP9 00000eaf: UNKNOWN(0xC4) 00000eb0: UNKNOWN(0xD1) 00000eb1: UNKNOWN(0xD0) 00000eb2: PUSH5 0x260a12d10b 00000eb8: UNKNOWN(0x4B) 00000eb9: UNKNOWN(0x23) 00000eba: PUSH17 0xd6c629050bf501458f88c0416464726573 00000ecc: PUSH20 0x3a206c6f772d6c6576656c2064656c6567617465 00000ee1: KECCAK256 00000ee2: PUSH4 0x616c6c20 00000ee7: PUSH7 0x61696c6564a264 00000eef: PUSH10 0x706673582212204347ac 00000efa: UNKNOWN(0xB0) 00000efb: PUSH18 0xbfb47b477fd525b89ab6567e0f3bd5384aae 00000f0e: STATICCALL 00000f0f: BASEFEE 00000f10: GASPRICE 00000f11: PUSH4 0x7d94b82b 00000f16: DUP11 00000f17: PUSH5 0x736f6c6343 00000f1d: STOP 00000f1e: ADDMOD 00000f1f: GT 00000f20: STOP 00000f21: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x7449c1f1e233e9a6a68876ff8818907814d14af131cff567ef4fb05fafa480c0
call_targets:
0x0843359cae1187b432eeb26e1b40c3a2b2374d7e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7449c1f1e233e9a6a68876ff8818907814d14af131cff567ef4fb05fafa480c0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0843359cae1187b432eeb26e1b40c3a2b2374d7e"
],
"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": "0xbad490dc",
"selector": "0xbad490dc",
"calldata_variants": [
"0xbad490dc",
"0xbad490dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7a78db8",
"selector": "0xd7a78db8",
"calldata_variants": [
"0xd7a78db8",
"0xd7a78db80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf851a440",
"selector": "0xf851a440",
"calldata_variants": [
"0xf851a440",
"0xf851a4400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd7e1bee",
"selector": "0xfd7e1bee",
"calldata_variants": [
"0xfd7e1bee",
"0xfd7e1bee0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8456cb59",
"selector": "0x8456cb59",
"calldata_variants": [
"0x8456cb59",
"0x8456cb590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f283970",
"selector": "0x8f283970",
"calldata_variants": [
"0x8f283970",
"0x8f2839700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9fd0506d",
"selector": "0x9fd0506d",
"calldata_variants": [
"0x9fd0506d",
"0x9fd0506d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1800,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 2393,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 2,
"untrusted_delegatecall_count": 2
}
|