019b3844-8cf2-7162-9134-b951c67ab951
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 |
|---|---|---|---|---|
| 12049 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12050 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84392 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84393 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84394 | detector.run | complete | 1 / 3 | 1 week ago |
| 84395 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00ed 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x14614af9 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x0153 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x17f708fb 0000002d: EQ 0000002e: PUSH2 0x0173 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x19f363bc 00000038: EQ 00000039: PUSH2 0x0186 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x2b55b792 00000043: EQ 00000044: PUSH2 0x019d 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x2d923501 0000004e: EQ 0000004f: PUSH2 0x01bc 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x2e1a7d4d 00000059: EQ 0000005a: PUSH2 0x01e7 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x4d5a8e10 00000064: EQ 00000065: PUSH2 0x01fd 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x54fd4d50 0000006f: EQ 00000070: PUSH2 0x022c 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x7c422f1d 0000007a: EQ 0000007b: PUSH2 0x0263 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x853828b6 00000085: EQ 00000086: PUSH2 0x0296 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x89fb8a48 00000090: EQ 00000091: PUSH2 0x02a9 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x9aae82c1 0000009b: EQ 0000009c: PUSH2 0x02bf 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0xa9cc4718 000000a6: EQ 000000a7: PUSH2 0x02de 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0xc0ee0b8a 000000b1: EQ 000000b2: PUSH2 0x02f1 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0xd0e30db0 000000bc: EQ 000000bd: PUSH2 0x0320 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0xd3c4c4d0 000000c7: EQ 000000c8: PUSH2 0x0328 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0xdef86cbb 000000d2: EQ 000000d3: PUSH2 0x0352 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0xf91c7ca3 000000dd: EQ 000000de: PUSH2 0x037c 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0xfffe58a2 000000e8: EQ 000000e9: PUSH2 0x03a0 000000ec: JUMPI 000000ed: JUMPDEST 000000ee: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000103: PUSH4 0x6c2802e8 00000108: PUSH1 0x00 0000010a: PUSH1 0x40 0000010c: MLOAD 0000010d: PUSH1 0xe0 0000010f: PUSH1 0x02 00000111: EXP 00000112: PUSH4 0xffffffff 00000117: DUP5 00000118: AND 00000119: MUL 0000011a: DUP2 0000011b: MSTORE 0000011c: PUSH1 0x04 0000011e: DUP2 0000011f: ADD 00000120: SWAP2 00000121: SWAP1 00000122: SWAP2 00000123: MSTORE 00000124: PUSH1 0x24 00000126: ADD 00000127: PUSH1 0x00 00000129: PUSH1 0x40 0000012b: MLOAD 0000012c: DUP1 0000012d: DUP4 0000012e: SUB 0000012f: DUP2 00000130: DUP7 00000131: DUP1 00000132: EXTCODESIZE 00000133: ISZERO 00000134: ISZERO 00000135: PUSH2 0x013d 00000138: JUMPI 00000139: PUSH1 0x00 0000013b: DUP1 0000013c: REVERT 0000013d: JUMPDEST 0000013e: PUSH2 0x02c6 00000141: GAS 00000142: SUB 00000143: DELEGATECALL 00000144: ISZERO 00000145: ISZERO 00000146: PUSH2 0x014e 00000149: JUMPI 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: REVERT 0000014e: JUMPDEST 0000014f: POP 00000150: POP 00000151: POP 00000152: STOP 00000153: JUMPDEST 00000154: PUSH2 0x0171 00000157: PUSH1 0x01 00000159: PUSH1 0xa0 0000015b: PUSH1 0x02 0000015d: EXP 0000015e: SUB 0000015f: PUSH1 0x04 00000161: CALLDATALOAD 00000162: DUP2 00000163: AND 00000164: SWAP1 00000165: PUSH1 0x24 00000167: CALLDATALOAD 00000168: SWAP1 00000169: PUSH1 0x44 0000016b: CALLDATALOAD 0000016c: AND 0000016d: PUSH2 0x03be 00000170: JUMP 00000171: JUMPDEST 00000172: STOP 00000173: JUMPDEST 00000174: CALLVALUE 00000175: ISZERO 00000176: PUSH2 0x017e 00000179: JUMPI 0000017a: PUSH1 0x00 0000017c: DUP1 0000017d: REVERT 0000017e: JUMPDEST 0000017f: PUSH2 0x0171 00000182: PUSH2 0x0448 00000185: JUMP 00000186: JUMPDEST 00000187: PUSH2 0x0171 0000018a: PUSH1 0x04 0000018c: CALLDATALOAD 0000018d: PUSH1 0x01 0000018f: PUSH1 0xa0 00000191: PUSH1 0x02 00000193: EXP 00000194: SUB 00000195: PUSH1 0x24 00000197: CALLDATALOAD 00000198: AND 00000199: PUSH2 0x04ae 0000019c: JUMP 0000019d: JUMPDEST 0000019e: CALLVALUE 0000019f: ISZERO 000001a0: PUSH2 0x01a8 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: PUSH2 0x0171 000001ac: PUSH1 0x01 000001ae: PUSH1 0xa0 000001b0: PUSH1 0x02 000001b2: EXP 000001b3: SUB 000001b4: PUSH1 0x04 000001b6: CALLDATALOAD 000001b7: AND 000001b8: PUSH2 0x052e 000001bb: JUMP 000001bc: JUMPDEST 000001bd: CALLVALUE 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: PUSH2 0x0171 000001cb: PUSH1 0x04 000001cd: DUP1 000001ce: CALLDATALOAD 000001cf: PUSH1 0x01 000001d1: PUSH1 0xa0 000001d3: PUSH1 0x02 000001d5: EXP 000001d6: SUB 000001d7: AND 000001d8: SWAP1 000001d9: PUSH1 0x24 000001db: DUP1 000001dc: CALLDATALOAD 000001dd: SWAP1 000001de: DUP2 000001df: ADD 000001e0: SWAP2 000001e1: ADD 000001e2: CALLDATALOAD 000001e3: PUSH2 0x05cb 000001e6: JUMP 000001e7: JUMPDEST 000001e8: CALLVALUE 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: PUSH2 0x0171 000001f6: PUSH1 0x04 000001f8: CALLDATALOAD 000001f9: PUSH2 0x0693 000001fc: JUMP 000001fd: JUMPDEST 000001fe: CALLVALUE 000001ff: ISZERO 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: PUSH2 0x0171 0000020c: PUSH1 0x04 0000020e: DUP1 0000020f: CALLDATALOAD 00000210: PUSH1 0x01 00000212: PUSH1 0xa0 00000214: PUSH1 0x02 00000216: EXP 00000217: SUB 00000218: AND 00000219: SWAP1 0000021a: PUSH1 0x24 0000021c: DUP1 0000021d: CALLDATALOAD 0000021e: SWAP2 0000021f: PUSH1 0x44 00000221: CALLDATALOAD 00000222: SWAP2 00000223: DUP3 00000224: ADD 00000225: SWAP2 00000226: ADD 00000227: CALLDATALOAD 00000228: PUSH2 0x0700 0000022b: JUMP 0000022c: JUMPDEST 0000022d: CALLVALUE 0000022e: ISZERO 0000022f: PUSH2 0x0237 00000232: JUMPI 00000233: PUSH1 0x00 00000235: DUP1 00000236: REVERT 00000237: JUMPDEST 00000238: PUSH2 0x023f 0000023b: PUSH2 0x07a8 0000023e: JUMP 0000023f: JUMPDEST 00000240: PUSH1 0x40 00000242: MLOAD 00000243: DUP1 00000244: DUP5 00000245: DUP2 00000246: MSTORE 00000247: PUSH1 0x20 00000249: ADD 0000024a: DUP4 0000024b: DUP2 0000024c: MSTORE 0000024d: PUSH1 0x20 0000024f: ADD 00000250: DUP3 00000251: DUP2 00000252: MSTORE 00000253: PUSH1 0x20 00000255: ADD 00000256: SWAP4 00000257: POP 00000258: POP 00000259: POP 0000025a: POP 0000025b: PUSH1 0x40 0000025d: MLOAD 0000025e: DUP1 0000025f: SWAP2 00000260: SUB 00000261: SWAP1 00000262: RETURN 00000263: JUMPDEST 00000264: CALLVALUE 00000265: ISZERO 00000266: PUSH2 0x026e 00000269: JUMPI 0000026a: PUSH1 0x00 0000026c: DUP1 0000026d: REVERT 0000026e: JUMPDEST 0000026f: PUSH2 0x0171 00000272: PUSH1 0x04 00000274: DUP1 00000275: CALLDATALOAD 00000276: PUSH1 0x01 00000278: PUSH1 0xa0 0000027a: PUSH1 0x02 0000027c: EXP 0000027d: SUB 0000027e: AND 0000027f: SWAP1 00000280: PUSH1 0x24 00000282: DUP1 00000283: CALLDATALOAD 00000284: SWAP2 00000285: PUSH1 0x44 00000287: CALLDATALOAD 00000288: SWAP2 00000289: PUSH1 0x64 0000028b: CALLDATALOAD 0000028c: SWAP1 0000028d: DUP2 0000028e: ADD 0000028f: SWAP2 00000290: ADD 00000291: CALLDATALOAD 00000292: PUSH2 0x082e 00000295: JUMP 00000296: JUMPDEST 00000297: CALLVALUE 00000298: ISZERO 00000299: PUSH2 0x02a1 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: DUP1 000002a0: REVERT 000002a1: JUMPDEST 000002a2: PUSH2 0x0171 000002a5: PUSH2 0x08e0 000002a8: JUMP 000002a9: JUMPDEST 000002aa: CALLVALUE 000002ab: ISZERO 000002ac: PUSH2 0x02b4 000002af: JUMPI 000002b0: PUSH1 0x00 000002b2: DUP1 000002b3: REVERT 000002b4: JUMPDEST 000002b5: PUSH2 0x0171 000002b8: PUSH1 0x04 000002ba: CALLDATALOAD 000002bb: PUSH2 0x0930 000002be: JUMP 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: ISZERO 000002c2: PUSH2 0x02ca 000002c5: JUMPI 000002c6: PUSH1 0x00 000002c8: DUP1 000002c9: REVERT 000002ca: JUMPDEST 000002cb: PUSH2 0x0171 000002ce: PUSH1 0x01 000002d0: PUSH1 0xa0 000002d2: PUSH1 0x02 000002d4: EXP 000002d5: SUB 000002d6: PUSH1 0x04 000002d8: CALLDATALOAD 000002d9: AND 000002da: PUSH2 0x0986 000002dd: JUMP 000002de: JUMPDEST 000002df: CALLVALUE 000002e0: ISZERO 000002e1: PUSH2 0x02e9 000002e4: JUMPI 000002e5: PUSH1 0x00 000002e7: DUP1 000002e8: REVERT 000002e9: JUMPDEST 000002ea: PUSH2 0x0171 000002ed: PUSH2 0x09e5 000002f0: JUMP 000002f1: JUMPDEST 000002f2: CALLVALUE 000002f3: ISZERO 000002f4: PUSH2 0x02fc 000002f7: JUMPI 000002f8: PUSH1 0x00 000002fa: DUP1 000002fb: REVERT 000002fc: JUMPDEST 000002fd: PUSH2 0x0171 00000300: PUSH1 0x04 00000302: DUP1 00000303: CALLDATALOAD 00000304: PUSH1 0x01 00000306: PUSH1 0xa0 00000308: PUSH1 0x02 0000030a: EXP 0000030b: SUB 0000030c: AND 0000030d: SWAP1 0000030e: PUSH1 0x24 00000310: DUP1 00000311: CALLDATALOAD 00000312: SWAP2 00000313: PUSH1 0x44 00000315: CALLDATALOAD 00000316: SWAP2 00000317: DUP3 00000318: ADD 00000319: SWAP2 0000031a: ADD 0000031b: CALLDATALOAD 0000031c: PUSH2 0x0a35 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH2 0x0171 00000324: PUSH2 0x0ac3 00000327: JUMP 00000328: JUMPDEST 00000329: CALLVALUE 0000032a: ISZERO 0000032b: PUSH2 0x0333 0000032e: JUMPI 0000032f: PUSH1 0x00 00000331: DUP1 00000332: REVERT 00000333: JUMPDEST 00000334: PUSH2 0x0171 00000337: PUSH1 0x04 00000339: DUP1 0000033a: CALLDATALOAD 0000033b: SWAP1 0000033c: PUSH1 0x24 0000033e: DUP1 0000033f: CALLDATALOAD 00000340: SWAP2 00000341: PUSH1 0x44 00000343: CALLDATALOAD 00000344: SWAP2 00000345: PUSH1 0x64 00000347: CALLDATALOAD 00000348: SWAP1 00000349: DUP2 0000034a: ADD 0000034b: SWAP2 0000034c: ADD 0000034d: CALLDATALOAD 0000034e: PUSH2 0x0b13 00000351: JUMP 00000352: JUMPDEST 00000353: CALLVALUE 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: PUSH2 0x0171 00000361: PUSH1 0x24 00000363: PUSH1 0x04 00000365: DUP1 00000366: CALLDATALOAD 00000367: DUP3 00000368: DUP2 00000369: ADD 0000036a: SWAP3 0000036b: SWAP1 0000036c: DUP3 0000036d: ADD 0000036e: CALLDATALOAD 0000036f: SWAP2 00000370: DUP2 00000371: CALLDATALOAD 00000372: SWAP2 00000373: DUP3 00000374: ADD 00000375: SWAP2 00000376: ADD 00000377: CALLDATALOAD 00000378: PUSH2 0x0ba2 0000037b: JUMP 0000037c: JUMPDEST 0000037d: CALLVALUE 0000037e: ISZERO 0000037f: PUSH2 0x0387 00000382: JUMPI 00000383: PUSH1 0x00 00000385: DUP1 00000386: REVERT 00000387: JUMPDEST 00000388: PUSH2 0x0171 0000038b: PUSH1 0x01 0000038d: PUSH1 0xa0 0000038f: PUSH1 0x02 00000391: EXP 00000392: SUB 00000393: PUSH1 0x04 00000395: CALLDATALOAD 00000396: AND 00000397: PUSH1 0x24 00000399: CALLDATALOAD 0000039a: ISZERO 0000039b: ISZERO 0000039c: PUSH2 0x0c3c 0000039f: JUMP 000003a0: JUMPDEST 000003a1: CALLVALUE 000003a2: ISZERO 000003a3: PUSH2 0x03ab 000003a6: JUMPI 000003a7: PUSH1 0x00 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: PUSH2 0x0171 000003af: PUSH1 0x04 000003b1: DUP1 000003b2: CALLDATALOAD 000003b3: PUSH1 0x24 000003b5: DUP2 000003b6: ADD 000003b7: SWAP2 000003b8: ADD 000003b9: CALLDATALOAD 000003ba: PUSH2 0x0ca5 000003bd: JUMP 000003be: JUMPDEST 000003bf: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 000003d4: PUSH4 0x4afcba30 000003d9: PUSH1 0x00 000003db: DUP6 000003dc: DUP6 000003dd: DUP6 000003de: PUSH1 0x40 000003e0: MLOAD 000003e1: PUSH1 0xe0 000003e3: PUSH1 0x02 000003e5: EXP 000003e6: PUSH4 0xffffffff 000003eb: DUP8 000003ec: AND 000003ed: MUL 000003ee: DUP2 000003ef: MSTORE 000003f0: PUSH1 0x04 000003f2: DUP2 000003f3: ADD 000003f4: SWAP5 000003f5: SWAP1 000003f6: SWAP5 000003f7: MSTORE 000003f8: PUSH1 0x01 000003fa: PUSH1 0xa0 000003fc: PUSH1 0x02 000003fe: EXP 000003ff: SUB 00000400: SWAP3 00000401: DUP4 00000402: AND 00000403: PUSH1 0x24 00000405: DUP6 00000406: ADD 00000407: MSTORE 00000408: PUSH1 0x44 0000040a: DUP5 0000040b: ADD 0000040c: SWAP2 0000040d: SWAP1 0000040e: SWAP2 0000040f: MSTORE 00000410: AND 00000411: PUSH1 0x64 00000413: DUP3 00000414: ADD 00000415: MSTORE 00000416: PUSH1 0x84 00000418: ADD 00000419: PUSH1 0x00 0000041b: PUSH1 0x40 0000041d: MLOAD 0000041e: DUP1 0000041f: DUP4 00000420: SUB 00000421: DUP2 00000422: DUP7 00000423: DUP1 00000424: EXTCODESIZE 00000425: ISZERO 00000426: ISZERO 00000427: PUSH2 0x042f 0000042a: JUMPI 0000042b: PUSH1 0x00 0000042d: DUP1 0000042e: REVERT 0000042f: JUMPDEST 00000430: PUSH2 0x02c6 00000433: GAS 00000434: SUB 00000435: DELEGATECALL 00000436: ISZERO 00000437: ISZERO 00000438: PUSH2 0x0440 0000043b: JUMPI 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: REVERT 00000440: JUMPDEST 00000441: POP 00000442: POP 00000443: POP 00000444: POP 00000445: POP 00000446: POP 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 0000045e: PUSH4 0x7c6a8a68 00000463: PUSH1 0x00 00000465: PUSH1 0x40 00000467: MLOAD 00000468: PUSH1 0xe0 0000046a: PUSH1 0x02 0000046c: EXP 0000046d: PUSH4 0xffffffff 00000472: DUP5 00000473: AND 00000474: MUL 00000475: DUP2 00000476: MSTORE 00000477: PUSH1 0x04 00000479: DUP2 0000047a: ADD 0000047b: SWAP2 0000047c: SWAP1 0000047d: SWAP2 0000047e: MSTORE 0000047f: PUSH1 0x24 00000481: ADD 00000482: PUSH1 0x00 00000484: PUSH1 0x40 00000486: MLOAD 00000487: DUP1 00000488: DUP4 00000489: SUB 0000048a: DUP2 0000048b: DUP7 0000048c: DUP1 0000048d: EXTCODESIZE 0000048e: ISZERO 0000048f: ISZERO 00000490: PUSH2 0x0498 00000493: JUMPI 00000494: PUSH1 0x00 00000496: DUP1 00000497: REVERT 00000498: JUMPDEST 00000499: PUSH2 0x02c6 0000049c: GAS 0000049d: SUB 0000049e: DELEGATECALL 0000049f: ISZERO 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: POP 000004ac: POP 000004ad: JUMP 000004ae: JUMPDEST 000004af: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 000004c4: PUSH4 0x2fb2c6d2 000004c9: PUSH1 0x00 000004cb: DUP5 000004cc: DUP5 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: PUSH1 0xe0 000004d2: PUSH1 0x02 000004d4: EXP 000004d5: PUSH4 0xffffffff 000004da: DUP7 000004db: AND 000004dc: MUL 000004dd: DUP2 000004de: MSTORE 000004df: PUSH1 0x04 000004e1: DUP2 000004e2: ADD 000004e3: SWAP4 000004e4: SWAP1 000004e5: SWAP4 000004e6: MSTORE 000004e7: PUSH1 0x24 000004e9: DUP4 000004ea: ADD 000004eb: SWAP2 000004ec: SWAP1 000004ed: SWAP2 000004ee: MSTORE 000004ef: PUSH1 0x01 000004f1: PUSH1 0xa0 000004f3: PUSH1 0x02 000004f5: EXP 000004f6: SUB 000004f7: AND 000004f8: PUSH1 0x44 000004fa: DUP3 000004fb: ADD 000004fc: MSTORE 000004fd: PUSH1 0x64 000004ff: ADD 00000500: PUSH1 0x00 00000502: PUSH1 0x40 00000504: MLOAD 00000505: DUP1 00000506: DUP4 00000507: SUB 00000508: DUP2 00000509: DUP7 0000050a: DUP1 0000050b: EXTCODESIZE 0000050c: ISZERO 0000050d: ISZERO 0000050e: PUSH2 0x0516 00000511: JUMPI 00000512: PUSH1 0x00 00000514: DUP1 00000515: REVERT 00000516: JUMPDEST 00000517: PUSH2 0x02c6 0000051a: GAS 0000051b: SUB 0000051c: DELEGATECALL 0000051d: ISZERO 0000051e: ISZERO 0000051f: PUSH2 0x0527 00000522: JUMPI 00000523: PUSH1 0x00 00000525: DUP1 00000526: REVERT 00000527: JUMPDEST 00000528: POP 00000529: POP 0000052a: POP 0000052b: POP 0000052c: POP 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH1 0x13 00000531: SLOAD 00000532: PUSH1 0xff 00000534: AND 00000535: ISZERO 00000536: PUSH2 0x053e 00000539: JUMPI 0000053a: PUSH1 0x00 0000053c: DUP1 0000053d: REVERT 0000053e: JUMPDEST 0000053f: PUSH1 0x13 00000541: DUP1 00000542: SLOAD 00000543: PUSH1 0xff 00000545: NOT 00000546: AND 00000547: PUSH1 0x01 00000549: OR 0000054a: SWAP1 0000054b: SSTORE 0000054c: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000561: PUSH4 0x80b8871c 00000566: PUSH1 0x00 00000568: DUP4 00000569: PUSH1 0x40 0000056b: MLOAD 0000056c: PUSH1 0xe0 0000056e: PUSH1 0x02 00000570: EXP 00000571: PUSH4 0xffffffff 00000576: DUP6 00000577: AND 00000578: MUL 00000579: DUP2 0000057a: MSTORE 0000057b: PUSH1 0x04 0000057d: DUP2 0000057e: ADD 0000057f: SWAP3 00000580: SWAP1 00000581: SWAP3 00000582: MSTORE 00000583: PUSH1 0x01 00000585: PUSH1 0xa0 00000587: PUSH1 0x02 00000589: EXP 0000058a: SUB 0000058b: AND 0000058c: PUSH1 0x24 0000058e: DUP3 0000058f: ADD 00000590: MSTORE 00000591: PUSH1 0x44 00000593: ADD 00000594: PUSH1 0x00 00000596: PUSH1 0x40 00000598: MLOAD 00000599: DUP1 0000059a: DUP4 0000059b: SUB 0000059c: DUP2 0000059d: DUP7 0000059e: DUP1 0000059f: EXTCODESIZE 000005a0: ISZERO 000005a1: ISZERO 000005a2: PUSH2 0x05aa 000005a5: JUMPI 000005a6: PUSH1 0x00 000005a8: DUP1 000005a9: REVERT 000005aa: JUMPDEST 000005ab: PUSH2 0x02c6 000005ae: GAS 000005af: SUB 000005b0: DELEGATECALL 000005b1: ISZERO 000005b2: ISZERO 000005b3: PUSH2 0x05bb 000005b6: JUMPI 000005b7: PUSH1 0x00 000005b9: DUP1 000005ba: REVERT 000005bb: JUMPDEST 000005bc: POP 000005bd: POP 000005be: PUSH1 0x13 000005c0: DUP1 000005c1: SLOAD 000005c2: PUSH1 0xff 000005c4: NOT 000005c5: AND 000005c6: SWAP1 000005c7: SSTORE 000005c8: POP 000005c9: POP 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x13 000005ce: SLOAD 000005cf: PUSH1 0xff 000005d1: AND 000005d2: ISZERO 000005d3: PUSH2 0x05db 000005d6: JUMPI 000005d7: PUSH1 0x00 000005d9: DUP1 000005da: REVERT 000005db: JUMPDEST 000005dc: PUSH1 0x13 000005de: DUP1 000005df: SLOAD 000005e0: PUSH1 0xff 000005e2: NOT 000005e3: AND 000005e4: PUSH1 0x01 000005e6: OR 000005e7: SWAP1 000005e8: SSTORE 000005e9: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 000005fe: PUSH4 0x392a4fa2 00000603: PUSH1 0x00 00000605: DUP6 00000606: DUP6 00000607: DUP6 00000608: PUSH1 0x40 0000060a: MLOAD 0000060b: PUSH1 0xe0 0000060d: PUSH1 0x02 0000060f: EXP 00000610: PUSH4 0xffffffff 00000615: DUP8 00000616: AND 00000617: MUL 00000618: DUP2 00000619: MSTORE 0000061a: PUSH1 0x04 0000061c: DUP2 0000061d: ADD 0000061e: DUP6 0000061f: DUP2 00000620: MSTORE 00000621: PUSH1 0x01 00000623: PUSH1 0xa0 00000625: PUSH1 0x02 00000627: EXP 00000628: SUB 00000629: DUP6 0000062a: AND 0000062b: PUSH1 0x24 0000062d: DUP4 0000062e: ADD 0000062f: MSTORE 00000630: PUSH1 0x60 00000632: PUSH1 0x44 00000634: DUP4 00000635: ADD 00000636: SWAP1 00000637: DUP2 00000638: MSTORE 00000639: PUSH1 0x64 0000063b: DUP4 0000063c: ADD 0000063d: DUP5 0000063e: SWAP1 0000063f: MSTORE 00000640: SWAP1 00000641: SWAP2 00000642: PUSH1 0x84 00000644: ADD 00000645: DUP5 00000646: PUSH1 0x20 00000648: DUP6 00000649: MUL 0000064a: DUP1 0000064b: DUP3 0000064c: DUP5 0000064d: CALLDATACOPY 0000064e: DUP3 0000064f: ADD 00000650: SWAP2 00000651: POP 00000652: POP 00000653: SWAP6 00000654: POP 00000655: POP 00000656: POP 00000657: POP 00000658: POP 00000659: POP 0000065a: PUSH1 0x00 0000065c: PUSH1 0x40 0000065e: MLOAD 0000065f: DUP1 00000660: DUP4 00000661: SUB 00000662: DUP2 00000663: DUP7 00000664: DUP1 00000665: EXTCODESIZE 00000666: ISZERO 00000667: ISZERO 00000668: PUSH2 0x0670 0000066b: JUMPI 0000066c: PUSH1 0x00 0000066e: DUP1 0000066f: REVERT 00000670: JUMPDEST 00000671: PUSH2 0x02c6 00000674: GAS 00000675: SUB 00000676: DELEGATECALL 00000677: ISZERO 00000678: ISZERO 00000679: PUSH2 0x0681 0000067c: JUMPI 0000067d: PUSH1 0x00 0000067f: DUP1 00000680: REVERT 00000681: JUMPDEST 00000682: POP 00000683: POP 00000684: PUSH1 0x13 00000686: DUP1 00000687: SLOAD 00000688: PUSH1 0xff 0000068a: NOT 0000068b: AND 0000068c: SWAP1 0000068d: SSTORE 0000068e: POP 0000068f: POP 00000690: POP 00000691: POP 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 000006a9: PUSH4 0xf522fc1b 000006ae: PUSH1 0x00 000006b0: DUP4 000006b1: PUSH1 0x40 000006b3: MLOAD 000006b4: PUSH1 0xe0 000006b6: PUSH1 0x02 000006b8: EXP 000006b9: PUSH4 0xffffffff 000006be: DUP6 000006bf: AND 000006c0: MUL 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x04 000006c5: DUP2 000006c6: ADD 000006c7: SWAP3 000006c8: SWAP1 000006c9: SWAP3 000006ca: MSTORE 000006cb: PUSH1 0x24 000006cd: DUP3 000006ce: ADD 000006cf: MSTORE 000006d0: PUSH1 0x44 000006d2: ADD 000006d3: PUSH1 0x00 000006d5: PUSH1 0x40 000006d7: MLOAD 000006d8: DUP1 000006d9: DUP4 000006da: SUB 000006db: DUP2 000006dc: DUP7 000006dd: DUP1 000006de: EXTCODESIZE 000006df: ISZERO 000006e0: ISZERO 000006e1: PUSH2 0x06e9 000006e4: JUMPI 000006e5: PUSH1 0x00 000006e7: DUP1 000006e8: REVERT 000006e9: JUMPDEST 000006ea: PUSH2 0x02c6 000006ed: GAS 000006ee: SUB 000006ef: DELEGATECALL 000006f0: ISZERO 000006f1: ISZERO 000006f2: PUSH2 0x06fa 000006f5: JUMPI 000006f6: PUSH1 0x00 000006f8: DUP1 000006f9: REVERT 000006fa: JUMPDEST 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: JUMP 00000700: JUMPDEST 00000701: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000716: PUSH4 0x512b893f 0000071b: PUSH1 0x00 0000071d: DUP7 0000071e: DUP7 0000071f: DUP7 00000720: DUP7 00000721: PUSH1 0x40 00000723: MLOAD 00000724: PUSH1 0xe0 00000726: PUSH1 0x02 00000728: EXP 00000729: PUSH4 0xffffffff 0000072e: DUP9 0000072f: AND 00000730: MUL 00000731: DUP2 00000732: MSTORE 00000733: PUSH1 0x04 00000735: DUP2 00000736: ADD 00000737: DUP7 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x01 0000073c: PUSH1 0xa0 0000073e: PUSH1 0x02 00000740: EXP 00000741: SUB 00000742: DUP7 00000743: AND 00000744: PUSH1 0x24 00000746: DUP4 00000747: ADD 00000748: MSTORE 00000749: PUSH1 0x44 0000074b: DUP3 0000074c: ADD 0000074d: DUP6 0000074e: SWAP1 0000074f: MSTORE 00000750: PUSH1 0x80 00000752: PUSH1 0x64 00000754: DUP4 00000755: ADD 00000756: SWAP1 00000757: DUP2 00000758: MSTORE 00000759: PUSH1 0x84 0000075b: DUP4 0000075c: ADD 0000075d: DUP5 0000075e: SWAP1 0000075f: MSTORE 00000760: SWAP1 00000761: SWAP2 00000762: PUSH1 0xa4 00000764: ADD 00000765: DUP5 00000766: DUP5 00000767: DUP1 00000768: DUP3 00000769: DUP5 0000076a: CALLDATACOPY 0000076b: DUP3 0000076c: ADD 0000076d: SWAP2 0000076e: POP 0000076f: POP 00000770: SWAP7 00000771: POP 00000772: POP 00000773: POP 00000774: POP 00000775: POP 00000776: POP 00000777: POP 00000778: PUSH1 0x00 0000077a: PUSH1 0x40 0000077c: MLOAD 0000077d: DUP1 0000077e: DUP4 0000077f: SUB 00000780: DUP2 00000781: DUP7 00000782: DUP1 00000783: EXTCODESIZE 00000784: ISZERO 00000785: ISZERO 00000786: PUSH2 0x078e 00000789: JUMPI 0000078a: PUSH1 0x00 0000078c: DUP1 0000078d: REVERT 0000078e: JUMPDEST 0000078f: PUSH2 0x02c6 00000792: GAS 00000793: SUB 00000794: DELEGATECALL 00000795: ISZERO 00000796: ISZERO 00000797: PUSH2 0x079f 0000079a: JUMPI 0000079b: PUSH1 0x00 0000079d: DUP1 0000079e: REVERT 0000079f: JUMPDEST 000007a0: POP 000007a1: POP 000007a2: POP 000007a3: POP 000007a4: POP 000007a5: POP 000007a6: POP 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH1 0x00 000007ab: DUP1 000007ac: PUSH1 0x00 000007ae: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 000007c3: PUSH4 0x54fd4d50 000007c8: PUSH1 0x00 000007ca: PUSH1 0x40 000007cc: MLOAD 000007cd: PUSH1 0x60 000007cf: ADD 000007d0: MSTORE 000007d1: PUSH1 0x40 000007d3: MLOAD 000007d4: DUP2 000007d5: PUSH4 0xffffffff 000007da: AND 000007db: PUSH1 0xe0 000007dd: PUSH1 0x02 000007df: EXP 000007e0: MUL 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH1 0x04 000007e5: ADD 000007e6: PUSH1 0x60 000007e8: PUSH1 0x40 000007ea: MLOAD 000007eb: DUP1 000007ec: DUP4 000007ed: SUB 000007ee: DUP2 000007ef: DUP7 000007f0: DUP1 000007f1: EXTCODESIZE 000007f2: ISZERO 000007f3: ISZERO 000007f4: PUSH2 0x07fc 000007f7: JUMPI 000007f8: PUSH1 0x00 000007fa: DUP1 000007fb: REVERT 000007fc: JUMPDEST 000007fd: PUSH2 0x02c6 00000800: GAS 00000801: SUB 00000802: DELEGATECALL 00000803: ISZERO 00000804: ISZERO 00000805: PUSH2 0x080d 00000808: JUMPI 00000809: PUSH1 0x00 0000080b: DUP1 0000080c: REVERT 0000080d: JUMPDEST 0000080e: POP 0000080f: POP 00000810: POP 00000811: PUSH1 0x40 00000813: MLOAD 00000814: DUP1 00000815: MLOAD 00000816: SWAP1 00000817: PUSH1 0x20 00000819: ADD 0000081a: DUP1 0000081b: MLOAD 0000081c: SWAP1 0000081d: PUSH1 0x20 0000081f: ADD 00000820: DUP1 00000821: MLOAD 00000822: SWAP1 00000823: POP 00000824: SWAP3 00000825: POP 00000826: SWAP3 00000827: POP 00000828: SWAP3 00000829: POP 0000082a: SWAP1 0000082b: SWAP2 0000082c: SWAP3 0000082d: JUMP 0000082e: JUMPDEST 0000082f: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000844: PUSH4 0xb261039b 00000849: PUSH1 0x00 0000084b: DUP8 0000084c: DUP8 0000084d: DUP8 0000084e: DUP8 0000084f: DUP8 00000850: PUSH1 0x40 00000852: MLOAD 00000853: PUSH1 0xe0 00000855: PUSH1 0x02 00000857: EXP 00000858: PUSH4 0xffffffff 0000085d: DUP10 0000085e: AND 0000085f: MUL 00000860: DUP2 00000861: MSTORE 00000862: PUSH1 0x04 00000864: DUP2 00000865: ADD 00000866: DUP8 00000867: DUP2 00000868: MSTORE 00000869: PUSH1 0x01 0000086b: PUSH1 0xa0 0000086d: PUSH1 0x02 0000086f: EXP 00000870: SUB 00000871: DUP8 00000872: AND 00000873: PUSH1 0x24 00000875: DUP4 00000876: ADD 00000877: MSTORE 00000878: PUSH1 0x44 0000087a: DUP3 0000087b: ADD 0000087c: DUP7 0000087d: SWAP1 0000087e: MSTORE 0000087f: PUSH1 0x64 00000881: DUP3 00000882: ADD 00000883: DUP6 00000884: SWAP1 00000885: MSTORE 00000886: PUSH1 0xa0 00000888: PUSH1 0x84 0000088a: DUP4 0000088b: ADD 0000088c: SWAP1 0000088d: DUP2 0000088e: MSTORE 0000088f: PUSH1 0xa4 00000891: DUP4 00000892: ADD 00000893: DUP5 00000894: SWAP1 00000895: MSTORE 00000896: SWAP1 00000897: SWAP2 00000898: PUSH1 0xc4 0000089a: ADD 0000089b: DUP5 0000089c: DUP5 0000089d: DUP1 0000089e: DUP3 0000089f: DUP5 000008a0: CALLDATACOPY 000008a1: DUP3 000008a2: ADD 000008a3: SWAP2 000008a4: POP 000008a5: POP 000008a6: SWAP8 000008a7: POP 000008a8: POP 000008a9: POP 000008aa: POP 000008ab: POP 000008ac: POP 000008ad: POP 000008ae: POP 000008af: PUSH1 0x00 000008b1: PUSH1 0x40 000008b3: MLOAD 000008b4: DUP1 000008b5: DUP4 000008b6: SUB 000008b7: DUP2 000008b8: DUP7 000008b9: DUP1 000008ba: EXTCODESIZE 000008bb: ISZERO 000008bc: ISZERO 000008bd: PUSH2 0x08c5 000008c0: JUMPI 000008c1: PUSH1 0x00 000008c3: DUP1 000008c4: REVERT 000008c5: JUMPDEST 000008c6: PUSH2 0x02c6 000008c9: GAS 000008ca: SUB 000008cb: DELEGATECALL 000008cc: ISZERO 000008cd: ISZERO 000008ce: PUSH2 0x08d6 000008d1: JUMPI 000008d2: PUSH1 0x00 000008d4: DUP1 000008d5: REVERT 000008d6: JUMPDEST 000008d7: POP 000008d8: POP 000008d9: POP 000008da: POP 000008db: POP 000008dc: POP 000008dd: POP 000008de: POP 000008df: JUMP 000008e0: JUMPDEST 000008e1: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 000008f6: PUSH4 0xf64e7cda 000008fb: PUSH1 0x00 000008fd: PUSH1 0x40 000008ff: MLOAD 00000900: PUSH1 0xe0 00000902: PUSH1 0x02 00000904: EXP 00000905: PUSH4 0xffffffff 0000090a: DUP5 0000090b: AND 0000090c: MUL 0000090d: DUP2 0000090e: MSTORE 0000090f: PUSH1 0x04 00000911: DUP2 00000912: ADD 00000913: SWAP2 00000914: SWAP1 00000915: SWAP2 00000916: MSTORE 00000917: PUSH1 0x24 00000919: ADD 0000091a: PUSH1 0x00 0000091c: PUSH1 0x40 0000091e: MLOAD 0000091f: DUP1 00000920: DUP4 00000921: SUB 00000922: DUP2 00000923: DUP7 00000924: DUP1 00000925: EXTCODESIZE 00000926: ISZERO 00000927: ISZERO 00000928: PUSH2 0x0498 0000092b: JUMPI 0000092c: PUSH1 0x00 0000092e: DUP1 0000092f: REVERT 00000930: JUMPDEST 00000931: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000946: PUSH4 0x68540b6b 0000094b: PUSH1 0x00 0000094d: DUP4 0000094e: PUSH1 0x40 00000950: MLOAD 00000951: PUSH1 0xe0 00000953: PUSH1 0x02 00000955: EXP 00000956: PUSH4 0xffffffff 0000095b: DUP6 0000095c: AND 0000095d: MUL 0000095e: DUP2 0000095f: MSTORE 00000960: PUSH1 0x04 00000962: DUP2 00000963: ADD 00000964: SWAP3 00000965: SWAP1 00000966: SWAP3 00000967: MSTORE 00000968: PUSH1 0x24 0000096a: DUP3 0000096b: ADD 0000096c: MSTORE 0000096d: PUSH1 0x44 0000096f: ADD 00000970: PUSH1 0x00 00000972: PUSH1 0x40 00000974: MLOAD 00000975: DUP1 00000976: DUP4 00000977: SUB 00000978: DUP2 00000979: DUP7 0000097a: DUP1 0000097b: EXTCODESIZE 0000097c: ISZERO 0000097d: ISZERO 0000097e: PUSH2 0x06e9 00000981: JUMPI 00000982: PUSH1 0x00 00000984: DUP1 00000985: REVERT 00000986: JUMPDEST 00000987: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 0000099c: PUSH4 0xc27d2d45 000009a1: PUSH1 0x00 000009a3: DUP4 000009a4: PUSH1 0x40 000009a6: MLOAD 000009a7: PUSH1 0xe0 000009a9: PUSH1 0x02 000009ab: EXP 000009ac: PUSH4 0xffffffff 000009b1: DUP6 000009b2: AND 000009b3: MUL 000009b4: DUP2 000009b5: MSTORE 000009b6: PUSH1 0x04 000009b8: DUP2 000009b9: ADD 000009ba: SWAP3 000009bb: SWAP1 000009bc: SWAP3 000009bd: MSTORE 000009be: PUSH1 0x01 000009c0: PUSH1 0xa0 000009c2: PUSH1 0x02 000009c4: EXP 000009c5: SUB 000009c6: AND 000009c7: PUSH1 0x24 000009c9: DUP3 000009ca: ADD 000009cb: MSTORE 000009cc: PUSH1 0x44 000009ce: ADD 000009cf: PUSH1 0x00 000009d1: PUSH1 0x40 000009d3: MLOAD 000009d4: DUP1 000009d5: DUP4 000009d6: SUB 000009d7: DUP2 000009d8: DUP7 000009d9: DUP1 000009da: EXTCODESIZE 000009db: ISZERO 000009dc: ISZERO 000009dd: PUSH2 0x06e9 000009e0: JUMPI 000009e1: PUSH1 0x00 000009e3: DUP1 000009e4: REVERT 000009e5: JUMPDEST 000009e6: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 000009fb: PUSH4 0x62cea5b9 00000a00: PUSH1 0x00 00000a02: PUSH1 0x40 00000a04: MLOAD 00000a05: PUSH1 0xe0 00000a07: PUSH1 0x02 00000a09: EXP 00000a0a: PUSH4 0xffffffff 00000a0f: DUP5 00000a10: AND 00000a11: MUL 00000a12: DUP2 00000a13: MSTORE 00000a14: PUSH1 0x04 00000a16: DUP2 00000a17: ADD 00000a18: SWAP2 00000a19: SWAP1 00000a1a: SWAP2 00000a1b: MSTORE 00000a1c: PUSH1 0x24 00000a1e: ADD 00000a1f: PUSH1 0x00 00000a21: PUSH1 0x40 00000a23: MLOAD 00000a24: DUP1 00000a25: DUP4 00000a26: SUB 00000a27: DUP2 00000a28: DUP7 00000a29: DUP1 00000a2a: EXTCODESIZE 00000a2b: ISZERO 00000a2c: ISZERO 00000a2d: PUSH2 0x0498 00000a30: JUMPI 00000a31: PUSH1 0x00 00000a33: DUP1 00000a34: REVERT 00000a35: JUMPDEST 00000a36: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000a4b: PUSH4 0xdde9806b 00000a50: PUSH1 0x00 00000a52: DUP7 00000a53: DUP7 00000a54: DUP7 00000a55: DUP7 00000a56: PUSH1 0x40 00000a58: MLOAD 00000a59: PUSH1 0xe0 00000a5b: PUSH1 0x02 00000a5d: EXP 00000a5e: PUSH4 0xffffffff 00000a63: DUP9 00000a64: AND 00000a65: MUL 00000a66: DUP2 00000a67: MSTORE 00000a68: PUSH1 0x04 00000a6a: DUP2 00000a6b: ADD 00000a6c: DUP7 00000a6d: DUP2 00000a6e: MSTORE 00000a6f: PUSH1 0x01 00000a71: PUSH1 0xa0 00000a73: PUSH1 0x02 00000a75: EXP 00000a76: SUB 00000a77: DUP7 00000a78: AND 00000a79: PUSH1 0x24 00000a7b: DUP4 00000a7c: ADD 00000a7d: MSTORE 00000a7e: PUSH1 0x44 00000a80: DUP3 00000a81: ADD 00000a82: DUP6 00000a83: SWAP1 00000a84: MSTORE 00000a85: PUSH1 0x80 00000a87: PUSH1 0x64 00000a89: DUP4 00000a8a: ADD 00000a8b: SWAP1 00000a8c: DUP2 00000a8d: MSTORE 00000a8e: PUSH1 0x84 00000a90: DUP4 00000a91: ADD 00000a92: DUP5 00000a93: SWAP1 00000a94: MSTORE 00000a95: SWAP1 00000a96: SWAP2 00000a97: PUSH1 0xa4 00000a99: ADD 00000a9a: DUP5 00000a9b: DUP5 00000a9c: DUP1 00000a9d: DUP3 00000a9e: DUP5 00000a9f: CALLDATACOPY 00000aa0: DUP3 00000aa1: ADD 00000aa2: SWAP2 00000aa3: POP 00000aa4: POP 00000aa5: SWAP7 00000aa6: POP 00000aa7: POP 00000aa8: POP 00000aa9: POP 00000aaa: POP 00000aab: POP 00000aac: POP 00000aad: PUSH1 0x00 00000aaf: PUSH1 0x40 00000ab1: MLOAD 00000ab2: DUP1 00000ab3: DUP4 00000ab4: SUB 00000ab5: DUP2 00000ab6: DUP7 00000ab7: DUP1 00000ab8: EXTCODESIZE 00000ab9: ISZERO 00000aba: ISZERO 00000abb: PUSH2 0x078e 00000abe: JUMPI 00000abf: PUSH1 0x00 00000ac1: DUP1 00000ac2: REVERT 00000ac3: JUMPDEST 00000ac4: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000ad9: PUSH4 0xcc135813 00000ade: PUSH1 0x00 00000ae0: PUSH1 0x40 00000ae2: MLOAD 00000ae3: PUSH1 0xe0 00000ae5: PUSH1 0x02 00000ae7: EXP 00000ae8: PUSH4 0xffffffff 00000aed: DUP5 00000aee: AND 00000aef: MUL 00000af0: DUP2 00000af1: MSTORE 00000af2: PUSH1 0x04 00000af4: DUP2 00000af5: ADD 00000af6: SWAP2 00000af7: SWAP1 00000af8: SWAP2 00000af9: MSTORE 00000afa: PUSH1 0x24 00000afc: ADD 00000afd: PUSH1 0x00 00000aff: PUSH1 0x40 00000b01: MLOAD 00000b02: DUP1 00000b03: DUP4 00000b04: SUB 00000b05: DUP2 00000b06: DUP7 00000b07: DUP1 00000b08: EXTCODESIZE 00000b09: ISZERO 00000b0a: ISZERO 00000b0b: PUSH2 0x0498 00000b0e: JUMPI 00000b0f: PUSH1 0x00 00000b11: DUP1 00000b12: REVERT 00000b13: JUMPDEST 00000b14: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000b29: PUSH4 0x2006b39d 00000b2e: PUSH1 0x00 00000b30: DUP8 00000b31: DUP8 00000b32: DUP8 00000b33: DUP8 00000b34: DUP8 00000b35: PUSH1 0x40 00000b37: MLOAD 00000b38: DUP8 00000b39: PUSH4 0xffffffff 00000b3e: AND 00000b3f: PUSH1 0xe0 00000b41: PUSH1 0x02 00000b43: EXP 00000b44: MUL 00000b45: DUP2 00000b46: MSTORE 00000b47: PUSH1 0x04 00000b49: ADD 00000b4a: DUP1 00000b4b: DUP8 00000b4c: DUP2 00000b4d: MSTORE 00000b4e: PUSH1 0x20 00000b50: ADD 00000b51: DUP7 00000b52: DUP2 00000b53: MSTORE 00000b54: PUSH1 0x20 00000b56: ADD 00000b57: DUP6 00000b58: DUP2 00000b59: MSTORE 00000b5a: PUSH1 0x20 00000b5c: ADD 00000b5d: DUP5 00000b5e: DUP2 00000b5f: MSTORE 00000b60: PUSH1 0x20 00000b62: ADD 00000b63: DUP1 00000b64: PUSH1 0x20 00000b66: ADD 00000b67: DUP3 00000b68: DUP2 00000b69: SUB 00000b6a: DUP3 00000b6b: MSTORE 00000b6c: DUP5 00000b6d: DUP5 00000b6e: DUP3 00000b6f: DUP2 00000b70: DUP2 00000b71: MSTORE 00000b72: PUSH1 0x20 00000b74: ADD 00000b75: SWAP3 00000b76: POP 00000b77: PUSH1 0x20 00000b79: MUL 00000b7a: DUP1 00000b7b: DUP3 00000b7c: DUP5 00000b7d: CALLDATACOPY 00000b7e: DUP3 00000b7f: ADD 00000b80: SWAP2 00000b81: POP 00000b82: POP 00000b83: SWAP8 00000b84: POP 00000b85: POP 00000b86: POP 00000b87: POP 00000b88: POP 00000b89: POP 00000b8a: POP 00000b8b: POP 00000b8c: PUSH1 0x00 00000b8e: PUSH1 0x40 00000b90: MLOAD 00000b91: DUP1 00000b92: DUP4 00000b93: SUB 00000b94: DUP2 00000b95: DUP7 00000b96: DUP1 00000b97: EXTCODESIZE 00000b98: ISZERO 00000b99: ISZERO 00000b9a: PUSH2 0x08c5 00000b9d: JUMPI 00000b9e: PUSH1 0x00 00000ba0: DUP1 00000ba1: REVERT 00000ba2: JUMPDEST 00000ba3: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000bb8: PUSH4 0x536b7ad5 00000bbd: PUSH1 0x00 00000bbf: DUP7 00000bc0: DUP7 00000bc1: DUP7 00000bc2: DUP7 00000bc3: PUSH1 0x40 00000bc5: MLOAD 00000bc6: DUP7 00000bc7: PUSH4 0xffffffff 00000bcc: AND 00000bcd: PUSH1 0xe0 00000bcf: PUSH1 0x02 00000bd1: EXP 00000bd2: MUL 00000bd3: DUP2 00000bd4: MSTORE 00000bd5: PUSH1 0x04 00000bd7: ADD 00000bd8: DUP1 00000bd9: DUP7 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH1 0x20 00000bde: ADD 00000bdf: DUP1 00000be0: PUSH1 0x20 00000be2: ADD 00000be3: DUP1 00000be4: PUSH1 0x20 00000be6: ADD 00000be7: DUP4 00000be8: DUP2 00000be9: SUB 00000bea: DUP4 00000beb: MSTORE 00000bec: DUP8 00000bed: DUP8 00000bee: DUP3 00000bef: DUP2 00000bf0: DUP2 00000bf1: MSTORE 00000bf2: PUSH1 0x20 00000bf4: ADD 00000bf5: SWAP3 00000bf6: POP 00000bf7: PUSH1 0x20 00000bf9: MUL 00000bfa: DUP1 00000bfb: DUP3 00000bfc: DUP5 00000bfd: CALLDATACOPY 00000bfe: SWAP1 00000bff: SWAP2 00000c00: ADD 00000c01: DUP5 00000c02: DUP2 00000c03: SUB 00000c04: DUP4 00000c05: MSTORE 00000c06: DUP6 00000c07: DUP2 00000c08: MSTORE 00000c09: PUSH1 0x20 00000c0b: SWAP1 00000c0c: DUP2 00000c0d: ADD 00000c0e: SWAP2 00000c0f: POP 00000c10: DUP7 00000c11: SWAP1 00000c12: DUP7 00000c13: MUL 00000c14: DUP1 00000c15: DUP3 00000c16: DUP5 00000c17: CALLDATACOPY 00000c18: DUP3 00000c19: ADD 00000c1a: SWAP2 00000c1b: POP 00000c1c: POP 00000c1d: SWAP8 00000c1e: POP 00000c1f: POP 00000c20: POP 00000c21: POP 00000c22: POP 00000c23: POP 00000c24: POP 00000c25: POP 00000c26: PUSH1 0x00 00000c28: PUSH1 0x40 00000c2a: MLOAD 00000c2b: DUP1 00000c2c: DUP4 00000c2d: SUB 00000c2e: DUP2 00000c2f: DUP7 00000c30: DUP1 00000c31: EXTCODESIZE 00000c32: ISZERO 00000c33: ISZERO 00000c34: PUSH2 0x078e 00000c37: JUMPI 00000c38: PUSH1 0x00 00000c3a: DUP1 00000c3b: REVERT 00000c3c: JUMPDEST 00000c3d: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000c52: PUSH4 0x663eb994 00000c57: PUSH1 0x00 00000c59: DUP5 00000c5a: DUP5 00000c5b: PUSH1 0x40 00000c5d: MLOAD 00000c5e: PUSH1 0xe0 00000c60: PUSH1 0x02 00000c62: EXP 00000c63: PUSH4 0xffffffff 00000c68: DUP7 00000c69: AND 00000c6a: MUL 00000c6b: DUP2 00000c6c: MSTORE 00000c6d: PUSH1 0x04 00000c6f: DUP2 00000c70: ADD 00000c71: SWAP4 00000c72: SWAP1 00000c73: SWAP4 00000c74: MSTORE 00000c75: PUSH1 0x01 00000c77: PUSH1 0xa0 00000c79: PUSH1 0x02 00000c7b: EXP 00000c7c: SUB 00000c7d: SWAP1 00000c7e: SWAP2 00000c7f: AND 00000c80: PUSH1 0x24 00000c82: DUP4 00000c83: ADD 00000c84: MSTORE 00000c85: ISZERO 00000c86: ISZERO 00000c87: PUSH1 0x44 00000c89: DUP3 00000c8a: ADD 00000c8b: MSTORE 00000c8c: PUSH1 0x64 00000c8e: ADD 00000c8f: PUSH1 0x00 00000c91: PUSH1 0x40 00000c93: MLOAD 00000c94: DUP1 00000c95: DUP4 00000c96: SUB 00000c97: DUP2 00000c98: DUP7 00000c99: DUP1 00000c9a: EXTCODESIZE 00000c9b: ISZERO 00000c9c: ISZERO 00000c9d: PUSH2 0x0516 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP1 00000ca4: REVERT 00000ca5: JUMPDEST 00000ca6: PUSH20 0xf6d9fd6cf182432e2a734711b982d06da6563bf3 00000cbb: PUSH4 0xd4d357c0 00000cc0: PUSH1 0x00 00000cc2: DUP5 00000cc3: DUP5 00000cc4: PUSH1 0x40 00000cc6: MLOAD 00000cc7: PUSH1 0xe0 00000cc9: PUSH1 0x02 00000ccb: EXP 00000ccc: PUSH4 0xffffffff 00000cd1: DUP7 00000cd2: AND 00000cd3: MUL 00000cd4: DUP2 00000cd5: MSTORE 00000cd6: PUSH1 0x04 00000cd8: DUP2 00000cd9: ADD 00000cda: DUP5 00000cdb: DUP2 00000cdc: MSTORE 00000cdd: PUSH1 0x40 00000cdf: PUSH1 0x24 00000ce1: DUP4 00000ce2: ADD 00000ce3: SWAP1 00000ce4: DUP2 00000ce5: MSTORE 00000ce6: PUSH1 0x44 00000ce8: DUP4 00000ce9: ADD 00000cea: DUP5 00000ceb: SWAP1 00000cec: MSTORE 00000ced: SWAP1 00000cee: SWAP2 00000cef: PUSH1 0x64 00000cf1: ADD 00000cf2: DUP5 00000cf3: PUSH1 0x20 00000cf5: DUP6 00000cf6: MUL 00000cf7: DUP1 00000cf8: DUP3 00000cf9: DUP5 00000cfa: CALLDATACOPY 00000cfb: DUP3 00000cfc: ADD 00000cfd: SWAP2 00000cfe: POP 00000cff: POP 00000d00: SWAP5 00000d01: POP 00000d02: POP 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: PUSH1 0x00 00000d08: PUSH1 0x40 00000d0a: MLOAD 00000d0b: DUP1 00000d0c: DUP4 00000d0d: SUB 00000d0e: DUP2 00000d0f: DUP7 00000d10: DUP1 00000d11: EXTCODESIZE 00000d12: ISZERO 00000d13: ISZERO 00000d14: PUSH2 0x0516 00000d17: JUMPI 00000d18: PUSH1 0x00 00000d1a: DUP1 00000d1b: REVERT 00000d1c: STOP 00000d1d: LOG1 00000d1e: PUSH6 0x627a7a723058 00000d25: KECCAK256 00000d26: PUSH18 0xdacd27c7bea8d3ece919762666c147e79c0d 00000d39: CALLDATALOAD 00000d3a: SELFBALANCE 00000d3b: UNKNOWN(0xD1) 00000d3c: PUSH0 00000d3d: ADDRESS 00000d3e: UNKNOWN(0xB3) 00000d3f: UNKNOWN(0xCF) 00000d40: LOG4 00000d41: UNKNOWN(0xAE) 00000d42: SGT 00000d43: UNKNOWN(0xB4) 00000d44: UNKNOWN(0xEA) 00000d45: UNKNOWN(0x0D) 00000d46: STOP 00000d47: UNKNOWN(0x29)
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: 0xdc3c8b4ac7733748c2bfa71550f419fa1d83cc53015e0b2b966a832503194c6b
call_targets:
0xf6d9fd6cf182432e2a734711b982d06da6563bf3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdc3c8b4ac7733748c2bfa71550f419fa1d83cc53015e0b2b966a832503194c6b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf6d9fd6cf182432e2a734711b982d06da6563bf3"
],
"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": "0x14614af9",
"selector": "0x14614af9",
"calldata_variants": [
"0x14614af9",
"0x14614af90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x17f708fb",
"selector": "0x17f708fb",
"calldata_variants": [
"0x17f708fb",
"0x17f708fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19f363bc",
"selector": "0x19f363bc",
"calldata_variants": [
"0x19f363bc",
"0x19f363bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b55b792",
"selector": "0x2b55b792",
"calldata_variants": [
"0x2b55b792",
"0x2b55b7920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d923501",
"selector": "0x2d923501",
"calldata_variants": [
"0x2d923501",
"0x2d9235010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d5a8e10",
"selector": "0x4d5a8e10",
"calldata_variants": [
"0x4d5a8e10",
"0x4d5a8e100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 323,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1077,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
},
{
"pc": 1182,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 10,
"untrusted_delegatecall_count": 10
}
|