019b3844-96de-712a-a9de-613c2577ac19
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 |
|---|---|---|---|---|
| 13621 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13622 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 56945 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 56946 | capability.graph | complete | 1 / 3 | 1 week ago |
| 56947 | detector.run | complete | 1 / 3 | 1 week ago |
| 56948 | 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 0x009c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x5c60da1b 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x5c60da1b 00000024: EQ 00000025: PUSH2 0x02c2 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x7e8aa69d 0000002f: EQ 00000030: PUSH2 0x0319 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x7edae510 0000003a: EQ 0000003b: PUSH2 0x036a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x8c01c3f7 00000045: EQ 00000046: PUSH2 0x0381 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf7ea370d 00000050: EQ 00000051: PUSH2 0x03d2 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfe938dcb 0000005b: EQ 0000005c: PUSH2 0x0429 0000005f: JUMPI 00000060: PUSH2 0x009c 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x20698c4f 0000006b: EQ 0000006c: PUSH2 0x011d 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x3e47158c 00000076: EQ 00000077: PUSH2 0x0174 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x4555d5c9 00000081: EQ 00000082: PUSH2 0x01cb 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x47757fb6 0000008c: EQ 0000008d: PUSH2 0x01f6 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x4e6c5645 00000097: EQ 00000098: PUSH2 0x0247 0000009b: JUMPI 0000009c: JUMPDEST 0000009d: PUSH1 0x00 0000009f: PUSH1 0x40 000000a1: MLOAD 000000a2: DUP1 000000a3: DUP1 000000a4: PUSH32 0x78736e782e696d706c656d656e746174696f6e506f736974696f6e0000000000 000000c5: DUP2 000000c6: MSTORE 000000c7: POP 000000c8: PUSH1 0x1b 000000ca: ADD 000000cb: SWAP1 000000cc: POP 000000cd: PUSH1 0x40 000000cf: MLOAD 000000d0: DUP1 000000d1: SWAP2 000000d2: SUB 000000d3: SWAP1 000000d4: KECCAK256 000000d5: SWAP1 000000d6: POP 000000d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ec: DUP2 000000ed: SLOAD 000000ee: AND 000000ef: PUSH1 0x40 000000f1: MLOAD 000000f2: CALLDATASIZE 000000f3: PUSH1 0x00 000000f5: DUP3 000000f6: CALLDATACOPY 000000f7: PUSH1 0x00 000000f9: DUP1 000000fa: CALLDATASIZE 000000fb: DUP4 000000fc: DUP6 000000fd: GAS 000000fe: DELEGATECALL 000000ff: RETURNDATASIZE 00000100: PUSH1 0x00 00000102: DUP4 00000103: RETURNDATACOPY 00000104: PUSH1 0x00 00000106: DUP2 00000107: EQ 00000108: PUSH1 0x01 0000010a: DUP2 0000010b: EQ 0000010c: PUSH2 0x0114 0000010f: JUMPI 00000110: PUSH2 0x0118 00000113: JUMP 00000114: JUMPDEST 00000115: RETURNDATASIZE 00000116: DUP4 00000117: REVERT 00000118: JUMPDEST 00000119: POP 0000011a: RETURNDATASIZE 0000011b: DUP3 0000011c: RETURN 0000011d: JUMPDEST 0000011e: CALLVALUE 0000011f: DUP1 00000120: ISZERO 00000121: PUSH2 0x0129 00000124: JUMPI 00000125: PUSH1 0x00 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH2 0x0132 0000012e: PUSH2 0x0454 00000131: JUMP 00000132: JUMPDEST 00000133: PUSH1 0x40 00000135: MLOAD 00000136: DUP1 00000137: DUP3 00000138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014d: AND 0000014e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000163: AND 00000164: DUP2 00000165: MSTORE 00000166: PUSH1 0x20 00000168: ADD 00000169: SWAP2 0000016a: POP 0000016b: POP 0000016c: PUSH1 0x40 0000016e: MLOAD 0000016f: DUP1 00000170: SWAP2 00000171: SUB 00000172: SWAP1 00000173: RETURN 00000174: JUMPDEST 00000175: CALLVALUE 00000176: DUP1 00000177: ISZERO 00000178: PUSH2 0x0180 0000017b: JUMPI 0000017c: PUSH1 0x00 0000017e: DUP1 0000017f: REVERT 00000180: JUMPDEST 00000181: POP 00000182: PUSH2 0x0189 00000185: PUSH2 0x047c 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH1 0x40 0000018c: MLOAD 0000018d: DUP1 0000018e: DUP3 0000018f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a4: AND 000001a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ba: AND 000001bb: DUP2 000001bc: MSTORE 000001bd: PUSH1 0x20 000001bf: ADD 000001c0: SWAP2 000001c1: POP 000001c2: POP 000001c3: PUSH1 0x40 000001c5: MLOAD 000001c6: DUP1 000001c7: SWAP2 000001c8: SUB 000001c9: SWAP1 000001ca: RETURN 000001cb: JUMPDEST 000001cc: CALLVALUE 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: POP 000001d9: PUSH2 0x01e0 000001dc: PUSH2 0x04c1 000001df: JUMP 000001e0: JUMPDEST 000001e1: PUSH1 0x40 000001e3: MLOAD 000001e4: DUP1 000001e5: DUP3 000001e6: DUP2 000001e7: MSTORE 000001e8: PUSH1 0x20 000001ea: ADD 000001eb: SWAP2 000001ec: POP 000001ed: POP 000001ee: PUSH1 0x40 000001f0: MLOAD 000001f1: DUP1 000001f2: SWAP2 000001f3: SUB 000001f4: SWAP1 000001f5: RETURN 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x0245 00000207: PUSH1 0x04 00000209: DUP1 0000020a: CALLDATASIZE 0000020b: SUB 0000020c: PUSH1 0x20 0000020e: DUP2 0000020f: LT 00000210: ISZERO 00000211: PUSH2 0x0219 00000214: JUMPI 00000215: PUSH1 0x00 00000217: DUP1 00000218: REVERT 00000219: JUMPDEST 0000021a: DUP2 0000021b: ADD 0000021c: SWAP1 0000021d: DUP1 0000021e: DUP1 0000021f: CALLDATALOAD 00000220: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000235: AND 00000236: SWAP1 00000237: PUSH1 0x20 00000239: ADD 0000023a: SWAP1 0000023b: SWAP3 0000023c: SWAP2 0000023d: SWAP1 0000023e: POP 0000023f: POP 00000240: POP 00000241: PUSH2 0x04ca 00000244: JUMP 00000245: JUMPDEST 00000246: STOP 00000247: JUMPDEST 00000248: CALLVALUE 00000249: DUP1 0000024a: ISZERO 0000024b: PUSH2 0x0253 0000024e: JUMPI 0000024f: PUSH1 0x00 00000251: DUP1 00000252: REVERT 00000253: JUMPDEST 00000254: POP 00000255: PUSH2 0x0280 00000258: PUSH1 0x04 0000025a: DUP1 0000025b: CALLDATASIZE 0000025c: SUB 0000025d: PUSH1 0x20 0000025f: DUP2 00000260: LT 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: DUP2 0000026c: ADD 0000026d: SWAP1 0000026e: DUP1 0000026f: DUP1 00000270: CALLDATALOAD 00000271: SWAP1 00000272: PUSH1 0x20 00000274: ADD 00000275: SWAP1 00000276: SWAP3 00000277: SWAP2 00000278: SWAP1 00000279: POP 0000027a: POP 0000027b: POP 0000027c: PUSH2 0x06d4 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH1 0x40 00000283: MLOAD 00000284: DUP1 00000285: DUP3 00000286: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029b: AND 0000029c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b1: AND 000002b2: DUP2 000002b3: MSTORE 000002b4: PUSH1 0x20 000002b6: ADD 000002b7: SWAP2 000002b8: POP 000002b9: POP 000002ba: PUSH1 0x40 000002bc: MLOAD 000002bd: DUP1 000002be: SWAP2 000002bf: SUB 000002c0: SWAP1 000002c1: RETURN 000002c2: JUMPDEST 000002c3: CALLVALUE 000002c4: DUP1 000002c5: ISZERO 000002c6: PUSH2 0x02ce 000002c9: JUMPI 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: REVERT 000002ce: JUMPDEST 000002cf: POP 000002d0: PUSH2 0x02d7 000002d3: PUSH2 0x0769 000002d6: JUMP 000002d7: JUMPDEST 000002d8: PUSH1 0x40 000002da: MLOAD 000002db: DUP1 000002dc: DUP3 000002dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f2: AND 000002f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000308: AND 00000309: DUP2 0000030a: MSTORE 0000030b: PUSH1 0x20 0000030d: ADD 0000030e: SWAP2 0000030f: POP 00000310: POP 00000311: PUSH1 0x40 00000313: MLOAD 00000314: DUP1 00000315: SWAP2 00000316: SUB 00000317: SWAP1 00000318: RETURN 00000319: JUMPDEST 0000031a: CALLVALUE 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH2 0x0325 00000320: JUMPI 00000321: PUSH1 0x00 00000323: DUP1 00000324: REVERT 00000325: JUMPDEST 00000326: POP 00000327: PUSH2 0x0368 0000032a: PUSH1 0x04 0000032c: DUP1 0000032d: CALLDATASIZE 0000032e: SUB 0000032f: PUSH1 0x20 00000331: DUP2 00000332: LT 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: DUP2 0000033e: ADD 0000033f: SWAP1 00000340: DUP1 00000341: DUP1 00000342: CALLDATALOAD 00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000358: AND 00000359: SWAP1 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: SWAP1 0000035e: SWAP3 0000035f: SWAP2 00000360: SWAP1 00000361: POP 00000362: POP 00000363: POP 00000364: PUSH2 0x07ae 00000367: JUMP 00000368: JUMPDEST 00000369: STOP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x037f 0000037b: PUSH2 0x08b5 0000037e: JUMP 0000037f: JUMPDEST 00000380: STOP 00000381: JUMPDEST 00000382: CALLVALUE 00000383: DUP1 00000384: ISZERO 00000385: PUSH2 0x038d 00000388: JUMPI 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: POP 0000038f: PUSH2 0x03d0 00000392: PUSH1 0x04 00000394: DUP1 00000395: CALLDATASIZE 00000396: SUB 00000397: PUSH1 0x20 00000399: DUP2 0000039a: LT 0000039b: ISZERO 0000039c: PUSH2 0x03a4 0000039f: JUMPI 000003a0: PUSH1 0x00 000003a2: DUP1 000003a3: REVERT 000003a4: JUMPDEST 000003a5: DUP2 000003a6: ADD 000003a7: SWAP1 000003a8: DUP1 000003a9: DUP1 000003aa: CALLDATALOAD 000003ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c0: AND 000003c1: SWAP1 000003c2: PUSH1 0x20 000003c4: ADD 000003c5: SWAP1 000003c6: SWAP3 000003c7: SWAP2 000003c8: SWAP1 000003c9: POP 000003ca: POP 000003cb: POP 000003cc: PUSH2 0x0a32 000003cf: JUMP 000003d0: JUMPDEST 000003d1: STOP 000003d2: JUMPDEST 000003d3: CALLVALUE 000003d4: DUP1 000003d5: ISZERO 000003d6: PUSH2 0x03de 000003d9: JUMPI 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: REVERT 000003de: JUMPDEST 000003df: POP 000003e0: PUSH2 0x03e7 000003e3: PUSH2 0x0cbb 000003e6: JUMP 000003e7: JUMPDEST 000003e8: PUSH1 0x40 000003ea: MLOAD 000003eb: DUP1 000003ec: DUP3 000003ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000402: AND 00000403: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000418: AND 00000419: DUP2 0000041a: MSTORE 0000041b: PUSH1 0x20 0000041d: ADD 0000041e: SWAP2 0000041f: POP 00000420: POP 00000421: PUSH1 0x40 00000423: MLOAD 00000424: DUP1 00000425: SWAP2 00000426: SUB 00000427: SWAP1 00000428: RETURN 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: DUP1 0000042c: ISZERO 0000042d: PUSH2 0x0435 00000430: JUMPI 00000431: PUSH1 0x00 00000433: DUP1 00000434: REVERT 00000435: JUMPDEST 00000436: POP 00000437: PUSH2 0x043e 0000043a: PUSH2 0x0d00 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH1 0x40 00000441: MLOAD 00000442: DUP1 00000443: DUP3 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x20 00000448: ADD 00000449: SWAP2 0000044a: POP 0000044b: POP 0000044c: PUSH1 0x40 0000044e: MLOAD 0000044f: DUP1 00000450: SWAP2 00000451: SUB 00000452: SWAP1 00000453: RETURN 00000454: JUMPDEST 00000455: PUSH1 0x00 00000457: PUSH2 0x0477 0000045a: PUSH1 0x40 0000045c: MLOAD 0000045d: DUP1 0000045e: DUP1 0000045f: PUSH2 0x0eee 00000462: PUSH1 0x23 00000464: SWAP2 00000465: CODECOPY 00000466: PUSH1 0x23 00000468: ADD 00000469: SWAP1 0000046a: POP 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: DUP1 0000046f: SWAP2 00000470: SUB 00000471: SWAP1 00000472: KECCAK256 00000473: PUSH2 0x0d45 00000476: JUMP 00000477: JUMPDEST 00000478: SWAP1 00000479: POP 0000047a: SWAP1 0000047b: JUMP 0000047c: JUMPDEST 0000047d: PUSH1 0x00 0000047f: PUSH2 0x04bc 00000482: PUSH1 0x40 00000484: MLOAD 00000485: DUP1 00000486: DUP1 00000487: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000 000004a8: DUP2 000004a9: MSTORE 000004aa: POP 000004ab: PUSH1 0x0f 000004ad: ADD 000004ae: SWAP1 000004af: POP 000004b0: PUSH1 0x40 000004b2: MLOAD 000004b3: DUP1 000004b4: SWAP2 000004b5: SUB 000004b6: SWAP1 000004b7: KECCAK256 000004b8: PUSH2 0x0d45 000004bb: JUMP 000004bc: JUMPDEST 000004bd: SWAP1 000004be: POP 000004bf: SWAP1 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH1 0x00 000004c4: PUSH1 0x02 000004c6: SWAP1 000004c7: POP 000004c8: SWAP1 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH2 0x0508 000004ce: PUSH1 0x40 000004d0: MLOAD 000004d1: DUP1 000004d2: DUP1 000004d3: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000 000004f4: DUP2 000004f5: MSTORE 000004f6: POP 000004f7: PUSH1 0x0f 000004f9: ADD 000004fa: SWAP1 000004fb: POP 000004fc: PUSH1 0x40 000004fe: MLOAD 000004ff: DUP1 00000500: SWAP2 00000501: SUB 00000502: SWAP1 00000503: KECCAK256 00000504: PUSH2 0x0d45 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000051e: AND 0000051f: CALLER 00000520: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000535: AND 00000536: EQ 00000537: PUSH2 0x053f 0000053a: JUMPI 0000053b: PUSH1 0x00 0000053d: DUP1 0000053e: REVERT 0000053f: JUMPDEST 00000540: PUSH1 0x00 00000542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000557: AND 00000558: DUP2 00000559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056e: AND 0000056f: EQ 00000570: ISZERO 00000571: PUSH2 0x05c5 00000574: JUMPI 00000575: PUSH1 0x40 00000577: MLOAD 00000578: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000599: DUP2 0000059a: MSTORE 0000059b: PUSH1 0x04 0000059d: ADD 0000059e: DUP1 0000059f: DUP1 000005a0: PUSH1 0x20 000005a2: ADD 000005a3: DUP3 000005a4: DUP2 000005a5: SUB 000005a6: DUP3 000005a7: MSTORE 000005a8: PUSH1 0x30 000005aa: DUP2 000005ab: MSTORE 000005ac: PUSH1 0x20 000005ae: ADD 000005af: DUP1 000005b0: PUSH2 0x0e4b 000005b3: PUSH1 0x30 000005b5: SWAP2 000005b6: CODECOPY 000005b7: PUSH1 0x40 000005b9: ADD 000005ba: SWAP2 000005bb: POP 000005bc: POP 000005bd: PUSH1 0x40 000005bf: MLOAD 000005c0: DUP1 000005c1: SWAP2 000005c2: SUB 000005c3: SWAP1 000005c4: REVERT 000005c5: JUMPDEST 000005c6: PUSH2 0x05ce 000005c9: DUP2 000005ca: PUSH2 0x0d50 000005cd: JUMP 000005ce: JUMPDEST 000005cf: PUSH2 0x0623 000005d2: JUMPI 000005d3: PUSH1 0x40 000005d5: MLOAD 000005d6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005f7: DUP2 000005f8: MSTORE 000005f9: PUSH1 0x04 000005fb: ADD 000005fc: DUP1 000005fd: DUP1 000005fe: PUSH1 0x20 00000600: ADD 00000601: DUP3 00000602: DUP2 00000603: SUB 00000604: DUP3 00000605: MSTORE 00000606: PUSH1 0x2d 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x20 0000060c: ADD 0000060d: DUP1 0000060e: PUSH2 0x0f11 00000611: PUSH1 0x2d 00000613: SWAP2 00000614: CODECOPY 00000615: PUSH1 0x40 00000617: ADD 00000618: SWAP2 00000619: POP 0000061a: POP 0000061b: PUSH1 0x40 0000061d: MLOAD 0000061e: DUP1 0000061f: SWAP2 00000620: SUB 00000621: SWAP1 00000622: REVERT 00000623: JUMPDEST 00000624: PUSH2 0x062b 00000627: PUSH2 0x0769 0000062a: JUMP 0000062b: JUMPDEST 0000062c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000641: AND 00000642: DUP2 00000643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000658: AND 00000659: EQ 0000065a: ISZERO 0000065b: PUSH2 0x06af 0000065e: JUMPI 0000065f: PUSH1 0x40 00000661: MLOAD 00000662: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000683: DUP2 00000684: MSTORE 00000685: PUSH1 0x04 00000687: ADD 00000688: DUP1 00000689: DUP1 0000068a: PUSH1 0x20 0000068c: ADD 0000068d: DUP3 0000068e: DUP2 0000068f: SUB 00000690: DUP3 00000691: MSTORE 00000692: PUSH1 0x4d 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x20 00000698: ADD 00000699: DUP1 0000069a: PUSH2 0x0e7b 0000069d: PUSH1 0x4d 0000069f: SWAP2 000006a0: CODECOPY 000006a1: PUSH1 0x60 000006a3: ADD 000006a4: SWAP2 000006a5: POP 000006a6: POP 000006a7: PUSH1 0x40 000006a9: MLOAD 000006aa: DUP1 000006ab: SWAP2 000006ac: SUB 000006ad: SWAP1 000006ae: REVERT 000006af: JUMPDEST 000006b0: PUSH2 0x06d1 000006b3: PUSH1 0x40 000006b5: MLOAD 000006b6: DUP1 000006b7: DUP1 000006b8: PUSH2 0x0eee 000006bb: PUSH1 0x23 000006bd: SWAP2 000006be: CODECOPY 000006bf: PUSH1 0x23 000006c1: ADD 000006c2: SWAP1 000006c3: POP 000006c4: PUSH1 0x40 000006c6: MLOAD 000006c7: DUP1 000006c8: SWAP2 000006c9: SUB 000006ca: SWAP1 000006cb: KECCAK256 000006cc: DUP3 000006cd: PUSH2 0x0d69 000006d0: JUMP 000006d1: JUMPDEST 000006d2: POP 000006d3: JUMP 000006d4: JUMPDEST 000006d5: PUSH1 0x00 000006d7: DUP1 000006d8: DUP3 000006d9: EQ 000006da: ISZERO 000006db: PUSH2 0x0723 000006de: JUMPI 000006df: PUSH2 0x071c 000006e2: PUSH1 0x40 000006e4: MLOAD 000006e5: DUP1 000006e6: DUP1 000006e7: PUSH32 0x78736e782e636f7369676e657231000000000000000000000000000000000000 00000708: DUP2 00000709: MSTORE 0000070a: POP 0000070b: PUSH1 0x0e 0000070d: ADD 0000070e: SWAP1 0000070f: POP 00000710: PUSH1 0x40 00000712: MLOAD 00000713: DUP1 00000714: SWAP2 00000715: SUB 00000716: SWAP1 00000717: KECCAK256 00000718: PUSH2 0x0d45 0000071b: JUMP 0000071c: JUMPDEST 0000071d: SWAP1 0000071e: POP 0000071f: PUSH2 0x0764 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH2 0x0761 00000727: PUSH1 0x40 00000729: MLOAD 0000072a: DUP1 0000072b: DUP1 0000072c: PUSH32 0x78736e782e636f7369676e657232000000000000000000000000000000000000 0000074d: DUP2 0000074e: MSTORE 0000074f: POP 00000750: PUSH1 0x0e 00000752: ADD 00000753: SWAP1 00000754: POP 00000755: PUSH1 0x40 00000757: MLOAD 00000758: DUP1 00000759: SWAP2 0000075a: SUB 0000075b: SWAP1 0000075c: KECCAK256 0000075d: PUSH2 0x0d45 00000760: JUMP 00000761: JUMPDEST 00000762: SWAP1 00000763: POP 00000764: JUMPDEST 00000765: SWAP2 00000766: SWAP1 00000767: POP 00000768: JUMP 00000769: JUMPDEST 0000076a: PUSH1 0x00 0000076c: PUSH2 0x07a9 0000076f: PUSH1 0x40 00000771: MLOAD 00000772: DUP1 00000773: DUP1 00000774: PUSH32 0x78736e782e696d706c656d656e746174696f6e506f736974696f6e0000000000 00000795: DUP2 00000796: MSTORE 00000797: POP 00000798: PUSH1 0x1b 0000079a: ADD 0000079b: SWAP1 0000079c: POP 0000079d: PUSH1 0x40 0000079f: MLOAD 000007a0: DUP1 000007a1: SWAP2 000007a2: SUB 000007a3: SWAP1 000007a4: KECCAK256 000007a5: PUSH2 0x0d45 000007a8: JUMP 000007a9: JUMPDEST 000007aa: SWAP1 000007ab: POP 000007ac: SWAP1 000007ad: JUMP 000007ae: JUMPDEST 000007af: PUSH2 0x07ec 000007b2: PUSH1 0x40 000007b4: MLOAD 000007b5: DUP1 000007b6: DUP1 000007b7: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000 000007d8: DUP2 000007d9: MSTORE 000007da: POP 000007db: PUSH1 0x0f 000007dd: ADD 000007de: SWAP1 000007df: POP 000007e0: PUSH1 0x40 000007e2: MLOAD 000007e3: DUP1 000007e4: SWAP2 000007e5: SUB 000007e6: SWAP1 000007e7: KECCAK256 000007e8: PUSH2 0x0d45 000007eb: JUMP 000007ec: JUMPDEST 000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000802: AND 00000803: CALLER 00000804: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000819: AND 0000081a: EQ 0000081b: PUSH2 0x0823 0000081e: JUMPI 0000081f: PUSH1 0x00 00000821: DUP1 00000822: REVERT 00000823: JUMPDEST 00000824: PUSH1 0x00 00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083b: AND 0000083c: DUP2 0000083d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000852: AND 00000853: EQ 00000854: ISZERO 00000855: PUSH2 0x08a9 00000858: JUMPI 00000859: PUSH1 0x40 0000085b: MLOAD 0000085c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000087d: DUP2 0000087e: MSTORE 0000087f: PUSH1 0x04 00000881: ADD 00000882: DUP1 00000883: DUP1 00000884: PUSH1 0x20 00000886: ADD 00000887: DUP3 00000888: DUP2 00000889: SUB 0000088a: DUP3 0000088b: MSTORE 0000088c: PUSH1 0x26 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x20 00000892: ADD 00000893: DUP1 00000894: PUSH2 0x0ec8 00000897: PUSH1 0x26 00000899: SWAP2 0000089a: CODECOPY 0000089b: PUSH1 0x40 0000089d: ADD 0000089e: SWAP2 0000089f: POP 000008a0: POP 000008a1: PUSH1 0x40 000008a3: MLOAD 000008a4: DUP1 000008a5: SWAP2 000008a6: SUB 000008a7: SWAP1 000008a8: REVERT 000008a9: JUMPDEST 000008aa: PUSH2 0x08b2 000008ad: DUP2 000008ae: PUSH2 0x0d70 000008b1: JUMP 000008b2: JUMPDEST 000008b3: POP 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH2 0x08f3 000008b9: PUSH1 0x40 000008bb: MLOAD 000008bc: DUP1 000008bd: DUP1 000008be: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000 000008df: DUP2 000008e0: MSTORE 000008e1: POP 000008e2: PUSH1 0x0f 000008e4: ADD 000008e5: SWAP1 000008e6: POP 000008e7: PUSH1 0x40 000008e9: MLOAD 000008ea: DUP1 000008eb: SWAP2 000008ec: SUB 000008ed: SWAP1 000008ee: KECCAK256 000008ef: PUSH2 0x0d45 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000909: AND 0000090a: CALLER 0000090b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000920: AND 00000921: EQ 00000922: PUSH2 0x092a 00000925: JUMPI 00000926: PUSH1 0x00 00000928: DUP1 00000929: REVERT 0000092a: JUMPDEST 0000092b: PUSH1 0x00 0000092d: PUSH2 0x0934 00000930: PUSH2 0x0cbb 00000933: JUMP 00000934: JUMPDEST 00000935: SWAP1 00000936: POP 00000937: PUSH1 0x00 00000939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094e: AND 0000094f: DUP2 00000950: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000965: AND 00000966: EQ 00000967: ISZERO 00000968: PUSH2 0x09bc 0000096b: JUMPI 0000096c: PUSH1 0x40 0000096e: MLOAD 0000096f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000990: DUP2 00000991: MSTORE 00000992: PUSH1 0x04 00000994: ADD 00000995: DUP1 00000996: DUP1 00000997: PUSH1 0x20 00000999: ADD 0000099a: DUP3 0000099b: DUP2 0000099c: SUB 0000099d: DUP3 0000099e: MSTORE 0000099f: PUSH1 0x26 000009a1: DUP2 000009a2: MSTORE 000009a3: PUSH1 0x20 000009a5: ADD 000009a6: DUP1 000009a7: PUSH2 0x0ec8 000009aa: PUSH1 0x26 000009ac: SWAP2 000009ad: CODECOPY 000009ae: PUSH1 0x40 000009b0: ADD 000009b1: SWAP2 000009b2: POP 000009b3: POP 000009b4: PUSH1 0x40 000009b6: MLOAD 000009b7: DUP1 000009b8: SWAP2 000009b9: SUB 000009ba: SWAP1 000009bb: REVERT 000009bc: JUMPDEST 000009bd: TIMESTAMP 000009be: PUSH2 0x09c5 000009c1: PUSH2 0x0d00 000009c4: JUMP 000009c5: JUMPDEST 000009c6: GT 000009c7: ISZERO 000009c8: PUSH2 0x0a1c 000009cb: JUMPI 000009cc: PUSH1 0x40 000009ce: MLOAD 000009cf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009f0: DUP2 000009f1: MSTORE 000009f2: PUSH1 0x04 000009f4: ADD 000009f5: DUP1 000009f6: DUP1 000009f7: PUSH1 0x20 000009f9: ADD 000009fa: DUP3 000009fb: DUP2 000009fc: SUB 000009fd: DUP3 000009fe: MSTORE 000009ff: PUSH1 0x2e 00000a01: DUP2 00000a02: MSTORE 00000a03: PUSH1 0x20 00000a05: ADD 00000a06: DUP1 00000a07: PUSH2 0x0fac 00000a0a: PUSH1 0x2e 00000a0c: SWAP2 00000a0d: CODECOPY 00000a0e: PUSH1 0x40 00000a10: ADD 00000a11: SWAP2 00000a12: POP 00000a13: POP 00000a14: PUSH1 0x40 00000a16: MLOAD 00000a17: DUP1 00000a18: SWAP2 00000a19: SUB 00000a1a: SWAP1 00000a1b: REVERT 00000a1c: JUMPDEST 00000a1d: PUSH2 0x0a25 00000a20: DUP2 00000a21: PUSH2 0x0df6 00000a24: JUMP 00000a25: JUMPDEST 00000a26: PUSH2 0x0a2f 00000a29: PUSH1 0x00 00000a2b: PUSH2 0x0d70 00000a2e: JUMP 00000a2f: JUMPDEST 00000a30: POP 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x00 00000a35: PUSH2 0x0a72 00000a38: PUSH1 0x40 00000a3a: MLOAD 00000a3b: DUP1 00000a3c: DUP1 00000a3d: PUSH32 0x78736e782e636f7369676e657231000000000000000000000000000000000000 00000a5e: DUP2 00000a5f: MSTORE 00000a60: POP 00000a61: PUSH1 0x0e 00000a63: ADD 00000a64: SWAP1 00000a65: POP 00000a66: PUSH1 0x40 00000a68: MLOAD 00000a69: DUP1 00000a6a: SWAP2 00000a6b: SUB 00000a6c: SWAP1 00000a6d: KECCAK256 00000a6e: PUSH2 0x0d45 00000a71: JUMP 00000a72: JUMPDEST 00000a73: SWAP1 00000a74: POP 00000a75: PUSH1 0x00 00000a77: PUSH2 0x0ab4 00000a7a: PUSH1 0x40 00000a7c: MLOAD 00000a7d: DUP1 00000a7e: DUP1 00000a7f: PUSH32 0x78736e782e636f7369676e657232000000000000000000000000000000000000 00000aa0: DUP2 00000aa1: MSTORE 00000aa2: POP 00000aa3: PUSH1 0x0e 00000aa5: ADD 00000aa6: SWAP1 00000aa7: POP 00000aa8: PUSH1 0x40 00000aaa: MLOAD 00000aab: DUP1 00000aac: SWAP2 00000aad: SUB 00000aae: SWAP1 00000aaf: KECCAK256 00000ab0: PUSH2 0x0d45 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: SWAP1 00000ab6: POP 00000ab7: DUP2 00000ab8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000acd: AND 00000ace: CALLER 00000acf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae4: AND 00000ae5: EQ 00000ae6: DUP1 00000ae7: PUSH2 0x0b1b 00000aea: JUMPI 00000aeb: POP 00000aec: DUP1 00000aed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b02: AND 00000b03: CALLER 00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b19: AND 00000b1a: EQ 00000b1b: JUMPDEST 00000b1c: PUSH2 0x0b24 00000b1f: JUMPI 00000b20: PUSH1 0x00 00000b22: DUP1 00000b23: REVERT 00000b24: JUMPDEST 00000b25: PUSH1 0x00 00000b27: PUSH2 0x0b47 00000b2a: PUSH1 0x40 00000b2c: MLOAD 00000b2d: DUP1 00000b2e: DUP1 00000b2f: PUSH2 0x0eee 00000b32: PUSH1 0x23 00000b34: SWAP2 00000b35: CODECOPY 00000b36: PUSH1 0x23 00000b38: ADD 00000b39: SWAP1 00000b3a: POP 00000b3b: PUSH1 0x40 00000b3d: MLOAD 00000b3e: DUP1 00000b3f: SWAP2 00000b40: SUB 00000b41: SWAP1 00000b42: KECCAK256 00000b43: PUSH2 0x0d45 00000b46: JUMP 00000b47: JUMPDEST 00000b48: SWAP1 00000b49: POP 00000b4a: PUSH1 0x00 00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b61: AND 00000b62: DUP2 00000b63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b78: AND 00000b79: EQ 00000b7a: ISZERO 00000b7b: PUSH2 0x0bcf 00000b7e: JUMPI 00000b7f: PUSH1 0x40 00000b81: MLOAD 00000b82: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ba3: DUP2 00000ba4: MSTORE 00000ba5: PUSH1 0x04 00000ba7: ADD 00000ba8: DUP1 00000ba9: DUP1 00000baa: PUSH1 0x20 00000bac: ADD 00000bad: DUP3 00000bae: DUP2 00000baf: SUB 00000bb0: DUP3 00000bb1: MSTORE 00000bb2: PUSH1 0x2c 00000bb4: DUP2 00000bb5: MSTORE 00000bb6: PUSH1 0x20 00000bb8: ADD 00000bb9: DUP1 00000bba: PUSH2 0x0f3e 00000bbd: PUSH1 0x2c 00000bbf: SWAP2 00000bc0: CODECOPY 00000bc1: PUSH1 0x40 00000bc3: ADD 00000bc4: SWAP2 00000bc5: POP 00000bc6: POP 00000bc7: PUSH1 0x40 00000bc9: MLOAD 00000bca: DUP1 00000bcb: SWAP2 00000bcc: SUB 00000bcd: SWAP1 00000bce: REVERT 00000bcf: JUMPDEST 00000bd0: DUP1 00000bd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be6: AND 00000be7: DUP5 00000be8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfd: AND 00000bfe: EQ 00000bff: PUSH2 0x0c53 00000c02: JUMPI 00000c03: PUSH1 0x40 00000c05: MLOAD 00000c06: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c27: DUP2 00000c28: MSTORE 00000c29: PUSH1 0x04 00000c2b: ADD 00000c2c: DUP1 00000c2d: DUP1 00000c2e: PUSH1 0x20 00000c30: ADD 00000c31: DUP3 00000c32: DUP2 00000c33: SUB 00000c34: DUP3 00000c35: MSTORE 00000c36: PUSH1 0x42 00000c38: DUP2 00000c39: MSTORE 00000c3a: PUSH1 0x20 00000c3c: ADD 00000c3d: DUP1 00000c3e: PUSH2 0x0f6a 00000c41: PUSH1 0x42 00000c43: SWAP2 00000c44: CODECOPY 00000c45: PUSH1 0x60 00000c47: ADD 00000c48: SWAP2 00000c49: POP 00000c4a: POP 00000c4b: PUSH1 0x40 00000c4d: MLOAD 00000c4e: DUP1 00000c4f: SWAP2 00000c50: SUB 00000c51: SWAP1 00000c52: REVERT 00000c53: JUMPDEST 00000c54: PUSH2 0x0c92 00000c57: PUSH1 0x40 00000c59: MLOAD 00000c5a: DUP1 00000c5b: DUP1 00000c5c: PUSH32 0x78736e782e696d706c656d656e746174696f6e506f736974696f6e0000000000 00000c7d: DUP2 00000c7e: MSTORE 00000c7f: POP 00000c80: PUSH1 0x1b 00000c82: ADD 00000c83: SWAP1 00000c84: POP 00000c85: PUSH1 0x40 00000c87: MLOAD 00000c88: DUP1 00000c89: SWAP2 00000c8a: SUB 00000c8b: SWAP1 00000c8c: KECCAK256 00000c8d: DUP6 00000c8e: PUSH2 0x0d69 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH2 0x0cb5 00000c96: PUSH1 0x40 00000c98: MLOAD 00000c99: DUP1 00000c9a: DUP1 00000c9b: PUSH2 0x0eee 00000c9e: PUSH1 0x23 00000ca0: SWAP2 00000ca1: CODECOPY 00000ca2: PUSH1 0x23 00000ca4: ADD 00000ca5: SWAP1 00000ca6: POP 00000ca7: PUSH1 0x40 00000ca9: MLOAD 00000caa: DUP1 00000cab: SWAP2 00000cac: SUB 00000cad: SWAP1 00000cae: KECCAK256 00000caf: PUSH1 0x00 00000cb1: PUSH2 0x0d69 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: POP 00000cb7: POP 00000cb8: POP 00000cb9: POP 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x00 00000cbe: PUSH2 0x0cfb 00000cc1: PUSH1 0x40 00000cc3: MLOAD 00000cc4: DUP1 00000cc5: DUP1 00000cc6: PUSH32 0x78736e782e70726f706f7365644e657741646d696e0000000000000000000000 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: POP 00000cea: PUSH1 0x15 00000cec: ADD 00000ced: SWAP1 00000cee: POP 00000cef: PUSH1 0x40 00000cf1: MLOAD 00000cf2: DUP1 00000cf3: SWAP2 00000cf4: SUB 00000cf5: SWAP1 00000cf6: KECCAK256 00000cf7: PUSH2 0x0d45 00000cfa: JUMP 00000cfb: JUMPDEST 00000cfc: SWAP1 00000cfd: POP 00000cfe: SWAP1 00000cff: JUMP 00000d00: JUMPDEST 00000d01: PUSH1 0x00 00000d03: PUSH2 0x0d40 00000d06: PUSH1 0x40 00000d08: MLOAD 00000d09: DUP1 00000d0a: DUP1 00000d0b: PUSH32 0x78736e782e70726f706f7365644e657741646d696e54696d657374616d700000 00000d2c: DUP2 00000d2d: MSTORE 00000d2e: POP 00000d2f: PUSH1 0x1e 00000d31: ADD 00000d32: SWAP1 00000d33: POP 00000d34: PUSH1 0x40 00000d36: MLOAD 00000d37: DUP1 00000d38: SWAP2 00000d39: SUB 00000d3a: SWAP1 00000d3b: KECCAK256 00000d3c: PUSH2 0x0e38 00000d3f: JUMP 00000d40: JUMPDEST 00000d41: SWAP1 00000d42: POP 00000d43: SWAP1 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH1 0x00 00000d48: DUP2 00000d49: SLOAD 00000d4a: SWAP1 00000d4b: POP 00000d4c: SWAP2 00000d4d: SWAP1 00000d4e: POP 00000d4f: JUMP 00000d50: JUMPDEST 00000d51: PUSH1 0x00 00000d53: DUP1 00000d54: DUP3 00000d55: EXTCODESIZE 00000d56: SWAP1 00000d57: POP 00000d58: PUSH1 0x00 00000d5a: DUP2 00000d5b: PUSH4 0xffffffff 00000d60: AND 00000d61: GT 00000d62: SWAP2 00000d63: POP 00000d64: POP 00000d65: SWAP2 00000d66: SWAP1 00000d67: POP 00000d68: JUMP 00000d69: JUMPDEST 00000d6a: DUP1 00000d6b: DUP3 00000d6c: SSTORE 00000d6d: POP 00000d6e: POP 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: PUSH2 0x0daf 00000d74: PUSH1 0x40 00000d76: MLOAD 00000d77: DUP1 00000d78: DUP1 00000d79: PUSH32 0x78736e782e70726f706f7365644e657741646d696e0000000000000000000000 00000d9a: DUP2 00000d9b: MSTORE 00000d9c: POP 00000d9d: PUSH1 0x15 00000d9f: ADD 00000da0: SWAP1 00000da1: POP 00000da2: PUSH1 0x40 00000da4: MLOAD 00000da5: DUP1 00000da6: SWAP2 00000da7: SUB 00000da8: SWAP1 00000da9: KECCAK256 00000daa: DUP3 00000dab: PUSH2 0x0d69 00000dae: JUMP 00000daf: JUMPDEST 00000db0: PUSH2 0x0df3 00000db3: PUSH1 0x40 00000db5: MLOAD 00000db6: DUP1 00000db7: DUP1 00000db8: PUSH32 0x78736e782e70726f706f7365644e657741646d696e54696d657374616d700000 00000dd9: DUP2 00000dda: MSTORE 00000ddb: POP 00000ddc: PUSH1 0x1e 00000dde: ADD 00000ddf: SWAP1 00000de0: POP 00000de1: PUSH1 0x40 00000de3: MLOAD 00000de4: DUP1 00000de5: SWAP2 00000de6: SUB 00000de7: SWAP1 00000de8: KECCAK256 00000de9: PUSH3 0x015180 00000ded: TIMESTAMP 00000dee: ADD 00000def: PUSH2 0x0e43 00000df2: JUMP 00000df3: JUMPDEST 00000df4: POP 00000df5: JUMP 00000df6: JUMPDEST 00000df7: PUSH2 0x0e35 00000dfa: PUSH1 0x40 00000dfc: MLOAD 00000dfd: DUP1 00000dfe: DUP1 00000dff: PUSH32 0x78736e782e70726f787941646d696e0000000000000000000000000000000000 00000e20: DUP2 00000e21: MSTORE 00000e22: POP 00000e23: PUSH1 0x0f 00000e25: ADD 00000e26: SWAP1 00000e27: POP 00000e28: PUSH1 0x40 00000e2a: MLOAD 00000e2b: DUP1 00000e2c: SWAP2 00000e2d: SUB 00000e2e: SWAP1 00000e2f: KECCAK256 00000e30: DUP3 00000e31: PUSH2 0x0d69 00000e34: JUMP 00000e35: JUMPDEST 00000e36: POP 00000e37: JUMP 00000e38: JUMPDEST 00000e39: PUSH1 0x00 00000e3b: DUP2 00000e3c: SLOAD 00000e3d: SWAP1 00000e3e: POP 00000e3f: SWAP2 00000e40: SWAP1 00000e41: POP 00000e42: JUMP 00000e43: JUMPDEST 00000e44: DUP1 00000e45: DUP3 00000e46: SSTORE 00000e47: POP 00000e48: POP 00000e49: JUMP 00000e4a: INVALID 00000e4b: PUSH15 0x65772070726f706f73656420696d70 00000e5b: PUSH13 0x656d656e746174696f6e206361 00000e69: PUSH15 0x6e6f74206265206164647265737328 00000e79: ADDRESS 00000e7a: UNKNOWN(0x29) 00000e7b: PUSH15 0x65772070726f706f73656420616464 00000e8b: PUSH19 0x6573732063616e6e6f74206265207468652073 00000e9f: PUSH2 0x6d65 00000ea2: KECCAK256 00000ea3: PUSH2 0x7320 00000ea6: PUSH21 0x68652063757272656e7420696d706c656d656e7461 00000ebc: PUSH21 0x696f6e20616464726573736e65772041646d696e20 00000ed2: PUSH2 0x6464 00000ed5: PUSH19 0x6573732063616e6e6f74206265206164647265 00000ee9: PUSH20 0x7328302978736e782e70726f706f736564496d70 00000efe: PUSH13 0x656d656e746174696f6e506f73 00000f0c: PUSH10 0x74696f6e6e6577207072 00000f17: PUSH16 0x706f73656420696d706c656d656e7461 00000f28: PUSH21 0x696f6e206973206e6f74206120636f6e7472616374 00000f3e: PUSH17 0x726f706f73656420696d706c656d656e74 00000f50: PUSH2 0x7469 00000f53: PUSH16 0x6e2063616e6e6f742062652061646472 00000f64: PUSH6 0x737328302970 00000f6b: PUSH19 0x6f706f73656420696d706c656d656e74617469 00000f7f: PUSH16 0x6e20646f65736e2774206d6174636820 00000f90: PUSH21 0x686520636f6e6669726d656420696d706c656d656e 00000fa6: PUSH21 0x6174696f6e61646d696e206368616e67652063616e 00000fbc: KECCAK256 00000fbd: PUSH16 0x6e6c79206265207375626d6974746564 00000fce: KECCAK256 00000fcf: PUSH2 0x6674 00000fd2: PUSH6 0x722031206461 00000fd9: PUSH26 0xa265627a7a72315820775c51a2892d5e9068f42416edec87663d 00000ff4: UNKNOWN(0xCB) 00000ff5: DUP6 00000ff6: UNKNOWN(0xAC) 00000ff7: PUSH29
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 |
|---|---|---|---|---|---|---|---|
| high | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0xe3c4d0805882068b802a56fe4fa0bb7d3341950112839e9278b000377b5cad48
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 132,
"trace_id": "0xe3c4d0805882068b802a56fe4fa0bb7d3341950112839e9278b000377b5cad48",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e8aa69d",
"selector": "0x7e8aa69d",
"calldata_variants": [
"0x7e8aa69d",
"0x7e8aa69d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7edae510",
"selector": "0x7edae510",
"calldata_variants": [
"0x7edae510",
"0x7edae5100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c01c3f7",
"selector": "0x8c01c3f7",
"calldata_variants": [
"0x8c01c3f7",
"0x8c01c3f70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf7ea370d",
"selector": "0xf7ea370d",
"calldata_variants": [
"0xf7ea370d",
"0xf7ea370d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe938dcb",
"selector": "0xfe938dcb",
"calldata_variants": [
"0xfe938dcb",
"0xfe938dcb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20698c4f",
"selector": "0x20698c4f",
"calldata_variants": [
"0x20698c4f",
"0x20698c4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e47158c",
"selector": "0x3e47158c",
"calldata_variants": [
"0x3e47158c",
"0x3e47158c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 254,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 1311,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2051,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2314,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2766,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2819,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|