019b477e-b8b0-70d6-8378-d1de2cb80e7a
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 |
|---|---|---|---|---|
| 23479 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23480 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107789 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107790 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107791 | detector.run | complete | 1 / 3 | 1 week ago |
| 107792 | 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 0x0111 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH3 0x65318b 0000003b: EQ 0000003c: PUSH2 0x011f 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x06fdde03 00000046: EQ 00000047: PUSH2 0x0176 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x10d0ffdd 00000051: EQ 00000052: PUSH2 0x0206 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18160ddd 0000005c: EQ 0000005d: PUSH2 0x0247 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x22609373 00000067: EQ 00000068: PUSH2 0x0272 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x313ce567 00000072: EQ 00000073: PUSH2 0x02b3 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x3ccfd60b 0000007d: EQ 0000007e: PUSH2 0x02e4 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x4b750334 00000088: EQ 00000089: PUSH2 0x02fb 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x688abbf7 00000093: EQ 00000094: PUSH2 0x0326 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x6b2f4632 0000009e: EQ 0000009f: PUSH2 0x0369 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x70a08231 000000a9: EQ 000000aa: PUSH2 0x0394 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8620410b 000000b4: EQ 000000b5: PUSH2 0x03eb 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x949e8acd 000000bf: EQ 000000c0: PUSH2 0x0416 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x95d89b41 000000ca: EQ 000000cb: PUSH2 0x0441 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xa9059cbb 000000d5: EQ 000000d6: PUSH2 0x04d1 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xbf66d09a 000000e0: EQ 000000e1: PUSH2 0x0536 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xe4849b32 000000eb: EQ 000000ec: PUSH2 0x058d 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xe9fad8ee 000000f6: EQ 000000f7: PUSH2 0x05ba 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xf088d547 00000101: EQ 00000102: PUSH2 0x05d1 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xfdb5a03e 0000010c: EQ 0000010d: PUSH2 0x061b 00000110: JUMPI 00000111: JUMPDEST 00000112: PUSH2 0x011c 00000115: CALLVALUE 00000116: PUSH1 0x00 00000118: PUSH2 0x0632 0000011b: JUMP 0000011c: JUMPDEST 0000011d: POP 0000011e: STOP 0000011f: JUMPDEST 00000120: CALLVALUE 00000121: DUP1 00000122: ISZERO 00000123: PUSH2 0x012b 00000126: JUMPI 00000127: PUSH1 0x00 00000129: DUP1 0000012a: REVERT 0000012b: JUMPDEST 0000012c: POP 0000012d: PUSH2 0x0160 00000130: PUSH1 0x04 00000132: DUP1 00000133: CALLDATASIZE 00000134: SUB 00000135: DUP2 00000136: ADD 00000137: SWAP1 00000138: DUP1 00000139: DUP1 0000013a: CALLDATALOAD 0000013b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000150: AND 00000151: SWAP1 00000152: PUSH1 0x20 00000154: ADD 00000155: SWAP1 00000156: SWAP3 00000157: SWAP2 00000158: SWAP1 00000159: POP 0000015a: POP 0000015b: POP 0000015c: PUSH2 0x09fa 0000015f: JUMP 00000160: JUMPDEST 00000161: PUSH1 0x40 00000163: MLOAD 00000164: DUP1 00000165: DUP3 00000166: DUP2 00000167: MSTORE 00000168: PUSH1 0x20 0000016a: ADD 0000016b: SWAP2 0000016c: POP 0000016d: POP 0000016e: PUSH1 0x40 00000170: MLOAD 00000171: DUP1 00000172: SWAP2 00000173: SUB 00000174: SWAP1 00000175: RETURN 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x018b 00000187: PUSH2 0x0a9c 0000018a: JUMP 0000018b: JUMPDEST 0000018c: PUSH1 0x40 0000018e: MLOAD 0000018f: DUP1 00000190: DUP1 00000191: PUSH1 0x20 00000193: ADD 00000194: DUP3 00000195: DUP2 00000196: SUB 00000197: DUP3 00000198: MSTORE 00000199: DUP4 0000019a: DUP2 0000019b: DUP2 0000019c: MLOAD 0000019d: DUP2 0000019e: MSTORE 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: SWAP2 000001a3: POP 000001a4: DUP1 000001a5: MLOAD 000001a6: SWAP1 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP1 000001ab: DUP1 000001ac: DUP4 000001ad: DUP4 000001ae: PUSH1 0x00 000001b0: JUMPDEST 000001b1: DUP4 000001b2: DUP2 000001b3: LT 000001b4: ISZERO 000001b5: PUSH2 0x01cb 000001b8: JUMPI 000001b9: DUP1 000001ba: DUP3 000001bb: ADD 000001bc: MLOAD 000001bd: DUP2 000001be: DUP5 000001bf: ADD 000001c0: MSTORE 000001c1: PUSH1 0x20 000001c3: DUP2 000001c4: ADD 000001c5: SWAP1 000001c6: POP 000001c7: PUSH2 0x01b0 000001ca: JUMP 000001cb: JUMPDEST 000001cc: POP 000001cd: POP 000001ce: POP 000001cf: POP 000001d0: SWAP1 000001d1: POP 000001d2: SWAP1 000001d3: DUP2 000001d4: ADD 000001d5: SWAP1 000001d6: PUSH1 0x1f 000001d8: AND 000001d9: DUP1 000001da: ISZERO 000001db: PUSH2 0x01f8 000001de: JUMPI 000001df: DUP1 000001e0: DUP3 000001e1: SUB 000001e2: DUP1 000001e3: MLOAD 000001e4: PUSH1 0x01 000001e6: DUP4 000001e7: PUSH1 0x20 000001e9: SUB 000001ea: PUSH2 0x0100 000001ed: EXP 000001ee: SUB 000001ef: NOT 000001f0: AND 000001f1: DUP2 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: SWAP2 000001f7: POP 000001f8: JUMPDEST 000001f9: POP 000001fa: SWAP3 000001fb: POP 000001fc: POP 000001fd: POP 000001fe: PUSH1 0x40 00000200: MLOAD 00000201: DUP1 00000202: SWAP2 00000203: SUB 00000204: SWAP1 00000205: RETURN 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x0231 00000217: PUSH1 0x04 00000219: DUP1 0000021a: CALLDATASIZE 0000021b: SUB 0000021c: DUP2 0000021d: ADD 0000021e: SWAP1 0000021f: DUP1 00000220: DUP1 00000221: CALLDATALOAD 00000222: SWAP1 00000223: PUSH1 0x20 00000225: ADD 00000226: SWAP1 00000227: SWAP3 00000228: SWAP2 00000229: SWAP1 0000022a: POP 0000022b: POP 0000022c: POP 0000022d: PUSH2 0x0b3a 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH1 0x40 00000234: MLOAD 00000235: DUP1 00000236: DUP3 00000237: DUP2 00000238: MSTORE 00000239: PUSH1 0x20 0000023b: ADD 0000023c: SWAP2 0000023d: POP 0000023e: POP 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: DUP1 00000243: SWAP2 00000244: SUB 00000245: SWAP1 00000246: RETURN 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 0x025c 00000258: PUSH2 0x0b72 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH1 0x40 0000025f: MLOAD 00000260: DUP1 00000261: DUP3 00000262: DUP2 00000263: MSTORE 00000264: PUSH1 0x20 00000266: ADD 00000267: SWAP2 00000268: POP 00000269: POP 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: DUP1 0000026e: SWAP2 0000026f: SUB 00000270: SWAP1 00000271: RETURN 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x029d 00000283: PUSH1 0x04 00000285: DUP1 00000286: CALLDATASIZE 00000287: SUB 00000288: DUP2 00000289: ADD 0000028a: SWAP1 0000028b: DUP1 0000028c: DUP1 0000028d: CALLDATALOAD 0000028e: SWAP1 0000028f: PUSH1 0x20 00000291: ADD 00000292: SWAP1 00000293: SWAP3 00000294: SWAP2 00000295: SWAP1 00000296: POP 00000297: POP 00000298: POP 00000299: PUSH2 0x0b7c 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: DUP1 000002a2: DUP3 000002a3: DUP2 000002a4: MSTORE 000002a5: PUSH1 0x20 000002a7: ADD 000002a8: SWAP2 000002a9: POP 000002aa: POP 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP1 000002af: SWAP2 000002b0: SUB 000002b1: SWAP1 000002b2: RETURN 000002b3: JUMPDEST 000002b4: CALLVALUE 000002b5: DUP1 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: POP 000002c1: PUSH2 0x02c8 000002c4: PUSH2 0x0bc5 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: DUP3 000002ce: PUSH1 0xff 000002d0: AND 000002d1: PUSH1 0xff 000002d3: AND 000002d4: DUP2 000002d5: MSTORE 000002d6: PUSH1 0x20 000002d8: ADD 000002d9: SWAP2 000002da: POP 000002db: POP 000002dc: PUSH1 0x40 000002de: MLOAD 000002df: DUP1 000002e0: SWAP2 000002e1: SUB 000002e2: SWAP1 000002e3: RETURN 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x02f9 000002f5: PUSH2 0x0bca 000002f8: JUMP 000002f9: JUMPDEST 000002fa: STOP 000002fb: JUMPDEST 000002fc: CALLVALUE 000002fd: DUP1 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: POP 00000309: PUSH2 0x0310 0000030c: PUSH2 0x0d6e 0000030f: JUMP 00000310: JUMPDEST 00000311: PUSH1 0x40 00000313: MLOAD 00000314: DUP1 00000315: DUP3 00000316: DUP2 00000317: MSTORE 00000318: PUSH1 0x20 0000031a: ADD 0000031b: SWAP2 0000031c: POP 0000031d: POP 0000031e: PUSH1 0x40 00000320: MLOAD 00000321: DUP1 00000322: SWAP2 00000323: SUB 00000324: SWAP1 00000325: RETURN 00000326: JUMPDEST 00000327: CALLVALUE 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH2 0x0353 00000337: PUSH1 0x04 00000339: DUP1 0000033a: CALLDATASIZE 0000033b: SUB 0000033c: DUP2 0000033d: ADD 0000033e: SWAP1 0000033f: DUP1 00000340: DUP1 00000341: CALLDATALOAD 00000342: ISZERO 00000343: ISZERO 00000344: SWAP1 00000345: PUSH1 0x20 00000347: ADD 00000348: SWAP1 00000349: SWAP3 0000034a: SWAP2 0000034b: SWAP1 0000034c: POP 0000034d: POP 0000034e: POP 0000034f: PUSH2 0x0dc7 00000352: JUMP 00000353: JUMPDEST 00000354: PUSH1 0x40 00000356: MLOAD 00000357: DUP1 00000358: DUP3 00000359: DUP2 0000035a: MSTORE 0000035b: PUSH1 0x20 0000035d: ADD 0000035e: SWAP2 0000035f: POP 00000360: POP 00000361: PUSH1 0x40 00000363: MLOAD 00000364: DUP1 00000365: SWAP2 00000366: SUB 00000367: SWAP1 00000368: RETURN 00000369: JUMPDEST 0000036a: CALLVALUE 0000036b: DUP1 0000036c: ISZERO 0000036d: PUSH2 0x0375 00000370: JUMPI 00000371: PUSH1 0x00 00000373: DUP1 00000374: REVERT 00000375: JUMPDEST 00000376: POP 00000377: PUSH2 0x037e 0000037a: PUSH2 0x0e33 0000037d: JUMP 0000037e: JUMPDEST 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: DUP1 00000383: DUP3 00000384: DUP2 00000385: MSTORE 00000386: PUSH1 0x20 00000388: ADD 00000389: SWAP2 0000038a: POP 0000038b: POP 0000038c: PUSH1 0x40 0000038e: MLOAD 0000038f: DUP1 00000390: SWAP2 00000391: SUB 00000392: SWAP1 00000393: RETURN 00000394: JUMPDEST 00000395: CALLVALUE 00000396: DUP1 00000397: ISZERO 00000398: PUSH2 0x03a0 0000039b: JUMPI 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: REVERT 000003a0: JUMPDEST 000003a1: POP 000003a2: PUSH2 0x03d5 000003a5: PUSH1 0x04 000003a7: DUP1 000003a8: CALLDATASIZE 000003a9: SUB 000003aa: DUP2 000003ab: ADD 000003ac: SWAP1 000003ad: DUP1 000003ae: DUP1 000003af: CALLDATALOAD 000003b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c5: AND 000003c6: SWAP1 000003c7: PUSH1 0x20 000003c9: ADD 000003ca: SWAP1 000003cb: SWAP3 000003cc: SWAP2 000003cd: SWAP1 000003ce: POP 000003cf: POP 000003d0: POP 000003d1: PUSH2 0x0e52 000003d4: JUMP 000003d5: JUMPDEST 000003d6: PUSH1 0x40 000003d8: MLOAD 000003d9: DUP1 000003da: DUP3 000003db: DUP2 000003dc: MSTORE 000003dd: PUSH1 0x20 000003df: ADD 000003e0: SWAP2 000003e1: POP 000003e2: POP 000003e3: PUSH1 0x40 000003e5: MLOAD 000003e6: DUP1 000003e7: SWAP2 000003e8: SUB 000003e9: SWAP1 000003ea: RETURN 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: DUP1 000003ee: ISZERO 000003ef: PUSH2 0x03f7 000003f2: JUMPI 000003f3: PUSH1 0x00 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: POP 000003f9: PUSH2 0x0400 000003fc: PUSH2 0x0e9b 000003ff: JUMP 00000400: JUMPDEST 00000401: PUSH1 0x40 00000403: MLOAD 00000404: DUP1 00000405: DUP3 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x20 0000040a: ADD 0000040b: SWAP2 0000040c: POP 0000040d: POP 0000040e: PUSH1 0x40 00000410: MLOAD 00000411: DUP1 00000412: SWAP2 00000413: SUB 00000414: SWAP1 00000415: RETURN 00000416: JUMPDEST 00000417: CALLVALUE 00000418: DUP1 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: PUSH2 0x042b 00000427: PUSH2 0x0ef4 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH1 0x40 0000042e: MLOAD 0000042f: DUP1 00000430: DUP3 00000431: DUP2 00000432: MSTORE 00000433: PUSH1 0x20 00000435: ADD 00000436: SWAP2 00000437: POP 00000438: POP 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: DUP1 0000043d: SWAP2 0000043e: SUB 0000043f: SWAP1 00000440: RETURN 00000441: JUMPDEST 00000442: CALLVALUE 00000443: DUP1 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: POP 0000044f: PUSH2 0x0456 00000452: PUSH2 0x0f09 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH1 0x40 00000459: MLOAD 0000045a: DUP1 0000045b: DUP1 0000045c: PUSH1 0x20 0000045e: ADD 0000045f: DUP3 00000460: DUP2 00000461: SUB 00000462: DUP3 00000463: MSTORE 00000464: DUP4 00000465: DUP2 00000466: DUP2 00000467: MLOAD 00000468: DUP2 00000469: MSTORE 0000046a: PUSH1 0x20 0000046c: ADD 0000046d: SWAP2 0000046e: POP 0000046f: DUP1 00000470: MLOAD 00000471: SWAP1 00000472: PUSH1 0x20 00000474: ADD 00000475: SWAP1 00000476: DUP1 00000477: DUP4 00000478: DUP4 00000479: PUSH1 0x00 0000047b: JUMPDEST 0000047c: DUP4 0000047d: DUP2 0000047e: LT 0000047f: ISZERO 00000480: PUSH2 0x0496 00000483: JUMPI 00000484: DUP1 00000485: DUP3 00000486: ADD 00000487: MLOAD 00000488: DUP2 00000489: DUP5 0000048a: ADD 0000048b: MSTORE 0000048c: PUSH1 0x20 0000048e: DUP2 0000048f: ADD 00000490: SWAP1 00000491: POP 00000492: PUSH2 0x047b 00000495: JUMP 00000496: JUMPDEST 00000497: POP 00000498: POP 00000499: POP 0000049a: POP 0000049b: SWAP1 0000049c: POP 0000049d: SWAP1 0000049e: DUP2 0000049f: ADD 000004a0: SWAP1 000004a1: PUSH1 0x1f 000004a3: AND 000004a4: DUP1 000004a5: ISZERO 000004a6: PUSH2 0x04c3 000004a9: JUMPI 000004aa: DUP1 000004ab: DUP3 000004ac: SUB 000004ad: DUP1 000004ae: MLOAD 000004af: PUSH1 0x01 000004b1: DUP4 000004b2: PUSH1 0x20 000004b4: SUB 000004b5: PUSH2 0x0100 000004b8: EXP 000004b9: SUB 000004ba: NOT 000004bb: AND 000004bc: DUP2 000004bd: MSTORE 000004be: PUSH1 0x20 000004c0: ADD 000004c1: SWAP2 000004c2: POP 000004c3: JUMPDEST 000004c4: POP 000004c5: SWAP3 000004c6: POP 000004c7: POP 000004c8: POP 000004c9: PUSH1 0x40 000004cb: MLOAD 000004cc: DUP1 000004cd: SWAP2 000004ce: SUB 000004cf: SWAP1 000004d0: RETURN 000004d1: JUMPDEST 000004d2: CALLVALUE 000004d3: DUP1 000004d4: ISZERO 000004d5: PUSH2 0x04dd 000004d8: JUMPI 000004d9: PUSH1 0x00 000004db: DUP1 000004dc: REVERT 000004dd: JUMPDEST 000004de: POP 000004df: PUSH2 0x051c 000004e2: PUSH1 0x04 000004e4: DUP1 000004e5: CALLDATASIZE 000004e6: SUB 000004e7: DUP2 000004e8: ADD 000004e9: SWAP1 000004ea: DUP1 000004eb: DUP1 000004ec: CALLDATALOAD 000004ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000502: AND 00000503: SWAP1 00000504: PUSH1 0x20 00000506: ADD 00000507: SWAP1 00000508: SWAP3 00000509: SWAP2 0000050a: SWAP1 0000050b: DUP1 0000050c: CALLDATALOAD 0000050d: SWAP1 0000050e: PUSH1 0x20 00000510: ADD 00000511: SWAP1 00000512: SWAP3 00000513: SWAP2 00000514: SWAP1 00000515: POP 00000516: POP 00000517: POP 00000518: PUSH2 0x0fa7 0000051b: JUMP 0000051c: JUMPDEST 0000051d: PUSH1 0x40 0000051f: MLOAD 00000520: DUP1 00000521: DUP3 00000522: ISZERO 00000523: ISZERO 00000524: ISZERO 00000525: ISZERO 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x20 0000052a: ADD 0000052b: SWAP2 0000052c: POP 0000052d: POP 0000052e: PUSH1 0x40 00000530: MLOAD 00000531: DUP1 00000532: SWAP2 00000533: SUB 00000534: SWAP1 00000535: RETURN 00000536: JUMPDEST 00000537: CALLVALUE 00000538: DUP1 00000539: ISZERO 0000053a: PUSH2 0x0542 0000053d: JUMPI 0000053e: PUSH1 0x00 00000540: DUP1 00000541: REVERT 00000542: JUMPDEST 00000543: POP 00000544: PUSH2 0x0577 00000547: PUSH1 0x04 00000549: DUP1 0000054a: CALLDATASIZE 0000054b: SUB 0000054c: DUP2 0000054d: ADD 0000054e: SWAP1 0000054f: DUP1 00000550: DUP1 00000551: CALLDATALOAD 00000552: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000567: AND 00000568: SWAP1 00000569: PUSH1 0x20 0000056b: ADD 0000056c: SWAP1 0000056d: SWAP3 0000056e: SWAP2 0000056f: SWAP1 00000570: POP 00000571: POP 00000572: POP 00000573: PUSH2 0x1292 00000576: JUMP 00000577: JUMPDEST 00000578: PUSH1 0x40 0000057a: MLOAD 0000057b: DUP1 0000057c: DUP3 0000057d: DUP2 0000057e: MSTORE 0000057f: PUSH1 0x20 00000581: ADD 00000582: SWAP2 00000583: POP 00000584: POP 00000585: PUSH1 0x40 00000587: MLOAD 00000588: DUP1 00000589: SWAP2 0000058a: SUB 0000058b: SWAP1 0000058c: RETURN 0000058d: JUMPDEST 0000058e: CALLVALUE 0000058f: DUP1 00000590: ISZERO 00000591: PUSH2 0x0599 00000594: JUMPI 00000595: PUSH1 0x00 00000597: DUP1 00000598: REVERT 00000599: JUMPDEST 0000059a: POP 0000059b: PUSH2 0x05b8 0000059e: PUSH1 0x04 000005a0: DUP1 000005a1: CALLDATASIZE 000005a2: SUB 000005a3: DUP2 000005a4: ADD 000005a5: SWAP1 000005a6: DUP1 000005a7: DUP1 000005a8: CALLDATALOAD 000005a9: SWAP1 000005aa: PUSH1 0x20 000005ac: ADD 000005ad: SWAP1 000005ae: SWAP3 000005af: SWAP2 000005b0: SWAP1 000005b1: POP 000005b2: POP 000005b3: POP 000005b4: PUSH2 0x12db 000005b7: JUMP 000005b8: JUMPDEST 000005b9: STOP 000005ba: JUMPDEST 000005bb: CALLVALUE 000005bc: DUP1 000005bd: ISZERO 000005be: PUSH2 0x05c6 000005c1: JUMPI 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: POP 000005c8: PUSH2 0x05cf 000005cb: PUSH2 0x1509 000005ce: JUMP 000005cf: JUMPDEST 000005d0: STOP 000005d1: JUMPDEST 000005d2: PUSH2 0x0605 000005d5: PUSH1 0x04 000005d7: DUP1 000005d8: CALLDATASIZE 000005d9: SUB 000005da: DUP2 000005db: ADD 000005dc: SWAP1 000005dd: DUP1 000005de: DUP1 000005df: CALLDATALOAD 000005e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f5: AND 000005f6: SWAP1 000005f7: PUSH1 0x20 000005f9: ADD 000005fa: SWAP1 000005fb: SWAP3 000005fc: SWAP2 000005fd: SWAP1 000005fe: POP 000005ff: POP 00000600: POP 00000601: PUSH2 0x1570 00000604: JUMP 00000605: JUMPDEST 00000606: PUSH1 0x40 00000608: MLOAD 00000609: DUP1 0000060a: DUP3 0000060b: DUP2 0000060c: MSTORE 0000060d: PUSH1 0x20 0000060f: ADD 00000610: SWAP2 00000611: POP 00000612: POP 00000613: PUSH1 0x40 00000615: MLOAD 00000616: DUP1 00000617: SWAP2 00000618: SUB 00000619: SWAP1 0000061a: RETURN 0000061b: JUMPDEST 0000061c: CALLVALUE 0000061d: DUP1 0000061e: ISZERO 0000061f: PUSH2 0x0627 00000622: JUMPI 00000623: PUSH1 0x00 00000625: DUP1 00000626: REVERT 00000627: JUMPDEST 00000628: POP 00000629: PUSH2 0x0630 0000062c: PUSH2 0x1582 0000062f: JUMP 00000630: JUMPDEST 00000631: STOP 00000632: JUMPDEST 00000633: PUSH1 0x00 00000635: DUP1 00000636: PUSH1 0x00 00000638: DUP1 00000639: PUSH1 0x00 0000063b: DUP1 0000063c: PUSH1 0x00 0000063e: DUP1 0000063f: PUSH1 0x00 00000641: CALLER 00000642: SWAP8 00000643: POP 00000644: PUSH2 0x0651 00000647: DUP12 00000648: PUSH1 0x0a 0000064a: PUSH1 0xff 0000064c: AND 0000064d: PUSH2 0x16f6 00000650: JUMP 00000651: JUMPDEST 00000652: SWAP7 00000653: POP 00000654: PUSH2 0x065e 00000657: DUP8 00000658: PUSH1 0x03 0000065a: PUSH2 0x16f6 0000065d: JUMP 0000065e: JUMPDEST 0000065f: SWAP6 00000660: POP 00000661: PUSH2 0x066a 00000664: DUP8 00000665: DUP8 00000666: PUSH2 0x1711 00000669: JUMP 0000066a: JUMPDEST 0000066b: SWAP5 0000066c: POP 0000066d: PUSH2 0x0676 00000670: DUP12 00000671: DUP9 00000672: PUSH2 0x1711 00000675: JUMP 00000676: JUMPDEST 00000677: SWAP4 00000678: POP 00000679: PUSH2 0x0681 0000067c: DUP5 0000067d: PUSH2 0x172a 00000680: JUMP 00000681: JUMPDEST 00000682: SWAP3 00000683: POP 00000684: PUSH9 0x010000000000000000 0000068e: DUP6 0000068f: MUL 00000690: SWAP2 00000691: POP 00000692: PUSH1 0x00 00000694: DUP4 00000695: GT 00000696: DUP1 00000697: ISZERO 00000698: PUSH2 0x06ad 0000069b: JUMPI 0000069c: POP 0000069d: PUSH1 0x06 0000069f: SLOAD 000006a0: PUSH2 0x06ab 000006a3: DUP5 000006a4: PUSH1 0x06 000006a6: SLOAD 000006a7: PUSH2 0x17b7 000006aa: JUMP 000006ab: JUMPDEST 000006ac: GT 000006ad: JUMPDEST 000006ae: ISZERO 000006af: ISZERO 000006b0: PUSH2 0x06b8 000006b3: JUMPI 000006b4: PUSH1 0x00 000006b6: DUP1 000006b7: REVERT 000006b8: JUMPDEST 000006b9: PUSH1 0x00 000006bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d0: AND 000006d1: DUP11 000006d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e7: AND 000006e8: EQ 000006e9: ISZERO 000006ea: ISZERO 000006eb: PUSH2 0x080c 000006ee: JUMPI 000006ef: PUSH2 0x0737 000006f2: PUSH1 0x03 000006f4: PUSH1 0x00 000006f6: DUP13 000006f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070c: AND 0000070d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000722: AND 00000723: DUP2 00000724: MSTORE 00000725: PUSH1 0x20 00000727: ADD 00000728: SWAP1 00000729: DUP2 0000072a: MSTORE 0000072b: PUSH1 0x20 0000072d: ADD 0000072e: PUSH1 0x00 00000730: KECCAK256 00000731: SLOAD 00000732: DUP8 00000733: PUSH2 0x17b7 00000736: JUMP 00000737: JUMPDEST 00000738: PUSH1 0x03 0000073a: PUSH1 0x00 0000073c: DUP13 0000073d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000752: AND 00000753: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000768: AND 00000769: DUP2 0000076a: MSTORE 0000076b: PUSH1 0x20 0000076d: ADD 0000076e: SWAP1 0000076f: DUP2 00000770: MSTORE 00000771: PUSH1 0x20 00000773: ADD 00000774: PUSH1 0x00 00000776: KECCAK256 00000777: DUP2 00000778: SWAP1 00000779: SSTORE 0000077a: POP 0000077b: PUSH2 0x07c4 0000077e: PUSH1 0x04 00000780: PUSH1 0x00 00000782: DUP13 00000783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000798: AND 00000799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ae: AND 000007af: DUP2 000007b0: MSTORE 000007b1: PUSH1 0x20 000007b3: ADD 000007b4: SWAP1 000007b5: DUP2 000007b6: MSTORE 000007b7: PUSH1 0x20 000007b9: ADD 000007ba: PUSH1 0x00 000007bc: KECCAK256 000007bd: SLOAD 000007be: PUSH1 0x01 000007c0: PUSH2 0x17b7 000007c3: JUMP 000007c4: JUMPDEST 000007c5: PUSH1 0x04 000007c7: PUSH1 0x00 000007c9: DUP13 000007ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007df: AND 000007e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f5: AND 000007f6: DUP2 000007f7: MSTORE 000007f8: PUSH1 0x20 000007fa: ADD 000007fb: SWAP1 000007fc: DUP2 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: ADD 00000801: PUSH1 0x00 00000803: KECCAK256 00000804: DUP2 00000805: SWAP1 00000806: SSTORE 00000807: POP 00000808: PUSH2 0x0827 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH2 0x0816 00000810: DUP6 00000811: DUP8 00000812: PUSH2 0x17b7 00000815: JUMP 00000816: JUMPDEST 00000817: SWAP5 00000818: POP 00000819: PUSH9 0x010000000000000000 00000823: DUP6 00000824: MUL 00000825: SWAP2 00000826: POP 00000827: JUMPDEST 00000828: PUSH1 0x00 0000082a: PUSH1 0x06 0000082c: SLOAD 0000082d: GT 0000082e: ISZERO 0000082f: PUSH2 0x0892 00000832: JUMPI 00000833: PUSH2 0x083e 00000836: PUSH1 0x06 00000838: SLOAD 00000839: DUP5 0000083a: PUSH2 0x17b7 0000083d: JUMP 0000083e: JUMPDEST 0000083f: PUSH1 0x06 00000841: DUP2 00000842: SWAP1 00000843: SSTORE 00000844: POP 00000845: PUSH1 0x06 00000847: SLOAD 00000848: PUSH9 0x010000000000000000 00000852: DUP7 00000853: MUL 00000854: DUP2 00000855: ISZERO 00000856: ISZERO 00000857: PUSH2 0x085c 0000085a: JUMPI 0000085b: INVALID 0000085c: JUMPDEST 0000085d: DIV 0000085e: PUSH1 0x07 00000860: PUSH1 0x00 00000862: DUP3 00000863: DUP3 00000864: SLOAD 00000865: ADD 00000866: SWAP3 00000867: POP 00000868: POP 00000869: DUP2 0000086a: SWAP1 0000086b: SSTORE 0000086c: POP 0000086d: PUSH1 0x06 0000086f: SLOAD 00000870: PUSH9 0x010000000000000000 0000087a: DUP7 0000087b: MUL 0000087c: DUP2 0000087d: ISZERO 0000087e: ISZERO 0000087f: PUSH2 0x0884 00000882: JUMPI 00000883: INVALID 00000884: JUMPDEST 00000885: DIV 00000886: DUP4 00000887: MUL 00000888: DUP3 00000889: SUB 0000088a: DUP3 0000088b: SUB 0000088c: SWAP2 0000088d: POP 0000088e: PUSH2 0x089a 00000891: JUMP 00000892: JUMPDEST 00000893: DUP3 00000894: PUSH1 0x06 00000896: DUP2 00000897: SWAP1 00000898: SSTORE 00000899: POP 0000089a: JUMPDEST 0000089b: PUSH2 0x08e3 0000089e: PUSH1 0x02 000008a0: PUSH1 0x00 000008a2: DUP11 000008a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b8: AND 000008b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ce: AND 000008cf: DUP2 000008d0: MSTORE 000008d1: PUSH1 0x20 000008d3: ADD 000008d4: SWAP1 000008d5: DUP2 000008d6: MSTORE 000008d7: PUSH1 0x20 000008d9: ADD 000008da: PUSH1 0x00 000008dc: KECCAK256 000008dd: SLOAD 000008de: DUP5 000008df: PUSH2 0x17b7 000008e2: JUMP 000008e3: JUMPDEST 000008e4: PUSH1 0x02 000008e6: PUSH1 0x00 000008e8: DUP11 000008e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fe: AND 000008ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000914: AND 00000915: DUP2 00000916: MSTORE 00000917: PUSH1 0x20 00000919: ADD 0000091a: SWAP1 0000091b: DUP2 0000091c: MSTORE 0000091d: PUSH1 0x20 0000091f: ADD 00000920: PUSH1 0x00 00000922: KECCAK256 00000923: DUP2 00000924: SWAP1 00000925: SSTORE 00000926: POP 00000927: DUP2 00000928: DUP4 00000929: PUSH1 0x07 0000092b: SLOAD 0000092c: MUL 0000092d: SUB 0000092e: SWAP1 0000092f: POP 00000930: DUP1 00000931: PUSH1 0x05 00000933: PUSH1 0x00 00000935: DUP11 00000936: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094b: AND 0000094c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000961: AND 00000962: DUP2 00000963: MSTORE 00000964: PUSH1 0x20 00000966: ADD 00000967: SWAP1 00000968: DUP2 00000969: MSTORE 0000096a: PUSH1 0x20 0000096c: ADD 0000096d: PUSH1 0x00 0000096f: KECCAK256 00000970: PUSH1 0x00 00000972: DUP3 00000973: DUP3 00000974: SLOAD 00000975: ADD 00000976: SWAP3 00000977: POP 00000978: POP 00000979: DUP2 0000097a: SWAP1 0000097b: SSTORE 0000097c: POP 0000097d: DUP10 0000097e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000993: AND 00000994: DUP9 00000995: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009aa: AND 000009ab: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5 000009cc: DUP14 000009cd: DUP7 000009ce: PUSH1 0x40 000009d0: MLOAD 000009d1: DUP1 000009d2: DUP4 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x20 000009d7: ADD 000009d8: DUP3 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x20 000009dd: ADD 000009de: SWAP3 000009df: POP 000009e0: POP 000009e1: POP 000009e2: PUSH1 0x40 000009e4: MLOAD 000009e5: DUP1 000009e6: SWAP2 000009e7: SUB 000009e8: SWAP1 000009e9: LOG3 000009ea: DUP3 000009eb: SWAP9 000009ec: POP 000009ed: POP 000009ee: POP 000009ef: POP 000009f0: POP 000009f1: POP 000009f2: POP 000009f3: POP 000009f4: POP 000009f5: SWAP3 000009f6: SWAP2 000009f7: POP 000009f8: POP 000009f9: JUMP 000009fa: JUMPDEST 000009fb: PUSH1 0x00 000009fd: PUSH9 0x010000000000000000 00000a07: PUSH1 0x05 00000a09: PUSH1 0x00 00000a0b: DUP5 00000a0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a21: AND 00000a22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a37: AND 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x20 00000a3c: ADD 00000a3d: SWAP1 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x20 00000a42: ADD 00000a43: PUSH1 0x00 00000a45: KECCAK256 00000a46: SLOAD 00000a47: PUSH1 0x02 00000a49: PUSH1 0x00 00000a4b: DUP6 00000a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a61: AND 00000a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a77: AND 00000a78: DUP2 00000a79: MSTORE 00000a7a: PUSH1 0x20 00000a7c: ADD 00000a7d: SWAP1 00000a7e: DUP2 00000a7f: MSTORE 00000a80: PUSH1 0x20 00000a82: ADD 00000a83: PUSH1 0x00 00000a85: KECCAK256 00000a86: SLOAD 00000a87: PUSH1 0x07 00000a89: SLOAD 00000a8a: MUL 00000a8b: SUB 00000a8c: DUP2 00000a8d: ISZERO 00000a8e: ISZERO 00000a8f: PUSH2 0x0a94 00000a92: JUMPI 00000a93: INVALID 00000a94: JUMPDEST 00000a95: DIV 00000a96: SWAP1 00000a97: POP 00000a98: SWAP2 00000a99: SWAP1 00000a9a: POP 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: PUSH1 0x00 00000a9f: DUP1 00000aa0: SLOAD 00000aa1: PUSH1 0x01 00000aa3: DUP2 00000aa4: PUSH1 0x01 00000aa6: AND 00000aa7: ISZERO 00000aa8: PUSH2 0x0100 00000aab: MUL 00000aac: SUB 00000aad: AND 00000aae: PUSH1 0x02 00000ab0: SWAP1 00000ab1: DIV 00000ab2: DUP1 00000ab3: PUSH1 0x1f 00000ab5: ADD 00000ab6: PUSH1 0x20 00000ab8: DUP1 00000ab9: SWAP2 00000aba: DIV 00000abb: MUL 00000abc: PUSH1 0x20 00000abe: ADD 00000abf: PUSH1 0x40 00000ac1: MLOAD 00000ac2: SWAP1 00000ac3: DUP2 00000ac4: ADD 00000ac5: PUSH1 0x40 00000ac7: MSTORE 00000ac8: DUP1 00000ac9: SWAP3 00000aca: SWAP2 00000acb: SWAP1 00000acc: DUP2 00000acd: DUP2 00000ace: MSTORE 00000acf: PUSH1 0x20 00000ad1: ADD 00000ad2: DUP3 00000ad3: DUP1 00000ad4: SLOAD 00000ad5: PUSH1 0x01 00000ad7: DUP2 00000ad8: PUSH1 0x01 00000ada: AND 00000adb: ISZERO 00000adc: PUSH2 0x0100 00000adf: MUL 00000ae0: SUB 00000ae1: AND 00000ae2: PUSH1 0x02 00000ae4: SWAP1 00000ae5: DIV 00000ae6: DUP1 00000ae7: ISZERO 00000ae8: PUSH2 0x0b32 00000aeb: JUMPI 00000aec: DUP1 00000aed: PUSH1 0x1f 00000aef: LT 00000af0: PUSH2 0x0b07 00000af3: JUMPI 00000af4: PUSH2 0x0100 00000af7: DUP1 00000af8: DUP4 00000af9: SLOAD 00000afa: DIV 00000afb: MUL 00000afc: DUP4 00000afd: MSTORE 00000afe: SWAP2 00000aff: PUSH1 0x20 00000b01: ADD 00000b02: SWAP2 00000b03: PUSH2 0x0b32 00000b06: JUMP 00000b07: JUMPDEST 00000b08: DUP3 00000b09: ADD 00000b0a: SWAP2 00000b0b: SWAP1 00000b0c: PUSH1 0x00 00000b0e: MSTORE 00000b0f: PUSH1 0x20 00000b11: PUSH1 0x00 00000b13: KECCAK256 00000b14: SWAP1 00000b15: JUMPDEST 00000b16: DUP2 00000b17: SLOAD 00000b18: DUP2 00000b19: MSTORE 00000b1a: SWAP1 00000b1b: PUSH1 0x01 00000b1d: ADD 00000b1e: SWAP1 00000b1f: PUSH1 0x20 00000b21: ADD 00000b22: DUP1 00000b23: DUP4 00000b24: GT 00000b25: PUSH2 0x0b15 00000b28: JUMPI 00000b29: DUP3 00000b2a: SWAP1 00000b2b: SUB 00000b2c: PUSH1 0x1f 00000b2e: AND 00000b2f: DUP3 00000b30: ADD 00000b31: SWAP2 00000b32: JUMPDEST 00000b33: POP 00000b34: POP 00000b35: POP 00000b36: POP 00000b37: POP 00000b38: DUP2 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH1 0x00 00000b3d: DUP1 00000b3e: PUSH1 0x00 00000b40: DUP1 00000b41: PUSH2 0x0b4e 00000b44: DUP6 00000b45: PUSH1 0x0a 00000b47: PUSH1 0xff 00000b49: AND 00000b4a: PUSH2 0x16f6 00000b4d: JUMP 00000b4e: JUMPDEST 00000b4f: SWAP3 00000b50: POP 00000b51: PUSH2 0x0b5a 00000b54: DUP6 00000b55: DUP5 00000b56: PUSH2 0x1711 00000b59: JUMP 00000b5a: JUMPDEST 00000b5b: SWAP2 00000b5c: POP 00000b5d: PUSH2 0x0b65 00000b60: DUP3 00000b61: PUSH2 0x172a 00000b64: JUMP 00000b65: JUMPDEST 00000b66: SWAP1 00000b67: POP 00000b68: DUP1 00000b69: SWAP4 00000b6a: POP 00000b6b: POP 00000b6c: POP 00000b6d: POP 00000b6e: SWAP2 00000b6f: SWAP1 00000b70: POP 00000b71: JUMP 00000b72: JUMPDEST 00000b73: PUSH1 0x00 00000b75: PUSH1 0x06 00000b77: SLOAD 00000b78: SWAP1 00000b79: POP 00000b7a: SWAP1 00000b7b: JUMP 00000b7c: JUMPDEST 00000b7d: PUSH1 0x00 00000b7f: DUP1 00000b80: PUSH1 0x00 00000b82: DUP1 00000b83: PUSH1 0x06 00000b85: SLOAD 00000b86: DUP6 00000b87: GT 00000b88: ISZERO 00000b89: ISZERO 00000b8a: ISZERO 00000b8b: PUSH2 0x0b93 00000b8e: JUMPI 00000b8f: PUSH1 0x00 00000b91: DUP1 00000b92: REVERT 00000b93: JUMPDEST 00000b94: PUSH2 0x0b9c 00000b97: DUP6 00000b98: PUSH2 0x17d5 00000b9b: JUMP 00000b9c: JUMPDEST 00000b9d: SWAP3 00000b9e: POP 00000b9f: PUSH2 0x0bac 00000ba2: DUP4 00000ba3: PUSH1 0x0a 00000ba5: PUSH1 0xff 00000ba7: AND 00000ba8: PUSH2 0x16f6 00000bab: JUMP 00000bac: JUMPDEST 00000bad: SWAP2 00000bae: POP 00000baf: PUSH2 0x0bb8 00000bb2: DUP4 00000bb3: DUP4 00000bb4: PUSH2 0x1711 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: SWAP1 00000bba: POP 00000bbb: DUP1 00000bbc: SWAP4 00000bbd: POP 00000bbe: POP 00000bbf: POP 00000bc0: POP 00000bc1: SWAP2 00000bc2: SWAP1 00000bc3: POP 00000bc4: JUMP 00000bc5: JUMPDEST 00000bc6: PUSH1 0x12 00000bc8: DUP2 00000bc9: JUMP 00000bca: JUMPDEST 00000bcb: PUSH1 0x00 00000bcd: DUP1 00000bce: PUSH1 0x00 00000bd0: PUSH2 0x0bd9 00000bd3: PUSH1 0x01 00000bd5: PUSH2 0x0dc7 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: GT 00000bdb: ISZERO 00000bdc: ISZERO 00000bdd: PUSH2 0x0be5 00000be0: JUMPI 00000be1: PUSH1 0x00 00000be3: DUP1 00000be4: REVERT 00000be5: JUMPDEST 00000be6: CALLER 00000be7: SWAP2 00000be8: POP 00000be9: PUSH2 0x0bf2 00000bec: PUSH1 0x00 00000bee: PUSH2 0x0dc7 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: SWAP1 00000bf4: POP 00000bf5: PUSH9 0x010000000000000000 00000bff: DUP2 00000c00: MUL 00000c01: PUSH1 0x05 00000c03: PUSH1 0x00 00000c05: DUP5 00000c06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1b: AND 00000c1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c31: AND 00000c32: DUP2 00000c33: MSTORE 00000c34: PUSH1 0x20 00000c36: ADD 00000c37: SWAP1 00000c38: DUP2 00000c39: MSTORE 00000c3a: PUSH1 0x20 00000c3c: ADD 00000c3d: PUSH1 0x00 00000c3f: KECCAK256 00000c40: PUSH1 0x00 00000c42: DUP3 00000c43: DUP3 00000c44: SLOAD 00000c45: ADD 00000c46: SWAP3 00000c47: POP 00000c48: POP 00000c49: DUP2 00000c4a: SWAP1 00000c4b: SSTORE 00000c4c: POP 00000c4d: PUSH1 0x03 00000c4f: PUSH1 0x00 00000c51: DUP4 00000c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c67: AND 00000c68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7d: AND 00000c7e: DUP2 00000c7f: MSTORE 00000c80: PUSH1 0x20 00000c82: ADD 00000c83: SWAP1 00000c84: DUP2 00000c85: MSTORE 00000c86: PUSH1 0x20 00000c88: ADD 00000c89: PUSH1 0x00 00000c8b: KECCAK256 00000c8c: SLOAD 00000c8d: DUP2 00000c8e: ADD 00000c8f: SWAP1 00000c90: POP 00000c91: PUSH1 0x00 00000c93: PUSH1 0x03 00000c95: PUSH1 0x00 00000c97: DUP5 00000c98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cad: AND 00000cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc3: AND 00000cc4: DUP2 00000cc5: MSTORE 00000cc6: PUSH1 0x20 00000cc8: ADD 00000cc9: SWAP1 00000cca: DUP2 00000ccb: MSTORE 00000ccc: PUSH1 0x20 00000cce: ADD 00000ccf: PUSH1 0x00 00000cd1: KECCAK256 00000cd2: DUP2 00000cd3: SWAP1 00000cd4: SSTORE 00000cd5: POP 00000cd6: DUP2 00000cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cec: AND 00000ced: PUSH2 0x08fc 00000cf0: DUP3 00000cf1: SWAP1 00000cf2: DUP2 00000cf3: ISZERO 00000cf4: MUL 00000cf5: SWAP1 00000cf6: PUSH1 0x40 00000cf8: MLOAD 00000cf9: PUSH1 0x00 00000cfb: PUSH1 0x40 00000cfd: MLOAD 00000cfe: DUP1 00000cff: DUP4 00000d00: SUB 00000d01: DUP2 00000d02: DUP6 00000d03: DUP9 00000d04: DUP9 00000d05: CALL 00000d06: SWAP4 00000d07: POP 00000d08: POP 00000d09: POP 00000d0a: POP 00000d0b: ISZERO 00000d0c: DUP1 00000d0d: ISZERO 00000d0e: PUSH2 0x0d1b 00000d11: JUMPI 00000d12: RETURNDATASIZE 00000d13: PUSH1 0x00 00000d15: DUP1 00000d16: RETURNDATACOPY 00000d17: RETURNDATASIZE 00000d18: PUSH1 0x00 00000d1a: REVERT 00000d1b: JUMPDEST 00000d1c: POP 00000d1d: DUP2 00000d1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d33: AND 00000d34: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc 00000d55: DUP3 00000d56: PUSH1 0x40 00000d58: MLOAD 00000d59: DUP1 00000d5a: DUP3 00000d5b: DUP2 00000d5c: MSTORE 00000d5d: PUSH1 0x20 00000d5f: ADD 00000d60: SWAP2 00000d61: POP 00000d62: POP 00000d63: PUSH1 0x40 00000d65: MLOAD 00000d66: DUP1 00000d67: SWAP2 00000d68: SUB 00000d69: SWAP1 00000d6a: LOG2 00000d6b: POP 00000d6c: POP 00000d6d: JUMP 00000d6e: JUMPDEST 00000d6f: PUSH1 0x00 00000d71: DUP1 00000d72: PUSH1 0x00 00000d74: DUP1 00000d75: PUSH1 0x00 00000d77: PUSH1 0x06 00000d79: SLOAD 00000d7a: EQ 00000d7b: ISZERO 00000d7c: PUSH2 0x0d8e 00000d7f: JUMPI 00000d80: PUSH5 0x02540be400 00000d86: DUP1 00000d87: SUB 00000d88: SWAP4 00000d89: POP 00000d8a: PUSH2 0x0dc1 00000d8d: JUMP 00000d8e: JUMPDEST 00000d8f: PUSH2 0x0d9f 00000d92: PUSH8 0x0de0b6b3a7640000 00000d9b: PUSH2 0x17d5 00000d9e: JUMP 00000d9f: JUMPDEST 00000da0: SWAP3 00000da1: POP 00000da2: PUSH2 0x0daf 00000da5: DUP4 00000da6: PUSH1 0x0a 00000da8: PUSH1 0xff 00000daa: AND 00000dab: PUSH2 0x16f6 00000dae: JUMP 00000daf: JUMPDEST 00000db0: SWAP2 00000db1: POP 00000db2: PUSH2 0x0dbb 00000db5: DUP4 00000db6: DUP4 00000db7: PUSH2 0x1711 00000dba: JUMP 00000dbb: JUMPDEST 00000dbc: SWAP1 00000dbd: POP 00000dbe: DUP1 00000dbf: SWAP4 00000dc0: POP 00000dc1: JUMPDEST 00000dc2: POP 00000dc3: POP 00000dc4: POP 00000dc5: SWAP1 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH1 0x00 00000dca: DUP1 00000dcb: CALLER 00000dcc: SWAP1 00000dcd: POP 00000dce: DUP3 00000dcf: PUSH2 0x0de0 00000dd2: JUMPI 00000dd3: PUSH2 0x0ddb 00000dd6: DUP2 00000dd7: PUSH2 0x09fa 00000dda: JUMP 00000ddb: JUMPDEST 00000ddc: PUSH2 0x0e2b 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: PUSH1 0x03 00000de3: PUSH1 0x00 00000de5: DUP3 00000de6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfb: AND 00000dfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e11: AND 00000e12: DUP2 00000e13: MSTORE 00000e14: PUSH1 0x20 00000e16: ADD 00000e17: SWAP1 00000e18: DUP2 00000e19: MSTORE 00000e1a: PUSH1 0x20 00000e1c: ADD 00000e1d: PUSH1 0x00 00000e1f: KECCAK256 00000e20: SLOAD 00000e21: PUSH2 0x0e29 00000e24: DUP3 00000e25: PUSH2 0x09fa 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: ADD 00000e2b: JUMPDEST 00000e2c: SWAP2 00000e2d: POP 00000e2e: POP 00000e2f: SWAP2 00000e30: SWAP1 00000e31: POP 00000e32: JUMP 00000e33: JUMPDEST 00000e34: PUSH1 0x00 00000e36: ADDRESS 00000e37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e4c: AND 00000e4d: BALANCE 00000e4e: SWAP1 00000e4f: POP 00000e50: SWAP1 00000e51: JUMP 00000e52: JUMPDEST 00000e53: PUSH1 0x00 00000e55: PUSH1 0x02 00000e57: PUSH1 0x00 00000e59: DUP4 00000e5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e6f: AND 00000e70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e85: AND 00000e86: DUP2 00000e87: MSTORE 00000e88: PUSH1 0x20 00000e8a: ADD 00000e8b: SWAP1 00000e8c: DUP2 00000e8d: MSTORE 00000e8e: PUSH1 0x20 00000e90: ADD 00000e91: PUSH1 0x00 00000e93: KECCAK256 00000e94: SLOAD 00000e95: SWAP1 00000e96: POP 00000e97: SWAP2 00000e98: SWAP1 00000e99: POP 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: PUSH1 0x00 00000e9e: DUP1 00000e9f: PUSH1 0x00 00000ea1: DUP1 00000ea2: PUSH1 0x00 00000ea4: PUSH1 0x06 00000ea6: SLOAD 00000ea7: EQ 00000ea8: ISZERO 00000ea9: PUSH2 0x0ebb 00000eac: JUMPI 00000ead: PUSH5 0x02540be400 00000eb3: DUP1 00000eb4: ADD 00000eb5: SWAP4 00000eb6: POP 00000eb7: PUSH2 0x0eee 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH2 0x0ecc 00000ebf: PUSH8 0x0de0b6b3a7640000 00000ec8: PUSH2 0x17d5 00000ecb: JUMP 00000ecc: JUMPDEST 00000ecd: SWAP3 00000ece: POP 00000ecf: PUSH2 0x0edc 00000ed2: DUP4 00000ed3: PUSH1 0x0a 00000ed5: PUSH1 0xff 00000ed7: AND 00000ed8: PUSH2 0x16f6 00000edb: JUMP 00000edc: JUMPDEST 00000edd: SWAP2 00000ede: POP 00000edf: PUSH2 0x0ee8 00000ee2: DUP4 00000ee3: DUP4 00000ee4: PUSH2 0x17b7 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: SWAP1 00000eea: POP 00000eeb: DUP1 00000eec: SWAP4 00000eed: POP 00000eee: JUMPDEST 00000eef: POP 00000ef0: POP 00000ef1: POP 00000ef2: SWAP1 00000ef3: JUMP 00000ef4: JUMPDEST 00000ef5: PUSH1 0x00 00000ef7: DUP1 00000ef8: CALLER 00000ef9: SWAP1 00000efa: POP 00000efb: PUSH2 0x0f03 00000efe: DUP2 00000eff: PUSH2 0x0e52 00000f02: JUMP 00000f03: JUMPDEST 00000f04: SWAP2 00000f05: POP 00000f06: POP 00000f07: SWAP1 00000f08: JUMP 00000f09: JUMPDEST 00000f0a: PUSH1 0x01 00000f0c: DUP1 00000f0d: SLOAD 00000f0e: PUSH1 0x01 00000f10: DUP2 00000f11: PUSH1 0x01 00000f13: AND 00000f14: ISZERO 00000f15: PUSH2 0x0100 00000f18: MUL 00000f19: SUB 00000f1a: AND 00000f1b: PUSH1 0x02 00000f1d: SWAP1 00000f1e: DIV 00000f1f: DUP1 00000f20: PUSH1 0x1f 00000f22: ADD 00000f23: PUSH1 0x20 00000f25: DUP1 00000f26: SWAP2 00000f27: DIV 00000f28: MUL 00000f29: PUSH1 0x20 00000f2b: ADD 00000f2c: PUSH1 0x40 00000f2e: MLOAD 00000f2f: SWAP1 00000f30: DUP2 00000f31: ADD 00000f32: PUSH1 0x40 00000f34: MSTORE 00000f35: DUP1 00000f36: SWAP3 00000f37: SWAP2 00000f38: SWAP1 00000f39: DUP2 00000f3a: DUP2 00000f3b: MSTORE 00000f3c: PUSH1 0x20 00000f3e: ADD 00000f3f: DUP3 00000f40: DUP1 00000f41: SLOAD 00000f42: PUSH1 0x01 00000f44: DUP2 00000f45: PUSH1 0x01 00000f47: AND 00000f48: ISZERO 00000f49: PUSH2 0x0100 00000f4c: MUL 00000f4d: SUB 00000f4e: AND 00000f4f: PUSH1 0x02 00000f51: SWAP1 00000f52: DIV 00000f53: DUP1 00000f54: ISZERO 00000f55: PUSH2 0x0f9f 00000f58: JUMPI 00000f59: DUP1 00000f5a: PUSH1 0x1f 00000f5c: LT 00000f5d: PUSH2 0x0f74 00000f60: JUMPI 00000f61: PUSH2 0x0100 00000f64: DUP1 00000f65: DUP4 00000f66: SLOAD 00000f67: DIV 00000f68: MUL 00000f69: DUP4 00000f6a: MSTORE 00000f6b: SWAP2 00000f6c: PUSH1 0x20 00000f6e: ADD 00000f6f: SWAP2 00000f70: PUSH2 0x0f9f 00000f73: JUMP 00000f74: JUMPDEST 00000f75: DUP3 00000f76: ADD 00000f77: SWAP2 00000f78: SWAP1 00000f79: PUSH1 0x00 00000f7b: MSTORE 00000f7c: PUSH1 0x20 00000f7e: PUSH1 0x00 00000f80: KECCAK256 00000f81: SWAP1 00000f82: JUMPDEST 00000f83: DUP2 00000f84: SLOAD 00000f85: DUP2 00000f86: MSTORE 00000f87: SWAP1 00000f88: PUSH1 0x01 00000f8a: ADD 00000f8b: SWAP1 00000f8c: PUSH1 0x20 00000f8e: ADD 00000f8f: DUP1 00000f90: DUP4 00000f91: GT 00000f92: PUSH2 0x0f82 00000f95: JUMPI 00000f96: DUP3 00000f97: SWAP1 00000f98: SUB 00000f99: PUSH1 0x1f 00000f9b: AND 00000f9c: DUP3 00000f9d: ADD 00000f9e: SWAP2 00000f9f: JUMPDEST 00000fa0: POP 00000fa1: POP 00000fa2: POP 00000fa3: POP 00000fa4: POP 00000fa5: DUP2 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: PUSH1 0x00 00000faa: DUP1 00000fab: PUSH1 0x00 00000fad: PUSH2 0x0fb4 00000fb0: PUSH2 0x0ef4 00000fb3: JUMP 00000fb4: JUMPDEST 00000fb5: GT 00000fb6: ISZERO 00000fb7: ISZERO 00000fb8: PUSH2 0x0fc0 00000fbb: JUMPI 00000fbc: PUSH1 0x00 00000fbe: DUP1 00000fbf: REVERT 00000fc0: JUMPDEST 00000fc1: PUSH1 0x00 00000fc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd8: AND 00000fd9: DUP5 00000fda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fef: AND 00000ff0: EQ 00000ff1: ISZERO 00000ff2: ISZERO 00000ff3: ISZERO 00000ff4: PUSH2 0x0ffc 00000ff7: JUMPI 00000ff8: PUSH1 0x00 00000ffa: DUP1 00000ffb: REVERT 00000ffc: JUMPDEST 00000ffd: CALLER 00000ffe: SWAP1 00000fff: POP 00001000: PUSH1 0x02 00001002: PUSH1 0x00 00001004: DUP3 00001005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000101a: AND 0000101b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001030: AND 00001031: DUP2 00001032: MSTORE 00001033: PUSH1 0x20 00001035: ADD 00001036: SWAP1 00001037: DUP2 00001038: MSTORE 00001039: PUSH1 0x20 0000103b: ADD 0000103c: PUSH1 0x00 0000103e: KECCAK256 0000103f: SLOAD 00001040: DUP4 00001041: GT 00001042: ISZERO 00001043: ISZERO 00001044: ISZERO 00001045: PUSH2 0x104d 00001048: JUMPI 00001049: PUSH1 0x00 0000104b: DUP1 0000104c: REVERT 0000104d: JUMPDEST 0000104e: PUSH1 0x00 00001050: PUSH2 0x1059 00001053: PUSH1 0x01 00001055: PUSH2 0x0dc7 00001058: JUMP 00001059: JUMPDEST 0000105a: GT 0000105b: ISZERO 0000105c: PUSH2 0x1068 0000105f: JUMPI 00001060: PUSH2 0x1067 00001063: PUSH2 0x0bca 00001066: JUMP 00001067: JUMPDEST 00001068: JUMPDEST 00001069: PUSH2 0x10b1 0000106c: PUSH1 0x02 0000106e: PUSH1 0x00 00001070: DUP4 00001071: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001086: AND 00001087: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000109c: AND 0000109d: DUP2 0000109e: MSTORE 0000109f: PUSH1 0x20 000010a1: ADD 000010a2: SWAP1 000010a3: DUP2 000010a4: MSTORE 000010a5: PUSH1 0x20 000010a7: ADD 000010a8: PUSH1 0x00 000010aa: KECCAK256 000010ab: SLOAD 000010ac: DUP5 000010ad: PUSH2 0x1711 000010b0: JUMP 000010b1: JUMPDEST 000010b2: PUSH1 0x02 000010b4: PUSH1 0x00 000010b6: DUP4 000010b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010cc: AND 000010cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e2: AND 000010e3: DUP2 000010e4: MSTORE 000010e5: PUSH1 0x20 000010e7: ADD 000010e8: SWAP1 000010e9: DUP2 000010ea: MSTORE 000010eb: PUSH1 0x20 000010ed: ADD 000010ee: PUSH1 0x00 000010f0: KECCAK256 000010f1: DUP2 000010f2: SWAP1 000010f3: SSTORE 000010f4: POP 000010f5: PUSH2 0x113d 000010f8: PUSH1 0x02 000010fa: PUSH1 0x00 000010fc: DUP7 000010fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001112: AND 00001113: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001128: AND 00001129: DUP2 0000112a: MSTORE 0000112b: PUSH1 0x20 0000112d: ADD 0000112e: SWAP1 0000112f: DUP2 00001130: MSTORE 00001131: PUSH1 0x20 00001133: ADD 00001134: PUSH1 0x00 00001136: KECCAK256 00001137: SLOAD 00001138: DUP5 00001139: PUSH2 0x17b7 0000113c: JUMP 0000113d: JUMPDEST 0000113e: PUSH1 0x02 00001140: PUSH1 0x00 00001142: DUP7 00001143: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001158: AND 00001159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000116e: AND 0000116f: DUP2 00001170: MSTORE 00001171: PUSH1 0x20 00001173: ADD 00001174: SWAP1 00001175: DUP2 00001176: MSTORE 00001177: PUSH1 0x20 00001179: ADD 0000117a: PUSH1 0x00 0000117c: KECCAK256 0000117d: DUP2 0000117e: SWAP1 0000117f: SSTORE 00001180: POP 00001181: DUP3 00001182: PUSH1 0x07 00001184: SLOAD 00001185: MUL 00001186: PUSH1 0x05 00001188: PUSH1 0x00 0000118a: DUP4 0000118b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011a0: AND 000011a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b6: AND 000011b7: DUP2 000011b8: MSTORE 000011b9: PUSH1 0x20 000011bb: ADD 000011bc: SWAP1 000011bd: DUP2 000011be: MSTORE 000011bf: PUSH1 0x20 000011c1: ADD 000011c2: PUSH1 0x00 000011c4: KECCAK256 000011c5: PUSH1 0x00 000011c7: DUP3 000011c8: DUP3 000011c9: SLOAD 000011ca: SUB 000011cb: SWAP3 000011cc: POP 000011cd: POP 000011ce: DUP2 000011cf: SWAP1 000011d0: SSTORE 000011d1: POP 000011d2: DUP3 000011d3: PUSH1 0x07 000011d5: SLOAD 000011d6: MUL 000011d7: PUSH1 0x05 000011d9: PUSH1 0x00 000011db: DUP7 000011dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f1: AND 000011f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001207: AND 00001208: DUP2 00001209: MSTORE 0000120a: PUSH1 0x20 0000120c: ADD 0000120d: SWAP1 0000120e: DUP2 0000120f: MSTORE 00001210: PUSH1 0x20 00001212: ADD 00001213: PUSH1 0x00 00001215: KECCAK256 00001216: PUSH1 0x00 00001218: DUP3 00001219: DUP3 0000121a: SLOAD 0000121b: ADD 0000121c: SWAP3 0000121d: POP 0000121e: POP 0000121f: DUP2 00001220: SWAP1 00001221: SSTORE 00001222: POP 00001223: DUP4 00001224: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001239: AND 0000123a: DUP2 0000123b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001250: AND 00001251: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001272: DUP6 00001273: PUSH1 0x40 00001275: MLOAD 00001276: DUP1 00001277: DUP3 00001278: DUP2 00001279: MSTORE 0000127a: PUSH1 0x20 0000127c: ADD 0000127d: SWAP2 0000127e: POP 0000127f: POP 00001280: PUSH1 0x40 00001282: MLOAD 00001283: DUP1 00001284: SWAP2 00001285: SUB 00001286: SWAP1 00001287: LOG3 00001288: PUSH1 0x01 0000128a: SWAP2 0000128b: POP 0000128c: POP 0000128d: SWAP3 0000128e: SWAP2 0000128f: POP 00001290: POP 00001291: JUMP 00001292: JUMPDEST 00001293: PUSH1 0x00 00001295: PUSH1 0x04 00001297: PUSH1 0x00 00001299: DUP4 0000129a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012af: AND 000012b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012c5: AND 000012c6: DUP2 000012c7: MSTORE 000012c8: PUSH1 0x20 000012ca: ADD 000012cb: SWAP1 000012cc: DUP2 000012cd: MSTORE 000012ce: PUSH1 0x20 000012d0: ADD 000012d1: PUSH1 0x00 000012d3: KECCAK256 000012d4: SLOAD 000012d5: SWAP1 000012d6: POP 000012d7: SWAP2 000012d8: SWAP1 000012d9: POP 000012da: JUMP 000012db: JUMPDEST 000012dc: PUSH1 0x00 000012de: DUP1 000012df: PUSH1 0x00 000012e1: DUP1 000012e2: PUSH1 0x00 000012e4: DUP1 000012e5: PUSH1 0x00 000012e7: PUSH2 0x12ee 000012ea: PUSH2 0x0ef4 000012ed: JUMP 000012ee: JUMPDEST 000012ef: GT 000012f0: ISZERO 000012f1: ISZERO 000012f2: PUSH2 0x12fa 000012f5: JUMPI 000012f6: PUSH1 0x00 000012f8: DUP1 000012f9: REVERT 000012fa: JUMPDEST 000012fb: CALLER 000012fc: SWAP6 000012fd: POP 000012fe: PUSH1 0x02 00001300: PUSH1 0x00 00001302: DUP8 00001303: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001318: AND 00001319: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000132e: AND 0000132f: DUP2 00001330: MSTORE 00001331: PUSH1 0x20 00001333: ADD 00001334: SWAP1 00001335: DUP2 00001336: MSTORE 00001337: PUSH1 0x20 00001339: ADD 0000133a: PUSH1 0x00 0000133c: KECCAK256 0000133d: SLOAD 0000133e: DUP8 0000133f: GT 00001340: ISZERO 00001341: ISZERO 00001342: ISZERO 00001343: PUSH2 0x134b 00001346: JUMPI 00001347: PUSH1 0x00 00001349: DUP1 0000134a: REVERT 0000134b: JUMPDEST 0000134c: DUP7 0000134d: SWAP5 0000134e: POP 0000134f: PUSH2 0x1357 00001352: DUP6 00001353: PUSH2 0x17d5 00001356: JUMP 00001357: JUMPDEST 00001358: SWAP4 00001359: POP 0000135a: PUSH2 0x1367 0000135d: DUP5 0000135e: PUSH1 0x0a 00001360: PUSH1 0xff 00001362: AND 00001363: PUSH2 0x16f6 00001366: JUMP 00001367: JUMPDEST 00001368: SWAP3 00001369: POP 0000136a: PUSH2 0x1373 0000136d: DUP5 0000136e: DUP5 0000136f: PUSH2 0x1711 00001372: JUMP 00001373: JUMPDEST 00001374: SWAP2 00001375: POP 00001376: PUSH2 0x1381 00001379: PUSH1 0x06 0000137b: SLOAD 0000137c: DUP7 0000137d: PUSH2 0x1711 00001380: JUMP 00001381: JUMPDEST 00001382: PUSH1 0x06 00001384: DUP2 00001385: SWAP1 00001386: SSTORE 00001387: POP 00001388: PUSH2 0x13d0 0000138b: PUSH1 0x02 0000138d: PUSH1 0x00 0000138f: DUP9 00001390: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013a5: AND 000013a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013bb: AND 000013bc: DUP2 000013bd: MSTORE 000013be: PUSH1 0x20 000013c0: ADD 000013c1: SWAP1 000013c2: DUP2 000013c3: MSTORE 000013c4: PUSH1 0x20 000013c6: ADD 000013c7: PUSH1 0x00 000013c9: KECCAK256 000013ca: SLOAD 000013cb: DUP7 000013cc: PUSH2 0x1711 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH1 0x02 000013d3: PUSH1 0x00 000013d5: DUP9 000013d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013eb: AND 000013ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001401: AND 00001402: DUP2 00001403: MSTORE 00001404: PUSH1 0x20 00001406: ADD 00001407: SWAP1 00001408: DUP2 00001409: MSTORE 0000140a: PUSH1 0x20 0000140c: ADD 0000140d: PUSH1 0x00 0000140f: KECCAK256 00001410: DUP2 00001411: SWAP1 00001412: SSTORE 00001413: POP 00001414: PUSH9 0x010000000000000000 0000141e: DUP3 0000141f: MUL 00001420: DUP6 00001421: PUSH1 0x07 00001423: SLOAD 00001424: MUL 00001425: ADD 00001426: SWAP1 00001427: POP 00001428: DUP1 00001429: PUSH1 0x05 0000142b: PUSH1 0x00 0000142d: DUP9 0000142e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001443: AND 00001444: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001459: AND 0000145a: DUP2 0000145b: MSTORE 0000145c: PUSH1 0x20 0000145e: ADD 0000145f: SWAP1 00001460: DUP2 00001461: MSTORE 00001462: PUSH1 0x20 00001464: ADD 00001465: PUSH1 0x00 00001467: KECCAK256 00001468: PUSH1 0x00 0000146a: DUP3 0000146b: DUP3 0000146c: SLOAD 0000146d: SUB 0000146e: SWAP3 0000146f: POP 00001470: POP 00001471: DUP2 00001472: SWAP1 00001473: SSTORE 00001474: POP 00001475: PUSH1 0x00 00001477: PUSH1 0x06 00001479: SLOAD 0000147a: GT 0000147b: ISZERO 0000147c: PUSH2 0x14aa 0000147f: JUMPI 00001480: PUSH2 0x14a3 00001483: PUSH1 0x07 00001485: SLOAD 00001486: PUSH1 0x06 00001488: SLOAD 00001489: PUSH9 0x010000000000000000 00001493: DUP7 00001494: MUL 00001495: DUP2 00001496: ISZERO 00001497: ISZERO 00001498: PUSH2 0x149d 0000149b: JUMPI 0000149c: INVALID 0000149d: JUMPDEST 0000149e: DIV 0000149f: PUSH2 0x17b7 000014a2: JUMP 000014a3: JUMPDEST 000014a4: PUSH1 0x07 000014a6: DUP2 000014a7: SWAP1 000014a8: SSTORE 000014a9: POP 000014aa: JUMPDEST 000014ab: DUP6 000014ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c1: AND 000014c2: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 000014e3: DUP7 000014e4: DUP5 000014e5: PUSH1 0x40 000014e7: MLOAD 000014e8: DUP1 000014e9: DUP4 000014ea: DUP2 000014eb: MSTORE 000014ec: PUSH1 0x20 000014ee: ADD 000014ef: DUP3 000014f0: DUP2 000014f1: MSTORE 000014f2: PUSH1 0x20 000014f4: ADD 000014f5: SWAP3 000014f6: POP 000014f7: POP 000014f8: POP 000014f9: PUSH1 0x40 000014fb: MLOAD 000014fc: DUP1 000014fd: SWAP2 000014fe: SUB 000014ff: SWAP1 00001500: LOG2 00001501: POP 00001502: POP 00001503: POP 00001504: POP 00001505: POP 00001506: POP 00001507: POP 00001508: JUMP 00001509: JUMPDEST 0000150a: PUSH1 0x00 0000150c: DUP1 0000150d: CALLER 0000150e: SWAP2 0000150f: POP 00001510: PUSH1 0x02 00001512: PUSH1 0x00 00001514: DUP4 00001515: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152a: AND 0000152b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001540: AND 00001541: DUP2 00001542: MSTORE 00001543: PUSH1 0x20 00001545: ADD 00001546: SWAP1 00001547: DUP2 00001548: MSTORE 00001549: PUSH1 0x20 0000154b: ADD 0000154c: PUSH1 0x00 0000154e: KECCAK256 0000154f: SLOAD 00001550: SWAP1 00001551: POP 00001552: PUSH1 0x00 00001554: DUP2 00001555: GT 00001556: ISZERO 00001557: PUSH2 0x1564 0000155a: JUMPI 0000155b: PUSH2 0x1563 0000155e: DUP2 0000155f: PUSH2 0x12db 00001562: JUMP 00001563: JUMPDEST 00001564: JUMPDEST 00001565: PUSH2 0x156c 00001568: PUSH2 0x0bca 0000156b: JUMP 0000156c: JUMPDEST 0000156d: POP 0000156e: POP 0000156f: JUMP 00001570: JUMPDEST 00001571: PUSH1 0x00 00001573: PUSH2 0x157c 00001576: CALLVALUE 00001577: DUP4 00001578: PUSH2 0x0632 0000157b: JUMP 0000157c: JUMPDEST 0000157d: POP 0000157e: SWAP2 0000157f: SWAP1 00001580: POP 00001581: JUMP 00001582: JUMPDEST 00001583: PUSH1 0x00 00001585: DUP1 00001586: PUSH1 0x00 00001588: DUP1 00001589: PUSH2 0x1592 0000158c: PUSH1 0x01 0000158e: PUSH2 0x0dc7 00001591: JUMP 00001592: JUMPDEST 00001593: GT 00001594: ISZERO 00001595: ISZERO 00001596: PUSH2 0x159e 00001599: JUMPI 0000159a: PUSH1 0x00 0000159c: DUP1 0000159d: REVERT 0000159e: JUMPDEST 0000159f: PUSH2 0x15a8 000015a2: PUSH1 0x00 000015a4: PUSH2 0x0dc7 000015a7: JUMP 000015a8: JUMPDEST 000015a9: SWAP3 000015aa: POP 000015ab: CALLER 000015ac: SWAP2 000015ad: POP 000015ae: PUSH9 0x010000000000000000 000015b8: DUP4 000015b9: MUL 000015ba: PUSH1 0x05 000015bc: PUSH1 0x00 000015be: DUP5 000015bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015d4: AND 000015d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015ea: AND 000015eb: DUP2 000015ec: MSTORE 000015ed: PUSH1 0x20 000015ef: ADD 000015f0: SWAP1 000015f1: DUP2 000015f2: MSTORE 000015f3: PUSH1 0x20 000015f5: ADD 000015f6: PUSH1 0x00 000015f8: KECCAK256 000015f9: PUSH1 0x00 000015fb: DUP3 000015fc: DUP3 000015fd: SLOAD 000015fe: ADD 000015ff: SWAP3 00001600: POP 00001601: POP 00001602: DUP2 00001603: SWAP1 00001604: SSTORE 00001605: POP 00001606: PUSH1 0x03 00001608: PUSH1 0x00 0000160a: DUP4 0000160b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001620: AND 00001621: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001636: AND 00001637: DUP2 00001638: MSTORE 00001639: PUSH1 0x20 0000163b: ADD 0000163c: SWAP1 0000163d: DUP2 0000163e: MSTORE 0000163f: PUSH1 0x20 00001641: ADD 00001642: PUSH1 0x00 00001644: KECCAK256 00001645: SLOAD 00001646: DUP4 00001647: ADD 00001648: SWAP3 00001649: POP 0000164a: PUSH1 0x00 0000164c: PUSH1 0x03 0000164e: PUSH1 0x00 00001650: DUP5 00001651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001666: AND 00001667: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000167c: AND 0000167d: DUP2 0000167e: MSTORE 0000167f: PUSH1 0x20 00001681: ADD 00001682: SWAP1 00001683: DUP2 00001684: MSTORE 00001685: PUSH1 0x20 00001687: ADD 00001688: PUSH1 0x00 0000168a: KECCAK256 0000168b: DUP2 0000168c: SWAP1 0000168d: SSTORE 0000168e: POP 0000168f: PUSH2 0x1699 00001692: DUP4 00001693: PUSH1 0x00 00001695: PUSH2 0x0632 00001698: JUMP 00001699: JUMPDEST 0000169a: SWAP1 0000169b: POP 0000169c: DUP2 0000169d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b2: AND 000016b3: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 000016d4: DUP5 000016d5: DUP4 000016d6: PUSH1 0x40 000016d8: MLOAD 000016d9: DUP1 000016da: DUP4 000016db: DUP2 000016dc: MSTORE 000016dd: PUSH1 0x20 000016df: ADD 000016e0: DUP3 000016e1: DUP2 000016e2: MSTORE 000016e3: PUSH1 0x20 000016e5: ADD 000016e6: SWAP3 000016e7: POP 000016e8: POP 000016e9: POP 000016ea: PUSH1 0x40 000016ec: MLOAD 000016ed: DUP1 000016ee: SWAP2 000016ef: SUB 000016f0: SWAP1 000016f1: LOG2 000016f2: POP 000016f3: POP 000016f4: POP 000016f5: JUMP 000016f6: JUMPDEST 000016f7: PUSH1 0x00 000016f9: DUP1 000016fa: DUP3 000016fb: DUP5 000016fc: DUP2 000016fd: ISZERO 000016fe: ISZERO 000016ff: PUSH2 0x1704 00001702: JUMPI 00001703: INVALID 00001704: JUMPDEST 00001705: DIV 00001706: SWAP1 00001707: POP 00001708: DUP1 00001709: SWAP2 0000170a: POP 0000170b: POP 0000170c: SWAP3 0000170d: SWAP2 0000170e: POP 0000170f: POP 00001710: JUMP 00001711: JUMPDEST 00001712: PUSH1 0x00 00001714: DUP3 00001715: DUP3 00001716: GT 00001717: ISZERO 00001718: ISZERO 00001719: ISZERO 0000171a: PUSH2 0x171f 0000171d: JUMPI 0000171e: INVALID 0000171f: JUMPDEST 00001720: DUP2 00001721: DUP4 00001722: SUB 00001723: SWAP1 00001724: POP 00001725: SWAP3 00001726: SWAP2 00001727: POP 00001728: POP 00001729: JUMP 0000172a: JUMPDEST 0000172b: PUSH1 0x00 0000172d: DUP1 0000172e: PUSH1 0x00 00001730: PUSH8 0x0de0b6b3a7640000 00001739: PUSH5 0x02540be400 0000173f: MUL 00001740: SWAP2 00001741: POP 00001742: PUSH1 0x06 00001744: SLOAD 00001745: PUSH5 0x02540be400 0000174b: PUSH2 0x17a0 0000174e: PUSH2 0x179a 00001751: PUSH1 0x06 00001753: SLOAD 00001754: DUP7 00001755: PUSH5 0x02540be400 0000175b: PUSH1 0x02 0000175d: MUL 0000175e: MUL 0000175f: MUL 00001760: PUSH1 0x02 00001762: PUSH1 0x06 00001764: SLOAD 00001765: EXP 00001766: PUSH1 0x02 00001768: PUSH5 0x02540be400 0000176e: EXP 0000176f: MUL 00001770: PUSH8 0x0de0b6b3a7640000 00001779: DUP11 0000177a: MUL 0000177b: PUSH8 0x0de0b6b3a7640000 00001784: PUSH5 0x02540be400 0000178a: MUL 0000178b: PUSH1 0x02 0000178d: MUL 0000178e: MUL 0000178f: PUSH1 0x02 00001791: DUP10 00001792: EXP 00001793: ADD 00001794: ADD 00001795: ADD 00001796: PUSH2 0x1880 00001799: JUMP 0000179a: JUMPDEST 0000179b: DUP6 0000179c: PUSH2 0x1711 0000179f: JUMP 000017a0: JUMPDEST 000017a1: DUP2 000017a2: ISZERO 000017a3: ISZERO 000017a4: PUSH2 0x17a9 000017a7: JUMPI 000017a8: INVALID 000017a9: JUMPDEST 000017aa: DIV 000017ab: SUB 000017ac: SWAP1 000017ad: POP 000017ae: DUP1 000017af: SWAP3 000017b0: POP 000017b1: POP 000017b2: POP 000017b3: SWAP2 000017b4: SWAP1 000017b5: POP 000017b6: JUMP 000017b7: JUMPDEST 000017b8: PUSH1 0x00 000017ba: DUP1 000017bb: DUP3 000017bc: DUP5 000017bd: ADD 000017be: SWAP1 000017bf: POP 000017c0: DUP4 000017c1: DUP2 000017c2: LT 000017c3: ISZERO 000017c4: ISZERO 000017c5: ISZERO 000017c6: PUSH2 0x17cb 000017c9: JUMPI 000017ca: INVALID 000017cb: JUMPDEST 000017cc: DUP1 000017cd: SWAP2 000017ce: POP 000017cf: POP 000017d0: SWAP3 000017d1: SWAP2 000017d2: POP 000017d3: POP 000017d4: JUMP 000017d5: JUMPDEST 000017d6: PUSH1 0x00 000017d8: DUP1 000017d9: PUSH1 0x00 000017db: DUP1 000017dc: PUSH8 0x0de0b6b3a7640000 000017e5: DUP6 000017e6: ADD 000017e7: SWAP3 000017e8: POP 000017e9: PUSH8 0x0de0b6b3a7640000 000017f2: PUSH1 0x06 000017f4: SLOAD 000017f5: ADD 000017f6: SWAP2 000017f7: POP 000017f8: PUSH8 0x0de0b6b3a7640000 00001801: PUSH2 0x1869 00001804: PUSH8 0x0de0b6b3a7640000 0000180d: DUP6 0000180e: SUB 0000180f: PUSH5 0x02540be400 00001815: PUSH8 0x0de0b6b3a7640000 0000181e: DUP7 0000181f: DUP2 00001820: ISZERO 00001821: ISZERO 00001822: PUSH2 0x1827 00001825: JUMPI 00001826: INVALID 00001827: JUMPDEST 00001828: DIV 00001829: PUSH5 0x02540be400 0000182f: MUL 00001830: PUSH5 0x02540be400 00001836: ADD 00001837: SUB 00001838: MUL 00001839: PUSH1 0x02 0000183b: PUSH8 0x0de0b6b3a7640000 00001844: DUP8 00001845: PUSH1 0x02 00001847: DUP10 00001848: EXP 00001849: SUB 0000184a: DUP2 0000184b: ISZERO 0000184c: ISZERO 0000184d: PUSH2 0x1852 00001850: JUMPI 00001851: INVALID 00001852: JUMPDEST 00001853: DIV 00001854: PUSH5 0x02540be400 0000185a: MUL 0000185b: DUP2 0000185c: ISZERO 0000185d: ISZERO 0000185e: PUSH2 0x1863 00001861: JUMPI 00001862: INVALID 00001863: JUMPDEST 00001864: DIV 00001865: PUSH2 0x1711 00001868: JUMP 00001869: JUMPDEST 0000186a: DUP2 0000186b: ISZERO 0000186c: ISZERO 0000186d: PUSH2 0x1872 00001870: JUMPI 00001871: INVALID 00001872: JUMPDEST 00001873: DIV 00001874: SWAP1 00001875: POP 00001876: DUP1 00001877: SWAP4 00001878: POP 00001879: POP 0000187a: POP 0000187b: POP 0000187c: SWAP2 0000187d: SWAP1 0000187e: POP 0000187f: JUMP 00001880: JUMPDEST 00001881: PUSH1 0x00 00001883: DUP1 00001884: PUSH1 0x02 00001886: PUSH1 0x01 00001888: DUP5 00001889: ADD 0000188a: DUP2 0000188b: ISZERO 0000188c: ISZERO 0000188d: PUSH2 0x1892 00001890: JUMPI 00001891: INVALID 00001892: JUMPDEST 00001893: DIV 00001894: SWAP1 00001895: POP 00001896: DUP3 00001897: SWAP2 00001898: POP 00001899: JUMPDEST 0000189a: DUP2 0000189b: DUP2 0000189c: LT 0000189d: ISZERO 0000189e: PUSH2 0x18c5 000018a1: JUMPI 000018a2: DUP1 000018a3: SWAP2 000018a4: POP 000018a5: PUSH1 0x02 000018a7: DUP2 000018a8: DUP3 000018a9: DUP6 000018aa: DUP2 000018ab: ISZERO 000018ac: ISZERO 000018ad: PUSH2 0x18b2 000018b0: JUMPI 000018b1: INVALID 000018b2: JUMPDEST 000018b3: DIV 000018b4: ADD 000018b5: DUP2 000018b6: ISZERO 000018b7: ISZERO 000018b8: PUSH2 0x18bd 000018bb: JUMPI 000018bc: INVALID 000018bd: JUMPDEST 000018be: DIV 000018bf: SWAP1 000018c0: POP 000018c1: PUSH2 0x1899 000018c4: JUMP 000018c5: JUMPDEST 000018c6: POP 000018c7: SWAP2 000018c8: SWAP1 000018c9: POP 000018ca: JUMP 000018cb: STOP 000018cc: LOG1 000018cd: PUSH6 0x627a7a723058 000018d4: KECCAK256 000018d5: UNKNOWN(0x22) 000018d6: JUMPI 000018d7: PUSH16 0x32e2511cf93751af86eba22764f1e627 000018e8: UNKNOWN(0xDE) 000018e9: UNKNOWN(0x0F) 000018ea: UNKNOWN(0xDE) 000018eb: MLOAD 000018ec: UNKNOWN(0xAE) 000018ed: UNKNOWN(0xDE) 000018ee: UNKNOWN(0xAE) 000018ef: DELEGATECALL 000018f0: PUSH5 0x6daaba0600 000018f6: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x7a625dcee3313f6b322e6a4eaf017ffbf2f0db198c1cf9132737b246f6bcec1e
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x7a625dcee3313f6b322e6a4eaf017ffbf2f0db198c1cf9132737b246f6bcec1e",
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6383,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xeea23ae896786c2ffa168c02046722287987e893bdcb8ce09f688d9708576130
call_targets:
0xa3a143c94134fd5dc535d93c27261ecea53bb568
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeea23ae896786c2ffa168c02046722287987e893bdcb8ce09f688d9708576130",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa3a143c94134fd5dc535d93c27261ecea53bb568"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3333,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xeea23ae896786c2ffa168c02046722287987e893bdcb8ce09f688d9708576130
call_targets:
0xa3a143c94134fd5dc535d93c27261ecea53bb568
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeea23ae896786c2ffa168c02046722287987e893bdcb8ce09f688d9708576130",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa3a143c94134fd5dc535d93c27261ecea53bb568"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d0ffdd",
"selector": "0x10d0ffdd",
"calldata_variants": [
"0x10d0ffdd",
"0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x22609373",
"selector": "0x22609373",
"calldata_variants": [
"0x22609373",
"0x226093730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3333,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|