019b477e-aad3-73c1-85a4-89b0104118cf
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 |
|---|---|---|---|---|
| 20905 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20906 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64190 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 64191 | capability.graph | complete | 1 / 3 | 1 week ago |
| 64192 | detector.run | complete | 1 / 3 | 1 week ago |
| 64193 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x017d 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x143bb3e6 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x0189 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x1e0e3925 00000044: EQ 00000045: PUSH2 0x01a7 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x1ee392c6 0000004f: EQ 00000050: PUSH2 0x01cc 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x23214fab 0000005a: EQ 0000005b: PUSH2 0x01f1 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x24c37507 00000065: EQ 00000066: PUSH2 0x0216 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x268d50fe 00000070: EQ 00000071: PUSH2 0x023b 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x301cf6e7 0000007b: EQ 0000007c: PUSH2 0x0253 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x31b29629 00000086: EQ 00000087: PUSH2 0x027a 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x39849771 00000091: EQ 00000092: PUSH2 0x0284 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x3c314a91 0000009c: EQ 0000009d: PUSH2 0x02a9 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x4b7fcee7 000000a7: EQ 000000a8: PUSH2 0x02da 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x4cf4a292 000000b2: EQ 000000b3: PUSH2 0x02f4 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x4f44728d 000000bd: EQ 000000be: PUSH2 0x0319 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x5e968a49 000000c8: EQ 000000c9: PUSH2 0x033a 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x6cdf4c90 000000d3: EQ 000000d4: PUSH2 0x0352 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x6eacd48a 000000de: EQ 000000df: PUSH2 0x036a 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x7ac37d58 000000e9: EQ 000000ea: PUSH2 0x0384 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x8b7afe2e 000000f4: EQ 000000f5: PUSH2 0x03a8 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x8da5cb5b 000000ff: EQ 00000100: PUSH2 0x03cd 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0x8e4d5053 0000010a: EQ 0000010b: PUSH2 0x03fc 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0x9619367d 00000115: EQ 00000116: PUSH2 0x0421 00000119: JUMPI 0000011a: DUP1 0000011b: PUSH4 0xa5f4af33 00000120: EQ 00000121: PUSH2 0x0446 00000124: JUMPI 00000125: DUP1 00000126: PUSH4 0xb539cd55 0000012b: EQ 0000012c: PUSH2 0x046d 0000012f: JUMPI 00000130: DUP1 00000131: PUSH4 0xb69f5ada 00000136: EQ 00000137: PUSH2 0x0492 0000013a: JUMPI 0000013b: DUP1 0000013c: PUSH4 0xbefa1e2f 00000141: EQ 00000142: PUSH2 0x04b7 00000145: JUMPI 00000146: DUP1 00000147: PUSH4 0xc3de1ab9 0000014c: EQ 0000014d: PUSH2 0x04dc 00000150: JUMPI 00000151: DUP1 00000152: PUSH4 0xd263b7eb 00000157: EQ 00000158: PUSH2 0x0503 0000015b: JUMPI 0000015c: DUP1 0000015d: PUSH4 0xd667dcd7 00000162: EQ 00000163: PUSH2 0x0518 00000166: JUMPI 00000167: DUP1 00000168: PUSH4 0xe044c47f 0000016d: EQ 0000016e: PUSH2 0x017d 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0xe5c774de 00000178: EQ 00000179: PUSH2 0x0547 0000017c: JUMPI 0000017d: JUMPDEST 0000017e: JUMPDEST 0000017f: PUSH2 0x0186 00000182: PUSH2 0x056c 00000185: JUMP 00000186: JUMPDEST 00000187: JUMPDEST 00000188: STOP 00000189: JUMPDEST 0000018a: CALLVALUE 0000018b: ISZERO 0000018c: PUSH2 0x0194 0000018f: JUMPI 00000190: PUSH1 0x00 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: PUSH2 0x0186 00000198: PUSH4 0xffffffff 0000019d: PUSH1 0x04 0000019f: CALLDATALOAD 000001a0: AND 000001a1: PUSH2 0x06e3 000001a4: JUMP 000001a5: JUMPDEST 000001a6: STOP 000001a7: JUMPDEST 000001a8: CALLVALUE 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: PUSH2 0x01ba 000001b6: PUSH2 0x0cf4 000001b9: JUMP 000001ba: JUMPDEST 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: SWAP1 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: PUSH1 0x40 000001c6: MLOAD 000001c7: DUP1 000001c8: SWAP2 000001c9: SUB 000001ca: SWAP1 000001cb: RETURN 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: PUSH2 0x01ba 000001db: PUSH2 0x0cfa 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH1 0x40 000001e2: MLOAD 000001e3: SWAP1 000001e4: DUP2 000001e5: MSTORE 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: PUSH1 0x40 000001eb: MLOAD 000001ec: DUP1 000001ed: SWAP2 000001ee: SUB 000001ef: SWAP1 000001f0: RETURN 000001f1: JUMPDEST 000001f2: CALLVALUE 000001f3: ISZERO 000001f4: PUSH2 0x01fc 000001f7: JUMPI 000001f8: PUSH1 0x00 000001fa: DUP1 000001fb: REVERT 000001fc: JUMPDEST 000001fd: PUSH2 0x01ba 00000200: PUSH2 0x0d24 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH1 0x40 00000207: MLOAD 00000208: SWAP1 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: PUSH1 0x40 00000210: MLOAD 00000211: DUP1 00000212: SWAP2 00000213: SUB 00000214: SWAP1 00000215: RETURN 00000216: JUMPDEST 00000217: CALLVALUE 00000218: ISZERO 00000219: PUSH2 0x0221 0000021c: JUMPI 0000021d: PUSH1 0x00 0000021f: DUP1 00000220: REVERT 00000221: JUMPDEST 00000222: PUSH2 0x01ba 00000225: PUSH2 0x0d2a 00000228: JUMP 00000229: JUMPDEST 0000022a: PUSH1 0x40 0000022c: MLOAD 0000022d: SWAP1 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x20 00000232: ADD 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: RETURN 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: ISZERO 0000023e: PUSH2 0x0246 00000241: JUMPI 00000242: PUSH1 0x00 00000244: DUP1 00000245: REVERT 00000246: JUMPDEST 00000247: PUSH2 0x0186 0000024a: PUSH1 0x04 0000024c: CALLDATALOAD 0000024d: PUSH2 0x0d54 00000250: JUMP 00000251: JUMPDEST 00000252: STOP 00000253: JUMPDEST 00000254: CALLVALUE 00000255: ISZERO 00000256: PUSH2 0x025e 00000259: JUMPI 0000025a: PUSH1 0x00 0000025c: DUP1 0000025d: REVERT 0000025e: JUMPDEST 0000025f: PUSH2 0x0266 00000262: PUSH2 0x0d7e 00000265: JUMP 00000266: JUMPDEST 00000267: PUSH1 0x40 00000269: MLOAD 0000026a: SWAP1 0000026b: ISZERO 0000026c: ISZERO 0000026d: DUP2 0000026e: MSTORE 0000026f: PUSH1 0x20 00000271: ADD 00000272: PUSH1 0x40 00000274: MLOAD 00000275: DUP1 00000276: SWAP2 00000277: SUB 00000278: SWAP1 00000279: RETURN 0000027a: JUMPDEST 0000027b: PUSH2 0x0186 0000027e: PUSH2 0x0da0 00000281: JUMP 00000282: JUMPDEST 00000283: STOP 00000284: JUMPDEST 00000285: CALLVALUE 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: PUSH2 0x01ba 00000293: PUSH2 0x0ddb 00000296: JUMP 00000297: JUMPDEST 00000298: PUSH1 0x40 0000029a: MLOAD 0000029b: SWAP1 0000029c: DUP2 0000029d: MSTORE 0000029e: PUSH1 0x20 000002a0: ADD 000002a1: PUSH1 0x40 000002a3: MLOAD 000002a4: DUP1 000002a5: SWAP2 000002a6: SUB 000002a7: SWAP1 000002a8: RETURN 000002a9: JUMPDEST 000002aa: CALLVALUE 000002ab: ISZERO 000002ac: PUSH2 0x02b4 000002af: JUMPI 000002b0: PUSH1 0x00 000002b2: DUP1 000002b3: REVERT 000002b4: JUMPDEST 000002b5: PUSH2 0x01ba 000002b8: PUSH1 0x01 000002ba: PUSH1 0xa0 000002bc: PUSH1 0x02 000002be: EXP 000002bf: SUB 000002c0: PUSH1 0x04 000002c2: CALLDATALOAD 000002c3: AND 000002c4: PUSH2 0x0de2 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: SWAP1 000002cd: DUP2 000002ce: MSTORE 000002cf: PUSH1 0x20 000002d1: ADD 000002d2: PUSH1 0x40 000002d4: MLOAD 000002d5: DUP1 000002d6: SWAP2 000002d7: SUB 000002d8: SWAP1 000002d9: RETURN 000002da: JUMPDEST 000002db: CALLVALUE 000002dc: ISZERO 000002dd: PUSH2 0x02e5 000002e0: JUMPI 000002e1: PUSH1 0x00 000002e3: DUP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: PUSH2 0x0186 000002e9: PUSH1 0x04 000002eb: CALLDATALOAD 000002ec: ISZERO 000002ed: ISZERO 000002ee: PUSH2 0x0e01 000002f1: JUMP 000002f2: JUMPDEST 000002f3: STOP 000002f4: JUMPDEST 000002f5: CALLVALUE 000002f6: ISZERO 000002f7: PUSH2 0x02ff 000002fa: JUMPI 000002fb: PUSH1 0x00 000002fd: DUP1 000002fe: REVERT 000002ff: JUMPDEST 00000300: PUSH2 0x01ba 00000303: PUSH2 0x0e61 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH1 0x40 0000030a: MLOAD 0000030b: SWAP1 0000030c: DUP2 0000030d: MSTORE 0000030e: PUSH1 0x20 00000310: ADD 00000311: PUSH1 0x40 00000313: MLOAD 00000314: DUP1 00000315: SWAP2 00000316: SUB 00000317: SWAP1 00000318: RETURN 00000319: JUMPDEST 0000031a: CALLVALUE 0000031b: ISZERO 0000031c: PUSH2 0x0324 0000031f: JUMPI 00000320: PUSH1 0x00 00000322: DUP1 00000323: REVERT 00000324: JUMPDEST 00000325: PUSH2 0x0186 00000328: PUSH1 0x01 0000032a: PUSH1 0xa0 0000032c: PUSH1 0x02 0000032e: EXP 0000032f: SUB 00000330: PUSH1 0x04 00000332: CALLDATALOAD 00000333: AND 00000334: PUSH2 0x0e8b 00000337: JUMP 00000338: JUMPDEST 00000339: STOP 0000033a: JUMPDEST 0000033b: CALLVALUE 0000033c: ISZERO 0000033d: PUSH2 0x0345 00000340: JUMPI 00000341: PUSH1 0x00 00000343: DUP1 00000344: REVERT 00000345: JUMPDEST 00000346: PUSH2 0x0186 00000349: PUSH1 0x04 0000034b: CALLDATALOAD 0000034c: PUSH2 0x0edd 0000034f: JUMP 00000350: JUMPDEST 00000351: STOP 00000352: JUMPDEST 00000353: CALLVALUE 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: PUSH2 0x0186 00000361: PUSH1 0x04 00000363: CALLDATALOAD 00000364: PUSH2 0x0f1e 00000367: JUMP 00000368: JUMPDEST 00000369: STOP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: ISZERO 0000036d: PUSH2 0x0375 00000370: JUMPI 00000371: PUSH1 0x00 00000373: DUP1 00000374: REVERT 00000375: JUMPDEST 00000376: PUSH2 0x0186 00000379: PUSH1 0x04 0000037b: CALLDATALOAD 0000037c: ISZERO 0000037d: ISZERO 0000037e: PUSH2 0x0f48 00000381: JUMP 00000382: JUMPDEST 00000383: STOP 00000384: JUMPDEST 00000385: CALLVALUE 00000386: ISZERO 00000387: PUSH2 0x038f 0000038a: JUMPI 0000038b: PUSH1 0x00 0000038d: DUP1 0000038e: REVERT 0000038f: JUMPDEST 00000390: PUSH2 0x0186 00000393: PUSH1 0x01 00000395: PUSH1 0xa0 00000397: PUSH1 0x02 00000399: EXP 0000039a: SUB 0000039b: PUSH1 0x04 0000039d: CALLDATALOAD 0000039e: AND 0000039f: PUSH1 0x24 000003a1: CALLDATALOAD 000003a2: PUSH2 0x0f7b 000003a5: JUMP 000003a6: JUMPDEST 000003a7: STOP 000003a8: JUMPDEST 000003a9: CALLVALUE 000003aa: ISZERO 000003ab: PUSH2 0x03b3 000003ae: JUMPI 000003af: PUSH1 0x00 000003b1: DUP1 000003b2: REVERT 000003b3: JUMPDEST 000003b4: PUSH2 0x01ba 000003b7: PUSH2 0x1020 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH1 0x40 000003be: MLOAD 000003bf: SWAP1 000003c0: DUP2 000003c1: MSTORE 000003c2: PUSH1 0x20 000003c4: ADD 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: DUP1 000003c9: SWAP2 000003ca: SUB 000003cb: SWAP1 000003cc: RETURN 000003cd: JUMPDEST 000003ce: CALLVALUE 000003cf: ISZERO 000003d0: PUSH2 0x03d8 000003d3: JUMPI 000003d4: PUSH1 0x00 000003d6: DUP1 000003d7: REVERT 000003d8: JUMPDEST 000003d9: PUSH2 0x03e0 000003dc: PUSH2 0x1026 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH1 0x40 000003e3: MLOAD 000003e4: PUSH1 0x01 000003e6: PUSH1 0xa0 000003e8: PUSH1 0x02 000003ea: EXP 000003eb: SUB 000003ec: SWAP1 000003ed: SWAP2 000003ee: AND 000003ef: DUP2 000003f0: MSTORE 000003f1: PUSH1 0x20 000003f3: ADD 000003f4: PUSH1 0x40 000003f6: MLOAD 000003f7: DUP1 000003f8: SWAP2 000003f9: SUB 000003fa: SWAP1 000003fb: RETURN 000003fc: JUMPDEST 000003fd: CALLVALUE 000003fe: ISZERO 000003ff: PUSH2 0x0407 00000402: JUMPI 00000403: PUSH1 0x00 00000405: DUP1 00000406: REVERT 00000407: JUMPDEST 00000408: PUSH2 0x01ba 0000040b: PUSH2 0x103a 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH1 0x40 00000412: MLOAD 00000413: SWAP1 00000414: DUP2 00000415: MSTORE 00000416: PUSH1 0x20 00000418: ADD 00000419: PUSH1 0x40 0000041b: MLOAD 0000041c: DUP1 0000041d: SWAP2 0000041e: SUB 0000041f: SWAP1 00000420: RETURN 00000421: JUMPDEST 00000422: CALLVALUE 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: PUSH2 0x01ba 00000430: PUSH2 0x1064 00000433: JUMP 00000434: JUMPDEST 00000435: PUSH1 0x40 00000437: MLOAD 00000438: SWAP1 00000439: DUP2 0000043a: MSTORE 0000043b: PUSH1 0x20 0000043d: ADD 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: DUP1 00000442: SWAP2 00000443: SUB 00000444: SWAP1 00000445: RETURN 00000446: JUMPDEST 00000447: CALLVALUE 00000448: ISZERO 00000449: PUSH2 0x0451 0000044c: JUMPI 0000044d: PUSH1 0x00 0000044f: DUP1 00000450: REVERT 00000451: JUMPDEST 00000452: PUSH2 0x0266 00000455: PUSH2 0x106a 00000458: JUMP 00000459: JUMPDEST 0000045a: PUSH1 0x40 0000045c: MLOAD 0000045d: SWAP1 0000045e: ISZERO 0000045f: ISZERO 00000460: DUP2 00000461: MSTORE 00000462: PUSH1 0x20 00000464: ADD 00000465: PUSH1 0x40 00000467: MLOAD 00000468: DUP1 00000469: SWAP2 0000046a: SUB 0000046b: SWAP1 0000046c: RETURN 0000046d: JUMPDEST 0000046e: CALLVALUE 0000046f: ISZERO 00000470: PUSH2 0x0478 00000473: JUMPI 00000474: PUSH1 0x00 00000476: DUP1 00000477: REVERT 00000478: JUMPDEST 00000479: PUSH2 0x01ba 0000047c: PUSH2 0x1102 0000047f: JUMP 00000480: JUMPDEST 00000481: PUSH1 0x40 00000483: MLOAD 00000484: SWAP1 00000485: DUP2 00000486: MSTORE 00000487: PUSH1 0x20 00000489: ADD 0000048a: PUSH1 0x40 0000048c: MLOAD 0000048d: DUP1 0000048e: SWAP2 0000048f: SUB 00000490: SWAP1 00000491: RETURN 00000492: JUMPDEST 00000493: CALLVALUE 00000494: ISZERO 00000495: PUSH2 0x049d 00000498: JUMPI 00000499: PUSH1 0x00 0000049b: DUP1 0000049c: REVERT 0000049d: JUMPDEST 0000049e: PUSH2 0x01ba 000004a1: PUSH2 0x1108 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH1 0x40 000004a8: MLOAD 000004a9: SWAP1 000004aa: DUP2 000004ab: MSTORE 000004ac: PUSH1 0x20 000004ae: ADD 000004af: PUSH1 0x40 000004b1: MLOAD 000004b2: DUP1 000004b3: SWAP2 000004b4: SUB 000004b5: SWAP1 000004b6: RETURN 000004b7: JUMPDEST 000004b8: CALLVALUE 000004b9: ISZERO 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: PUSH2 0x01ba 000004c6: PUSH2 0x110e 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x40 000004cd: MLOAD 000004ce: SWAP1 000004cf: DUP2 000004d0: MSTORE 000004d1: PUSH1 0x20 000004d3: ADD 000004d4: PUSH1 0x40 000004d6: MLOAD 000004d7: DUP1 000004d8: SWAP2 000004d9: SUB 000004da: SWAP1 000004db: RETURN 000004dc: JUMPDEST 000004dd: CALLVALUE 000004de: ISZERO 000004df: PUSH2 0x04e7 000004e2: JUMPI 000004e3: PUSH1 0x00 000004e5: DUP1 000004e6: REVERT 000004e7: JUMPDEST 000004e8: PUSH2 0x0266 000004eb: PUSH2 0x1114 000004ee: JUMP 000004ef: JUMPDEST 000004f0: PUSH1 0x40 000004f2: MLOAD 000004f3: SWAP1 000004f4: ISZERO 000004f5: ISZERO 000004f6: DUP2 000004f7: MSTORE 000004f8: PUSH1 0x20 000004fa: ADD 000004fb: PUSH1 0x40 000004fd: MLOAD 000004fe: DUP1 000004ff: SWAP2 00000500: SUB 00000501: SWAP1 00000502: RETURN 00000503: JUMPDEST 00000504: CALLVALUE 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: PUSH2 0x0186 00000512: PUSH2 0x111d 00000515: JUMP 00000516: JUMPDEST 00000517: STOP 00000518: JUMPDEST 00000519: CALLVALUE 0000051a: ISZERO 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH1 0x00 00000521: DUP1 00000522: REVERT 00000523: JUMPDEST 00000524: PUSH2 0x01ba 00000527: PUSH2 0x1153 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH1 0x40 0000052e: MLOAD 0000052f: SWAP1 00000530: DUP2 00000531: MSTORE 00000532: PUSH1 0x20 00000534: ADD 00000535: PUSH1 0x40 00000537: MLOAD 00000538: DUP1 00000539: SWAP2 0000053a: SUB 0000053b: SWAP1 0000053c: RETURN 0000053d: JUMPDEST 0000053e: PUSH2 0x0186 00000541: PUSH2 0x056c 00000544: JUMP 00000545: JUMPDEST 00000546: STOP 00000547: JUMPDEST 00000548: CALLVALUE 00000549: ISZERO 0000054a: PUSH2 0x0552 0000054d: JUMPI 0000054e: PUSH1 0x00 00000550: DUP1 00000551: REVERT 00000552: JUMPDEST 00000553: PUSH2 0x01ba 00000556: PUSH2 0x1159 00000559: JUMP 0000055a: JUMPDEST 0000055b: PUSH1 0x40 0000055d: MLOAD 0000055e: SWAP1 0000055f: DUP2 00000560: MSTORE 00000561: PUSH1 0x20 00000563: ADD 00000564: PUSH1 0x40 00000566: MLOAD 00000567: DUP1 00000568: SWAP2 00000569: SUB 0000056a: SWAP1 0000056b: RETURN 0000056c: JUMPDEST 0000056d: PUSH2 0x0574 00000570: PUSH2 0x1254 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x00 00000577: SLOAD 00000578: PUSH1 0xff 0000057a: AND 0000057b: ISZERO 0000057c: PUSH2 0x0584 0000057f: JUMPI 00000580: PUSH1 0x00 00000582: DUP1 00000583: REVERT 00000584: JUMPDEST 00000585: CALLVALUE 00000586: PUSH1 0x0a 00000588: SLOAD 00000589: PUSH1 0x03 0000058b: SLOAD 0000058c: DUP3 0000058d: PUSH2 0x03e8 00000590: PUSH1 0x02 00000592: SLOAD 00000593: DUP6 00000594: PUSH2 0x059e 00000597: DUP7 00000598: PUSH1 0x01 0000059a: PUSH2 0x115f 0000059d: JUMP 0000059e: JUMPDEST 0000059f: PUSH2 0x05a9 000005a2: DUP8 000005a3: PUSH1 0x01 000005a5: PUSH2 0x115f 000005a8: JUMP 000005a9: JUMPDEST 000005aa: PUSH2 0x2710 000005ad: SUB 000005ae: DUP9 000005af: MUL 000005b0: DUP2 000005b1: ISZERO 000005b2: ISZERO 000005b3: PUSH2 0x05b8 000005b6: JUMPI 000005b7: INVALID 000005b8: JUMPDEST 000005b9: DIV 000005ba: ADD 000005bb: MUL 000005bc: DUP2 000005bd: ISZERO 000005be: ISZERO 000005bf: PUSH2 0x05c4 000005c2: JUMPI 000005c3: INVALID 000005c4: JUMPDEST 000005c5: DIV 000005c6: SUB 000005c7: GT 000005c8: ISZERO 000005c9: PUSH2 0x05d1 000005cc: JUMPI 000005cd: PUSH1 0x00 000005cf: DUP1 000005d0: REVERT 000005d1: JUMPDEST 000005d2: PUSH1 0x09 000005d4: SLOAD 000005d5: DUP2 000005d6: LT 000005d7: PUSH2 0x05df 000005da: JUMPI 000005db: PUSH1 0x00 000005dd: DUP1 000005de: REVERT 000005df: JUMPDEST 000005e0: PUSH1 0x05 000005e2: SLOAD 000005e3: DUP3 000005e4: LT 000005e5: ISZERO 000005e6: PUSH2 0x05ee 000005e9: JUMPI 000005ea: PUSH1 0x00 000005ec: DUP1 000005ed: REVERT 000005ee: JUMPDEST 000005ef: PUSH1 0x06 000005f1: DUP1 000005f2: SLOAD 000005f3: PUSH1 0x01 000005f5: ADD 000005f6: SWAP1 000005f7: SSTORE 000005f8: PUSH1 0x60 000005fa: PUSH1 0x40 000005fc: MLOAD 000005fd: SWAP1 000005fe: DUP2 000005ff: ADD 00000600: PUSH1 0x40 00000602: SWAP1 00000603: DUP2 00000604: MSTORE 00000605: PUSH1 0x01 00000607: PUSH1 0xa0 00000609: PUSH1 0x02 0000060b: EXP 0000060c: SUB 0000060d: CALLER 0000060e: AND 0000060f: DUP3 00000610: MSTORE 00000611: CALLVALUE 00000612: PUSH1 0x20 00000614: DUP4 00000615: ADD 00000616: MSTORE 00000617: PUSH1 0x06 00000619: SLOAD 0000061a: SWAP1 0000061b: DUP3 0000061c: ADD 0000061d: MSTORE 0000061e: PUSH1 0x0c 00000620: SLOAD 00000621: PUSH1 0x0b 00000623: SLOAD 00000624: SWAP2 00000625: SWAP5 00000626: POP 00000627: EQ 00000628: ISZERO 00000629: PUSH2 0x0640 0000062c: JUMPI 0000062d: PUSH1 0x0c 0000062f: DUP1 00000630: SLOAD 00000631: PUSH1 0x01 00000633: ADD 00000634: SWAP1 00000635: PUSH2 0x063e 00000638: SWAP1 00000639: DUP3 0000063a: PUSH2 0x1274 0000063d: JUMP 0000063e: JUMPDEST 0000063f: POP 00000640: JUMPDEST 00000641: PUSH1 0x0b 00000643: DUP1 00000644: SLOAD 00000645: PUSH1 0x01 00000647: DUP2 00000648: ADD 00000649: SWAP1 0000064a: SWAP2 0000064b: SSTORE 0000064c: PUSH1 0x0c 0000064e: DUP1 0000064f: SLOAD 00000650: DUP6 00000651: SWAP3 00000652: SWAP1 00000653: DUP2 00000654: LT 00000655: PUSH2 0x065a 00000658: JUMPI 00000659: INVALID 0000065a: JUMPDEST 0000065b: SWAP1 0000065c: PUSH1 0x00 0000065e: MSTORE 0000065f: PUSH1 0x20 00000661: PUSH1 0x00 00000663: KECCAK256 00000664: SWAP1 00000665: PUSH1 0x03 00000667: MUL 00000668: ADD 00000669: PUSH1 0x00 0000066b: JUMPDEST 0000066c: POP 0000066d: DUP2 0000066e: MLOAD 0000066f: DUP2 00000670: SLOAD 00000671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000686: NOT 00000687: AND 00000688: PUSH1 0x01 0000068a: PUSH1 0xa0 0000068c: PUSH1 0x02 0000068e: EXP 0000068f: SUB 00000690: SWAP2 00000691: SWAP1 00000692: SWAP2 00000693: AND 00000694: OR 00000695: DUP2 00000696: SSTORE 00000697: PUSH1 0x20 00000699: DUP3 0000069a: ADD 0000069b: MLOAD 0000069c: DUP2 0000069d: PUSH1 0x01 0000069f: ADD 000006a0: SSTORE 000006a1: PUSH1 0x40 000006a3: DUP3 000006a4: ADD 000006a5: MLOAD 000006a6: PUSH1 0x02 000006a8: SWAP1 000006a9: SWAP2 000006aa: ADD 000006ab: SSTORE 000006ac: POP 000006ad: PUSH1 0x06 000006af: SLOAD 000006b0: PUSH32 0x299550d99d9de36d5daecf3a1e2dacf4752229cb04140e35fa3a7d0fb216a909 000006d1: PUSH1 0x40 000006d3: MLOAD 000006d4: PUSH1 0x40 000006d6: MLOAD 000006d7: DUP1 000006d8: SWAP2 000006d9: SUB 000006da: SWAP1 000006db: LOG2 000006dc: JUMPDEST 000006dd: JUMPDEST 000006de: POP 000006df: POP 000006e0: JUMPDEST 000006e1: POP 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH1 0x00 000006e6: DUP1 000006e7: SLOAD 000006e8: DUP2 000006e9: SWAP1 000006ea: DUP2 000006eb: SWAP1 000006ec: DUP2 000006ed: SWAP1 000006ee: PUSH1 0xff 000006f0: AND 000006f1: ISZERO 000006f2: PUSH2 0x06fa 000006f5: JUMPI 000006f6: PUSH1 0x00 000006f8: DUP1 000006f9: REVERT 000006fa: JUMPDEST 000006fb: PUSH1 0x00 000006fd: SLOAD 000006fe: CALLER 000006ff: PUSH1 0x01 00000701: PUSH1 0xa0 00000703: PUSH1 0x02 00000705: EXP 00000706: SUB 00000707: SWAP1 00000708: DUP2 00000709: AND 0000070a: PUSH2 0x0100 0000070d: SWAP1 0000070e: SWAP3 0000070f: DIV 00000710: AND 00000711: EQ 00000712: PUSH2 0x071a 00000715: JUMPI 00000716: PUSH1 0x00 00000718: DUP1 00000719: REVERT 0000071a: JUMPDEST 0000071b: PUSH1 0x0b 0000071d: SLOAD 0000071e: ISZERO 0000071f: ISZERO 00000720: PUSH2 0x0728 00000723: JUMPI 00000724: PUSH2 0x0cea 00000727: JUMP 00000728: JUMPDEST 00000729: PUSH1 0x01 0000072b: PUSH1 0x0b 0000072d: SLOAD 0000072e: SUB 0000072f: SWAP4 00000730: POP 00000731: PUSH2 0x0739 00000734: DUP6 00000735: PUSH2 0x1181 00000738: JUMP 00000739: JUMPDEST 0000073a: SWAP3 0000073b: POP 0000073c: PUSH1 0x0a 0000073e: SLOAD 0000073f: DUP4 00000740: LT 00000741: ISZERO 00000742: PUSH2 0x0ace 00000745: JUMPI 00000746: PUSH1 0x0c 00000748: DUP1 00000749: SLOAD 0000074a: DUP6 0000074b: SWAP1 0000074c: DUP2 0000074d: LT 0000074e: PUSH2 0x0753 00000751: JUMPI 00000752: INVALID 00000753: JUMPDEST 00000754: SWAP1 00000755: PUSH1 0x00 00000757: MSTORE 00000758: PUSH1 0x20 0000075a: PUSH1 0x00 0000075c: KECCAK256 0000075d: SWAP1 0000075e: PUSH1 0x03 00000760: MUL 00000761: ADD 00000762: PUSH1 0x00 00000764: JUMPDEST 00000765: POP 00000766: PUSH1 0x01 00000768: ADD 00000769: SLOAD 0000076a: PUSH2 0x03e8 0000076d: PUSH1 0x02 0000076f: SLOAD 00000770: PUSH1 0x0c 00000772: DUP8 00000773: DUP2 00000774: SLOAD 00000775: DUP2 00000776: LT 00000777: ISZERO 00000778: ISZERO 00000779: PUSH2 0x077e 0000077c: JUMPI 0000077d: INVALID 0000077e: JUMPDEST 0000077f: SWAP1 00000780: PUSH1 0x00 00000782: MSTORE 00000783: PUSH1 0x20 00000785: PUSH1 0x00 00000787: KECCAK256 00000788: SWAP1 00000789: PUSH1 0x03 0000078b: MUL 0000078c: ADD 0000078d: PUSH1 0x00 0000078f: JUMPDEST 00000790: POP 00000791: PUSH1 0x01 00000793: ADD 00000794: SLOAD 00000795: PUSH2 0x07a1 00000798: PUSH1 0x0a 0000079a: SLOAD 0000079b: PUSH1 0x01 0000079d: PUSH2 0x115f 000007a0: JUMP 000007a1: JUMPDEST 000007a2: PUSH2 0x07ae 000007a5: PUSH1 0x0a 000007a7: SLOAD 000007a8: PUSH1 0x01 000007aa: PUSH2 0x115f 000007ad: JUMP 000007ae: JUMPDEST 000007af: PUSH1 0x09 000007b1: SLOAD 000007b2: SUB 000007b3: PUSH1 0x0c 000007b5: DUP11 000007b6: DUP2 000007b7: SLOAD 000007b8: DUP2 000007b9: LT 000007ba: ISZERO 000007bb: ISZERO 000007bc: PUSH2 0x07c1 000007bf: JUMPI 000007c0: INVALID 000007c1: JUMPDEST 000007c2: SWAP1 000007c3: PUSH1 0x00 000007c5: MSTORE 000007c6: PUSH1 0x20 000007c8: PUSH1 0x00 000007ca: KECCAK256 000007cb: SWAP1 000007cc: PUSH1 0x03 000007ce: MUL 000007cf: ADD 000007d0: PUSH1 0x00 000007d2: JUMPDEST 000007d3: POP 000007d4: PUSH1 0x01 000007d6: ADD 000007d7: SLOAD 000007d8: MUL 000007d9: DUP2 000007da: ISZERO 000007db: ISZERO 000007dc: PUSH2 0x07e1 000007df: JUMPI 000007e0: INVALID 000007e1: JUMPDEST 000007e2: DIV 000007e3: ADD 000007e4: MUL 000007e5: DUP2 000007e6: ISZERO 000007e7: ISZERO 000007e8: PUSH2 0x07ed 000007eb: JUMPI 000007ec: INVALID 000007ed: JUMPDEST 000007ee: DIV 000007ef: SUB 000007f0: SWAP2 000007f1: POP 000007f2: PUSH2 0x07fd 000007f5: PUSH1 0x01 000007f7: SLOAD 000007f8: DUP4 000007f9: PUSH2 0x115f 000007fc: JUMP 000007fd: JUMPDEST 000007fe: PUSH1 0x01 00000800: SSTORE 00000801: PUSH1 0x0c 00000803: DUP1 00000804: SLOAD 00000805: PUSH2 0x082f 00000808: SWAP2 00000809: DUP5 0000080a: SWAP2 0000080b: DUP8 0000080c: SWAP1 0000080d: DUP2 0000080e: LT 0000080f: PUSH2 0x0814 00000812: JUMPI 00000813: INVALID 00000814: JUMPDEST 00000815: SWAP1 00000816: PUSH1 0x00 00000818: MSTORE 00000819: PUSH1 0x20 0000081b: PUSH1 0x00 0000081d: KECCAK256 0000081e: SWAP1 0000081f: PUSH1 0x03 00000821: MUL 00000822: ADD 00000823: PUSH1 0x00 00000825: JUMPDEST 00000826: POP 00000827: PUSH1 0x01 00000829: ADD 0000082a: SLOAD 0000082b: PUSH2 0x1205 0000082e: JUMP 0000082f: JUMPDEST 00000830: SWAP1 00000831: POP 00000832: DUP2 00000833: PUSH1 0x07 00000835: SLOAD 00000836: ADD 00000837: PUSH1 0x07 00000839: DUP2 0000083a: SWAP1 0000083b: SSTORE 0000083c: POP 0000083d: PUSH1 0x0a 0000083f: SLOAD 00000840: PUSH1 0x0c 00000842: DUP6 00000843: DUP2 00000844: SLOAD 00000845: DUP2 00000846: LT 00000847: ISZERO 00000848: ISZERO 00000849: PUSH2 0x084e 0000084c: JUMPI 0000084d: INVALID 0000084e: JUMPDEST 0000084f: SWAP1 00000850: PUSH1 0x00 00000852: MSTORE 00000853: PUSH1 0x20 00000855: PUSH1 0x00 00000857: KECCAK256 00000858: SWAP1 00000859: PUSH1 0x03 0000085b: MUL 0000085c: ADD 0000085d: PUSH1 0x00 0000085f: JUMPDEST 00000860: POP 00000861: SLOAD 00000862: PUSH1 0x0c 00000864: DUP1 00000865: SLOAD 00000866: PUSH1 0x01 00000868: PUSH1 0xa0 0000086a: PUSH1 0x02 0000086c: EXP 0000086d: SUB 0000086e: SWAP1 0000086f: SWAP3 00000870: AND 00000871: SWAP2 00000872: DUP8 00000873: SWAP1 00000874: DUP2 00000875: LT 00000876: PUSH2 0x087b 00000879: JUMPI 0000087a: INVALID 0000087b: JUMPDEST 0000087c: SWAP1 0000087d: PUSH1 0x00 0000087f: MSTORE 00000880: PUSH1 0x20 00000882: PUSH1 0x00 00000884: KECCAK256 00000885: SWAP1 00000886: PUSH1 0x03 00000888: MUL 00000889: ADD 0000088a: PUSH1 0x00 0000088c: JUMPDEST 0000088d: POP 0000088e: PUSH1 0x02 00000890: ADD 00000891: SLOAD 00000892: PUSH32 0xae70609e7baecfecb9098ff43b75f20cce8f4cb687c29322eef3cfc15dd7b707 000008b3: DUP7 000008b4: DUP6 000008b5: PUSH1 0x01 000008b7: PUSH1 0x0c 000008b9: DUP12 000008ba: DUP2 000008bb: SLOAD 000008bc: DUP2 000008bd: LT 000008be: ISZERO 000008bf: ISZERO 000008c0: PUSH2 0x08c5 000008c3: JUMPI 000008c4: INVALID 000008c5: JUMPDEST 000008c6: SWAP1 000008c7: PUSH1 0x00 000008c9: MSTORE 000008ca: PUSH1 0x20 000008cc: PUSH1 0x00 000008ce: KECCAK256 000008cf: SWAP1 000008d0: PUSH1 0x03 000008d2: MUL 000008d3: ADD 000008d4: PUSH1 0x00 000008d6: JUMPDEST 000008d7: POP 000008d8: PUSH1 0x01 000008da: ADD 000008db: SLOAD 000008dc: PUSH1 0x0a 000008de: SLOAD 000008df: PUSH1 0x40 000008e1: MLOAD 000008e2: DUP1 000008e3: DUP7 000008e4: DUP2 000008e5: MSTORE 000008e6: PUSH1 0x20 000008e8: ADD 000008e9: DUP6 000008ea: DUP2 000008eb: MSTORE 000008ec: PUSH1 0x20 000008ee: ADD 000008ef: DUP5 000008f0: DUP2 000008f1: MSTORE 000008f2: PUSH1 0x20 000008f4: ADD 000008f5: DUP4 000008f6: DUP2 000008f7: MSTORE 000008f8: PUSH1 0x20 000008fa: ADD 000008fb: DUP3 000008fc: DUP2 000008fd: MSTORE 000008fe: PUSH1 0x20 00000900: ADD 00000901: SWAP6 00000902: POP 00000903: POP 00000904: POP 00000905: POP 00000906: POP 00000907: POP 00000908: PUSH1 0x40 0000090a: MLOAD 0000090b: DUP1 0000090c: SWAP2 0000090d: SUB 0000090e: SWAP1 0000090f: LOG4 00000910: PUSH2 0x0917 00000913: PUSH2 0x1227 00000916: JUMP 00000917: JUMPDEST 00000918: PUSH1 0x0c 0000091a: DUP1 0000091b: SLOAD 0000091c: DUP6 0000091d: SWAP1 0000091e: DUP2 0000091f: LT 00000920: PUSH2 0x0925 00000923: JUMPI 00000924: INVALID 00000925: JUMPDEST 00000926: SWAP1 00000927: PUSH1 0x00 00000929: MSTORE 0000092a: PUSH1 0x20 0000092c: PUSH1 0x00 0000092e: KECCAK256 0000092f: SWAP1 00000930: PUSH1 0x03 00000932: MUL 00000933: ADD 00000934: PUSH1 0x00 00000936: JUMPDEST 00000937: POP 00000938: SLOAD 00000939: PUSH1 0x01 0000093b: PUSH1 0xa0 0000093d: PUSH1 0x02 0000093f: EXP 00000940: SUB 00000941: AND 00000942: DUP2 00000943: ISZERO 00000944: PUSH2 0x08fc 00000947: MUL 00000948: DUP3 00000949: PUSH1 0x40 0000094b: MLOAD 0000094c: PUSH1 0x00 0000094e: PUSH1 0x40 00000950: MLOAD 00000951: DUP1 00000952: DUP4 00000953: SUB 00000954: DUP2 00000955: DUP6 00000956: DUP9 00000957: DUP9 00000958: CALL 00000959: SWAP4 0000095a: POP 0000095b: POP 0000095c: POP 0000095d: POP 0000095e: ISZERO 0000095f: ISZERO 00000960: PUSH2 0x0abf 00000963: JUMPI 00000964: PUSH1 0x0a 00000966: SLOAD 00000967: PUSH1 0x0c 00000969: DUP1 0000096a: SLOAD 0000096b: DUP7 0000096c: SWAP1 0000096d: DUP2 0000096e: LT 0000096f: PUSH2 0x0974 00000972: JUMPI 00000973: INVALID 00000974: JUMPDEST 00000975: SWAP1 00000976: PUSH1 0x00 00000978: MSTORE 00000979: PUSH1 0x20 0000097b: PUSH1 0x00 0000097d: KECCAK256 0000097e: SWAP1 0000097f: PUSH1 0x03 00000981: MUL 00000982: ADD 00000983: PUSH1 0x00 00000985: JUMPDEST 00000986: POP 00000987: SLOAD 00000988: PUSH1 0x0c 0000098a: DUP1 0000098b: SLOAD 0000098c: PUSH1 0x01 0000098e: PUSH1 0xa0 00000990: PUSH1 0x02 00000992: EXP 00000993: SUB 00000994: SWAP1 00000995: SWAP3 00000996: AND 00000997: SWAP2 00000998: DUP8 00000999: SWAP1 0000099a: DUP2 0000099b: LT 0000099c: PUSH2 0x09a1 0000099f: JUMPI 000009a0: INVALID 000009a1: JUMPDEST 000009a2: SWAP1 000009a3: PUSH1 0x00 000009a5: MSTORE 000009a6: PUSH1 0x20 000009a8: PUSH1 0x00 000009aa: KECCAK256 000009ab: SWAP1 000009ac: PUSH1 0x03 000009ae: MUL 000009af: ADD 000009b0: PUSH1 0x00 000009b2: JUMPDEST 000009b3: POP 000009b4: PUSH1 0x02 000009b6: ADD 000009b7: SLOAD 000009b8: PUSH32 0xae70609e7baecfecb9098ff43b75f20cce8f4cb687c29322eef3cfc15dd7b707 000009d9: DUP7 000009da: DUP6 000009db: PUSH1 0x02 000009dd: PUSH1 0x0c 000009df: DUP12 000009e0: DUP2 000009e1: SLOAD 000009e2: DUP2 000009e3: LT 000009e4: ISZERO 000009e5: ISZERO 000009e6: PUSH2 0x09eb 000009e9: JUMPI 000009ea: INVALID 000009eb: JUMPDEST 000009ec: SWAP1 000009ed: PUSH1 0x00 000009ef: MSTORE 000009f0: PUSH1 0x20 000009f2: PUSH1 0x00 000009f4: KECCAK256 000009f5: SWAP1 000009f6: PUSH1 0x03 000009f8: MUL 000009f9: ADD 000009fa: PUSH1 0x00 000009fc: JUMPDEST 000009fd: POP 000009fe: PUSH1 0x01 00000a00: ADD 00000a01: SLOAD 00000a02: PUSH1 0x0a 00000a04: SLOAD 00000a05: PUSH1 0x40 00000a07: MLOAD 00000a08: DUP1 00000a09: DUP7 00000a0a: DUP2 00000a0b: MSTORE 00000a0c: PUSH1 0x20 00000a0e: ADD 00000a0f: DUP6 00000a10: DUP2 00000a11: MSTORE 00000a12: PUSH1 0x20 00000a14: ADD 00000a15: DUP5 00000a16: DUP2 00000a17: MSTORE 00000a18: PUSH1 0x20 00000a1a: ADD 00000a1b: DUP4 00000a1c: DUP2 00000a1d: MSTORE 00000a1e: PUSH1 0x20 00000a20: ADD 00000a21: DUP3 00000a22: DUP2 00000a23: MSTORE 00000a24: PUSH1 0x20 00000a26: ADD 00000a27: SWAP6 00000a28: POP 00000a29: POP 00000a2a: POP 00000a2b: POP 00000a2c: POP 00000a2d: POP 00000a2e: PUSH1 0x40 00000a30: MLOAD 00000a31: DUP1 00000a32: SWAP2 00000a33: SUB 00000a34: SWAP1 00000a35: LOG4 00000a36: PUSH2 0x0a7e 00000a39: PUSH1 0x0d 00000a3b: PUSH1 0x00 00000a3d: PUSH1 0x0c 00000a3f: DUP8 00000a40: DUP2 00000a41: SLOAD 00000a42: DUP2 00000a43: LT 00000a44: ISZERO 00000a45: ISZERO 00000a46: PUSH2 0x0a4b 00000a49: JUMPI 00000a4a: INVALID 00000a4b: JUMPDEST 00000a4c: SWAP1 00000a4d: PUSH1 0x00 00000a4f: MSTORE 00000a50: PUSH1 0x20 00000a52: PUSH1 0x00 00000a54: KECCAK256 00000a55: SWAP1 00000a56: PUSH1 0x03 00000a58: MUL 00000a59: ADD 00000a5a: PUSH1 0x00 00000a5c: JUMPDEST 00000a5d: POP 00000a5e: SLOAD 00000a5f: PUSH1 0x01 00000a61: PUSH1 0xa0 00000a63: PUSH1 0x02 00000a65: EXP 00000a66: SUB 00000a67: AND 00000a68: DUP2 00000a69: MSTORE 00000a6a: PUSH1 0x20 00000a6c: DUP2 00000a6d: ADD 00000a6e: SWAP2 00000a6f: SWAP1 00000a70: SWAP2 00000a71: MSTORE 00000a72: PUSH1 0x40 00000a74: ADD 00000a75: PUSH1 0x00 00000a77: KECCAK256 00000a78: SLOAD 00000a79: DUP3 00000a7a: PUSH2 0x1205 00000a7d: JUMP 00000a7e: JUMPDEST 00000a7f: PUSH1 0x0d 00000a81: PUSH1 0x00 00000a83: PUSH1 0x0c 00000a85: DUP8 00000a86: DUP2 00000a87: SLOAD 00000a88: DUP2 00000a89: LT 00000a8a: ISZERO 00000a8b: ISZERO 00000a8c: PUSH2 0x0a91 00000a8f: JUMPI 00000a90: INVALID 00000a91: JUMPDEST 00000a92: SWAP1 00000a93: PUSH1 0x00 00000a95: MSTORE 00000a96: PUSH1 0x20 00000a98: PUSH1 0x00 00000a9a: KECCAK256 00000a9b: SWAP1 00000a9c: PUSH1 0x03 00000a9e: MUL 00000a9f: ADD 00000aa0: PUSH1 0x00 00000aa2: JUMPDEST 00000aa3: POP 00000aa4: SLOAD 00000aa5: PUSH1 0x01 00000aa7: PUSH1 0xa0 00000aa9: PUSH1 0x02 00000aab: EXP 00000aac: SUB 00000aad: AND 00000aae: DUP2 00000aaf: MSTORE 00000ab0: PUSH1 0x20 00000ab2: DUP2 00000ab3: ADD 00000ab4: SWAP2 00000ab5: SWAP1 00000ab6: SWAP2 00000ab7: MSTORE 00000ab8: PUSH1 0x40 00000aba: ADD 00000abb: PUSH1 0x00 00000abd: KECCAK256 00000abe: SSTORE 00000abf: JUMPDEST 00000ac0: PUSH1 0x0b 00000ac2: DUP1 00000ac3: SLOAD 00000ac4: PUSH1 0x00 00000ac6: NOT 00000ac7: ADD 00000ac8: SWAP1 00000ac9: SSTORE 00000aca: PUSH2 0x0cea 00000acd: JUMP 00000ace: JUMPDEST 00000acf: PUSH1 0x0a 00000ad1: SLOAD 00000ad2: DUP4 00000ad3: LT 00000ad4: PUSH2 0x0cea 00000ad7: JUMPI 00000ad8: PUSH1 0x0a 00000ada: SLOAD 00000adb: PUSH1 0x0c 00000add: DUP1 00000ade: SLOAD 00000adf: DUP7 00000ae0: SWAP1 00000ae1: DUP2 00000ae2: LT 00000ae3: PUSH2 0x0ae8 00000ae6: JUMPI 00000ae7: INVALID 00000ae8: JUMPDEST 00000ae9: SWAP1 00000aea: PUSH1 0x00 00000aec: MSTORE 00000aed: PUSH1 0x20 00000aef: PUSH1 0x00 00000af1: KECCAK256 00000af2: SWAP1 00000af3: PUSH1 0x03 00000af5: MUL 00000af6: ADD 00000af7: PUSH1 0x00 00000af9: JUMPDEST 00000afa: POP 00000afb: SLOAD 00000afc: PUSH1 0x0c 00000afe: DUP1 00000aff: SLOAD 00000b00: PUSH1 0x01 00000b02: PUSH1 0xa0 00000b04: PUSH1 0x02 00000b06: EXP 00000b07: SUB 00000b08: SWAP1 00000b09: SWAP3 00000b0a: AND 00000b0b: SWAP2 00000b0c: DUP8 00000b0d: SWAP1 00000b0e: DUP2 00000b0f: LT 00000b10: PUSH2 0x0b15 00000b13: JUMPI 00000b14: INVALID 00000b15: JUMPDEST 00000b16: SWAP1 00000b17: PUSH1 0x00 00000b19: MSTORE 00000b1a: PUSH1 0x20 00000b1c: PUSH1 0x00 00000b1e: KECCAK256 00000b1f: SWAP1 00000b20: PUSH1 0x03 00000b22: MUL 00000b23: ADD 00000b24: PUSH1 0x00 00000b26: JUMPDEST 00000b27: POP 00000b28: PUSH1 0x02 00000b2a: ADD 00000b2b: SLOAD 00000b2c: PUSH32 0xae70609e7baecfecb9098ff43b75f20cce8f4cb687c29322eef3cfc15dd7b707 00000b4d: DUP7 00000b4e: PUSH1 0x0c 00000b50: DUP10 00000b51: DUP2 00000b52: SLOAD 00000b53: DUP2 00000b54: LT 00000b55: ISZERO 00000b56: ISZERO 00000b57: PUSH2 0x0b5c 00000b5a: JUMPI 00000b5b: INVALID 00000b5c: JUMPDEST 00000b5d: SWAP1 00000b5e: PUSH1 0x00 00000b60: MSTORE 00000b61: PUSH1 0x20 00000b63: PUSH1 0x00 00000b65: KECCAK256 00000b66: SWAP1 00000b67: PUSH1 0x03 00000b69: MUL 00000b6a: ADD 00000b6b: PUSH1 0x00 00000b6d: JUMPDEST 00000b6e: POP 00000b6f: PUSH1 0x01 00000b71: ADD 00000b72: SLOAD 00000b73: PUSH1 0x00 00000b75: PUSH1 0x0c 00000b77: DUP12 00000b78: DUP2 00000b79: SLOAD 00000b7a: DUP2 00000b7b: LT 00000b7c: ISZERO 00000b7d: ISZERO 00000b7e: PUSH2 0x0b83 00000b81: JUMPI 00000b82: INVALID 00000b83: JUMPDEST 00000b84: SWAP1 00000b85: PUSH1 0x00 00000b87: MSTORE 00000b88: PUSH1 0x20 00000b8a: PUSH1 0x00 00000b8c: KECCAK256 00000b8d: SWAP1 00000b8e: PUSH1 0x03 00000b90: MUL 00000b91: ADD 00000b92: PUSH1 0x00 00000b94: JUMPDEST 00000b95: POP 00000b96: PUSH1 0x01 00000b98: ADD 00000b99: SLOAD 00000b9a: PUSH1 0x0a 00000b9c: SLOAD 00000b9d: PUSH1 0x40 00000b9f: MLOAD 00000ba0: DUP1 00000ba1: DUP7 00000ba2: DUP2 00000ba3: MSTORE 00000ba4: PUSH1 0x20 00000ba6: ADD 00000ba7: DUP6 00000ba8: DUP2 00000ba9: MSTORE 00000baa: PUSH1 0x20 00000bac: ADD 00000bad: DUP5 00000bae: DUP2 00000baf: MSTORE 00000bb0: PUSH1 0x20 00000bb2: ADD 00000bb3: DUP4 00000bb4: DUP2 00000bb5: MSTORE 00000bb6: PUSH1 0x20 00000bb8: ADD 00000bb9: DUP3 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x20 00000bbe: ADD 00000bbf: SWAP6 00000bc0: POP 00000bc1: POP 00000bc2: POP 00000bc3: POP 00000bc4: POP 00000bc5: POP 00000bc6: PUSH1 0x40 00000bc8: MLOAD 00000bc9: DUP1 00000bca: SWAP2 00000bcb: SUB 00000bcc: SWAP1 00000bcd: LOG4 00000bce: PUSH2 0x0c00 00000bd1: PUSH1 0x01 00000bd3: SLOAD 00000bd4: PUSH1 0x01 00000bd6: PUSH1 0x0c 00000bd8: DUP8 00000bd9: DUP2 00000bda: SLOAD 00000bdb: DUP2 00000bdc: LT 00000bdd: ISZERO 00000bde: ISZERO 00000bdf: PUSH2 0x0be4 00000be2: JUMPI 00000be3: INVALID 00000be4: JUMPDEST 00000be5: SWAP1 00000be6: PUSH1 0x00 00000be8: MSTORE 00000be9: PUSH1 0x20 00000beb: PUSH1 0x00 00000bed: KECCAK256 00000bee: SWAP1 00000bef: PUSH1 0x03 00000bf1: MUL 00000bf2: ADD 00000bf3: PUSH1 0x00 00000bf5: JUMPDEST 00000bf6: POP 00000bf7: PUSH1 0x01 00000bf9: ADD 00000bfa: SLOAD 00000bfb: SUB 00000bfc: PUSH2 0x1205 00000bff: JUMP 00000c00: JUMPDEST 00000c01: PUSH1 0x01 00000c03: SSTORE 00000c04: PUSH2 0x0c0b 00000c07: PUSH2 0x1227 00000c0a: JUMP 00000c0b: JUMPDEST 00000c0c: PUSH1 0x0c 00000c0e: DUP1 00000c0f: SLOAD 00000c10: DUP6 00000c11: SWAP1 00000c12: DUP2 00000c13: LT 00000c14: PUSH2 0x0c19 00000c17: JUMPI 00000c18: INVALID 00000c19: JUMPDEST 00000c1a: SWAP1 00000c1b: PUSH1 0x00 00000c1d: MSTORE 00000c1e: PUSH1 0x20 00000c20: PUSH1 0x00 00000c22: KECCAK256 00000c23: SWAP1 00000c24: PUSH1 0x03 00000c26: MUL 00000c27: ADD 00000c28: PUSH1 0x00 00000c2a: JUMPDEST 00000c2b: POP 00000c2c: SLOAD 00000c2d: PUSH1 0x01 00000c2f: PUSH1 0xa0 00000c31: PUSH1 0x02 00000c33: EXP 00000c34: SUB 00000c35: AND 00000c36: PUSH1 0x00 00000c38: PUSH1 0x01 00000c3a: PUSH1 0x40 00000c3c: MLOAD 00000c3d: PUSH1 0x00 00000c3f: PUSH1 0x40 00000c41: MLOAD 00000c42: DUP1 00000c43: DUP4 00000c44: SUB 00000c45: DUP2 00000c46: DUP6 00000c47: DUP9 00000c48: DUP9 00000c49: CALL 00000c4a: SWAP4 00000c4b: POP 00000c4c: POP 00000c4d: POP 00000c4e: POP 00000c4f: ISZERO 00000c50: ISZERO 00000c51: PUSH2 0x0abf 00000c54: JUMPI 00000c55: PUSH2 0x0a7e 00000c58: PUSH1 0x0d 00000c5a: PUSH1 0x00 00000c5c: PUSH1 0x0c 00000c5e: DUP8 00000c5f: DUP2 00000c60: SLOAD 00000c61: DUP2 00000c62: LT 00000c63: ISZERO 00000c64: ISZERO 00000c65: PUSH2 0x0c6a 00000c68: JUMPI 00000c69: INVALID 00000c6a: JUMPDEST 00000c6b: SWAP1 00000c6c: PUSH1 0x00 00000c6e: MSTORE 00000c6f: PUSH1 0x20 00000c71: PUSH1 0x00 00000c73: KECCAK256 00000c74: SWAP1 00000c75: PUSH1 0x03 00000c77: MUL 00000c78: ADD 00000c79: PUSH1 0x00 00000c7b: JUMPDEST 00000c7c: POP 00000c7d: SLOAD 00000c7e: PUSH1 0x01 00000c80: PUSH1 0xa0 00000c82: PUSH1 0x02 00000c84: EXP 00000c85: SUB 00000c86: AND 00000c87: DUP2 00000c88: MSTORE 00000c89: PUSH1 0x20 00000c8b: DUP2 00000c8c: ADD 00000c8d: SWAP2 00000c8e: SWAP1 00000c8f: SWAP2 00000c90: MSTORE 00000c91: PUSH1 0x40 00000c93: ADD 00000c94: PUSH1 0x00 00000c96: KECCAK256 00000c97: SLOAD 00000c98: PUSH1 0x01 00000c9a: PUSH2 0x1205 00000c9d: JUMP 00000c9e: JUMPDEST 00000c9f: PUSH1 0x0d 00000ca1: PUSH1 0x00 00000ca3: PUSH1 0x0c 00000ca5: DUP8 00000ca6: DUP2 00000ca7: SLOAD 00000ca8: DUP2 00000ca9: LT 00000caa: ISZERO 00000cab: ISZERO 00000cac: PUSH2 0x0a91 00000caf: JUMPI 00000cb0: INVALID 00000cb1: JUMPDEST 00000cb2: SWAP1 00000cb3: PUSH1 0x00 00000cb5: MSTORE 00000cb6: PUSH1 0x20 00000cb8: PUSH1 0x00 00000cba: KECCAK256 00000cbb: SWAP1 00000cbc: PUSH1 0x03 00000cbe: MUL 00000cbf: ADD 00000cc0: PUSH1 0x00 00000cc2: JUMPDEST 00000cc3: POP 00000cc4: SLOAD 00000cc5: PUSH1 0x01 00000cc7: PUSH1 0xa0 00000cc9: PUSH1 0x02 00000ccb: EXP 00000ccc: SUB 00000ccd: AND 00000cce: DUP2 00000ccf: MSTORE 00000cd0: PUSH1 0x20 00000cd2: DUP2 00000cd3: ADD 00000cd4: SWAP2 00000cd5: SWAP1 00000cd6: SWAP2 00000cd7: MSTORE 00000cd8: PUSH1 0x40 00000cda: ADD 00000cdb: PUSH1 0x00 00000cdd: KECCAK256 00000cde: SSTORE 00000cdf: JUMPDEST 00000ce0: PUSH1 0x0b 00000ce2: DUP1 00000ce3: SLOAD 00000ce4: PUSH1 0x00 00000ce6: NOT 00000ce7: ADD 00000ce8: SWAP1 00000ce9: SSTORE 00000cea: JUMPDEST 00000ceb: JUMPDEST 00000cec: JUMPDEST 00000ced: JUMPDEST 00000cee: POP 00000cef: POP 00000cf0: POP 00000cf1: POP 00000cf2: POP 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH1 0x0b 00000cf7: SLOAD 00000cf8: DUP2 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: PUSH1 0x00 00000cfd: DUP1 00000cfe: SLOAD 00000cff: CALLER 00000d00: PUSH1 0x01 00000d02: PUSH1 0xa0 00000d04: PUSH1 0x02 00000d06: EXP 00000d07: SUB 00000d08: SWAP1 00000d09: DUP2 00000d0a: AND 00000d0b: PUSH2 0x0100 00000d0e: SWAP1 00000d0f: SWAP3 00000d10: DIV 00000d11: AND 00000d12: EQ 00000d13: PUSH2 0x0d1b 00000d16: JUMPI 00000d17: PUSH1 0x00 00000d19: DUP1 00000d1a: REVERT 00000d1b: JUMPDEST 00000d1c: POP 00000d1d: PUSH1 0x04 00000d1f: SLOAD 00000d20: JUMPDEST 00000d21: JUMPDEST 00000d22: SWAP1 00000d23: JUMP 00000d24: JUMPDEST 00000d25: PUSH1 0x04 00000d27: SLOAD 00000d28: DUP2 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x00 00000d2d: DUP1 00000d2e: SLOAD 00000d2f: CALLER 00000d30: PUSH1 0x01 00000d32: PUSH1 0xa0 00000d34: PUSH1 0x02 00000d36: EXP 00000d37: SUB 00000d38: SWAP1 00000d39: DUP2 00000d3a: AND 00000d3b: PUSH2 0x0100 00000d3e: SWAP1 00000d3f: SWAP3 00000d40: DIV 00000d41: AND 00000d42: EQ 00000d43: PUSH2 0x0d4b 00000d46: JUMPI 00000d47: PUSH1 0x00 00000d49: DUP1 00000d4a: REVERT 00000d4b: JUMPDEST 00000d4c: POP 00000d4d: PUSH1 0x05 00000d4f: SLOAD 00000d50: JUMPDEST 00000d51: JUMPDEST 00000d52: SWAP1 00000d53: JUMP 00000d54: JUMPDEST 00000d55: PUSH1 0x00 00000d57: SLOAD 00000d58: CALLER 00000d59: PUSH1 0x01 00000d5b: PUSH1 0xa0 00000d5d: PUSH1 0x02 00000d5f: EXP 00000d60: SUB 00000d61: SWAP1 00000d62: DUP2 00000d63: AND 00000d64: PUSH2 0x0100 00000d67: SWAP1 00000d68: SWAP3 00000d69: DIV 00000d6a: AND 00000d6b: EQ 00000d6c: PUSH2 0x0d74 00000d6f: JUMPI 00000d70: PUSH1 0x00 00000d72: DUP1 00000d73: REVERT 00000d74: JUMPDEST 00000d75: PUSH1 0x02 00000d77: DUP2 00000d78: SWAP1 00000d79: SSTORE 00000d7a: JUMPDEST 00000d7b: JUMPDEST 00000d7c: POP 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: PUSH1 0x00 00000d81: SLOAD 00000d82: PUSH22 0x01000000000000000000000000000000000000000000 00000d99: SWAP1 00000d9a: DIV 00000d9b: PUSH1 0xff 00000d9d: AND 00000d9e: DUP2 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH1 0x00 00000da3: SLOAD 00000da4: CALLER 00000da5: PUSH1 0x01 00000da7: PUSH1 0xa0 00000da9: PUSH1 0x02 00000dab: EXP 00000dac: SUB 00000dad: SWAP1 00000dae: DUP2 00000daf: AND 00000db0: PUSH2 0x0100 00000db3: SWAP1 00000db4: SWAP3 00000db5: DIV 00000db6: AND 00000db7: EQ 00000db8: PUSH2 0x0dc0 00000dbb: JUMPI 00000dbc: PUSH1 0x00 00000dbe: DUP1 00000dbf: REVERT 00000dc0: JUMPDEST 00000dc1: PUSH2 0x0dcc 00000dc4: PUSH1 0x01 00000dc6: SLOAD 00000dc7: CALLVALUE 00000dc8: PUSH2 0x1205 00000dcb: JUMP 00000dcc: JUMPDEST 00000dcd: PUSH1 0x01 00000dcf: SSTORE 00000dd0: PUSH2 0x0dd7 00000dd3: PUSH2 0x1227 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: JUMPDEST 00000dd9: JUMPDEST 00000dda: JUMP 00000ddb: JUMPDEST 00000ddc: PUSH3 0x0f4240 00000de0: DUP2 00000de1: JUMP 00000de2: JUMPDEST 00000de3: PUSH1 0x01 00000de5: PUSH1 0xa0 00000de7: PUSH1 0x02 00000de9: EXP 00000dea: SUB 00000deb: DUP2 00000dec: AND 00000ded: PUSH1 0x00 00000def: SWAP1 00000df0: DUP2 00000df1: MSTORE 00000df2: PUSH1 0x0d 00000df4: PUSH1 0x20 00000df6: MSTORE 00000df7: PUSH1 0x40 00000df9: SWAP1 00000dfa: KECCAK256 00000dfb: SLOAD 00000dfc: JUMPDEST 00000dfd: SWAP2 00000dfe: SWAP1 00000dff: POP 00000e00: JUMP 00000e01: JUMPDEST 00000e02: PUSH1 0x00 00000e04: SLOAD 00000e05: CALLER 00000e06: PUSH1 0x01 00000e08: PUSH1 0xa0 00000e0a: PUSH1 0x02 00000e0c: EXP 00000e0d: SUB 00000e0e: SWAP1 00000e0f: DUP2 00000e10: AND 00000e11: PUSH2 0x0100 00000e14: SWAP1 00000e15: SWAP3 00000e16: DIV 00000e17: AND 00000e18: EQ 00000e19: PUSH2 0x0e21 00000e1c: JUMPI 00000e1d: PUSH1 0x00 00000e1f: DUP1 00000e20: REVERT 00000e21: JUMPDEST 00000e22: PUSH1 0x00 00000e24: DUP1 00000e25: SLOAD 00000e26: PUSH22 0xff000000000000000000000000000000000000000000 00000e3d: NOT 00000e3e: AND 00000e3f: PUSH22 0x01000000000000000000000000000000000000000000 00000e56: DUP4 00000e57: ISZERO 00000e58: ISZERO 00000e59: MUL 00000e5a: OR 00000e5b: SWAP1 00000e5c: SSTORE 00000e5d: JUMPDEST 00000e5e: JUMPDEST 00000e5f: POP 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH1 0x00 00000e64: DUP1 00000e65: SLOAD 00000e66: CALLER 00000e67: PUSH1 0x01 00000e69: PUSH1 0xa0 00000e6b: PUSH1 0x02 00000e6d: EXP 00000e6e: SUB 00000e6f: SWAP1 00000e70: DUP2 00000e71: AND 00000e72: PUSH2 0x0100 00000e75: SWAP1 00000e76: SWAP3 00000e77: DIV 00000e78: AND 00000e79: EQ 00000e7a: PUSH2 0x0e82 00000e7d: JUMPI 00000e7e: PUSH1 0x00 00000e80: DUP1 00000e81: REVERT 00000e82: JUMPDEST 00000e83: POP 00000e84: PUSH1 0x02 00000e86: SLOAD 00000e87: JUMPDEST 00000e88: JUMPDEST 00000e89: SWAP1 00000e8a: JUMP 00000e8b: JUMPDEST 00000e8c: PUSH1 0x00 00000e8e: SLOAD 00000e8f: CALLER 00000e90: PUSH1 0x01 00000e92: PUSH1 0xa0 00000e94: PUSH1 0x02 00000e96: EXP 00000e97: SUB 00000e98: SWAP1 00000e99: DUP2 00000e9a: AND 00000e9b: PUSH2 0x0100 00000e9e: SWAP1 00000e9f: SWAP3 00000ea0: DIV 00000ea1: AND 00000ea2: EQ 00000ea3: PUSH2 0x0eab 00000ea6: JUMPI 00000ea7: PUSH1 0x00 00000ea9: DUP1 00000eaa: REVERT 00000eab: JUMPDEST 00000eac: PUSH1 0x00 00000eae: DUP1 00000eaf: SLOAD 00000eb0: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00 00000ec6: NOT 00000ec7: AND 00000ec8: PUSH2 0x0100 00000ecb: PUSH1 0x01 00000ecd: PUSH1 0xa0 00000ecf: PUSH1 0x02 00000ed1: EXP 00000ed2: SUB 00000ed3: DUP5 00000ed4: AND 00000ed5: MUL 00000ed6: OR 00000ed7: SWAP1 00000ed8: SSTORE 00000ed9: JUMPDEST 00000eda: JUMPDEST 00000edb: POP 00000edc: JUMP 00000edd: JUMPDEST 00000ede: PUSH1 0x00 00000ee0: SLOAD 00000ee1: CALLER 00000ee2: PUSH1 0x01 00000ee4: PUSH1 0xa0 00000ee6: PUSH1 0x02 00000ee8: EXP 00000ee9: SUB 00000eea: SWAP1 00000eeb: DUP2 00000eec: AND 00000eed: PUSH2 0x0100 00000ef0: SWAP1 00000ef1: SWAP3 00000ef2: DIV 00000ef3: AND 00000ef4: EQ 00000ef5: PUSH2 0x0efd 00000ef8: JUMPI 00000ef9: PUSH1 0x00 00000efb: DUP1 00000efc: REVERT 00000efd: JUMPDEST 00000efe: PUSH2 0xc350 00000f01: DUP2 00000f02: GT 00000f03: ISZERO 00000f04: PUSH2 0x0f0c 00000f07: JUMPI 00000f08: PUSH1 0x00 00000f0a: DUP1 00000f0b: REVERT 00000f0c: JUMPDEST 00000f0d: PUSH1 0x04 00000f0f: DUP2 00000f10: SWAP1 00000f11: SSTORE 00000f12: PUSH2 0x06e0 00000f15: PUSH2 0x1227 00000f18: JUMP 00000f19: JUMPDEST 00000f1a: JUMPDEST 00000f1b: JUMPDEST 00000f1c: POP 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH1 0x00 00000f21: SLOAD 00000f22: CALLER 00000f23: PUSH1 0x01 00000f25: PUSH1 0xa0 00000f27: PUSH1 0x02 00000f29: EXP 00000f2a: SUB 00000f2b: SWAP1 00000f2c: DUP2 00000f2d: AND 00000f2e: PUSH2 0x0100 00000f31: SWAP1 00000f32: SWAP3 00000f33: DIV 00000f34: AND 00000f35: EQ 00000f36: PUSH2 0x0f3e 00000f39: JUMPI 00000f3a: PUSH1 0x00 00000f3c: DUP1 00000f3d: REVERT 00000f3e: JUMPDEST 00000f3f: PUSH1 0x05 00000f41: DUP2 00000f42: SWAP1 00000f43: SSTORE 00000f44: JUMPDEST 00000f45: JUMPDEST 00000f46: POP 00000f47: JUMP 00000f48: JUMPDEST 00000f49: PUSH1 0x00 00000f4b: SLOAD 00000f4c: CALLER 00000f4d: PUSH1 0x01 00000f4f: PUSH1 0xa0 00000f51: PUSH1 0x02 00000f53: EXP 00000f54: SUB 00000f55: SWAP1 00000f56: DUP2 00000f57: AND 00000f58: PUSH2 0x0100 00000f5b: SWAP1 00000f5c: SWAP3 00000f5d: DIV 00000f5e: AND 00000f5f: EQ 00000f60: PUSH2 0x0f68 00000f63: JUMPI 00000f64: PUSH1 0x00 00000f66: DUP1 00000f67: REVERT 00000f68: JUMPDEST 00000f69: PUSH1 0x00 00000f6b: DUP1 00000f6c: SLOAD 00000f6d: PUSH1 0xff 00000f6f: NOT 00000f70: AND 00000f71: DUP3 00000f72: ISZERO 00000f73: ISZERO 00000f74: OR 00000f75: SWAP1 00000f76: SSTORE 00000f77: JUMPDEST 00000f78: JUMPDEST 00000f79: POP 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: PUSH1 0x00 00000f7e: SLOAD 00000f7f: CALLER 00000f80: PUSH1 0x01 00000f82: PUSH1 0xa0 00000f84: PUSH1 0x02 00000f86: EXP 00000f87: SUB 00000f88: SWAP1 00000f89: DUP2 00000f8a: AND 00000f8b: PUSH2 0x0100 00000f8e: SWAP1 00000f8f: SWAP3 00000f90: DIV 00000f91: AND 00000f92: EQ 00000f93: PUSH2 0x0f9b 00000f96: JUMPI 00000f97: PUSH1 0x00 00000f99: DUP1 00000f9a: REVERT 00000f9b: JUMPDEST 00000f9c: PUSH2 0x0fa7 00000f9f: PUSH1 0x01 00000fa1: SLOAD 00000fa2: DUP3 00000fa3: PUSH2 0x115f 00000fa6: JUMP 00000fa7: JUMPDEST 00000fa8: PUSH1 0x01 00000faa: SSTORE 00000fab: PUSH2 0x0fb2 00000fae: PUSH2 0x1227 00000fb1: JUMP 00000fb2: JUMPDEST 00000fb3: PUSH1 0x01 00000fb5: PUSH1 0xa0 00000fb7: PUSH1 0x02 00000fb9: EXP 00000fba: SUB 00000fbb: DUP3 00000fbc: AND 00000fbd: DUP2 00000fbe: ISZERO 00000fbf: PUSH2 0x08fc 00000fc2: MUL 00000fc3: DUP3 00000fc4: PUSH1 0x40 00000fc6: MLOAD 00000fc7: PUSH1 0x00 00000fc9: PUSH1 0x40 00000fcb: MLOAD 00000fcc: DUP1 00000fcd: DUP4 00000fce: SUB 00000fcf: DUP2 00000fd0: DUP6 00000fd1: DUP9 00000fd2: DUP9 00000fd3: CALL 00000fd4: SWAP4 00000fd5: POP 00000fd6: POP 00000fd7: POP 00000fd8: POP 00000fd9: ISZERO 00000fda: ISZERO 00000fdb: PUSH2 0x0fe3 00000fde: JUMPI 00000fdf: PUSH1 0x00 00000fe1: DUP1 00000fe2: REVERT 00000fe3: JUMPDEST 00000fe4: DUP1 00000fe5: DUP3 00000fe6: PUSH1 0x01 00000fe8: PUSH1 0xa0 00000fea: PUSH1 0x02 00000fec: EXP 00000fed: SUB 00000fee: AND 00000fef: PUSH32 0x42c501a185f41a8eb77b0a3e7b72a6435ea7aa752f8a1a0a13ca4628495eca91 00001010: PUSH1 0x40 00001012: MLOAD 00001013: PUSH1 0x40 00001015: MLOAD 00001016: DUP1 00001017: SWAP2 00001018: SUB 00001019: SWAP1 0000101a: LOG3 0000101b: JUMPDEST 0000101c: JUMPDEST 0000101d: POP 0000101e: POP 0000101f: JUMP 00001020: JUMPDEST 00001021: PUSH1 0x01 00001023: SLOAD 00001024: DUP2 00001025: JUMP 00001026: JUMPDEST 00001027: PUSH1 0x00 00001029: SLOAD 0000102a: PUSH2 0x0100 0000102d: SWAP1 0000102e: DIV 0000102f: PUSH1 0x01 00001031: PUSH1 0xa0 00001033: PUSH1 0x02 00001035: EXP 00001036: SUB 00001037: AND 00001038: DUP2 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH1 0x00 0000103d: DUP1 0000103e: SLOAD 0000103f: CALLER 00001040: PUSH1 0x01 00001042: PUSH1 0xa0 00001044: PUSH1 0x02 00001046: EXP 00001047: SUB 00001048: SWAP1 00001049: DUP2 0000104a: AND 0000104b: PUSH2 0x0100 0000104e: SWAP1 0000104f: SWAP3 00001050: DIV 00001051: AND 00001052: EQ 00001053: PUSH2 0x105b 00001056: JUMPI 00001057: PUSH1 0x00 00001059: DUP1 0000105a: REVERT 0000105b: JUMPDEST 0000105c: POP 0000105d: PUSH1 0x01 0000105f: SLOAD 00001060: JUMPDEST 00001061: JUMPDEST 00001062: SWAP1 00001063: JUMP 00001064: JUMPDEST 00001065: PUSH1 0x05 00001067: SLOAD 00001068: DUP2 00001069: JUMP 0000106a: JUMPDEST 0000106b: PUSH1 0x00 0000106d: DUP1 0000106e: SLOAD 0000106f: DUP2 00001070: SWAP1 00001071: PUSH22 0x01000000000000000000000000000000000000000000 00001088: SWAP1 00001089: DIV 0000108a: PUSH1 0xff 0000108c: AND 0000108d: ISZERO 0000108e: PUSH2 0x1096 00001091: JUMPI 00001092: PUSH1 0x00 00001094: DUP1 00001095: REVERT 00001096: JUMPDEST 00001097: POP 00001098: PUSH1 0x01 0000109a: PUSH1 0xa0 0000109c: PUSH1 0x02 0000109e: EXP 0000109f: SUB 000010a0: CALLER 000010a1: AND 000010a2: PUSH1 0x00 000010a4: DUP2 000010a5: DUP2 000010a6: MSTORE 000010a7: PUSH1 0x0d 000010a9: PUSH1 0x20 000010ab: MSTORE 000010ac: PUSH1 0x40 000010ae: DUP1 000010af: DUP3 000010b0: KECCAK256 000010b1: DUP1 000010b2: SLOAD 000010b3: SWAP3 000010b4: SWAP1 000010b5: SSTORE 000010b6: SWAP1 000010b7: SWAP2 000010b8: SWAP1 000010b9: DUP3 000010ba: SWAP1 000010bb: MLOAD 000010bc: PUSH1 0x00 000010be: PUSH1 0x40 000010c0: MLOAD 000010c1: DUP1 000010c2: DUP4 000010c3: SUB 000010c4: DUP2 000010c5: DUP6 000010c6: DUP8 000010c7: PUSH2 0x8796 000010ca: GAS 000010cb: SUB 000010cc: CALL 000010cd: SWAP3 000010ce: POP 000010cf: POP 000010d0: POP 000010d1: ISZERO 000010d2: PUSH2 0x10de 000010d5: JUMPI 000010d6: PUSH1 0x01 000010d8: SWAP2 000010d9: POP 000010da: PUSH2 0x10fc 000010dd: JUMP 000010de: JUMPDEST 000010df: PUSH1 0x01 000010e1: PUSH1 0xa0 000010e3: PUSH1 0x02 000010e5: EXP 000010e6: SUB 000010e7: CALLER 000010e8: AND 000010e9: PUSH1 0x00 000010eb: SWAP1 000010ec: DUP2 000010ed: MSTORE 000010ee: PUSH1 0x0d 000010f0: PUSH1 0x20 000010f2: MSTORE 000010f3: PUSH1 0x40 000010f5: DUP2 000010f6: KECCAK256 000010f7: DUP3 000010f8: SWAP1 000010f9: SSTORE 000010fa: SWAP2 000010fb: POP 000010fc: JUMPDEST 000010fd: JUMPDEST 000010fe: JUMPDEST 000010ff: POP 00001100: SWAP1 00001101: JUMP 00001102: JUMPDEST 00001103: PUSH1 0x03 00001105: SLOAD 00001106: DUP2 00001107: JUMP 00001108: JUMPDEST 00001109: PUSH1 0x07 0000110b: SLOAD 0000110c: DUP2 0000110d: JUMP 0000110e: JUMPDEST 0000110f: PUSH1 0x06 00001111: SLOAD 00001112: DUP2 00001113: JUMP 00001114: JUMPDEST 00001115: PUSH1 0x00 00001117: SLOAD 00001118: PUSH1 0xff 0000111a: AND 0000111b: DUP2 0000111c: JUMP 0000111d: JUMPDEST 0000111e: PUSH1 0x00 00001120: SLOAD 00001121: CALLER 00001122: PUSH1 0x01 00001124: PUSH1 0xa0 00001126: PUSH1 0x02 00001128: EXP 00001129: SUB 0000112a: SWAP1 0000112b: DUP2 0000112c: AND 0000112d: PUSH2 0x0100 00001130: SWAP1 00001131: SWAP3 00001132: DIV 00001133: AND 00001134: EQ 00001135: PUSH2 0x113d 00001138: JUMPI 00001139: PUSH1 0x00 0000113b: DUP1 0000113c: REVERT 0000113d: JUMPDEST 0000113e: PUSH1 0x00 00001140: SLOAD 00001141: PUSH2 0x0100 00001144: SWAP1 00001145: DIV 00001146: PUSH1 0x01 00001148: PUSH1 0xa0 0000114a: PUSH1 0x02 0000114c: EXP 0000114d: SUB 0000114e: AND 0000114f: SELFDESTRUCT 00001150: JUMPDEST 00001151: JUMPDEST 00001152: JUMP 00001153: JUMPDEST 00001154: PUSH1 0x02 00001156: SLOAD 00001157: DUP2 00001158: JUMP 00001159: JUMPDEST 0000115a: PUSH2 0x03e8 0000115d: DUP2 0000115e: JUMP 0000115f: JUMPDEST 00001160: PUSH1 0x00 00001162: PUSH2 0x116b 00001165: DUP4 00001166: DUP4 00001167: PUSH2 0x123b 0000116a: JUMP 0000116b: JUMPDEST 0000116c: ISZERO 0000116d: ISZERO 0000116e: PUSH2 0x1176 00001171: JUMPI 00001172: PUSH1 0x00 00001174: DUP1 00001175: REVERT 00001176: JUMPDEST 00001177: POP 00001178: DUP1 00001179: DUP3 0000117a: SUB 0000117b: JUMPDEST 0000117c: SWAP3 0000117d: SWAP2 0000117e: POP 0000117f: POP 00001180: JUMP 00001181: JUMPDEST 00001182: PUSH1 0x00 00001184: PUSH1 0x01 00001186: NUMBER 00001187: SUB 00001188: BLOCKHASH 00001189: PUSH1 0x01 0000118b: SWAP1 0000118c: DIV 0000118d: TIMESTAMP 0000118e: PUSH1 0x08 00001190: SLOAD 00001191: DUP2 00001192: ISZERO 00001193: ISZERO 00001194: PUSH2 0x1199 00001197: JUMPI 00001198: INVALID 00001199: JUMPDEST 0000119a: MOD 0000119b: ADD 0000119c: NUMBER 0000119d: DIFFICULTY 0000119e: TIMESTAMP 0000119f: MUL 000011a0: MUL 000011a1: ADD 000011a2: PUSH1 0x01 000011a4: ADD 000011a5: PUSH1 0x08 000011a7: DUP2 000011a8: SWAP1 000011a9: SSTORE 000011aa: DUP3 000011ab: PUSH1 0x40 000011ad: MLOAD 000011ae: SWAP2 000011af: DUP3 000011b0: MSTORE 000011b1: PUSH4 0xffffffff 000011b6: AND 000011b7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000011d5: MUL 000011d6: PUSH1 0x20 000011d8: DUP3 000011d9: ADD 000011da: MSTORE 000011db: PUSH1 0x24 000011dd: ADD 000011de: PUSH1 0x40 000011e0: MLOAD 000011e1: SWAP1 000011e2: DUP2 000011e3: SWAP1 000011e4: SUB 000011e5: SWAP1 000011e6: KECCAK256 000011e7: PUSH1 0x08 000011e9: DUP2 000011ea: SWAP1 000011eb: SSTORE 000011ec: PUSH1 0x09 000011ee: SLOAD 000011ef: SWAP1 000011f0: DUP2 000011f1: ISZERO 000011f2: ISZERO 000011f3: PUSH2 0x11f8 000011f6: JUMPI 000011f7: INVALID 000011f8: JUMPDEST 000011f9: MOD 000011fa: PUSH1 0x09 000011fc: SLOAD 000011fd: SUB 000011fe: SWAP1 000011ff: POP 00001200: JUMPDEST 00001201: SWAP2 00001202: SWAP1 00001203: POP 00001204: JUMP 00001205: JUMPDEST 00001206: PUSH1 0x00 00001208: PUSH2 0x1211 0000120b: DUP4 0000120c: DUP4 0000120d: PUSH2 0x1246 00001210: JUMP 00001211: JUMPDEST 00001212: ISZERO 00001213: ISZERO 00001214: PUSH2 0x121c 00001217: JUMPI 00001218: PUSH1 0x00 0000121a: DUP1 0000121b: REVERT 0000121c: JUMPDEST 0000121d: POP 0000121e: DUP2 0000121f: DUP2 00001220: ADD 00001221: JUMPDEST 00001222: SWAP3 00001223: SWAP2 00001224: POP 00001225: POP 00001226: JUMP 00001227: JUMPDEST 00001228: PUSH1 0x04 0000122a: SLOAD 0000122b: PUSH1 0x01 0000122d: SLOAD 0000122e: PUSH3 0x0f4240 00001232: SWAP2 00001233: MUL 00001234: JUMPDEST 00001235: DIV 00001236: PUSH1 0x03 00001238: SSTORE 00001239: JUMPDEST 0000123a: JUMP 0000123b: JUMPDEST 0000123c: DUP2 0000123d: DUP2 0000123e: GT 0000123f: ISZERO 00001240: JUMPDEST 00001241: SWAP3 00001242: SWAP2 00001243: POP 00001244: POP 00001245: JUMP 00001246: JUMPDEST 00001247: DUP1 00001248: DUP3 00001249: ADD 0000124a: DUP3 0000124b: SWAP1 0000124c: LT 0000124d: ISZERO 0000124e: JUMPDEST 0000124f: SWAP3 00001250: SWAP2 00001251: POP 00001252: POP 00001253: JUMP 00001254: JUMPDEST 00001255: PUSH1 0x60 00001257: PUSH1 0x40 00001259: MLOAD 0000125a: SWAP1 0000125b: DUP2 0000125c: ADD 0000125d: PUSH1 0x40 0000125f: SWAP1 00001260: DUP2 00001261: MSTORE 00001262: PUSH1 0x00 00001264: DUP1 00001265: DUP4 00001266: MSTORE 00001267: PUSH1 0x20 00001269: DUP4 0000126a: ADD 0000126b: DUP2 0000126c: SWAP1 0000126d: MSTORE 0000126e: SWAP1 0000126f: DUP3 00001270: ADD 00001271: MSTORE 00001272: SWAP1 00001273: JUMP 00001274: JUMPDEST 00001275: DUP2 00001276: SLOAD 00001277: DUP2 00001278: DUP4 00001279: SSTORE 0000127a: DUP2 0000127b: DUP2 0000127c: ISZERO 0000127d: GT 0000127e: PUSH2 0x06dc 00001281: JUMPI 00001282: PUSH1 0x03 00001284: MUL 00001285: DUP2 00001286: PUSH1 0x03 00001288: MUL 00001289: DUP4 0000128a: PUSH1 0x00 0000128c: MSTORE 0000128d: PUSH1 0x20 0000128f: PUSH1 0x00 00001291: KECCAK256 00001292: SWAP2 00001293: DUP3 00001294: ADD 00001295: SWAP2 00001296: ADD 00001297: PUSH2 0x06dc 0000129a: SWAP2 0000129b: SWAP1 0000129c: PUSH2 0x12a6 0000129f: JUMP 000012a0: JUMPDEST 000012a1: JUMPDEST 000012a2: POP 000012a3: POP 000012a4: POP 000012a5: JUMP 000012a6: JUMPDEST 000012a7: PUSH2 0x0d20 000012aa: SWAP2 000012ab: SWAP1 000012ac: JUMPDEST 000012ad: DUP1 000012ae: DUP3 000012af: GT 000012b0: ISZERO 000012b1: PUSH2 0x10fc 000012b4: JUMPI 000012b5: DUP1 000012b6: SLOAD 000012b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012cc: NOT 000012cd: AND 000012ce: DUP2 000012cf: SSTORE 000012d0: PUSH1 0x00 000012d2: PUSH1 0x01 000012d4: DUP3 000012d5: ADD 000012d6: DUP2 000012d7: SWAP1 000012d8: SSTORE 000012d9: PUSH1 0x02 000012db: DUP3 000012dc: ADD 000012dd: SSTORE 000012de: PUSH1 0x03 000012e0: ADD 000012e1: PUSH2 0x12ac 000012e4: JUMP 000012e5: JUMPDEST 000012e6: POP 000012e7: SWAP1 000012e8: JUMP 000012e9: JUMPDEST 000012ea: SWAP1 000012eb: JUMP 000012ec: STOP 000012ed: LOG1 000012ee: PUSH6 0x627a7a723058 000012f5: KECCAK256 000012f6: SWAP10 000012f7: LOG2 000012f8: EXTCODEHASH 000012f9: UNKNOWN(0x2F) 000012fa: PUSH29 0xf9c0a30e8b785241391a86d91fb53c568f9f4b190fcef4a25e92c30029
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xe836a1aed6c47d8abbc776eeb6f29088fe6f43f43f4a0a0716bf3c636c8a1e6d
call_targets:
0xfcb675830e4c10438ce4a4091be45bf3b2c3d06f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe836a1aed6c47d8abbc776eeb6f29088fe6f43f43f4a0a0716bf3c636c8a1e6d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfcb675830e4c10438ce4a4091be45bf3b2c3d06f"
],
"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": "0x143bb3e6",
"selector": "0x143bb3e6",
"calldata_variants": [
"0x143bb3e6",
"0x143bb3e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e0e3925",
"selector": "0x1e0e3925",
"calldata_variants": [
"0x1e0e3925",
"0x1e0e39250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ee392c6",
"selector": "0x1ee392c6",
"calldata_variants": [
"0x1ee392c6",
"0x1ee392c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23214fab",
"selector": "0x23214fab",
"calldata_variants": [
"0x23214fab",
"0x23214fab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24c37507",
"selector": "0x24c37507",
"calldata_variants": [
"0x24c37507",
"0x24c375070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x268d50fe",
"selector": "0x268d50fe",
"calldata_variants": [
"0x268d50fe",
"0x268d50fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x301cf6e7",
"selector": "0x301cf6e7",
"calldata_variants": [
"0x301cf6e7",
"0x301cf6e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31b29629",
"selector": "0x31b29629",
"calldata_variants": [
"0x31b29629",
"0x31b296290000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2392,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3145,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4051,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xe836a1aed6c47d8abbc776eeb6f29088fe6f43f43f4a0a0716bf3c636c8a1e6d
call_targets:
0xfcb675830e4c10438ce4a4091be45bf3b2c3d06f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xe836a1aed6c47d8abbc776eeb6f29088fe6f43f43f4a0a0716bf3c636c8a1e6d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfcb675830e4c10438ce4a4091be45bf3b2c3d06f"
],
"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": "0x143bb3e6",
"selector": "0x143bb3e6",
"calldata_variants": [
"0x143bb3e6",
"0x143bb3e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e0e3925",
"selector": "0x1e0e3925",
"calldata_variants": [
"0x1e0e3925",
"0x1e0e39250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ee392c6",
"selector": "0x1ee392c6",
"calldata_variants": [
"0x1ee392c6",
"0x1ee392c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23214fab",
"selector": "0x23214fab",
"calldata_variants": [
"0x23214fab",
"0x23214fab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24c37507",
"selector": "0x24c37507",
"calldata_variants": [
"0x24c37507",
"0x24c375070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x268d50fe",
"selector": "0x268d50fe",
"calldata_variants": [
"0x268d50fe",
"0x268d50fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x301cf6e7",
"selector": "0x301cf6e7",
"calldata_variants": [
"0x301cf6e7",
"0x301cf6e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31b29629",
"selector": "0x31b29629",
"calldata_variants": [
"0x31b29629",
"0x31b296290000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2392,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3145,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4051,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x1fdb252e28a9f6c2872f9d5288ef72ed4f7748952c24bf9e3a583a558d2d9d2d
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x1fdb252e28a9f6c2872f9d5288ef72ed4f7748952c24bf9e3a583a558d2d9d2d",
"confirmed": false,
"trace_mode": "structLogs",
"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": "0x143bb3e6",
"selector": "0x143bb3e6",
"calldata_variants": [
"0x143bb3e6",
"0x143bb3e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1e0e3925",
"selector": "0x1e0e3925",
"calldata_variants": [
"0x1e0e3925",
"0x1e0e39250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1ee392c6",
"selector": "0x1ee392c6",
"calldata_variants": [
"0x1ee392c6",
"0x1ee392c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23214fab",
"selector": "0x23214fab",
"calldata_variants": [
"0x23214fab",
"0x23214fab0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24c37507",
"selector": "0x24c37507",
"calldata_variants": [
"0x24c37507",
"0x24c375070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x268d50fe",
"selector": "0x268d50fe",
"calldata_variants": [
"0x268d50fe",
"0x268d50fe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x301cf6e7",
"selector": "0x301cf6e7",
"calldata_variants": [
"0x301cf6e7",
"0x301cf6e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31b29629",
"selector": "0x31b29629",
"calldata_variants": [
"0x31b29629",
"0x31b296290000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|