019b477e-b5c7-734c-ac72-fb5e825d6f49
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 |
|---|---|---|---|---|
| 22995 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22996 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66938 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66939 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66940 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66941 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0107 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x010c 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x10d0ffdd 00000047: EQ 00000048: PUSH2 0x019c 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x18160ddd 00000052: EQ 00000053: PUSH2 0x01dd 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x22609373 0000005d: EQ 0000005e: PUSH2 0x0208 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x313ce567 00000068: EQ 00000069: PUSH2 0x0249 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x392efb52 00000073: EQ 00000074: PUSH2 0x027a 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x4b750334 0000007e: EQ 0000007f: PUSH2 0x02c3 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x6b2f4632 00000089: EQ 0000008a: PUSH2 0x02ee 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x70a08231 00000094: EQ 00000095: PUSH2 0x0319 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x8620410b 0000009f: EQ 000000a0: PUSH2 0x0370 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x89135ae9 000000aa: EQ 000000ab: PUSH2 0x039b 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x949e8acd 000000b5: EQ 000000b6: PUSH2 0x03d8 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x95d89b41 000000c0: EQ 000000c1: PUSH2 0x0403 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xa6f2ae3a 000000cb: EQ 000000cc: PUSH2 0x0493 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xa9059cbb 000000d6: EQ 000000d7: PUSH2 0x049d 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xb84c8246 000000e1: EQ 000000e2: PUSH2 0x0502 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xc47f0027 000000ec: EQ 000000ed: PUSH2 0x056b 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xe4849b32 000000f7: EQ 000000f8: PUSH2 0x05d4 000000fb: JUMPI 000000fc: DUP1 000000fd: PUSH4 0xe9fad8ee 00000102: EQ 00000103: PUSH2 0x0601 00000106: JUMPI 00000107: JUMPDEST 00000108: PUSH1 0x00 0000010a: DUP1 0000010b: REVERT 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: DUP1 0000010f: ISZERO 00000110: PUSH2 0x0118 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: POP 0000011a: PUSH2 0x0121 0000011d: PUSH2 0x0618 00000120: JUMP 00000121: JUMPDEST 00000122: PUSH1 0x40 00000124: MLOAD 00000125: DUP1 00000126: DUP1 00000127: PUSH1 0x20 00000129: ADD 0000012a: DUP3 0000012b: DUP2 0000012c: SUB 0000012d: DUP3 0000012e: MSTORE 0000012f: DUP4 00000130: DUP2 00000131: DUP2 00000132: MLOAD 00000133: DUP2 00000134: MSTORE 00000135: PUSH1 0x20 00000137: ADD 00000138: SWAP2 00000139: POP 0000013a: DUP1 0000013b: MLOAD 0000013c: SWAP1 0000013d: PUSH1 0x20 0000013f: ADD 00000140: SWAP1 00000141: DUP1 00000142: DUP4 00000143: DUP4 00000144: PUSH1 0x00 00000146: JUMPDEST 00000147: DUP4 00000148: DUP2 00000149: LT 0000014a: ISZERO 0000014b: PUSH2 0x0161 0000014e: JUMPI 0000014f: DUP1 00000150: DUP3 00000151: ADD 00000152: MLOAD 00000153: DUP2 00000154: DUP5 00000155: ADD 00000156: MSTORE 00000157: PUSH1 0x20 00000159: DUP2 0000015a: ADD 0000015b: SWAP1 0000015c: POP 0000015d: PUSH2 0x0146 00000160: JUMP 00000161: JUMPDEST 00000162: POP 00000163: POP 00000164: POP 00000165: POP 00000166: SWAP1 00000167: POP 00000168: SWAP1 00000169: DUP2 0000016a: ADD 0000016b: SWAP1 0000016c: PUSH1 0x1f 0000016e: AND 0000016f: DUP1 00000170: ISZERO 00000171: PUSH2 0x018e 00000174: JUMPI 00000175: DUP1 00000176: DUP3 00000177: SUB 00000178: DUP1 00000179: MLOAD 0000017a: PUSH1 0x01 0000017c: DUP4 0000017d: PUSH1 0x20 0000017f: SUB 00000180: PUSH2 0x0100 00000183: EXP 00000184: SUB 00000185: NOT 00000186: AND 00000187: DUP2 00000188: MSTORE 00000189: PUSH1 0x20 0000018b: ADD 0000018c: SWAP2 0000018d: POP 0000018e: JUMPDEST 0000018f: POP 00000190: SWAP3 00000191: POP 00000192: POP 00000193: POP 00000194: PUSH1 0x40 00000196: MLOAD 00000197: DUP1 00000198: SWAP2 00000199: SUB 0000019a: SWAP1 0000019b: RETURN 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: DUP1 0000019f: ISZERO 000001a0: PUSH2 0x01a8 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: POP 000001aa: PUSH2 0x01c7 000001ad: PUSH1 0x04 000001af: DUP1 000001b0: CALLDATASIZE 000001b1: SUB 000001b2: DUP2 000001b3: ADD 000001b4: SWAP1 000001b5: DUP1 000001b6: DUP1 000001b7: CALLDATALOAD 000001b8: SWAP1 000001b9: PUSH1 0x20 000001bb: ADD 000001bc: SWAP1 000001bd: SWAP3 000001be: SWAP2 000001bf: SWAP1 000001c0: POP 000001c1: POP 000001c2: POP 000001c3: PUSH2 0x06b6 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH1 0x40 000001ca: MLOAD 000001cb: DUP1 000001cc: DUP3 000001cd: DUP2 000001ce: MSTORE 000001cf: PUSH1 0x20 000001d1: ADD 000001d2: SWAP2 000001d3: POP 000001d4: POP 000001d5: PUSH1 0x40 000001d7: MLOAD 000001d8: DUP1 000001d9: SWAP2 000001da: SUB 000001db: SWAP1 000001dc: RETURN 000001dd: JUMPDEST 000001de: CALLVALUE 000001df: DUP1 000001e0: ISZERO 000001e1: PUSH2 0x01e9 000001e4: JUMPI 000001e5: PUSH1 0x00 000001e7: DUP1 000001e8: REVERT 000001e9: JUMPDEST 000001ea: POP 000001eb: PUSH2 0x01f2 000001ee: PUSH2 0x06ea 000001f1: JUMP 000001f2: JUMPDEST 000001f3: PUSH1 0x40 000001f5: MLOAD 000001f6: DUP1 000001f7: DUP3 000001f8: DUP2 000001f9: MSTORE 000001fa: PUSH1 0x20 000001fc: ADD 000001fd: SWAP2 000001fe: POP 000001ff: POP 00000200: PUSH1 0x40 00000202: MLOAD 00000203: DUP1 00000204: SWAP2 00000205: SUB 00000206: SWAP1 00000207: RETURN 00000208: JUMPDEST 00000209: CALLVALUE 0000020a: DUP1 0000020b: ISZERO 0000020c: PUSH2 0x0214 0000020f: JUMPI 00000210: PUSH1 0x00 00000212: DUP1 00000213: REVERT 00000214: JUMPDEST 00000215: POP 00000216: PUSH2 0x0233 00000219: PUSH1 0x04 0000021b: DUP1 0000021c: CALLDATASIZE 0000021d: SUB 0000021e: DUP2 0000021f: ADD 00000220: SWAP1 00000221: DUP1 00000222: DUP1 00000223: CALLDATALOAD 00000224: SWAP1 00000225: PUSH1 0x20 00000227: ADD 00000228: SWAP1 00000229: SWAP3 0000022a: SWAP2 0000022b: SWAP1 0000022c: POP 0000022d: POP 0000022e: POP 0000022f: PUSH2 0x06f4 00000232: JUMP 00000233: JUMPDEST 00000234: PUSH1 0x40 00000236: MLOAD 00000237: DUP1 00000238: DUP3 00000239: DUP2 0000023a: MSTORE 0000023b: PUSH1 0x20 0000023d: ADD 0000023e: SWAP2 0000023f: POP 00000240: POP 00000241: PUSH1 0x40 00000243: MLOAD 00000244: DUP1 00000245: SWAP2 00000246: SUB 00000247: SWAP1 00000248: RETURN 00000249: JUMPDEST 0000024a: CALLVALUE 0000024b: DUP1 0000024c: ISZERO 0000024d: PUSH2 0x0255 00000250: JUMPI 00000251: PUSH1 0x00 00000253: DUP1 00000254: REVERT 00000255: JUMPDEST 00000256: POP 00000257: PUSH2 0x025e 0000025a: PUSH2 0x0739 0000025d: JUMP 0000025e: JUMPDEST 0000025f: PUSH1 0x40 00000261: MLOAD 00000262: DUP1 00000263: DUP3 00000264: PUSH1 0xff 00000266: AND 00000267: PUSH1 0xff 00000269: AND 0000026a: DUP2 0000026b: MSTORE 0000026c: PUSH1 0x20 0000026e: ADD 0000026f: SWAP2 00000270: POP 00000271: POP 00000272: PUSH1 0x40 00000274: MLOAD 00000275: DUP1 00000276: SWAP2 00000277: SUB 00000278: SWAP1 00000279: RETURN 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x02a9 0000028b: PUSH1 0x04 0000028d: DUP1 0000028e: CALLDATASIZE 0000028f: SUB 00000290: DUP2 00000291: ADD 00000292: SWAP1 00000293: DUP1 00000294: DUP1 00000295: CALLDATALOAD 00000296: PUSH1 0x00 00000298: NOT 00000299: AND 0000029a: SWAP1 0000029b: PUSH1 0x20 0000029d: ADD 0000029e: SWAP1 0000029f: SWAP3 000002a0: SWAP2 000002a1: SWAP1 000002a2: POP 000002a3: POP 000002a4: POP 000002a5: PUSH2 0x073e 000002a8: JUMP 000002a9: JUMPDEST 000002aa: PUSH1 0x40 000002ac: MLOAD 000002ad: DUP1 000002ae: DUP3 000002af: ISZERO 000002b0: ISZERO 000002b1: ISZERO 000002b2: ISZERO 000002b3: DUP2 000002b4: MSTORE 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: SWAP2 000002b9: POP 000002ba: POP 000002bb: PUSH1 0x40 000002bd: MLOAD 000002be: DUP1 000002bf: SWAP2 000002c0: SUB 000002c1: SWAP1 000002c2: RETURN 000002c3: JUMPDEST 000002c4: CALLVALUE 000002c5: DUP1 000002c6: ISZERO 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: POP 000002d1: PUSH2 0x02d8 000002d4: PUSH2 0x075e 000002d7: JUMP 000002d8: JUMPDEST 000002d9: PUSH1 0x40 000002db: MLOAD 000002dc: DUP1 000002dd: DUP3 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: SWAP2 000002e4: POP 000002e5: POP 000002e6: PUSH1 0x40 000002e8: MLOAD 000002e9: DUP1 000002ea: SWAP2 000002eb: SUB 000002ec: SWAP1 000002ed: RETURN 000002ee: JUMPDEST 000002ef: CALLVALUE 000002f0: DUP1 000002f1: ISZERO 000002f2: PUSH2 0x02fa 000002f5: JUMPI 000002f6: PUSH1 0x00 000002f8: DUP1 000002f9: REVERT 000002fa: JUMPDEST 000002fb: POP 000002fc: PUSH2 0x0303 000002ff: PUSH2 0x07b0 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH1 0x40 00000306: MLOAD 00000307: DUP1 00000308: DUP3 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 0x035a 0000032a: PUSH1 0x04 0000032c: DUP1 0000032d: CALLDATASIZE 0000032e: SUB 0000032f: DUP2 00000330: ADD 00000331: SWAP1 00000332: DUP1 00000333: DUP1 00000334: CALLDATALOAD 00000335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034a: AND 0000034b: SWAP1 0000034c: PUSH1 0x20 0000034e: ADD 0000034f: SWAP1 00000350: SWAP3 00000351: SWAP2 00000352: SWAP1 00000353: POP 00000354: POP 00000355: POP 00000356: PUSH2 0x07cf 00000359: JUMP 0000035a: JUMPDEST 0000035b: PUSH1 0x40 0000035d: MLOAD 0000035e: DUP1 0000035f: DUP3 00000360: DUP2 00000361: MSTORE 00000362: PUSH1 0x20 00000364: ADD 00000365: SWAP2 00000366: POP 00000367: POP 00000368: PUSH1 0x40 0000036a: MLOAD 0000036b: DUP1 0000036c: SWAP2 0000036d: SUB 0000036e: SWAP1 0000036f: RETURN 00000370: JUMPDEST 00000371: CALLVALUE 00000372: DUP1 00000373: ISZERO 00000374: PUSH2 0x037c 00000377: JUMPI 00000378: PUSH1 0x00 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: POP 0000037e: PUSH2 0x0385 00000381: PUSH2 0x0818 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x40 00000388: MLOAD 00000389: DUP1 0000038a: DUP3 0000038b: DUP2 0000038c: MSTORE 0000038d: PUSH1 0x20 0000038f: ADD 00000390: SWAP2 00000391: POP 00000392: POP 00000393: PUSH1 0x40 00000395: MLOAD 00000396: DUP1 00000397: SWAP2 00000398: SUB 00000399: SWAP1 0000039a: RETURN 0000039b: JUMPDEST 0000039c: CALLVALUE 0000039d: DUP1 0000039e: ISZERO 0000039f: PUSH2 0x03a7 000003a2: JUMPI 000003a3: PUSH1 0x00 000003a5: DUP1 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: PUSH2 0x03d6 000003ac: PUSH1 0x04 000003ae: DUP1 000003af: CALLDATASIZE 000003b0: SUB 000003b1: DUP2 000003b2: ADD 000003b3: SWAP1 000003b4: DUP1 000003b5: DUP1 000003b6: CALLDATALOAD 000003b7: PUSH1 0x00 000003b9: NOT 000003ba: AND 000003bb: SWAP1 000003bc: PUSH1 0x20 000003be: ADD 000003bf: SWAP1 000003c0: SWAP3 000003c1: SWAP2 000003c2: SWAP1 000003c3: DUP1 000003c4: CALLDATALOAD 000003c5: ISZERO 000003c6: ISZERO 000003c7: SWAP1 000003c8: PUSH1 0x20 000003ca: ADD 000003cb: SWAP1 000003cc: SWAP3 000003cd: SWAP2 000003ce: SWAP1 000003cf: POP 000003d0: POP 000003d1: POP 000003d2: PUSH2 0x0856 000003d5: JUMP 000003d6: JUMPDEST 000003d7: STOP 000003d8: JUMPDEST 000003d9: CALLVALUE 000003da: DUP1 000003db: ISZERO 000003dc: PUSH2 0x03e4 000003df: JUMPI 000003e0: PUSH1 0x00 000003e2: DUP1 000003e3: REVERT 000003e4: JUMPDEST 000003e5: POP 000003e6: PUSH2 0x03ed 000003e9: PUSH2 0x0983 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH1 0x40 000003f0: MLOAD 000003f1: DUP1 000003f2: DUP3 000003f3: DUP2 000003f4: MSTORE 000003f5: PUSH1 0x20 000003f7: ADD 000003f8: SWAP2 000003f9: POP 000003fa: POP 000003fb: PUSH1 0x40 000003fd: MLOAD 000003fe: DUP1 000003ff: SWAP2 00000400: SUB 00000401: SWAP1 00000402: RETURN 00000403: JUMPDEST 00000404: CALLVALUE 00000405: DUP1 00000406: ISZERO 00000407: PUSH2 0x040f 0000040a: JUMPI 0000040b: PUSH1 0x00 0000040d: DUP1 0000040e: REVERT 0000040f: JUMPDEST 00000410: POP 00000411: PUSH2 0x0418 00000414: PUSH2 0x0998 00000417: JUMP 00000418: JUMPDEST 00000419: PUSH1 0x40 0000041b: MLOAD 0000041c: DUP1 0000041d: DUP1 0000041e: PUSH1 0x20 00000420: ADD 00000421: DUP3 00000422: DUP2 00000423: SUB 00000424: DUP3 00000425: MSTORE 00000426: DUP4 00000427: DUP2 00000428: DUP2 00000429: MLOAD 0000042a: DUP2 0000042b: MSTORE 0000042c: PUSH1 0x20 0000042e: ADD 0000042f: SWAP2 00000430: POP 00000431: DUP1 00000432: MLOAD 00000433: SWAP1 00000434: PUSH1 0x20 00000436: ADD 00000437: SWAP1 00000438: DUP1 00000439: DUP4 0000043a: DUP4 0000043b: PUSH1 0x00 0000043d: JUMPDEST 0000043e: DUP4 0000043f: DUP2 00000440: LT 00000441: ISZERO 00000442: PUSH2 0x0458 00000445: JUMPI 00000446: DUP1 00000447: DUP3 00000448: ADD 00000449: MLOAD 0000044a: DUP2 0000044b: DUP5 0000044c: ADD 0000044d: MSTORE 0000044e: PUSH1 0x20 00000450: DUP2 00000451: ADD 00000452: SWAP1 00000453: POP 00000454: PUSH2 0x043d 00000457: JUMP 00000458: JUMPDEST 00000459: POP 0000045a: POP 0000045b: POP 0000045c: POP 0000045d: SWAP1 0000045e: POP 0000045f: SWAP1 00000460: DUP2 00000461: ADD 00000462: SWAP1 00000463: PUSH1 0x1f 00000465: AND 00000466: DUP1 00000467: ISZERO 00000468: PUSH2 0x0485 0000046b: JUMPI 0000046c: DUP1 0000046d: DUP3 0000046e: SUB 0000046f: DUP1 00000470: MLOAD 00000471: PUSH1 0x01 00000473: DUP4 00000474: PUSH1 0x20 00000476: SUB 00000477: PUSH2 0x0100 0000047a: EXP 0000047b: SUB 0000047c: NOT 0000047d: AND 0000047e: DUP2 0000047f: MSTORE 00000480: PUSH1 0x20 00000482: ADD 00000483: SWAP2 00000484: POP 00000485: JUMPDEST 00000486: POP 00000487: SWAP3 00000488: POP 00000489: POP 0000048a: POP 0000048b: PUSH1 0x40 0000048d: MLOAD 0000048e: DUP1 0000048f: SWAP2 00000490: SUB 00000491: SWAP1 00000492: RETURN 00000493: JUMPDEST 00000494: PUSH2 0x049b 00000497: PUSH2 0x0a36 0000049a: JUMP 0000049b: JUMPDEST 0000049c: STOP 0000049d: JUMPDEST 0000049e: CALLVALUE 0000049f: DUP1 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH1 0x00 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: PUSH2 0x04e8 000004ae: PUSH1 0x04 000004b0: DUP1 000004b1: CALLDATASIZE 000004b2: SUB 000004b3: DUP2 000004b4: ADD 000004b5: SWAP1 000004b6: DUP1 000004b7: DUP1 000004b8: CALLDATALOAD 000004b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ce: AND 000004cf: SWAP1 000004d0: PUSH1 0x20 000004d2: ADD 000004d3: SWAP1 000004d4: SWAP3 000004d5: SWAP2 000004d6: SWAP1 000004d7: DUP1 000004d8: CALLDATALOAD 000004d9: SWAP1 000004da: PUSH1 0x20 000004dc: ADD 000004dd: SWAP1 000004de: SWAP3 000004df: SWAP2 000004e0: SWAP1 000004e1: POP 000004e2: POP 000004e3: POP 000004e4: PUSH2 0x0a50 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH1 0x40 000004eb: MLOAD 000004ec: DUP1 000004ed: DUP3 000004ee: ISZERO 000004ef: ISZERO 000004f0: ISZERO 000004f1: ISZERO 000004f2: DUP2 000004f3: MSTORE 000004f4: PUSH1 0x20 000004f6: ADD 000004f7: SWAP2 000004f8: POP 000004f9: POP 000004fa: PUSH1 0x40 000004fc: MLOAD 000004fd: DUP1 000004fe: SWAP2 000004ff: SUB 00000500: SWAP1 00000501: RETURN 00000502: JUMPDEST 00000503: CALLVALUE 00000504: DUP1 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH2 0x0569 00000513: PUSH1 0x04 00000515: DUP1 00000516: CALLDATASIZE 00000517: SUB 00000518: DUP2 00000519: ADD 0000051a: SWAP1 0000051b: DUP1 0000051c: DUP1 0000051d: CALLDATALOAD 0000051e: SWAP1 0000051f: PUSH1 0x20 00000521: ADD 00000522: SWAP1 00000523: DUP3 00000524: ADD 00000525: DUP1 00000526: CALLDATALOAD 00000527: SWAP1 00000528: PUSH1 0x20 0000052a: ADD 0000052b: SWAP1 0000052c: DUP1 0000052d: DUP1 0000052e: PUSH1 0x1f 00000530: ADD 00000531: PUSH1 0x20 00000533: DUP1 00000534: SWAP2 00000535: DIV 00000536: MUL 00000537: PUSH1 0x20 00000539: ADD 0000053a: PUSH1 0x40 0000053c: MLOAD 0000053d: SWAP1 0000053e: DUP2 0000053f: ADD 00000540: PUSH1 0x40 00000542: MSTORE 00000543: DUP1 00000544: SWAP4 00000545: SWAP3 00000546: SWAP2 00000547: SWAP1 00000548: DUP2 00000549: DUP2 0000054a: MSTORE 0000054b: PUSH1 0x20 0000054d: ADD 0000054e: DUP4 0000054f: DUP4 00000550: DUP1 00000551: DUP3 00000552: DUP5 00000553: CALLDATACOPY 00000554: DUP3 00000555: ADD 00000556: SWAP2 00000557: POP 00000558: POP 00000559: POP 0000055a: POP 0000055b: POP 0000055c: POP 0000055d: SWAP2 0000055e: SWAP3 0000055f: SWAP2 00000560: SWAP3 00000561: SWAP1 00000562: POP 00000563: POP 00000564: POP 00000565: PUSH2 0x0cc4 00000568: JUMP 00000569: JUMPDEST 0000056a: STOP 0000056b: JUMPDEST 0000056c: CALLVALUE 0000056d: DUP1 0000056e: ISZERO 0000056f: PUSH2 0x0577 00000572: JUMPI 00000573: PUSH1 0x00 00000575: DUP1 00000576: REVERT 00000577: JUMPDEST 00000578: POP 00000579: PUSH2 0x05d2 0000057c: PUSH1 0x04 0000057e: DUP1 0000057f: CALLDATASIZE 00000580: SUB 00000581: DUP2 00000582: ADD 00000583: SWAP1 00000584: DUP1 00000585: DUP1 00000586: CALLDATALOAD 00000587: SWAP1 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP1 0000058c: DUP3 0000058d: ADD 0000058e: DUP1 0000058f: CALLDATALOAD 00000590: SWAP1 00000591: PUSH1 0x20 00000593: ADD 00000594: SWAP1 00000595: DUP1 00000596: DUP1 00000597: PUSH1 0x1f 00000599: ADD 0000059a: PUSH1 0x20 0000059c: DUP1 0000059d: SWAP2 0000059e: DIV 0000059f: MUL 000005a0: PUSH1 0x20 000005a2: ADD 000005a3: PUSH1 0x40 000005a5: MLOAD 000005a6: SWAP1 000005a7: DUP2 000005a8: ADD 000005a9: PUSH1 0x40 000005ab: MSTORE 000005ac: DUP1 000005ad: SWAP4 000005ae: SWAP3 000005af: SWAP2 000005b0: SWAP1 000005b1: DUP2 000005b2: DUP2 000005b3: MSTORE 000005b4: PUSH1 0x20 000005b6: ADD 000005b7: DUP4 000005b8: DUP4 000005b9: DUP1 000005ba: DUP3 000005bb: DUP5 000005bc: CALLDATACOPY 000005bd: DUP3 000005be: ADD 000005bf: SWAP2 000005c0: POP 000005c1: POP 000005c2: POP 000005c3: POP 000005c4: POP 000005c5: POP 000005c6: SWAP2 000005c7: SWAP3 000005c8: SWAP2 000005c9: SWAP3 000005ca: SWAP1 000005cb: POP 000005cc: POP 000005cd: POP 000005ce: PUSH2 0x0dd4 000005d1: JUMP 000005d2: JUMPDEST 000005d3: STOP 000005d4: JUMPDEST 000005d5: CALLVALUE 000005d6: DUP1 000005d7: ISZERO 000005d8: PUSH2 0x05e0 000005db: JUMPI 000005dc: PUSH1 0x00 000005de: DUP1 000005df: REVERT 000005e0: JUMPDEST 000005e1: POP 000005e2: PUSH2 0x05ff 000005e5: PUSH1 0x04 000005e7: DUP1 000005e8: CALLDATASIZE 000005e9: SUB 000005ea: DUP2 000005eb: ADD 000005ec: SWAP1 000005ed: DUP1 000005ee: DUP1 000005ef: CALLDATALOAD 000005f0: SWAP1 000005f1: PUSH1 0x20 000005f3: ADD 000005f4: SWAP1 000005f5: SWAP3 000005f6: SWAP2 000005f7: SWAP1 000005f8: POP 000005f9: POP 000005fa: POP 000005fb: PUSH2 0x0ee4 000005fe: JUMP 000005ff: JUMPDEST 00000600: STOP 00000601: JUMPDEST 00000602: CALLVALUE 00000603: DUP1 00000604: ISZERO 00000605: PUSH2 0x060d 00000608: JUMPI 00000609: PUSH1 0x00 0000060b: DUP1 0000060c: REVERT 0000060d: JUMPDEST 0000060e: POP 0000060f: PUSH2 0x0616 00000612: PUSH2 0x1124 00000615: JUMP 00000616: JUMPDEST 00000617: STOP 00000618: JUMPDEST 00000619: PUSH1 0x00 0000061b: DUP1 0000061c: SLOAD 0000061d: PUSH1 0x01 0000061f: DUP2 00000620: PUSH1 0x01 00000622: AND 00000623: ISZERO 00000624: PUSH2 0x0100 00000627: MUL 00000628: SUB 00000629: AND 0000062a: PUSH1 0x02 0000062c: SWAP1 0000062d: DIV 0000062e: DUP1 0000062f: PUSH1 0x1f 00000631: ADD 00000632: PUSH1 0x20 00000634: DUP1 00000635: SWAP2 00000636: DIV 00000637: MUL 00000638: PUSH1 0x20 0000063a: ADD 0000063b: PUSH1 0x40 0000063d: MLOAD 0000063e: SWAP1 0000063f: DUP2 00000640: ADD 00000641: PUSH1 0x40 00000643: MSTORE 00000644: DUP1 00000645: SWAP3 00000646: SWAP2 00000647: SWAP1 00000648: DUP2 00000649: DUP2 0000064a: MSTORE 0000064b: PUSH1 0x20 0000064d: ADD 0000064e: DUP3 0000064f: DUP1 00000650: SLOAD 00000651: PUSH1 0x01 00000653: DUP2 00000654: PUSH1 0x01 00000656: AND 00000657: ISZERO 00000658: PUSH2 0x0100 0000065b: MUL 0000065c: SUB 0000065d: AND 0000065e: PUSH1 0x02 00000660: SWAP1 00000661: DIV 00000662: DUP1 00000663: ISZERO 00000664: PUSH2 0x06ae 00000667: JUMPI 00000668: DUP1 00000669: PUSH1 0x1f 0000066b: LT 0000066c: PUSH2 0x0683 0000066f: JUMPI 00000670: PUSH2 0x0100 00000673: DUP1 00000674: DUP4 00000675: SLOAD 00000676: DIV 00000677: MUL 00000678: DUP4 00000679: MSTORE 0000067a: SWAP2 0000067b: PUSH1 0x20 0000067d: ADD 0000067e: SWAP2 0000067f: PUSH2 0x06ae 00000682: JUMP 00000683: JUMPDEST 00000684: DUP3 00000685: ADD 00000686: SWAP2 00000687: SWAP1 00000688: PUSH1 0x00 0000068a: MSTORE 0000068b: PUSH1 0x20 0000068d: PUSH1 0x00 0000068f: KECCAK256 00000690: SWAP1 00000691: JUMPDEST 00000692: DUP2 00000693: SLOAD 00000694: DUP2 00000695: MSTORE 00000696: SWAP1 00000697: PUSH1 0x01 00000699: ADD 0000069a: SWAP1 0000069b: PUSH1 0x20 0000069d: ADD 0000069e: DUP1 0000069f: DUP4 000006a0: GT 000006a1: PUSH2 0x0691 000006a4: JUMPI 000006a5: DUP3 000006a6: SWAP1 000006a7: SUB 000006a8: PUSH1 0x1f 000006aa: AND 000006ab: DUP3 000006ac: ADD 000006ad: SWAP2 000006ae: JUMPDEST 000006af: POP 000006b0: POP 000006b1: POP 000006b2: POP 000006b3: POP 000006b4: DUP2 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: PUSH1 0x00 000006bc: PUSH2 0x06c4 000006bf: DUP5 000006c0: PUSH2 0x1183 000006c3: JUMP 000006c4: JUMPDEST 000006c5: SWAP2 000006c6: POP 000006c7: PUSH2 0x06de 000006ca: PUSH2 0x06d7 000006cd: DUP4 000006ce: PUSH1 0x62 000006d0: PUSH1 0xff 000006d2: AND 000006d3: PUSH2 0x11d3 000006d6: JUMP 000006d7: JUMPDEST 000006d8: PUSH1 0x64 000006da: PUSH2 0x120e 000006dd: JUMP 000006de: JUMPDEST 000006df: SWAP1 000006e0: POP 000006e1: DUP1 000006e2: SWAP3 000006e3: POP 000006e4: POP 000006e5: POP 000006e6: SWAP2 000006e7: SWAP1 000006e8: POP 000006e9: JUMP 000006ea: JUMPDEST 000006eb: PUSH1 0x00 000006ed: PUSH1 0x04 000006ef: SLOAD 000006f0: SWAP1 000006f1: POP 000006f2: SWAP1 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x00 000006f7: DUP1 000006f8: PUSH1 0x00 000006fa: PUSH1 0x04 000006fc: SLOAD 000006fd: DUP5 000006fe: GT 000006ff: ISZERO 00000700: ISZERO 00000701: ISZERO 00000702: PUSH2 0x070a 00000705: JUMPI 00000706: PUSH1 0x00 00000708: DUP1 00000709: REVERT 0000070a: JUMPDEST 0000070b: PUSH2 0x0713 0000070e: DUP5 0000070f: PUSH2 0x124f 00000712: JUMP 00000713: JUMPDEST 00000714: SWAP2 00000715: POP 00000716: PUSH2 0x072d 00000719: PUSH2 0x0726 0000071c: DUP4 0000071d: PUSH1 0x62 0000071f: PUSH1 0xff 00000721: AND 00000722: PUSH2 0x11d3 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH1 0x64 00000729: PUSH2 0x120e 0000072c: JUMP 0000072d: JUMPDEST 0000072e: SWAP1 0000072f: POP 00000730: DUP1 00000731: SWAP3 00000732: POP 00000733: POP 00000734: POP 00000735: SWAP2 00000736: SWAP1 00000737: POP 00000738: JUMP 00000739: JUMPDEST 0000073a: PUSH1 0x12 0000073c: DUP2 0000073d: JUMP 0000073e: JUMPDEST 0000073f: PUSH1 0x06 00000741: PUSH1 0x20 00000743: MSTORE 00000744: DUP1 00000745: PUSH1 0x00 00000747: MSTORE 00000748: PUSH1 0x40 0000074a: PUSH1 0x00 0000074c: KECCAK256 0000074d: PUSH1 0x00 0000074f: SWAP2 00000750: POP 00000751: SLOAD 00000752: SWAP1 00000753: PUSH2 0x0100 00000756: EXP 00000757: SWAP1 00000758: DIV 00000759: PUSH1 0xff 0000075b: AND 0000075c: DUP2 0000075d: JUMP 0000075e: JUMPDEST 0000075f: PUSH1 0x00 00000761: DUP1 00000762: PUSH1 0x00 00000764: PUSH2 0x076b 00000767: PUSH2 0x12a6 0000076a: JUMP 0000076b: JUMPDEST 0000076c: SWAP2 0000076d: POP 0000076e: PUSH2 0x07a6 00000771: PUSH2 0x079f 00000774: PUSH2 0x0795 00000777: PUSH2 0x078e 0000077a: DUP6 0000077b: PUSH2 0x0789 0000077e: PUSH1 0x64 00000780: PUSH1 0x05 00000782: PUSH1 0xff 00000784: AND 00000785: PUSH2 0x1302 00000788: JUMP 00000789: JUMPDEST 0000078a: PUSH2 0x11d3 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH1 0x64 00000791: PUSH2 0x120e 00000794: JUMP 00000795: JUMPDEST 00000796: PUSH1 0x62 00000798: PUSH1 0xff 0000079a: AND 0000079b: PUSH2 0x11d3 0000079e: JUMP 0000079f: JUMPDEST 000007a0: PUSH1 0x64 000007a2: PUSH2 0x120e 000007a5: JUMP 000007a6: JUMPDEST 000007a7: SWAP1 000007a8: POP 000007a9: DUP1 000007aa: SWAP3 000007ab: POP 000007ac: POP 000007ad: POP 000007ae: SWAP1 000007af: JUMP 000007b0: JUMPDEST 000007b1: PUSH1 0x00 000007b3: ADDRESS 000007b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c9: AND 000007ca: BALANCE 000007cb: SWAP1 000007cc: POP 000007cd: SWAP1 000007ce: JUMP 000007cf: JUMPDEST 000007d0: PUSH1 0x00 000007d2: PUSH1 0x02 000007d4: PUSH1 0x00 000007d6: DUP4 000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ec: AND 000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000802: AND 00000803: DUP2 00000804: MSTORE 00000805: PUSH1 0x20 00000807: ADD 00000808: SWAP1 00000809: DUP2 0000080a: MSTORE 0000080b: PUSH1 0x20 0000080d: ADD 0000080e: PUSH1 0x00 00000810: KECCAK256 00000811: SLOAD 00000812: SWAP1 00000813: POP 00000814: SWAP2 00000815: SWAP1 00000816: POP 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH1 0x00 0000081b: DUP1 0000081c: PUSH1 0x00 0000081e: PUSH2 0x0825 00000821: PUSH2 0x12a6 00000824: JUMP 00000825: JUMPDEST 00000826: SWAP2 00000827: POP 00000828: PUSH2 0x084c 0000082b: PUSH2 0x0842 0000082e: DUP4 0000082f: PUSH2 0x083d 00000832: PUSH1 0x64 00000834: PUSH1 0x05 00000836: PUSH1 0xff 00000838: AND 00000839: PUSH2 0x131b 0000083c: JUMP 0000083d: JUMPDEST 0000083e: PUSH2 0x11d3 00000841: JUMP 00000842: JUMPDEST 00000843: PUSH1 0x62 00000845: PUSH1 0xff 00000847: AND 00000848: PUSH2 0x120e 0000084b: JUMP 0000084c: JUMPDEST 0000084d: SWAP1 0000084e: POP 0000084f: DUP1 00000850: SWAP3 00000851: POP 00000852: POP 00000853: POP 00000854: SWAP1 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x00 00000859: CALLER 0000085a: SWAP1 0000085b: POP 0000085c: PUSH1 0x06 0000085e: PUSH1 0x00 00000860: DUP3 00000861: PUSH1 0x40 00000863: MLOAD 00000864: PUSH1 0x20 00000866: ADD 00000867: DUP1 00000868: DUP3 00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087e: AND 0000087f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000894: AND 00000895: PUSH13 0x01000000000000000000000000 000008a3: MUL 000008a4: DUP2 000008a5: MSTORE 000008a6: PUSH1 0x14 000008a8: ADD 000008a9: SWAP2 000008aa: POP 000008ab: POP 000008ac: PUSH1 0x40 000008ae: MLOAD 000008af: PUSH1 0x20 000008b1: DUP2 000008b2: DUP4 000008b3: SUB 000008b4: SUB 000008b5: DUP2 000008b6: MSTORE 000008b7: SWAP1 000008b8: PUSH1 0x40 000008ba: MSTORE 000008bb: PUSH1 0x40 000008bd: MLOAD 000008be: DUP1 000008bf: DUP3 000008c0: DUP1 000008c1: MLOAD 000008c2: SWAP1 000008c3: PUSH1 0x20 000008c5: ADD 000008c6: SWAP1 000008c7: DUP1 000008c8: DUP4 000008c9: DUP4 000008ca: JUMPDEST 000008cb: PUSH1 0x20 000008cd: DUP4 000008ce: LT 000008cf: ISZERO 000008d0: ISZERO 000008d1: PUSH2 0x08ef 000008d4: JUMPI 000008d5: DUP1 000008d6: MLOAD 000008d7: DUP3 000008d8: MSTORE 000008d9: PUSH1 0x20 000008db: DUP3 000008dc: ADD 000008dd: SWAP2 000008de: POP 000008df: PUSH1 0x20 000008e1: DUP2 000008e2: ADD 000008e3: SWAP1 000008e4: POP 000008e5: PUSH1 0x20 000008e7: DUP4 000008e8: SUB 000008e9: SWAP3 000008ea: POP 000008eb: PUSH2 0x08ca 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH1 0x01 000008f2: DUP4 000008f3: PUSH1 0x20 000008f5: SUB 000008f6: PUSH2 0x0100 000008f9: EXP 000008fa: SUB 000008fb: DUP1 000008fc: NOT 000008fd: DUP3 000008fe: MLOAD 000008ff: AND 00000900: DUP2 00000901: DUP5 00000902: MLOAD 00000903: AND 00000904: DUP1 00000905: DUP3 00000906: OR 00000907: DUP6 00000908: MSTORE 00000909: POP 0000090a: POP 0000090b: POP 0000090c: POP 0000090d: POP 0000090e: POP 0000090f: SWAP1 00000910: POP 00000911: ADD 00000912: SWAP2 00000913: POP 00000914: POP 00000915: PUSH1 0x40 00000917: MLOAD 00000918: DUP1 00000919: SWAP2 0000091a: SUB 0000091b: SWAP1 0000091c: KECCAK256 0000091d: PUSH1 0x00 0000091f: NOT 00000920: AND 00000921: PUSH1 0x00 00000923: NOT 00000924: AND 00000925: DUP2 00000926: MSTORE 00000927: PUSH1 0x20 00000929: ADD 0000092a: SWAP1 0000092b: DUP2 0000092c: MSTORE 0000092d: PUSH1 0x20 0000092f: ADD 00000930: PUSH1 0x00 00000932: KECCAK256 00000933: PUSH1 0x00 00000935: SWAP1 00000936: SLOAD 00000937: SWAP1 00000938: PUSH2 0x0100 0000093b: EXP 0000093c: SWAP1 0000093d: DIV 0000093e: PUSH1 0xff 00000940: AND 00000941: ISZERO 00000942: ISZERO 00000943: PUSH2 0x094b 00000946: JUMPI 00000947: PUSH1 0x00 00000949: DUP1 0000094a: REVERT 0000094b: JUMPDEST 0000094c: DUP2 0000094d: PUSH1 0x06 0000094f: PUSH1 0x00 00000951: DUP6 00000952: PUSH1 0x00 00000954: NOT 00000955: AND 00000956: PUSH1 0x00 00000958: NOT 00000959: AND 0000095a: DUP2 0000095b: MSTORE 0000095c: PUSH1 0x20 0000095e: ADD 0000095f: SWAP1 00000960: DUP2 00000961: MSTORE 00000962: PUSH1 0x20 00000964: ADD 00000965: PUSH1 0x00 00000967: KECCAK256 00000968: PUSH1 0x00 0000096a: PUSH2 0x0100 0000096d: EXP 0000096e: DUP2 0000096f: SLOAD 00000970: DUP2 00000971: PUSH1 0xff 00000973: MUL 00000974: NOT 00000975: AND 00000976: SWAP1 00000977: DUP4 00000978: ISZERO 00000979: ISZERO 0000097a: MUL 0000097b: OR 0000097c: SWAP1 0000097d: SSTORE 0000097e: POP 0000097f: POP 00000980: POP 00000981: POP 00000982: JUMP 00000983: JUMPDEST 00000984: PUSH1 0x00 00000986: DUP1 00000987: CALLER 00000988: SWAP1 00000989: POP 0000098a: PUSH2 0x0992 0000098d: DUP2 0000098e: PUSH2 0x07cf 00000991: JUMP 00000992: JUMPDEST 00000993: SWAP2 00000994: POP 00000995: POP 00000996: SWAP1 00000997: JUMP 00000998: JUMPDEST 00000999: PUSH1 0x01 0000099b: DUP1 0000099c: SLOAD 0000099d: PUSH1 0x01 0000099f: DUP2 000009a0: PUSH1 0x01 000009a2: AND 000009a3: ISZERO 000009a4: PUSH2 0x0100 000009a7: MUL 000009a8: SUB 000009a9: AND 000009aa: PUSH1 0x02 000009ac: SWAP1 000009ad: DIV 000009ae: DUP1 000009af: PUSH1 0x1f 000009b1: ADD 000009b2: PUSH1 0x20 000009b4: DUP1 000009b5: SWAP2 000009b6: DIV 000009b7: MUL 000009b8: PUSH1 0x20 000009ba: ADD 000009bb: PUSH1 0x40 000009bd: MLOAD 000009be: SWAP1 000009bf: DUP2 000009c0: ADD 000009c1: PUSH1 0x40 000009c3: MSTORE 000009c4: DUP1 000009c5: SWAP3 000009c6: SWAP2 000009c7: SWAP1 000009c8: DUP2 000009c9: DUP2 000009ca: MSTORE 000009cb: PUSH1 0x20 000009cd: ADD 000009ce: DUP3 000009cf: DUP1 000009d0: SLOAD 000009d1: PUSH1 0x01 000009d3: DUP2 000009d4: PUSH1 0x01 000009d6: AND 000009d7: ISZERO 000009d8: PUSH2 0x0100 000009db: MUL 000009dc: SUB 000009dd: AND 000009de: PUSH1 0x02 000009e0: SWAP1 000009e1: DIV 000009e2: DUP1 000009e3: ISZERO 000009e4: PUSH2 0x0a2e 000009e7: JUMPI 000009e8: DUP1 000009e9: PUSH1 0x1f 000009eb: LT 000009ec: PUSH2 0x0a03 000009ef: JUMPI 000009f0: PUSH2 0x0100 000009f3: DUP1 000009f4: DUP4 000009f5: SLOAD 000009f6: DIV 000009f7: MUL 000009f8: DUP4 000009f9: MSTORE 000009fa: SWAP2 000009fb: PUSH1 0x20 000009fd: ADD 000009fe: SWAP2 000009ff: PUSH2 0x0a2e 00000a02: JUMP 00000a03: JUMPDEST 00000a04: DUP3 00000a05: ADD 00000a06: SWAP2 00000a07: SWAP1 00000a08: PUSH1 0x00 00000a0a: MSTORE 00000a0b: PUSH1 0x20 00000a0d: PUSH1 0x00 00000a0f: KECCAK256 00000a10: SWAP1 00000a11: JUMPDEST 00000a12: DUP2 00000a13: SLOAD 00000a14: DUP2 00000a15: MSTORE 00000a16: SWAP1 00000a17: PUSH1 0x01 00000a19: ADD 00000a1a: SWAP1 00000a1b: PUSH1 0x20 00000a1d: ADD 00000a1e: DUP1 00000a1f: DUP4 00000a20: GT 00000a21: PUSH2 0x0a11 00000a24: JUMPI 00000a25: DUP3 00000a26: SWAP1 00000a27: SUB 00000a28: PUSH1 0x1f 00000a2a: AND 00000a2b: DUP3 00000a2c: ADD 00000a2d: SWAP2 00000a2e: JUMPDEST 00000a2f: POP 00000a30: POP 00000a31: POP 00000a32: POP 00000a33: POP 00000a34: DUP2 00000a35: JUMP 00000a36: JUMPDEST 00000a37: CALLVALUE 00000a38: PUSH1 0x05 00000a3a: DUP2 00000a3b: SWAP1 00000a3c: SSTORE 00000a3d: POP 00000a3e: PUSH2 0x0a46 00000a41: CALLVALUE 00000a42: PUSH2 0x1339 00000a45: JUMP 00000a46: JUMPDEST 00000a47: PUSH1 0x00 00000a49: PUSH1 0x05 00000a4b: DUP2 00000a4c: SWAP1 00000a4d: SSTORE 00000a4e: POP 00000a4f: JUMP 00000a50: JUMPDEST 00000a51: PUSH1 0x00 00000a53: DUP1 00000a54: PUSH1 0x00 00000a56: DUP1 00000a57: DUP6 00000a58: PUSH1 0x00 00000a5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6f: AND 00000a70: DUP2 00000a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a86: AND 00000a87: EQ 00000a88: ISZERO 00000a89: ISZERO 00000a8a: ISZERO 00000a8b: PUSH2 0x0a93 00000a8e: JUMPI 00000a8f: PUSH1 0x00 00000a91: DUP1 00000a92: REVERT 00000a93: JUMPDEST 00000a94: PUSH1 0x00 00000a96: PUSH2 0x0a9d 00000a99: PUSH2 0x0983 00000a9c: JUMP 00000a9d: JUMPDEST 00000a9e: GT 00000a9f: ISZERO 00000aa0: ISZERO 00000aa1: PUSH2 0x0aa9 00000aa4: JUMPI 00000aa5: PUSH1 0x00 00000aa7: DUP1 00000aa8: REVERT 00000aa9: JUMPDEST 00000aaa: CALLER 00000aab: SWAP4 00000aac: POP 00000aad: PUSH2 0x0ac4 00000ab0: PUSH2 0x0abd 00000ab3: DUP8 00000ab4: PUSH1 0x05 00000ab6: PUSH1 0xff 00000ab8: AND 00000ab9: PUSH2 0x11d3 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH1 0x64 00000ac0: PUSH2 0x120e 00000ac3: JUMP 00000ac4: JUMPDEST 00000ac5: SWAP3 00000ac6: POP 00000ac7: PUSH1 0x02 00000ac9: PUSH1 0x00 00000acb: DUP6 00000acc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae1: AND 00000ae2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af7: AND 00000af8: DUP2 00000af9: MSTORE 00000afa: PUSH1 0x20 00000afc: ADD 00000afd: SWAP1 00000afe: DUP2 00000aff: MSTORE 00000b00: PUSH1 0x20 00000b02: ADD 00000b03: PUSH1 0x00 00000b05: KECCAK256 00000b06: SLOAD 00000b07: PUSH2 0x0b10 00000b0a: DUP8 00000b0b: DUP6 00000b0c: PUSH2 0x131b 00000b0f: JUMP 00000b10: JUMPDEST 00000b11: GT 00000b12: ISZERO 00000b13: ISZERO 00000b14: ISZERO 00000b15: PUSH2 0x0b1d 00000b18: JUMPI 00000b19: PUSH1 0x00 00000b1b: DUP1 00000b1c: REVERT 00000b1d: JUMPDEST 00000b1e: PUSH2 0x0b27 00000b21: DUP7 00000b22: DUP5 00000b23: PUSH2 0x131b 00000b26: JUMP 00000b27: JUMPDEST 00000b28: SWAP2 00000b29: POP 00000b2a: PUSH2 0x0b72 00000b2d: PUSH1 0x02 00000b2f: PUSH1 0x00 00000b31: DUP7 00000b32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b47: AND 00000b48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5d: AND 00000b5e: DUP2 00000b5f: MSTORE 00000b60: PUSH1 0x20 00000b62: ADD 00000b63: SWAP1 00000b64: DUP2 00000b65: MSTORE 00000b66: PUSH1 0x20 00000b68: ADD 00000b69: PUSH1 0x00 00000b6b: KECCAK256 00000b6c: SLOAD 00000b6d: DUP4 00000b6e: PUSH2 0x1302 00000b71: JUMP 00000b72: JUMPDEST 00000b73: PUSH1 0x02 00000b75: PUSH1 0x00 00000b77: DUP7 00000b78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8d: AND 00000b8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba3: AND 00000ba4: DUP2 00000ba5: MSTORE 00000ba6: PUSH1 0x20 00000ba8: ADD 00000ba9: SWAP1 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x20 00000bae: ADD 00000baf: PUSH1 0x00 00000bb1: KECCAK256 00000bb2: DUP2 00000bb3: SWAP1 00000bb4: SSTORE 00000bb5: POP 00000bb6: PUSH2 0x0bfe 00000bb9: PUSH1 0x02 00000bbb: PUSH1 0x00 00000bbd: DUP10 00000bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd3: AND 00000bd4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be9: AND 00000bea: DUP2 00000beb: MSTORE 00000bec: PUSH1 0x20 00000bee: ADD 00000bef: SWAP1 00000bf0: DUP2 00000bf1: MSTORE 00000bf2: PUSH1 0x20 00000bf4: ADD 00000bf5: PUSH1 0x00 00000bf7: KECCAK256 00000bf8: SLOAD 00000bf9: DUP8 00000bfa: PUSH2 0x131b 00000bfd: JUMP 00000bfe: JUMPDEST 00000bff: PUSH1 0x02 00000c01: PUSH1 0x00 00000c03: DUP10 00000c04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c19: AND 00000c1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c2f: AND 00000c30: DUP2 00000c31: MSTORE 00000c32: PUSH1 0x20 00000c34: ADD 00000c35: SWAP1 00000c36: DUP2 00000c37: MSTORE 00000c38: PUSH1 0x20 00000c3a: ADD 00000c3b: PUSH1 0x00 00000c3d: KECCAK256 00000c3e: DUP2 00000c3f: SWAP1 00000c40: SSTORE 00000c41: POP 00000c42: DUP3 00000c43: PUSH1 0x04 00000c45: PUSH1 0x00 00000c47: DUP3 00000c48: DUP3 00000c49: SLOAD 00000c4a: SUB 00000c4b: SWAP3 00000c4c: POP 00000c4d: POP 00000c4e: DUP2 00000c4f: SWAP1 00000c50: SSTORE 00000c51: POP 00000c52: DUP7 00000c53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c68: AND 00000c69: DUP5 00000c6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7f: AND 00000c80: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000ca1: DUP5 00000ca2: PUSH1 0x40 00000ca4: MLOAD 00000ca5: DUP1 00000ca6: DUP3 00000ca7: DUP2 00000ca8: MSTORE 00000ca9: PUSH1 0x20 00000cab: ADD 00000cac: SWAP2 00000cad: POP 00000cae: POP 00000caf: PUSH1 0x40 00000cb1: MLOAD 00000cb2: DUP1 00000cb3: SWAP2 00000cb4: SUB 00000cb5: SWAP1 00000cb6: LOG3 00000cb7: PUSH1 0x01 00000cb9: SWAP5 00000cba: POP 00000cbb: POP 00000cbc: POP 00000cbd: POP 00000cbe: POP 00000cbf: SWAP3 00000cc0: SWAP2 00000cc1: POP 00000cc2: POP 00000cc3: JUMP 00000cc4: JUMPDEST 00000cc5: PUSH1 0x00 00000cc7: CALLER 00000cc8: SWAP1 00000cc9: POP 00000cca: PUSH1 0x06 00000ccc: PUSH1 0x00 00000cce: DUP3 00000ccf: PUSH1 0x40 00000cd1: MLOAD 00000cd2: PUSH1 0x20 00000cd4: ADD 00000cd5: DUP1 00000cd6: DUP3 00000cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cec: AND 00000ced: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d02: AND 00000d03: PUSH13 0x01000000000000000000000000 00000d11: MUL 00000d12: DUP2 00000d13: MSTORE 00000d14: PUSH1 0x14 00000d16: ADD 00000d17: SWAP2 00000d18: POP 00000d19: POP 00000d1a: PUSH1 0x40 00000d1c: MLOAD 00000d1d: PUSH1 0x20 00000d1f: DUP2 00000d20: DUP4 00000d21: SUB 00000d22: SUB 00000d23: DUP2 00000d24: MSTORE 00000d25: SWAP1 00000d26: PUSH1 0x40 00000d28: MSTORE 00000d29: PUSH1 0x40 00000d2b: MLOAD 00000d2c: DUP1 00000d2d: DUP3 00000d2e: DUP1 00000d2f: MLOAD 00000d30: SWAP1 00000d31: PUSH1 0x20 00000d33: ADD 00000d34: SWAP1 00000d35: DUP1 00000d36: DUP4 00000d37: DUP4 00000d38: JUMPDEST 00000d39: PUSH1 0x20 00000d3b: DUP4 00000d3c: LT 00000d3d: ISZERO 00000d3e: ISZERO 00000d3f: PUSH2 0x0d5d 00000d42: JUMPI 00000d43: DUP1 00000d44: MLOAD 00000d45: DUP3 00000d46: MSTORE 00000d47: PUSH1 0x20 00000d49: DUP3 00000d4a: ADD 00000d4b: SWAP2 00000d4c: POP 00000d4d: PUSH1 0x20 00000d4f: DUP2 00000d50: ADD 00000d51: SWAP1 00000d52: POP 00000d53: PUSH1 0x20 00000d55: DUP4 00000d56: SUB 00000d57: SWAP3 00000d58: POP 00000d59: PUSH2 0x0d38 00000d5c: JUMP 00000d5d: JUMPDEST 00000d5e: PUSH1 0x01 00000d60: DUP4 00000d61: PUSH1 0x20 00000d63: SUB 00000d64: PUSH2 0x0100 00000d67: EXP 00000d68: SUB 00000d69: DUP1 00000d6a: NOT 00000d6b: DUP3 00000d6c: MLOAD 00000d6d: AND 00000d6e: DUP2 00000d6f: DUP5 00000d70: MLOAD 00000d71: AND 00000d72: DUP1 00000d73: DUP3 00000d74: OR 00000d75: DUP6 00000d76: MSTORE 00000d77: POP 00000d78: POP 00000d79: POP 00000d7a: POP 00000d7b: POP 00000d7c: POP 00000d7d: SWAP1 00000d7e: POP 00000d7f: ADD 00000d80: SWAP2 00000d81: POP 00000d82: POP 00000d83: PUSH1 0x40 00000d85: MLOAD 00000d86: DUP1 00000d87: SWAP2 00000d88: SUB 00000d89: SWAP1 00000d8a: KECCAK256 00000d8b: PUSH1 0x00 00000d8d: NOT 00000d8e: AND 00000d8f: PUSH1 0x00 00000d91: NOT 00000d92: AND 00000d93: DUP2 00000d94: MSTORE 00000d95: PUSH1 0x20 00000d97: ADD 00000d98: SWAP1 00000d99: DUP2 00000d9a: MSTORE 00000d9b: PUSH1 0x20 00000d9d: ADD 00000d9e: PUSH1 0x00 00000da0: KECCAK256 00000da1: PUSH1 0x00 00000da3: SWAP1 00000da4: SLOAD 00000da5: SWAP1 00000da6: PUSH2 0x0100 00000da9: EXP 00000daa: SWAP1 00000dab: DIV 00000dac: PUSH1 0xff 00000dae: AND 00000daf: ISZERO 00000db0: ISZERO 00000db1: PUSH2 0x0db9 00000db4: JUMPI 00000db5: PUSH1 0x00 00000db7: DUP1 00000db8: REVERT 00000db9: JUMPDEST 00000dba: DUP2 00000dbb: PUSH1 0x01 00000dbd: SWAP1 00000dbe: DUP1 00000dbf: MLOAD 00000dc0: SWAP1 00000dc1: PUSH1 0x20 00000dc3: ADD 00000dc4: SWAP1 00000dc5: PUSH2 0x0dcf 00000dc8: SWAP3 00000dc9: SWAP2 00000dca: SWAP1 00000dcb: PUSH2 0x15bd 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: POP 00000dd1: POP 00000dd2: POP 00000dd3: JUMP 00000dd4: JUMPDEST 00000dd5: PUSH1 0x00 00000dd7: CALLER 00000dd8: SWAP1 00000dd9: POP 00000dda: PUSH1 0x06 00000ddc: PUSH1 0x00 00000dde: DUP3 00000ddf: PUSH1 0x40 00000de1: MLOAD 00000de2: PUSH1 0x20 00000de4: ADD 00000de5: DUP1 00000de6: DUP3 00000de7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dfc: AND 00000dfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e12: AND 00000e13: PUSH13 0x01000000000000000000000000 00000e21: MUL 00000e22: DUP2 00000e23: MSTORE 00000e24: PUSH1 0x14 00000e26: ADD 00000e27: SWAP2 00000e28: POP 00000e29: POP 00000e2a: PUSH1 0x40 00000e2c: MLOAD 00000e2d: PUSH1 0x20 00000e2f: DUP2 00000e30: DUP4 00000e31: SUB 00000e32: SUB 00000e33: DUP2 00000e34: MSTORE 00000e35: SWAP1 00000e36: PUSH1 0x40 00000e38: MSTORE 00000e39: PUSH1 0x40 00000e3b: MLOAD 00000e3c: DUP1 00000e3d: DUP3 00000e3e: DUP1 00000e3f: MLOAD 00000e40: SWAP1 00000e41: PUSH1 0x20 00000e43: ADD 00000e44: SWAP1 00000e45: DUP1 00000e46: DUP4 00000e47: DUP4 00000e48: JUMPDEST 00000e49: PUSH1 0x20 00000e4b: DUP4 00000e4c: LT 00000e4d: ISZERO 00000e4e: ISZERO 00000e4f: PUSH2 0x0e6d 00000e52: JUMPI 00000e53: DUP1 00000e54: MLOAD 00000e55: DUP3 00000e56: MSTORE 00000e57: PUSH1 0x20 00000e59: DUP3 00000e5a: ADD 00000e5b: SWAP2 00000e5c: POP 00000e5d: PUSH1 0x20 00000e5f: DUP2 00000e60: ADD 00000e61: SWAP1 00000e62: POP 00000e63: PUSH1 0x20 00000e65: DUP4 00000e66: SUB 00000e67: SWAP3 00000e68: POP 00000e69: PUSH2 0x0e48 00000e6c: JUMP 00000e6d: JUMPDEST 00000e6e: PUSH1 0x01 00000e70: DUP4 00000e71: PUSH1 0x20 00000e73: SUB 00000e74: PUSH2 0x0100 00000e77: EXP 00000e78: SUB 00000e79: DUP1 00000e7a: NOT 00000e7b: DUP3 00000e7c: MLOAD 00000e7d: AND 00000e7e: DUP2 00000e7f: DUP5 00000e80: MLOAD 00000e81: AND 00000e82: DUP1 00000e83: DUP3 00000e84: OR 00000e85: DUP6 00000e86: MSTORE 00000e87: POP 00000e88: POP 00000e89: POP 00000e8a: POP 00000e8b: POP 00000e8c: POP 00000e8d: SWAP1 00000e8e: POP 00000e8f: ADD 00000e90: SWAP2 00000e91: POP 00000e92: POP 00000e93: PUSH1 0x40 00000e95: MLOAD 00000e96: DUP1 00000e97: SWAP2 00000e98: SUB 00000e99: SWAP1 00000e9a: KECCAK256 00000e9b: PUSH1 0x00 00000e9d: NOT 00000e9e: AND 00000e9f: PUSH1 0x00 00000ea1: NOT 00000ea2: AND 00000ea3: DUP2 00000ea4: MSTORE 00000ea5: PUSH1 0x20 00000ea7: ADD 00000ea8: SWAP1 00000ea9: DUP2 00000eaa: MSTORE 00000eab: PUSH1 0x20 00000ead: ADD 00000eae: PUSH1 0x00 00000eb0: KECCAK256 00000eb1: PUSH1 0x00 00000eb3: SWAP1 00000eb4: SLOAD 00000eb5: SWAP1 00000eb6: PUSH2 0x0100 00000eb9: EXP 00000eba: SWAP1 00000ebb: DIV 00000ebc: PUSH1 0xff 00000ebe: AND 00000ebf: ISZERO 00000ec0: ISZERO 00000ec1: PUSH2 0x0ec9 00000ec4: JUMPI 00000ec5: PUSH1 0x00 00000ec7: DUP1 00000ec8: REVERT 00000ec9: JUMPDEST 00000eca: DUP2 00000ecb: PUSH1 0x00 00000ecd: SWAP1 00000ece: DUP1 00000ecf: MLOAD 00000ed0: SWAP1 00000ed1: PUSH1 0x20 00000ed3: ADD 00000ed4: SWAP1 00000ed5: PUSH2 0x0edf 00000ed8: SWAP3 00000ed9: SWAP2 00000eda: SWAP1 00000edb: PUSH2 0x15bd 00000ede: JUMP 00000edf: JUMPDEST 00000ee0: POP 00000ee1: POP 00000ee2: POP 00000ee3: JUMP 00000ee4: JUMPDEST 00000ee5: PUSH1 0x00 00000ee7: DUP1 00000ee8: PUSH1 0x00 00000eea: DUP1 00000eeb: PUSH1 0x00 00000eed: DUP1 00000eee: PUSH2 0x0ef5 00000ef1: PUSH2 0x0983 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: GT 00000ef7: ISZERO 00000ef8: ISZERO 00000ef9: PUSH2 0x0f01 00000efc: JUMPI 00000efd: PUSH1 0x00 00000eff: DUP1 00000f00: REVERT 00000f01: JUMPDEST 00000f02: CALLER 00000f03: SWAP5 00000f04: POP 00000f05: PUSH1 0x02 00000f07: PUSH1 0x00 00000f09: DUP7 00000f0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f1f: AND 00000f20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f35: AND 00000f36: DUP2 00000f37: MSTORE 00000f38: PUSH1 0x20 00000f3a: ADD 00000f3b: SWAP1 00000f3c: DUP2 00000f3d: MSTORE 00000f3e: PUSH1 0x20 00000f40: ADD 00000f41: PUSH1 0x00 00000f43: KECCAK256 00000f44: SLOAD 00000f45: DUP7 00000f46: GT 00000f47: ISZERO 00000f48: ISZERO 00000f49: ISZERO 00000f4a: PUSH2 0x0f52 00000f4d: JUMPI 00000f4e: PUSH1 0x00 00000f50: DUP1 00000f51: REVERT 00000f52: JUMPDEST 00000f53: DUP6 00000f54: SWAP4 00000f55: POP 00000f56: PUSH2 0x0f5e 00000f59: DUP5 00000f5a: PUSH2 0x124f 00000f5d: JUMP 00000f5e: JUMPDEST 00000f5f: SWAP3 00000f60: POP 00000f61: PUSH2 0x0f78 00000f64: PUSH2 0x0f71 00000f67: DUP5 00000f68: PUSH1 0x62 00000f6a: PUSH1 0xff 00000f6c: AND 00000f6d: PUSH2 0x11d3 00000f70: JUMP 00000f71: JUMPDEST 00000f72: PUSH1 0x64 00000f74: PUSH2 0x120e 00000f77: JUMP 00000f78: JUMPDEST 00000f79: SWAP2 00000f7a: POP 00000f7b: PUSH2 0x0f84 00000f7e: DUP4 00000f7f: DUP4 00000f80: PUSH2 0x1302 00000f83: JUMP 00000f84: JUMPDEST 00000f85: SWAP1 00000f86: POP 00000f87: PUSH2 0x0f92 00000f8a: PUSH1 0x04 00000f8c: SLOAD 00000f8d: DUP6 00000f8e: PUSH2 0x1302 00000f91: JUMP 00000f92: JUMPDEST 00000f93: PUSH1 0x04 00000f95: DUP2 00000f96: SWAP1 00000f97: SSTORE 00000f98: POP 00000f99: PUSH2 0x0fe1 00000f9c: PUSH1 0x02 00000f9e: PUSH1 0x00 00000fa0: DUP8 00000fa1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb6: AND 00000fb7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fcc: AND 00000fcd: DUP2 00000fce: MSTORE 00000fcf: PUSH1 0x20 00000fd1: ADD 00000fd2: SWAP1 00000fd3: DUP2 00000fd4: MSTORE 00000fd5: PUSH1 0x20 00000fd7: ADD 00000fd8: PUSH1 0x00 00000fda: KECCAK256 00000fdb: SLOAD 00000fdc: DUP6 00000fdd: PUSH2 0x1302 00000fe0: JUMP 00000fe1: JUMPDEST 00000fe2: PUSH1 0x02 00000fe4: PUSH1 0x00 00000fe6: DUP8 00000fe7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ffc: AND 00000ffd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001012: AND 00001013: DUP2 00001014: MSTORE 00001015: PUSH1 0x20 00001017: ADD 00001018: SWAP1 00001019: DUP2 0000101a: MSTORE 0000101b: PUSH1 0x20 0000101d: ADD 0000101e: PUSH1 0x00 00001020: KECCAK256 00001021: DUP2 00001022: SWAP1 00001023: SSTORE 00001024: POP 00001025: DUP5 00001026: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000103b: AND 0000103c: PUSH2 0x08fc 0000103f: DUP4 00001040: SWAP1 00001041: DUP2 00001042: ISZERO 00001043: MUL 00001044: SWAP1 00001045: PUSH1 0x40 00001047: MLOAD 00001048: PUSH1 0x00 0000104a: PUSH1 0x40 0000104c: MLOAD 0000104d: DUP1 0000104e: DUP4 0000104f: SUB 00001050: DUP2 00001051: DUP6 00001052: DUP9 00001053: DUP9 00001054: CALL 00001055: SWAP4 00001056: POP 00001057: POP 00001058: POP 00001059: POP 0000105a: ISZERO 0000105b: DUP1 0000105c: ISZERO 0000105d: PUSH2 0x106a 00001060: JUMPI 00001061: RETURNDATASIZE 00001062: PUSH1 0x00 00001064: DUP1 00001065: RETURNDATACOPY 00001066: RETURNDATASIZE 00001067: PUSH1 0x00 00001069: REVERT 0000106a: JUMPDEST 0000106b: POP 0000106c: PUSH20 0xad5874d6a14cc9963fc303f745f454ef3a6e9beb 00001081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001096: AND 00001097: PUSH2 0x08fc 0000109a: DUP3 0000109b: SWAP1 0000109c: DUP2 0000109d: ISZERO 0000109e: MUL 0000109f: SWAP1 000010a0: PUSH1 0x40 000010a2: MLOAD 000010a3: PUSH1 0x00 000010a5: PUSH1 0x40 000010a7: MLOAD 000010a8: DUP1 000010a9: DUP4 000010aa: SUB 000010ab: DUP2 000010ac: DUP6 000010ad: DUP9 000010ae: DUP9 000010af: CALL 000010b0: SWAP4 000010b1: POP 000010b2: POP 000010b3: POP 000010b4: POP 000010b5: ISZERO 000010b6: DUP1 000010b7: ISZERO 000010b8: PUSH2 0x10c5 000010bb: JUMPI 000010bc: RETURNDATASIZE 000010bd: PUSH1 0x00 000010bf: DUP1 000010c0: RETURNDATACOPY 000010c1: RETURNDATASIZE 000010c2: PUSH1 0x00 000010c4: REVERT 000010c5: JUMPDEST 000010c6: POP 000010c7: DUP5 000010c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010dd: AND 000010de: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139 000010ff: DUP6 00001100: DUP5 00001101: PUSH1 0x40 00001103: MLOAD 00001104: DUP1 00001105: DUP4 00001106: DUP2 00001107: MSTORE 00001108: PUSH1 0x20 0000110a: ADD 0000110b: DUP3 0000110c: DUP2 0000110d: MSTORE 0000110e: PUSH1 0x20 00001110: ADD 00001111: SWAP3 00001112: POP 00001113: POP 00001114: POP 00001115: PUSH1 0x40 00001117: MLOAD 00001118: DUP1 00001119: SWAP2 0000111a: SUB 0000111b: SWAP1 0000111c: LOG2 0000111d: POP 0000111e: POP 0000111f: POP 00001120: POP 00001121: POP 00001122: POP 00001123: JUMP 00001124: JUMPDEST 00001125: PUSH1 0x00 00001127: DUP1 00001128: CALLER 00001129: SWAP2 0000112a: POP 0000112b: PUSH1 0x02 0000112d: PUSH1 0x00 0000112f: DUP4 00001130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001145: AND 00001146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000115b: AND 0000115c: DUP2 0000115d: MSTORE 0000115e: PUSH1 0x20 00001160: ADD 00001161: SWAP1 00001162: DUP2 00001163: MSTORE 00001164: PUSH1 0x20 00001166: ADD 00001167: PUSH1 0x00 00001169: KECCAK256 0000116a: SLOAD 0000116b: SWAP1 0000116c: POP 0000116d: PUSH1 0x00 0000116f: DUP2 00001170: GT 00001171: ISZERO 00001172: PUSH2 0x117f 00001175: JUMPI 00001176: PUSH2 0x117e 00001179: DUP2 0000117a: PUSH2 0x0ee4 0000117d: JUMP 0000117e: JUMPDEST 0000117f: JUMPDEST 00001180: POP 00001181: POP 00001182: JUMP 00001183: JUMPDEST 00001184: PUSH1 0x00 00001186: DUP1 00001187: PUSH1 0x00 00001189: PUSH2 0x1190 0000118c: PUSH2 0x12a6 0000118f: JUMP 00001190: JUMPDEST 00001191: SWAP2 00001192: POP 00001193: PUSH2 0x11c7 00001196: PUSH8 0x0de0b6b3a7640000 0000119f: DUP6 000011a0: MUL 000011a1: PUSH2 0x11c2 000011a4: PUSH2 0x11bb 000011a7: DUP6 000011a8: PUSH2 0x11b6 000011ab: PUSH1 0x64 000011ad: PUSH1 0x05 000011af: PUSH1 0xff 000011b1: AND 000011b2: PUSH2 0x131b 000011b5: JUMP 000011b6: JUMPDEST 000011b7: PUSH2 0x11d3 000011ba: JUMP 000011bb: JUMPDEST 000011bc: PUSH1 0x64 000011be: PUSH2 0x120e 000011c1: JUMP 000011c2: JUMPDEST 000011c3: PUSH2 0x120e 000011c6: JUMP 000011c7: JUMPDEST 000011c8: SWAP1 000011c9: POP 000011ca: DUP1 000011cb: SWAP3 000011cc: POP 000011cd: POP 000011ce: POP 000011cf: SWAP2 000011d0: SWAP1 000011d1: POP 000011d2: JUMP 000011d3: JUMPDEST 000011d4: PUSH1 0x00 000011d6: DUP1 000011d7: PUSH1 0x00 000011d9: DUP5 000011da: EQ 000011db: ISZERO 000011dc: PUSH2 0x11e8 000011df: JUMPI 000011e0: PUSH1 0x00 000011e2: SWAP2 000011e3: POP 000011e4: PUSH2 0x1207 000011e7: JUMP 000011e8: JUMPDEST 000011e9: DUP3 000011ea: DUP5 000011eb: MUL 000011ec: SWAP1 000011ed: POP 000011ee: DUP3 000011ef: DUP5 000011f0: DUP3 000011f1: DUP2 000011f2: ISZERO 000011f3: ISZERO 000011f4: PUSH2 0x11f9 000011f7: JUMPI 000011f8: INVALID 000011f9: JUMPDEST 000011fa: DIV 000011fb: EQ 000011fc: ISZERO 000011fd: ISZERO 000011fe: PUSH2 0x1203 00001201: JUMPI 00001202: INVALID 00001203: JUMPDEST 00001204: DUP1 00001205: SWAP2 00001206: POP 00001207: JUMPDEST 00001208: POP 00001209: SWAP3 0000120a: SWAP2 0000120b: POP 0000120c: POP 0000120d: JUMP 0000120e: JUMPDEST 0000120f: PUSH1 0x00 00001211: DUP1 00001212: PUSH1 0x00 00001214: DUP4 00001215: GT 00001216: ISZERO 00001217: ISZERO 00001218: PUSH2 0x121d 0000121b: JUMPI 0000121c: INVALID 0000121d: JUMPDEST 0000121e: DUP3 0000121f: DUP5 00001220: DUP2 00001221: ISZERO 00001222: ISZERO 00001223: PUSH2 0x1228 00001226: JUMPI 00001227: INVALID 00001228: JUMPDEST 00001229: DIV 0000122a: SWAP1 0000122b: POP 0000122c: DUP3 0000122d: DUP5 0000122e: DUP2 0000122f: ISZERO 00001230: ISZERO 00001231: PUSH2 0x1236 00001234: JUMPI 00001235: INVALID 00001236: JUMPDEST 00001237: MOD 00001238: DUP2 00001239: DUP5 0000123a: MUL 0000123b: ADD 0000123c: DUP5 0000123d: EQ 0000123e: ISZERO 0000123f: ISZERO 00001240: PUSH2 0x1245 00001243: JUMPI 00001244: INVALID 00001245: JUMPDEST 00001246: DUP1 00001247: SWAP2 00001248: POP 00001249: POP 0000124a: SWAP3 0000124b: SWAP2 0000124c: POP 0000124d: POP 0000124e: JUMP 0000124f: JUMPDEST 00001250: PUSH1 0x00 00001252: DUP1 00001253: PUSH1 0x00 00001255: PUSH2 0x125c 00001258: PUSH2 0x12a6 0000125b: JUMP 0000125c: JUMPDEST 0000125d: SWAP2 0000125e: POP 0000125f: PUSH2 0x129a 00001262: PUSH2 0x128c 00001265: DUP6 00001266: PUSH2 0x1287 00001269: PUSH2 0x1280 0000126c: DUP7 0000126d: PUSH2 0x127b 00001270: PUSH1 0x64 00001272: PUSH1 0x05 00001274: PUSH1 0xff 00001276: AND 00001277: PUSH2 0x1302 0000127a: JUMP 0000127b: JUMPDEST 0000127c: PUSH2 0x11d3 0000127f: JUMP 00001280: JUMPDEST 00001281: PUSH1 0x64 00001283: PUSH2 0x120e 00001286: JUMP 00001287: JUMPDEST 00001288: PUSH2 0x11d3 0000128b: JUMP 0000128c: JUMPDEST 0000128d: PUSH8 0x0de0b6b3a7640000 00001296: PUSH2 0x120e 00001299: JUMP 0000129a: JUMPDEST 0000129b: SWAP1 0000129c: POP 0000129d: DUP1 0000129e: SWAP3 0000129f: POP 000012a0: POP 000012a1: POP 000012a2: SWAP2 000012a3: SWAP1 000012a4: POP 000012a5: JUMP 000012a6: JUMPDEST 000012a7: PUSH1 0x00 000012a9: DUP1 000012aa: PUSH1 0x00 000012ac: SWAP1 000012ad: POP 000012ae: PUSH1 0x00 000012b0: PUSH1 0x04 000012b2: SLOAD 000012b3: EQ 000012b4: ISZERO 000012b5: PUSH2 0x12c7 000012b8: JUMPI 000012b9: PUSH7 0x038d7ea4c68000 000012c1: SWAP1 000012c2: POP 000012c3: PUSH2 0x12fb 000012c6: JUMP 000012c7: JUMPDEST 000012c8: PUSH2 0x12f8 000012cb: PUSH8 0x0de0b6b3a7640000 000012d4: PUSH1 0x05 000012d6: SLOAD 000012d7: ADDRESS 000012d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ed: AND 000012ee: BALANCE 000012ef: SUB 000012f0: MUL 000012f1: PUSH1 0x04 000012f3: SLOAD 000012f4: PUSH2 0x120e 000012f7: JUMP 000012f8: JUMPDEST 000012f9: SWAP1 000012fa: POP 000012fb: JUMPDEST 000012fc: DUP1 000012fd: SWAP2 000012fe: POP 000012ff: POP 00001300: SWAP1 00001301: JUMP 00001302: JUMPDEST 00001303: PUSH1 0x00 00001305: DUP3 00001306: DUP3 00001307: GT 00001308: ISZERO 00001309: ISZERO 0000130a: ISZERO 0000130b: PUSH2 0x1310 0000130e: JUMPI 0000130f: INVALID 00001310: JUMPDEST 00001311: DUP2 00001312: DUP4 00001313: SUB 00001314: SWAP1 00001315: POP 00001316: SWAP3 00001317: SWAP2 00001318: POP 00001319: POP 0000131a: JUMP 0000131b: JUMPDEST 0000131c: PUSH1 0x00 0000131e: DUP1 0000131f: DUP3 00001320: DUP5 00001321: ADD 00001322: SWAP1 00001323: POP 00001324: DUP4 00001325: DUP2 00001326: LT 00001327: ISZERO 00001328: ISZERO 00001329: ISZERO 0000132a: PUSH2 0x132f 0000132d: JUMPI 0000132e: INVALID 0000132f: JUMPDEST 00001330: DUP1 00001331: SWAP2 00001332: POP 00001333: POP 00001334: SWAP3 00001335: SWAP2 00001336: POP 00001337: POP 00001338: JUMP 00001339: JUMPDEST 0000133a: PUSH1 0x00 0000133c: DUP1 0000133d: PUSH1 0x00 0000133f: DUP1 00001340: CALLER 00001341: SWAP4 00001342: POP 00001343: PUSH2 0x134b 00001346: DUP6 00001347: PUSH2 0x1183 0000134a: JUMP 0000134b: JUMPDEST 0000134c: SWAP3 0000134d: POP 0000134e: PUSH2 0x1365 00001351: PUSH2 0x135e 00001354: DUP5 00001355: PUSH1 0x62 00001357: PUSH1 0xff 00001359: AND 0000135a: PUSH2 0x11d3 0000135d: JUMP 0000135e: JUMPDEST 0000135f: PUSH1 0x64 00001361: PUSH2 0x120e 00001364: JUMP 00001365: JUMPDEST 00001366: SWAP2 00001367: POP 00001368: PUSH2 0x1371 0000136b: DUP4 0000136c: DUP4 0000136d: PUSH2 0x1302 00001370: JUMP 00001371: JUMPDEST 00001372: SWAP1 00001373: POP 00001374: PUSH1 0x00 00001376: DUP3 00001377: GT 00001378: DUP1 00001379: ISZERO 0000137a: PUSH2 0x138f 0000137d: JUMPI 0000137e: POP 0000137f: PUSH8 0x0de0b6b3a7640000 00001388: PUSH2 0x0bb8 0000138b: MUL 0000138c: DUP3 0000138d: GT 0000138e: ISZERO 0000138f: JUMPDEST 00001390: DUP1 00001391: ISZERO 00001392: PUSH2 0x13a7 00001395: JUMPI 00001396: POP 00001397: PUSH1 0x04 00001399: SLOAD 0000139a: PUSH2 0x13a5 0000139d: DUP4 0000139e: PUSH1 0x04 000013a0: SLOAD 000013a1: PUSH2 0x131b 000013a4: JUMP 000013a5: JUMPDEST 000013a6: GT 000013a7: JUMPDEST 000013a8: ISZERO 000013a9: ISZERO 000013aa: PUSH2 0x13b2 000013ad: JUMPI 000013ae: PUSH1 0x00 000013b0: DUP1 000013b1: REVERT 000013b2: JUMPDEST 000013b3: PUSH2 0x13fb 000013b6: PUSH1 0x02 000013b8: PUSH1 0x00 000013ba: DUP7 000013bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d0: AND 000013d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013e6: AND 000013e7: DUP2 000013e8: MSTORE 000013e9: PUSH1 0x20 000013eb: ADD 000013ec: SWAP1 000013ed: DUP2 000013ee: MSTORE 000013ef: PUSH1 0x20 000013f1: ADD 000013f2: PUSH1 0x00 000013f4: KECCAK256 000013f5: SLOAD 000013f6: DUP4 000013f7: PUSH2 0x131b 000013fa: JUMP 000013fb: JUMPDEST 000013fc: PUSH1 0x02 000013fe: PUSH1 0x00 00001400: DUP7 00001401: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001416: AND 00001417: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000142c: AND 0000142d: DUP2 0000142e: MSTORE 0000142f: PUSH1 0x20 00001431: ADD 00001432: SWAP1 00001433: DUP2 00001434: MSTORE 00001435: PUSH1 0x20 00001437: ADD 00001438: PUSH1 0x00 0000143a: KECCAK256 0000143b: DUP2 0000143c: SWAP1 0000143d: SSTORE 0000143e: POP 0000143f: PUSH2 0x149b 00001442: PUSH1 0x02 00001444: PUSH1 0x00 00001446: PUSH20 0xad5874d6a14cc9963fc303f745f454ef3a6e9beb 0000145b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001470: AND 00001471: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001486: AND 00001487: DUP2 00001488: MSTORE 00001489: PUSH1 0x20 0000148b: ADD 0000148c: SWAP1 0000148d: DUP2 0000148e: MSTORE 0000148f: PUSH1 0x20 00001491: ADD 00001492: PUSH1 0x00 00001494: KECCAK256 00001495: SLOAD 00001496: DUP3 00001497: PUSH2 0x131b 0000149a: JUMP 0000149b: JUMPDEST 0000149c: PUSH1 0x02 0000149e: PUSH1 0x00 000014a0: PUSH20 0xad5874d6a14cc9963fc303f745f454ef3a6e9beb 000014b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ca: AND 000014cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014e0: AND 000014e1: DUP2 000014e2: MSTORE 000014e3: PUSH1 0x20 000014e5: ADD 000014e6: SWAP1 000014e7: DUP2 000014e8: MSTORE 000014e9: PUSH1 0x20 000014eb: ADD 000014ec: PUSH1 0x00 000014ee: KECCAK256 000014ef: DUP2 000014f0: SWAP1 000014f1: SSTORE 000014f2: POP 000014f3: DUP3 000014f4: PUSH1 0x04 000014f6: PUSH1 0x00 000014f8: DUP3 000014f9: DUP3 000014fa: SLOAD 000014fb: ADD 000014fc: SWAP3 000014fd: POP 000014fe: POP 000014ff: DUP2 00001500: SWAP1 00001501: SSTORE 00001502: POP 00001503: PUSH2 0x1514 00001506: DUP3 00001507: PUSH8 0x0de0b6b3a7640000 00001510: PUSH2 0x120e 00001513: JUMP 00001514: JUMPDEST 00001515: PUSH1 0x03 00001517: PUSH1 0x00 00001519: DUP7 0000151a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000152f: AND 00001530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001545: AND 00001546: DUP2 00001547: MSTORE 00001548: PUSH1 0x20 0000154a: ADD 0000154b: SWAP1 0000154c: DUP2 0000154d: MSTORE 0000154e: PUSH1 0x20 00001550: ADD 00001551: PUSH1 0x00 00001553: KECCAK256 00001554: PUSH1 0x00 00001556: DUP3 00001557: DUP3 00001558: SLOAD 00001559: ADD 0000155a: SWAP3 0000155b: POP 0000155c: POP 0000155d: DUP2 0000155e: SWAP1 0000155f: SSTORE 00001560: POP 00001561: DUP4 00001562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001577: AND 00001578: PUSH32 0x7f743fb741e07b0c4daeb2af54fb3ebfa2bdb31d9913a0e555661c870411aae5 00001599: DUP7 0000159a: DUP5 0000159b: PUSH1 0x40 0000159d: MLOAD 0000159e: DUP1 0000159f: DUP4 000015a0: DUP2 000015a1: MSTORE 000015a2: PUSH1 0x20 000015a4: ADD 000015a5: DUP3 000015a6: DUP2 000015a7: MSTORE 000015a8: PUSH1 0x20 000015aa: ADD 000015ab: SWAP3 000015ac: POP 000015ad: POP 000015ae: POP 000015af: PUSH1 0x40 000015b1: MLOAD 000015b2: DUP1 000015b3: SWAP2 000015b4: SUB 000015b5: SWAP1 000015b6: LOG2 000015b7: POP 000015b8: POP 000015b9: POP 000015ba: POP 000015bb: POP 000015bc: JUMP 000015bd: JUMPDEST 000015be: DUP3 000015bf: DUP1 000015c0: SLOAD 000015c1: PUSH1 0x01 000015c3: DUP2 000015c4: PUSH1 0x01 000015c6: AND 000015c7: ISZERO 000015c8: PUSH2 0x0100 000015cb: MUL 000015cc: SUB 000015cd: AND 000015ce: PUSH1 0x02 000015d0: SWAP1 000015d1: DIV 000015d2: SWAP1 000015d3: PUSH1 0x00 000015d5: MSTORE 000015d6: PUSH1 0x20 000015d8: PUSH1 0x00 000015da: KECCAK256 000015db: SWAP1 000015dc: PUSH1 0x1f 000015de: ADD 000015df: PUSH1 0x20 000015e1: SWAP1 000015e2: DIV 000015e3: DUP2 000015e4: ADD 000015e5: SWAP3 000015e6: DUP3 000015e7: PUSH1 0x1f 000015e9: LT 000015ea: PUSH2 0x15fe 000015ed: JUMPI 000015ee: DUP1 000015ef: MLOAD 000015f0: PUSH1 0xff 000015f2: NOT 000015f3: AND 000015f4: DUP4 000015f5: DUP1 000015f6: ADD 000015f7: OR 000015f8: DUP6 000015f9: SSTORE 000015fa: PUSH2 0x162c 000015fd: JUMP 000015fe: JUMPDEST 000015ff: DUP3 00001600: DUP1 00001601: ADD 00001602: PUSH1 0x01 00001604: ADD 00001605: DUP6 00001606: SSTORE 00001607: DUP3 00001608: ISZERO 00001609: PUSH2 0x162c 0000160c: JUMPI 0000160d: SWAP2 0000160e: DUP3 0000160f: ADD 00001610: JUMPDEST 00001611: DUP3 00001612: DUP2 00001613: GT 00001614: ISZERO 00001615: PUSH2 0x162b 00001618: JUMPI 00001619: DUP3 0000161a: MLOAD 0000161b: DUP3 0000161c: SSTORE 0000161d: SWAP2 0000161e: PUSH1 0x20 00001620: ADD 00001621: SWAP2 00001622: SWAP1 00001623: PUSH1 0x01 00001625: ADD 00001626: SWAP1 00001627: PUSH2 0x1610 0000162a: JUMP 0000162b: JUMPDEST 0000162c: JUMPDEST 0000162d: POP 0000162e: SWAP1 0000162f: POP 00001630: PUSH2 0x1639 00001633: SWAP2 00001634: SWAP1 00001635: PUSH2 0x163d 00001638: JUMP 00001639: JUMPDEST 0000163a: POP 0000163b: SWAP1 0000163c: JUMP 0000163d: JUMPDEST 0000163e: PUSH2 0x165f 00001641: SWAP2 00001642: SWAP1 00001643: JUMPDEST 00001644: DUP1 00001645: DUP3 00001646: GT 00001647: ISZERO 00001648: PUSH2 0x165b 0000164b: JUMPI 0000164c: PUSH1 0x00 0000164e: DUP2 0000164f: PUSH1 0x00 00001651: SWAP1 00001652: SSTORE 00001653: POP 00001654: PUSH1 0x01 00001656: ADD 00001657: PUSH2 0x1643 0000165a: JUMP 0000165b: JUMPDEST 0000165c: POP 0000165d: SWAP1 0000165e: JUMP 0000165f: JUMPDEST 00001660: SWAP1 00001661: JUMP 00001662: STOP 00001663: LOG1 00001664: PUSH6 0x627a7a723058 0000166b: KECCAK256 0000166c: DIFFICULTY 0000166d: UNKNOWN(0xD8) 0000166e: UNKNOWN(0xFC) 0000166f: PUSH7 0x881d9f0b331027 00001677: BLOCKHASH 00001678: REVERT 00001679: LOG0 0000167a: SWAP9 0000167b: UNKNOWN(0xE0) 0000167c: UNKNOWN(0xFB) 0000167d: UNKNOWN(0xB7) 0000167e: PUSH6 0x814aa151e5f1 00001685: MULMOD 00001686: PUSH6 0xfe2a044d8800 0000168d: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa0967ae6eeefe3158e17d55923c4cac17b7439671efbd223193cab3756e00c22
call_targets:
0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa0967ae6eeefe3158e17d55923c4cac17b7439671efbd223193cab3756e00c22",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c"
],
"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": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4180,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4271,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa0967ae6eeefe3158e17d55923c4cac17b7439671efbd223193cab3756e00c22
call_targets:
0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa0967ae6eeefe3158e17d55923c4cac17b7439671efbd223193cab3756e00c22",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0e7c28fb8ed4f5f63aabd022deaeeba40ecc335c"
],
"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": "0x392efb52",
"selector": "0x392efb52",
"calldata_variants": [
"0x392efb52",
"0x392efb520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b750334",
"selector": "0x4b750334",
"calldata_variants": [
"0x4b750334",
"0x4b7503340000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4180,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4271,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|