019b477e-c5e8-72eb-8621-9723b50f619f
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 |
|---|---|---|---|---|
| 25679 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25680 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68966 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 68967 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 68968 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 68969 | 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 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x018f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa4d66daf 0000002f: EQ 00000030: PUSH2 0x01ba 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb609531c 0000003a: EQ 0000003b: PUSH2 0x01d1 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x01fa 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf80f5dd5 00000050: EQ 00000051: PUSH2 0x0223 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf887ea40 0000005b: EQ 0000005c: PUSH2 0x024c 0000005f: JUMPI 00000060: PUSH2 0x00b2 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x3ccfd60b 0000006b: EQ 0000006c: PUSH2 0x00b7 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x3fc8cef3 00000076: EQ 00000077: PUSH2 0x00ce 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x5e615a6b 00000081: EQ 00000082: PUSH2 0x00f9 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x715018a6 0000008c: EQ 0000008d: PUSH2 0x0126 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x78c8cda7 00000097: EQ 00000098: PUSH2 0x013d 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x7ff10552 000000a2: EQ 000000a3: PUSH2 0x0166 000000a6: JUMPI 000000a7: PUSH2 0x00b2 000000aa: JUMP 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x00b2 000000b0: JUMPI 000000b1: STOP 000000b2: JUMPDEST 000000b3: PUSH1 0x00 000000b5: DUP1 000000b6: REVERT 000000b7: JUMPDEST 000000b8: CALLVALUE 000000b9: DUP1 000000ba: ISZERO 000000bb: PUSH2 0x00c3 000000be: JUMPI 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: POP 000000c5: PUSH2 0x00cc 000000c8: PUSH2 0x0277 000000cb: JUMP 000000cc: JUMPDEST 000000cd: STOP 000000ce: JUMPDEST 000000cf: CALLVALUE 000000d0: DUP1 000000d1: ISZERO 000000d2: PUSH2 0x00da 000000d5: JUMPI 000000d6: PUSH1 0x00 000000d8: DUP1 000000d9: REVERT 000000da: JUMPDEST 000000db: POP 000000dc: PUSH2 0x00e3 000000df: PUSH2 0x036c 000000e2: JUMP 000000e3: JUMPDEST 000000e4: PUSH1 0x40 000000e6: MLOAD 000000e7: PUSH2 0x00f0 000000ea: SWAP2 000000eb: SWAP1 000000ec: PUSH2 0x11d6 000000ef: JUMP 000000f0: JUMPDEST 000000f1: PUSH1 0x40 000000f3: MLOAD 000000f4: DUP1 000000f5: SWAP2 000000f6: SUB 000000f7: SWAP1 000000f8: RETURN 000000f9: JUMPDEST 000000fa: CALLVALUE 000000fb: DUP1 000000fc: ISZERO 000000fd: PUSH2 0x0105 00000100: JUMPI 00000101: PUSH1 0x00 00000103: DUP1 00000104: REVERT 00000105: JUMPDEST 00000106: POP 00000107: PUSH2 0x010e 0000010a: PUSH2 0x0392 0000010d: JUMP 0000010e: JUMPDEST 0000010f: PUSH1 0x40 00000111: MLOAD 00000112: PUSH2 0x011d 00000115: SWAP4 00000116: SWAP3 00000117: SWAP2 00000118: SWAP1 00000119: PUSH2 0x11f1 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH1 0x40 00000120: MLOAD 00000121: DUP1 00000122: SWAP2 00000123: SUB 00000124: SWAP1 00000125: RETURN 00000126: JUMPDEST 00000127: CALLVALUE 00000128: DUP1 00000129: ISZERO 0000012a: PUSH2 0x0132 0000012d: JUMPI 0000012e: PUSH1 0x00 00000130: DUP1 00000131: REVERT 00000132: JUMPDEST 00000133: POP 00000134: PUSH2 0x013b 00000137: PUSH2 0x03cb 0000013a: JUMP 0000013b: JUMPDEST 0000013c: STOP 0000013d: JUMPDEST 0000013e: CALLVALUE 0000013f: DUP1 00000140: ISZERO 00000141: PUSH2 0x0149 00000144: JUMPI 00000145: PUSH1 0x00 00000147: DUP1 00000148: REVERT 00000149: JUMPDEST 0000014a: POP 0000014b: PUSH2 0x0164 0000014e: PUSH1 0x04 00000150: DUP1 00000151: CALLDATASIZE 00000152: SUB 00000153: DUP2 00000154: ADD 00000155: SWAP1 00000156: PUSH2 0x015f 00000159: SWAP2 0000015a: SWAP1 0000015b: PUSH2 0x0f71 0000015e: JUMP 0000015f: JUMPDEST 00000160: PUSH2 0x0453 00000163: JUMP 00000164: JUMPDEST 00000165: STOP 00000166: JUMPDEST 00000167: CALLVALUE 00000168: DUP1 00000169: ISZERO 0000016a: PUSH2 0x0172 0000016d: JUMPI 0000016e: PUSH1 0x00 00000170: DUP1 00000171: REVERT 00000172: JUMPDEST 00000173: POP 00000174: PUSH2 0x018d 00000177: PUSH1 0x04 00000179: DUP1 0000017a: CALLDATASIZE 0000017b: SUB 0000017c: DUP2 0000017d: ADD 0000017e: SWAP1 0000017f: PUSH2 0x0188 00000182: SWAP2 00000183: SWAP1 00000184: PUSH2 0x0f9e 00000187: JUMP 00000188: JUMPDEST 00000189: PUSH2 0x052a 0000018c: JUMP 0000018d: JUMPDEST 0000018e: STOP 0000018f: JUMPDEST 00000190: CALLVALUE 00000191: DUP1 00000192: ISZERO 00000193: PUSH2 0x019b 00000196: JUMPI 00000197: PUSH1 0x00 00000199: DUP1 0000019a: REVERT 0000019b: JUMPDEST 0000019c: POP 0000019d: PUSH2 0x01a4 000001a0: PUSH2 0x05fa 000001a3: JUMP 000001a4: JUMPDEST 000001a5: PUSH1 0x40 000001a7: MLOAD 000001a8: PUSH2 0x01b1 000001ab: SWAP2 000001ac: SWAP1 000001ad: PUSH2 0x11d6 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: DUP1 000001b6: SWAP2 000001b7: SUB 000001b8: SWAP1 000001b9: RETURN 000001ba: JUMPDEST 000001bb: CALLVALUE 000001bc: DUP1 000001bd: ISZERO 000001be: PUSH2 0x01c6 000001c1: JUMPI 000001c2: PUSH1 0x00 000001c4: DUP1 000001c5: REVERT 000001c6: JUMPDEST 000001c7: POP 000001c8: PUSH2 0x01cf 000001cb: PUSH2 0x0623 000001ce: JUMP 000001cf: JUMPDEST 000001d0: STOP 000001d1: JUMPDEST 000001d2: CALLVALUE 000001d3: DUP1 000001d4: ISZERO 000001d5: PUSH2 0x01dd 000001d8: JUMPI 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: REVERT 000001dd: JUMPDEST 000001de: POP 000001df: PUSH2 0x01f8 000001e2: PUSH1 0x04 000001e4: DUP1 000001e5: CALLDATASIZE 000001e6: SUB 000001e7: DUP2 000001e8: ADD 000001e9: SWAP1 000001ea: PUSH2 0x01f3 000001ed: SWAP2 000001ee: SWAP1 000001ef: PUSH2 0x0ff1 000001f2: JUMP 000001f3: JUMPDEST 000001f4: PUSH2 0x0a24 000001f7: JUMP 000001f8: JUMPDEST 000001f9: STOP 000001fa: JUMPDEST 000001fb: CALLVALUE 000001fc: DUP1 000001fd: ISZERO 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: POP 00000208: PUSH2 0x0221 0000020b: PUSH1 0x04 0000020d: DUP1 0000020e: CALLDATASIZE 0000020f: SUB 00000210: DUP2 00000211: ADD 00000212: SWAP1 00000213: PUSH2 0x021c 00000216: SWAP2 00000217: SWAP1 00000218: PUSH2 0x0f71 0000021b: JUMP 0000021c: JUMPDEST 0000021d: PUSH2 0x0b35 00000220: JUMP 00000221: JUMPDEST 00000222: STOP 00000223: JUMPDEST 00000224: CALLVALUE 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: PUSH2 0x024a 00000234: PUSH1 0x04 00000236: DUP1 00000237: CALLDATASIZE 00000238: SUB 00000239: DUP2 0000023a: ADD 0000023b: SWAP1 0000023c: PUSH2 0x0245 0000023f: SWAP2 00000240: SWAP1 00000241: PUSH2 0x0f71 00000244: JUMP 00000245: JUMPDEST 00000246: PUSH2 0x0c2d 00000249: JUMP 0000024a: JUMPDEST 0000024b: STOP 0000024c: JUMPDEST 0000024d: CALLVALUE 0000024e: DUP1 0000024f: ISZERO 00000250: PUSH2 0x0258 00000253: JUMPI 00000254: PUSH1 0x00 00000256: DUP1 00000257: REVERT 00000258: JUMPDEST 00000259: POP 0000025a: PUSH2 0x0261 0000025d: PUSH2 0x0d04 00000260: JUMP 00000261: JUMPDEST 00000262: PUSH1 0x40 00000264: MLOAD 00000265: PUSH2 0x026e 00000268: SWAP2 00000269: SWAP1 0000026a: PUSH2 0x1228 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: DUP1 00000273: SWAP2 00000274: SUB 00000275: SWAP1 00000276: RETURN 00000277: JUMPDEST 00000278: PUSH2 0x027f 0000027b: PUSH2 0x0d2a 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000295: AND 00000296: PUSH2 0x029d 00000299: PUSH2 0x05fa 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b3: AND 000002b4: EQ 000002b5: PUSH2 0x02f3 000002b8: JUMPI 000002b9: PUSH1 0x40 000002bb: MLOAD 000002bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002dd: DUP2 000002de: MSTORE 000002df: PUSH1 0x04 000002e1: ADD 000002e2: PUSH2 0x02ea 000002e5: SWAP1 000002e6: PUSH2 0x1283 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x40 000002ed: MLOAD 000002ee: DUP1 000002ef: SWAP2 000002f0: SUB 000002f1: SWAP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: PUSH1 0x00 000002f6: CALLER 000002f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030c: AND 0000030d: SELFBALANCE 0000030e: PUSH1 0x40 00000310: MLOAD 00000311: PUSH2 0x0319 00000314: SWAP1 00000315: PUSH2 0x11c1 00000318: JUMP 00000319: JUMPDEST 0000031a: PUSH1 0x00 0000031c: PUSH1 0x40 0000031e: MLOAD 0000031f: DUP1 00000320: DUP4 00000321: SUB 00000322: DUP2 00000323: DUP6 00000324: DUP8 00000325: GAS 00000326: CALL 00000327: SWAP3 00000328: POP 00000329: POP 0000032a: POP 0000032b: RETURNDATASIZE 0000032c: DUP1 0000032d: PUSH1 0x00 0000032f: DUP2 00000330: EQ 00000331: PUSH2 0x0356 00000334: JUMPI 00000335: PUSH1 0x40 00000337: MLOAD 00000338: SWAP2 00000339: POP 0000033a: PUSH1 0x1f 0000033c: NOT 0000033d: PUSH1 0x3f 0000033f: RETURNDATASIZE 00000340: ADD 00000341: AND 00000342: DUP3 00000343: ADD 00000344: PUSH1 0x40 00000346: MSTORE 00000347: RETURNDATASIZE 00000348: DUP3 00000349: MSTORE 0000034a: RETURNDATASIZE 0000034b: PUSH1 0x00 0000034d: PUSH1 0x20 0000034f: DUP5 00000350: ADD 00000351: RETURNDATACOPY 00000352: PUSH2 0x035b 00000355: JUMP 00000356: JUMPDEST 00000357: PUSH1 0x60 00000359: SWAP2 0000035a: POP 0000035b: JUMPDEST 0000035c: POP 0000035d: POP 0000035e: SWAP1 0000035f: POP 00000360: DUP1 00000361: PUSH2 0x0369 00000364: JUMPI 00000365: PUSH1 0x00 00000367: DUP1 00000368: REVERT 00000369: JUMPDEST 0000036a: POP 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH1 0x02 0000036f: PUSH1 0x00 00000371: SWAP1 00000372: SLOAD 00000373: SWAP1 00000374: PUSH2 0x0100 00000377: EXP 00000378: SWAP1 00000379: DIV 0000037a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038f: AND 00000390: DUP2 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH1 0x00 00000395: DUP1 00000396: PUSH1 0x00 00000398: PUSH1 0x05 0000039a: PUSH1 0x00 0000039c: SWAP1 0000039d: SLOAD 0000039e: SWAP1 0000039f: PUSH2 0x0100 000003a2: EXP 000003a3: SWAP1 000003a4: DIV 000003a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ba: AND 000003bb: PUSH1 0x06 000003bd: SLOAD 000003be: PUSH1 0x07 000003c0: SLOAD 000003c1: SWAP3 000003c2: POP 000003c3: SWAP3 000003c4: POP 000003c5: SWAP3 000003c6: POP 000003c7: SWAP1 000003c8: SWAP2 000003c9: SWAP3 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH2 0x03d3 000003cf: PUSH2 0x0d2a 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e9: AND 000003ea: PUSH2 0x03f1 000003ed: PUSH2 0x05fa 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000407: AND 00000408: EQ 00000409: PUSH2 0x0447 0000040c: JUMPI 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000431: DUP2 00000432: MSTORE 00000433: PUSH1 0x04 00000435: ADD 00000436: PUSH2 0x043e 00000439: SWAP1 0000043a: PUSH2 0x1283 0000043d: JUMP 0000043e: JUMPDEST 0000043f: PUSH1 0x40 00000441: MLOAD 00000442: DUP1 00000443: SWAP2 00000444: SUB 00000445: SWAP1 00000446: REVERT 00000447: JUMPDEST 00000448: PUSH2 0x0451 0000044b: PUSH1 0x00 0000044d: PUSH2 0x0d32 00000450: JUMP 00000451: JUMPDEST 00000452: JUMP 00000453: JUMPDEST 00000454: PUSH2 0x045b 00000457: PUSH2 0x0d2a 0000045a: JUMP 0000045b: JUMPDEST 0000045c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000471: AND 00000472: PUSH2 0x0479 00000475: PUSH2 0x05fa 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048f: AND 00000490: EQ 00000491: PUSH2 0x04cf 00000494: JUMPI 00000495: PUSH1 0x40 00000497: MLOAD 00000498: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004b9: DUP2 000004ba: MSTORE 000004bb: PUSH1 0x04 000004bd: ADD 000004be: PUSH2 0x04c6 000004c1: SWAP1 000004c2: PUSH2 0x1283 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH1 0x40 000004c9: MLOAD 000004ca: DUP1 000004cb: SWAP2 000004cc: SUB 000004cd: SWAP1 000004ce: REVERT 000004cf: JUMPDEST 000004d0: PUSH1 0x00 000004d2: PUSH1 0x04 000004d4: PUSH1 0x00 000004d6: DUP4 000004d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ec: AND 000004ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000502: AND 00000503: DUP2 00000504: MSTORE 00000505: PUSH1 0x20 00000507: ADD 00000508: SWAP1 00000509: DUP2 0000050a: MSTORE 0000050b: PUSH1 0x20 0000050d: ADD 0000050e: PUSH1 0x00 00000510: KECCAK256 00000511: PUSH1 0x00 00000513: PUSH2 0x0100 00000516: EXP 00000517: DUP2 00000518: SLOAD 00000519: DUP2 0000051a: PUSH1 0xff 0000051c: MUL 0000051d: NOT 0000051e: AND 0000051f: SWAP1 00000520: DUP4 00000521: ISZERO 00000522: ISZERO 00000523: MUL 00000524: OR 00000525: SWAP1 00000526: SSTORE 00000527: POP 00000528: POP 00000529: JUMP 0000052a: JUMPDEST 0000052b: PUSH2 0x0532 0000052e: PUSH2 0x0d2a 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000548: AND 00000549: PUSH2 0x0550 0000054c: PUSH2 0x05fa 0000054f: JUMP 00000550: JUMPDEST 00000551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000566: AND 00000567: EQ 00000568: PUSH2 0x05a6 0000056b: JUMPI 0000056c: PUSH1 0x40 0000056e: MLOAD 0000056f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000590: DUP2 00000591: MSTORE 00000592: PUSH1 0x04 00000594: ADD 00000595: PUSH2 0x059d 00000598: SWAP1 00000599: PUSH2 0x1283 0000059c: JUMP 0000059d: JUMPDEST 0000059e: PUSH1 0x40 000005a0: MLOAD 000005a1: DUP1 000005a2: SWAP2 000005a3: SUB 000005a4: SWAP1 000005a5: REVERT 000005a6: JUMPDEST 000005a7: DUP3 000005a8: PUSH1 0x05 000005aa: PUSH1 0x00 000005ac: PUSH2 0x0100 000005af: EXP 000005b0: DUP2 000005b1: SLOAD 000005b2: DUP2 000005b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c8: MUL 000005c9: NOT 000005ca: AND 000005cb: SWAP1 000005cc: DUP4 000005cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e2: AND 000005e3: MUL 000005e4: OR 000005e5: SWAP1 000005e6: SSTORE 000005e7: POP 000005e8: DUP2 000005e9: PUSH1 0x06 000005eb: DUP2 000005ec: SWAP1 000005ed: SSTORE 000005ee: POP 000005ef: DUP1 000005f0: PUSH1 0x07 000005f2: DUP2 000005f3: SWAP1 000005f4: SSTORE 000005f5: POP 000005f6: POP 000005f7: POP 000005f8: POP 000005f9: JUMP 000005fa: JUMPDEST 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: PUSH1 0x00 00000600: SWAP1 00000601: SLOAD 00000602: SWAP1 00000603: PUSH2 0x0100 00000606: EXP 00000607: SWAP1 00000608: DIV 00000609: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061e: AND 0000061f: SWAP1 00000620: POP 00000621: SWAP1 00000622: JUMP 00000623: JUMPDEST 00000624: PUSH1 0x01 00000626: ISZERO 00000627: ISZERO 00000628: PUSH1 0x04 0000062a: PUSH1 0x00 0000062c: CALLER 0000062d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000642: AND 00000643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000658: AND 00000659: DUP2 0000065a: MSTORE 0000065b: PUSH1 0x20 0000065d: ADD 0000065e: SWAP1 0000065f: DUP2 00000660: MSTORE 00000661: PUSH1 0x20 00000663: ADD 00000664: PUSH1 0x00 00000666: KECCAK256 00000667: PUSH1 0x00 00000669: SWAP1 0000066a: SLOAD 0000066b: SWAP1 0000066c: PUSH2 0x0100 0000066f: EXP 00000670: SWAP1 00000671: DIV 00000672: PUSH1 0xff 00000674: AND 00000675: ISZERO 00000676: ISZERO 00000677: EQ 00000678: PUSH2 0x06b6 0000067b: JUMPI 0000067c: PUSH1 0x40 0000067e: MLOAD 0000067f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006a0: DUP2 000006a1: MSTORE 000006a2: PUSH1 0x04 000006a4: ADD 000006a5: PUSH2 0x06ad 000006a8: SWAP1 000006a9: PUSH2 0x1263 000006ac: JUMP 000006ad: JUMPDEST 000006ae: PUSH1 0x40 000006b0: MLOAD 000006b1: DUP1 000006b2: SWAP2 000006b3: SUB 000006b4: SWAP1 000006b5: REVERT 000006b6: JUMPDEST 000006b7: PUSH1 0x00 000006b9: PUSH1 0x02 000006bb: PUSH8 0xffffffffffffffff 000006c4: DUP2 000006c5: GT 000006c6: ISZERO 000006c7: PUSH2 0x06d3 000006ca: JUMPI 000006cb: PUSH2 0x06d2 000006ce: PUSH2 0x156f 000006d1: JUMP 000006d2: JUMPDEST 000006d3: JUMPDEST 000006d4: PUSH1 0x40 000006d6: MLOAD 000006d7: SWAP1 000006d8: DUP1 000006d9: DUP3 000006da: MSTORE 000006db: DUP1 000006dc: PUSH1 0x20 000006de: MUL 000006df: PUSH1 0x20 000006e1: ADD 000006e2: DUP3 000006e3: ADD 000006e4: PUSH1 0x40 000006e6: MSTORE 000006e7: DUP1 000006e8: ISZERO 000006e9: PUSH2 0x0701 000006ec: JUMPI 000006ed: DUP2 000006ee: PUSH1 0x20 000006f0: ADD 000006f1: PUSH1 0x20 000006f3: DUP3 000006f4: MUL 000006f5: DUP1 000006f6: CALLDATASIZE 000006f7: DUP4 000006f8: CALLDATACOPY 000006f9: DUP1 000006fa: DUP3 000006fb: ADD 000006fc: SWAP2 000006fd: POP 000006fe: POP 000006ff: SWAP1 00000700: POP 00000701: JUMPDEST 00000702: POP 00000703: SWAP1 00000704: POP 00000705: PUSH1 0x02 00000707: PUSH1 0x00 00000709: SWAP1 0000070a: SLOAD 0000070b: SWAP1 0000070c: PUSH2 0x0100 0000070f: EXP 00000710: SWAP1 00000711: DIV 00000712: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000727: AND 00000728: DUP2 00000729: PUSH1 0x00 0000072b: DUP2 0000072c: MLOAD 0000072d: DUP2 0000072e: LT 0000072f: PUSH2 0x073b 00000732: JUMPI 00000733: PUSH2 0x073a 00000736: PUSH2 0x1540 00000739: JUMP 0000073a: JUMPDEST 0000073b: JUMPDEST 0000073c: PUSH1 0x20 0000073e: MUL 0000073f: PUSH1 0x20 00000741: ADD 00000742: ADD 00000743: SWAP1 00000744: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000759: AND 0000075a: SWAP1 0000075b: DUP2 0000075c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000771: AND 00000772: DUP2 00000773: MSTORE 00000774: POP 00000775: POP 00000776: PUSH1 0x05 00000778: PUSH1 0x00 0000077a: SWAP1 0000077b: SLOAD 0000077c: SWAP1 0000077d: PUSH2 0x0100 00000780: EXP 00000781: SWAP1 00000782: DIV 00000783: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000798: AND 00000799: DUP2 0000079a: PUSH1 0x01 0000079c: DUP2 0000079d: MLOAD 0000079e: DUP2 0000079f: LT 000007a0: PUSH2 0x07ac 000007a3: JUMPI 000007a4: PUSH2 0x07ab 000007a7: PUSH2 0x1540 000007aa: JUMP 000007ab: JUMPDEST 000007ac: JUMPDEST 000007ad: PUSH1 0x20 000007af: MUL 000007b0: PUSH1 0x20 000007b2: ADD 000007b3: ADD 000007b4: SWAP1 000007b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ca: AND 000007cb: SWAP1 000007cc: DUP2 000007cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e2: AND 000007e3: DUP2 000007e4: MSTORE 000007e5: POP 000007e6: POP 000007e7: PUSH1 0x60 000007e9: PUSH1 0x00 000007eb: JUMPDEST 000007ec: PUSH1 0x05 000007ee: DUP2 000007ef: LT 000007f0: ISZERO 000007f1: PUSH2 0x0a1f 000007f4: JUMPI 000007f5: PUSH1 0x01 000007f7: PUSH1 0x00 000007f9: SWAP1 000007fa: SLOAD 000007fb: SWAP1 000007fc: PUSH2 0x0100 000007ff: EXP 00000800: SWAP1 00000801: DIV 00000802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000817: AND 00000818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082d: AND 0000082e: PUSH4 0x1f00ca74 00000833: PUSH1 0x07 00000835: SLOAD 00000836: DUP6 00000837: PUSH1 0x40 00000839: MLOAD 0000083a: DUP4 0000083b: PUSH4 0xffffffff 00000840: AND 00000841: PUSH1 0xe0 00000843: SHL 00000844: DUP2 00000845: MSTORE 00000846: PUSH1 0x04 00000848: ADD 00000849: PUSH2 0x0853 0000084c: SWAP3 0000084d: SWAP2 0000084e: SWAP1 0000084f: PUSH2 0x12a3 00000852: JUMP 00000853: JUMPDEST 00000854: PUSH1 0x00 00000856: PUSH1 0x40 00000858: MLOAD 00000859: DUP1 0000085a: DUP4 0000085b: SUB 0000085c: DUP2 0000085d: DUP7 0000085e: DUP1 0000085f: EXTCODESIZE 00000860: ISZERO 00000861: DUP1 00000862: ISZERO 00000863: PUSH2 0x086b 00000866: JUMPI 00000867: PUSH1 0x00 00000869: DUP1 0000086a: REVERT 0000086b: JUMPDEST 0000086c: POP 0000086d: GAS 0000086e: STATICCALL 0000086f: ISZERO 00000870: DUP1 00000871: ISZERO 00000872: PUSH2 0x087f 00000875: JUMPI 00000876: RETURNDATASIZE 00000877: PUSH1 0x00 00000879: DUP1 0000087a: RETURNDATACOPY 0000087b: RETURNDATASIZE 0000087c: PUSH1 0x00 0000087e: REVERT 0000087f: JUMPDEST 00000880: POP 00000881: POP 00000882: POP 00000883: POP 00000884: PUSH1 0x40 00000886: MLOAD 00000887: RETURNDATASIZE 00000888: PUSH1 0x00 0000088a: DUP3 0000088b: RETURNDATACOPY 0000088c: RETURNDATASIZE 0000088d: PUSH1 0x1f 0000088f: NOT 00000890: PUSH1 0x1f 00000892: DUP3 00000893: ADD 00000894: AND 00000895: DUP3 00000896: ADD 00000897: DUP1 00000898: PUSH1 0x40 0000089a: MSTORE 0000089b: POP 0000089c: DUP2 0000089d: ADD 0000089e: SWAP1 0000089f: PUSH2 0x08a8 000008a2: SWAP2 000008a3: SWAP1 000008a4: PUSH2 0x103a 000008a7: JUMP 000008a8: JUMPDEST 000008a9: SWAP2 000008aa: POP 000008ab: PUSH1 0x06 000008ad: SLOAD 000008ae: DUP3 000008af: PUSH1 0x00 000008b1: DUP2 000008b2: MLOAD 000008b3: DUP2 000008b4: LT 000008b5: PUSH2 0x08c1 000008b8: JUMPI 000008b9: PUSH2 0x08c0 000008bc: PUSH2 0x1540 000008bf: JUMP 000008c0: JUMPDEST 000008c1: JUMPDEST 000008c2: PUSH1 0x20 000008c4: MUL 000008c5: PUSH1 0x20 000008c7: ADD 000008c8: ADD 000008c9: MLOAD 000008ca: GT 000008cb: ISZERO 000008cc: DUP1 000008cd: ISZERO 000008ce: PUSH2 0x08f2 000008d1: JUMPI 000008d2: POP 000008d3: SELFBALANCE 000008d4: DUP3 000008d5: PUSH1 0x00 000008d7: DUP2 000008d8: MLOAD 000008d9: DUP2 000008da: LT 000008db: PUSH2 0x08e7 000008de: JUMPI 000008df: PUSH2 0x08e6 000008e2: PUSH2 0x1540 000008e5: JUMP 000008e6: JUMPDEST 000008e7: JUMPDEST 000008e8: PUSH1 0x20 000008ea: MUL 000008eb: PUSH1 0x20 000008ed: ADD 000008ee: ADD 000008ef: MLOAD 000008f0: GT 000008f1: ISZERO 000008f2: JUMPDEST 000008f3: ISZERO 000008f4: PUSH2 0x0a07 000008f7: JUMPI 000008f8: DUP2 000008f9: PUSH1 0x00 000008fb: DUP2 000008fc: MLOAD 000008fd: DUP2 000008fe: LT 000008ff: PUSH2 0x090b 00000902: JUMPI 00000903: PUSH2 0x090a 00000906: PUSH2 0x1540 00000909: JUMP 0000090a: JUMPDEST 0000090b: JUMPDEST 0000090c: PUSH1 0x20 0000090e: MUL 0000090f: PUSH1 0x20 00000911: ADD 00000912: ADD 00000913: MLOAD 00000914: PUSH1 0x06 00000916: PUSH1 0x00 00000918: DUP3 00000919: DUP3 0000091a: SLOAD 0000091b: PUSH2 0x0924 0000091e: SWAP2 0000091f: SWAP1 00000920: PUSH2 0x13f1 00000923: JUMP 00000924: JUMPDEST 00000925: SWAP3 00000926: POP 00000927: POP 00000928: DUP2 00000929: SWAP1 0000092a: SSTORE 0000092b: POP 0000092c: PUSH1 0x01 0000092e: PUSH1 0x00 00000930: SWAP1 00000931: SLOAD 00000932: SWAP1 00000933: PUSH2 0x0100 00000936: EXP 00000937: SWAP1 00000938: DIV 00000939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000094e: AND 0000094f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000964: AND 00000965: PUSH4 0xfb3bdb41 0000096a: DUP4 0000096b: PUSH1 0x00 0000096d: DUP2 0000096e: MLOAD 0000096f: DUP2 00000970: LT 00000971: PUSH2 0x097d 00000974: JUMPI 00000975: PUSH2 0x097c 00000978: PUSH2 0x1540 0000097b: JUMP 0000097c: JUMPDEST 0000097d: JUMPDEST 0000097e: PUSH1 0x20 00000980: MUL 00000981: PUSH1 0x20 00000983: ADD 00000984: ADD 00000985: MLOAD 00000986: PUSH1 0x07 00000988: SLOAD 00000989: DUP7 0000098a: CALLER 0000098b: TIMESTAMP 0000098c: PUSH1 0x40 0000098e: MLOAD 0000098f: DUP7 00000990: PUSH4 0xffffffff 00000995: AND 00000996: PUSH1 0xe0 00000998: SHL 00000999: DUP2 0000099a: MSTORE 0000099b: PUSH1 0x04 0000099d: ADD 0000099e: PUSH2 0x09aa 000009a1: SWAP5 000009a2: SWAP4 000009a3: SWAP3 000009a4: SWAP2 000009a5: SWAP1 000009a6: PUSH2 0x12d3 000009a9: JUMP 000009aa: JUMPDEST 000009ab: PUSH1 0x00 000009ad: PUSH1 0x40 000009af: MLOAD 000009b0: DUP1 000009b1: DUP4 000009b2: SUB 000009b3: DUP2 000009b4: DUP6 000009b5: DUP9 000009b6: DUP1 000009b7: EXTCODESIZE 000009b8: ISZERO 000009b9: DUP1 000009ba: ISZERO 000009bb: PUSH2 0x09c3 000009be: JUMPI 000009bf: PUSH1 0x00 000009c1: DUP1 000009c2: REVERT 000009c3: JUMPDEST 000009c4: POP 000009c5: GAS 000009c6: CALL 000009c7: ISZERO 000009c8: DUP1 000009c9: ISZERO 000009ca: PUSH2 0x09d7 000009cd: JUMPI 000009ce: RETURNDATASIZE 000009cf: PUSH1 0x00 000009d1: DUP1 000009d2: RETURNDATACOPY 000009d3: RETURNDATASIZE 000009d4: PUSH1 0x00 000009d6: REVERT 000009d7: JUMPDEST 000009d8: POP 000009d9: POP 000009da: POP 000009db: POP 000009dc: POP 000009dd: PUSH1 0x40 000009df: MLOAD 000009e0: RETURNDATASIZE 000009e1: PUSH1 0x00 000009e3: DUP3 000009e4: RETURNDATACOPY 000009e5: RETURNDATASIZE 000009e6: PUSH1 0x1f 000009e8: NOT 000009e9: PUSH1 0x1f 000009eb: DUP3 000009ec: ADD 000009ed: AND 000009ee: DUP3 000009ef: ADD 000009f0: DUP1 000009f1: PUSH1 0x40 000009f3: MSTORE 000009f4: POP 000009f5: DUP2 000009f6: ADD 000009f7: SWAP1 000009f8: PUSH2 0x0a01 000009fb: SWAP2 000009fc: SWAP1 000009fd: PUSH2 0x103a 00000a00: JUMP 00000a01: JUMPDEST 00000a02: POP 00000a03: PUSH2 0x0a0c 00000a06: JUMP 00000a07: JUMPDEST 00000a08: PUSH2 0x0a1f 00000a0b: JUMP 00000a0c: JUMPDEST 00000a0d: DUP1 00000a0e: DUP1 00000a0f: PUSH2 0x0a17 00000a12: SWAP1 00000a13: PUSH2 0x14c8 00000a16: JUMP 00000a17: JUMPDEST 00000a18: SWAP2 00000a19: POP 00000a1a: POP 00000a1b: PUSH2 0x07eb 00000a1e: JUMP 00000a1f: JUMPDEST 00000a20: POP 00000a21: POP 00000a22: POP 00000a23: JUMP 00000a24: JUMPDEST 00000a25: PUSH2 0x0a2c 00000a28: PUSH2 0x0d2a 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a42: AND 00000a43: PUSH2 0x0a4a 00000a46: PUSH2 0x05fa 00000a49: JUMP 00000a4a: JUMPDEST 00000a4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a60: AND 00000a61: EQ 00000a62: PUSH2 0x0aa0 00000a65: JUMPI 00000a66: PUSH1 0x40 00000a68: MLOAD 00000a69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a8a: DUP2 00000a8b: MSTORE 00000a8c: PUSH1 0x04 00000a8e: ADD 00000a8f: PUSH2 0x0a97 00000a92: SWAP1 00000a93: PUSH2 0x1283 00000a96: JUMP 00000a97: JUMPDEST 00000a98: PUSH1 0x40 00000a9a: MLOAD 00000a9b: DUP1 00000a9c: SWAP2 00000a9d: SUB 00000a9e: SWAP1 00000a9f: REVERT 00000aa0: JUMPDEST 00000aa1: PUSH1 0x00 00000aa3: JUMPDEST 00000aa4: DUP2 00000aa5: MLOAD 00000aa6: DUP2 00000aa7: LT 00000aa8: ISZERO 00000aa9: PUSH2 0x0b31 00000aac: JUMPI 00000aad: PUSH1 0x01 00000aaf: PUSH1 0x04 00000ab1: PUSH1 0x00 00000ab3: DUP5 00000ab4: DUP5 00000ab5: DUP2 00000ab6: MLOAD 00000ab7: DUP2 00000ab8: LT 00000ab9: PUSH2 0x0ac5 00000abc: JUMPI 00000abd: PUSH2 0x0ac4 00000ac0: PUSH2 0x1540 00000ac3: JUMP 00000ac4: JUMPDEST 00000ac5: JUMPDEST 00000ac6: PUSH1 0x20 00000ac8: MUL 00000ac9: PUSH1 0x20 00000acb: ADD 00000acc: ADD 00000acd: MLOAD 00000ace: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae3: AND 00000ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af9: AND 00000afa: DUP2 00000afb: MSTORE 00000afc: PUSH1 0x20 00000afe: ADD 00000aff: SWAP1 00000b00: DUP2 00000b01: MSTORE 00000b02: PUSH1 0x20 00000b04: ADD 00000b05: PUSH1 0x00 00000b07: KECCAK256 00000b08: PUSH1 0x00 00000b0a: PUSH2 0x0100 00000b0d: EXP 00000b0e: DUP2 00000b0f: SLOAD 00000b10: DUP2 00000b11: PUSH1 0xff 00000b13: MUL 00000b14: NOT 00000b15: AND 00000b16: SWAP1 00000b17: DUP4 00000b18: ISZERO 00000b19: ISZERO 00000b1a: MUL 00000b1b: OR 00000b1c: SWAP1 00000b1d: SSTORE 00000b1e: POP 00000b1f: DUP1 00000b20: DUP1 00000b21: PUSH2 0x0b29 00000b24: SWAP1 00000b25: PUSH2 0x14c8 00000b28: JUMP 00000b29: JUMPDEST 00000b2a: SWAP2 00000b2b: POP 00000b2c: POP 00000b2d: PUSH2 0x0aa3 00000b30: JUMP 00000b31: JUMPDEST 00000b32: POP 00000b33: POP 00000b34: JUMP 00000b35: JUMPDEST 00000b36: PUSH2 0x0b3d 00000b39: PUSH2 0x0d2a 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b53: AND 00000b54: PUSH2 0x0b5b 00000b57: PUSH2 0x05fa 00000b5a: JUMP 00000b5b: JUMPDEST 00000b5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b71: AND 00000b72: EQ 00000b73: PUSH2 0x0bb1 00000b76: JUMPI 00000b77: PUSH1 0x40 00000b79: MLOAD 00000b7a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b9b: DUP2 00000b9c: MSTORE 00000b9d: PUSH1 0x04 00000b9f: ADD 00000ba0: PUSH2 0x0ba8 00000ba3: SWAP1 00000ba4: PUSH2 0x1283 00000ba7: JUMP 00000ba8: JUMPDEST 00000ba9: PUSH1 0x40 00000bab: MLOAD 00000bac: DUP1 00000bad: SWAP2 00000bae: SUB 00000baf: SWAP1 00000bb0: REVERT 00000bb1: JUMPDEST 00000bb2: PUSH1 0x00 00000bb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc9: AND 00000bca: DUP2 00000bcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be0: AND 00000be1: EQ 00000be2: ISZERO 00000be3: PUSH2 0x0c21 00000be6: JUMPI 00000be7: PUSH1 0x40 00000be9: MLOAD 00000bea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c0b: DUP2 00000c0c: MSTORE 00000c0d: PUSH1 0x04 00000c0f: ADD 00000c10: PUSH2 0x0c18 00000c13: SWAP1 00000c14: PUSH2 0x1243 00000c17: JUMP 00000c18: JUMPDEST 00000c19: PUSH1 0x40 00000c1b: MLOAD 00000c1c: DUP1 00000c1d: SWAP2 00000c1e: SUB 00000c1f: SWAP1 00000c20: REVERT 00000c21: JUMPDEST 00000c22: PUSH2 0x0c2a 00000c25: DUP2 00000c26: PUSH2 0x0d32 00000c29: JUMP 00000c2a: JUMPDEST 00000c2b: POP 00000c2c: JUMP 00000c2d: JUMPDEST 00000c2e: PUSH2 0x0c35 00000c31: PUSH2 0x0d2a 00000c34: JUMP 00000c35: JUMPDEST 00000c36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c4b: AND 00000c4c: PUSH2 0x0c53 00000c4f: PUSH2 0x05fa 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c69: AND 00000c6a: EQ 00000c6b: PUSH2 0x0ca9 00000c6e: JUMPI 00000c6f: PUSH1 0x40 00000c71: MLOAD 00000c72: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c93: DUP2 00000c94: MSTORE 00000c95: PUSH1 0x04 00000c97: ADD 00000c98: PUSH2 0x0ca0 00000c9b: SWAP1 00000c9c: PUSH2 0x1283 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: PUSH1 0x40 00000ca3: MLOAD 00000ca4: DUP1 00000ca5: SWAP2 00000ca6: SUB 00000ca7: SWAP1 00000ca8: REVERT 00000ca9: JUMPDEST 00000caa: PUSH1 0x01 00000cac: PUSH1 0x04 00000cae: PUSH1 0x00 00000cb0: DUP4 00000cb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc6: AND 00000cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cdc: AND 00000cdd: DUP2 00000cde: MSTORE 00000cdf: PUSH1 0x20 00000ce1: ADD 00000ce2: SWAP1 00000ce3: DUP2 00000ce4: MSTORE 00000ce5: PUSH1 0x20 00000ce7: ADD 00000ce8: PUSH1 0x00 00000cea: KECCAK256 00000ceb: PUSH1 0x00 00000ced: PUSH2 0x0100 00000cf0: EXP 00000cf1: DUP2 00000cf2: SLOAD 00000cf3: DUP2 00000cf4: PUSH1 0xff 00000cf6: MUL 00000cf7: NOT 00000cf8: AND 00000cf9: SWAP1 00000cfa: DUP4 00000cfb: ISZERO 00000cfc: ISZERO 00000cfd: MUL 00000cfe: OR 00000cff: SWAP1 00000d00: SSTORE 00000d01: POP 00000d02: POP 00000d03: JUMP 00000d04: JUMPDEST 00000d05: PUSH1 0x01 00000d07: PUSH1 0x00 00000d09: SWAP1 00000d0a: SLOAD 00000d0b: SWAP1 00000d0c: PUSH2 0x0100 00000d0f: EXP 00000d10: SWAP1 00000d11: DIV 00000d12: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d27: AND 00000d28: DUP2 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x00 00000d2d: CALLER 00000d2e: SWAP1 00000d2f: POP 00000d30: SWAP1 00000d31: JUMP 00000d32: JUMPDEST 00000d33: PUSH1 0x00 00000d35: DUP1 00000d36: PUSH1 0x00 00000d38: SWAP1 00000d39: SLOAD 00000d3a: SWAP1 00000d3b: PUSH2 0x0100 00000d3e: EXP 00000d3f: SWAP1 00000d40: DIV 00000d41: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d56: AND 00000d57: SWAP1 00000d58: POP 00000d59: DUP2 00000d5a: PUSH1 0x00 00000d5c: DUP1 00000d5d: PUSH2 0x0100 00000d60: EXP 00000d61: DUP2 00000d62: SLOAD 00000d63: DUP2 00000d64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d79: MUL 00000d7a: NOT 00000d7b: AND 00000d7c: SWAP1 00000d7d: DUP4 00000d7e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d93: AND 00000d94: MUL 00000d95: OR 00000d96: SWAP1 00000d97: SSTORE 00000d98: POP 00000d99: DUP2 00000d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000daf: AND 00000db0: DUP2 00000db1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc6: AND 00000dc7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000de8: PUSH1 0x40 00000dea: MLOAD 00000deb: PUSH1 0x40 00000ded: MLOAD 00000dee: DUP1 00000def: SWAP2 00000df0: SUB 00000df1: SWAP1 00000df2: LOG3 00000df3: POP 00000df4: POP 00000df5: JUMP 00000df6: JUMPDEST 00000df7: PUSH1 0x00 00000df9: PUSH2 0x0e09 00000dfc: PUSH2 0x0e04 00000dff: DUP5 00000e00: PUSH2 0x1344 00000e03: JUMP 00000e04: JUMPDEST 00000e05: PUSH2 0x131f 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: SWAP1 00000e0b: POP 00000e0c: DUP1 00000e0d: DUP4 00000e0e: DUP3 00000e0f: MSTORE 00000e10: PUSH1 0x20 00000e12: DUP3 00000e13: ADD 00000e14: SWAP1 00000e15: POP 00000e16: DUP3 00000e17: DUP6 00000e18: PUSH1 0x20 00000e1a: DUP7 00000e1b: MUL 00000e1c: DUP3 00000e1d: ADD 00000e1e: GT 00000e1f: ISZERO 00000e20: PUSH2 0x0e2c 00000e23: JUMPI 00000e24: PUSH2 0x0e2b 00000e27: PUSH2 0x15a3 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: JUMPDEST 00000e2d: PUSH1 0x00 00000e2f: JUMPDEST 00000e30: DUP6 00000e31: DUP2 00000e32: LT 00000e33: ISZERO 00000e34: PUSH2 0x0e5c 00000e37: JUMPI 00000e38: DUP2 00000e39: PUSH2 0x0e42 00000e3c: DUP9 00000e3d: DUP3 00000e3e: PUSH2 0x0ed6 00000e41: JUMP 00000e42: JUMPDEST 00000e43: DUP5 00000e44: MSTORE 00000e45: PUSH1 0x20 00000e47: DUP5 00000e48: ADD 00000e49: SWAP4 00000e4a: POP 00000e4b: PUSH1 0x20 00000e4d: DUP4 00000e4e: ADD 00000e4f: SWAP3 00000e50: POP 00000e51: POP 00000e52: PUSH1 0x01 00000e54: DUP2 00000e55: ADD 00000e56: SWAP1 00000e57: POP 00000e58: PUSH2 0x0e2f 00000e5b: JUMP 00000e5c: JUMPDEST 00000e5d: POP 00000e5e: POP 00000e5f: POP 00000e60: SWAP4 00000e61: SWAP3 00000e62: POP 00000e63: POP 00000e64: POP 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH1 0x00 00000e69: PUSH2 0x0e79 00000e6c: PUSH2 0x0e74 00000e6f: DUP5 00000e70: PUSH2 0x1370 00000e73: JUMP 00000e74: JUMPDEST 00000e75: PUSH2 0x131f 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: SWAP1 00000e7b: POP 00000e7c: DUP1 00000e7d: DUP4 00000e7e: DUP3 00000e7f: MSTORE 00000e80: PUSH1 0x20 00000e82: DUP3 00000e83: ADD 00000e84: SWAP1 00000e85: POP 00000e86: DUP3 00000e87: DUP6 00000e88: PUSH1 0x20 00000e8a: DUP7 00000e8b: MUL 00000e8c: DUP3 00000e8d: ADD 00000e8e: GT 00000e8f: ISZERO 00000e90: PUSH2 0x0e9c 00000e93: JUMPI 00000e94: PUSH2 0x0e9b 00000e97: PUSH2 0x15a3 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: JUMPDEST 00000e9d: PUSH1 0x00 00000e9f: JUMPDEST 00000ea0: DUP6 00000ea1: DUP2 00000ea2: LT 00000ea3: ISZERO 00000ea4: PUSH2 0x0ecc 00000ea7: JUMPI 00000ea8: DUP2 00000ea9: PUSH2 0x0eb2 00000eac: DUP9 00000ead: DUP3 00000eae: PUSH2 0x0f5c 00000eb1: JUMP 00000eb2: JUMPDEST 00000eb3: DUP5 00000eb4: MSTORE 00000eb5: PUSH1 0x20 00000eb7: DUP5 00000eb8: ADD 00000eb9: SWAP4 00000eba: POP 00000ebb: PUSH1 0x20 00000ebd: DUP4 00000ebe: ADD 00000ebf: SWAP3 00000ec0: POP 00000ec1: POP 00000ec2: PUSH1 0x01 00000ec4: DUP2 00000ec5: ADD 00000ec6: SWAP1 00000ec7: POP 00000ec8: PUSH2 0x0e9f 00000ecb: JUMP 00000ecc: JUMPDEST 00000ecd: POP 00000ece: POP 00000ecf: POP 00000ed0: SWAP4 00000ed1: SWAP3 00000ed2: POP 00000ed3: POP 00000ed4: POP 00000ed5: JUMP 00000ed6: JUMPDEST 00000ed7: PUSH1 0x00 00000ed9: DUP2 00000eda: CALLDATALOAD 00000edb: SWAP1 00000edc: POP 00000edd: PUSH2 0x0ee5 00000ee0: DUP2 00000ee1: PUSH2 0x168d 00000ee4: JUMP 00000ee5: JUMPDEST 00000ee6: SWAP3 00000ee7: SWAP2 00000ee8: POP 00000ee9: POP 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: PUSH1 0x00 00000eee: DUP3 00000eef: PUSH1 0x1f 00000ef1: DUP4 00000ef2: ADD 00000ef3: SLT 00000ef4: PUSH2 0x0f00 00000ef7: JUMPI 00000ef8: PUSH2 0x0eff 00000efb: PUSH2 0x159e 00000efe: JUMP 00000eff: JUMPDEST 00000f00: JUMPDEST 00000f01: DUP2 00000f02: CALLDATALOAD 00000f03: PUSH2 0x0f10 00000f06: DUP5 00000f07: DUP3 00000f08: PUSH1 0x20 00000f0a: DUP7 00000f0b: ADD 00000f0c: PUSH2 0x0df6 00000f0f: JUMP 00000f10: JUMPDEST 00000f11: SWAP2 00000f12: POP 00000f13: POP 00000f14: SWAP3 00000f15: SWAP2 00000f16: POP 00000f17: POP 00000f18: JUMP 00000f19: JUMPDEST 00000f1a: PUSH1 0x00 00000f1c: DUP3 00000f1d: PUSH1 0x1f 00000f1f: DUP4 00000f20: ADD 00000f21: SLT 00000f22: PUSH2 0x0f2e 00000f25: JUMPI 00000f26: PUSH2 0x0f2d 00000f29: PUSH2 0x159e 00000f2c: JUMP 00000f2d: JUMPDEST 00000f2e: JUMPDEST 00000f2f: DUP2 00000f30: MLOAD 00000f31: PUSH2 0x0f3e 00000f34: DUP5 00000f35: DUP3 00000f36: PUSH1 0x20 00000f38: DUP7 00000f39: ADD 00000f3a: PUSH2 0x0e66 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: SWAP2 00000f40: POP 00000f41: POP 00000f42: SWAP3 00000f43: SWAP2 00000f44: POP 00000f45: POP 00000f46: JUMP 00000f47: JUMPDEST 00000f48: PUSH1 0x00 00000f4a: DUP2 00000f4b: CALLDATALOAD 00000f4c: SWAP1 00000f4d: POP 00000f4e: PUSH2 0x0f56 00000f51: DUP2 00000f52: PUSH2 0x16a4 00000f55: JUMP 00000f56: JUMPDEST 00000f57: SWAP3 00000f58: SWAP2 00000f59: POP 00000f5a: POP 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: PUSH1 0x00 00000f5f: DUP2 00000f60: MLOAD 00000f61: SWAP1 00000f62: POP 00000f63: PUSH2 0x0f6b 00000f66: DUP2 00000f67: PUSH2 0x16a4 00000f6a: JUMP 00000f6b: JUMPDEST 00000f6c: SWAP3 00000f6d: SWAP2 00000f6e: POP 00000f6f: POP 00000f70: JUMP 00000f71: JUMPDEST 00000f72: PUSH1 0x00 00000f74: PUSH1 0x20 00000f76: DUP3 00000f77: DUP5 00000f78: SUB 00000f79: SLT 00000f7a: ISZERO 00000f7b: PUSH2 0x0f87 00000f7e: JUMPI 00000f7f: PUSH2 0x0f86 00000f82: PUSH2 0x15ad 00000f85: JUMP 00000f86: JUMPDEST 00000f87: JUMPDEST 00000f88: PUSH1 0x00 00000f8a: PUSH2 0x0f95 00000f8d: DUP5 00000f8e: DUP3 00000f8f: DUP6 00000f90: ADD 00000f91: PUSH2 0x0ed6 00000f94: JUMP 00000f95: JUMPDEST 00000f96: SWAP2 00000f97: POP 00000f98: POP 00000f99: SWAP3 00000f9a: SWAP2 00000f9b: POP 00000f9c: POP 00000f9d: JUMP 00000f9e: JUMPDEST 00000f9f: PUSH1 0x00 00000fa1: DUP1 00000fa2: PUSH1 0x00 00000fa4: PUSH1 0x60 00000fa6: DUP5 00000fa7: DUP7 00000fa8: SUB 00000fa9: SLT 00000faa: ISZERO 00000fab: PUSH2 0x0fb7 00000fae: JUMPI 00000faf: PUSH2 0x0fb6 00000fb2: PUSH2 0x15ad 00000fb5: JUMP 00000fb6: JUMPDEST 00000fb7: JUMPDEST 00000fb8: PUSH1 0x00 00000fba: PUSH2 0x0fc5 00000fbd: DUP7 00000fbe: DUP3 00000fbf: DUP8 00000fc0: ADD 00000fc1: PUSH2 0x0ed6 00000fc4: JUMP 00000fc5: JUMPDEST 00000fc6: SWAP4 00000fc7: POP 00000fc8: POP 00000fc9: PUSH1 0x20 00000fcb: PUSH2 0x0fd6 00000fce: DUP7 00000fcf: DUP3 00000fd0: DUP8 00000fd1: ADD 00000fd2: PUSH2 0x0f47 00000fd5: JUMP 00000fd6: JUMPDEST 00000fd7: SWAP3 00000fd8: POP 00000fd9: POP 00000fda: PUSH1 0x40 00000fdc: PUSH2 0x0fe7 00000fdf: DUP7 00000fe0: DUP3 00000fe1: DUP8 00000fe2: ADD 00000fe3: PUSH2 0x0f47 00000fe6: JUMP 00000fe7: JUMPDEST 00000fe8: SWAP2 00000fe9: POP 00000fea: POP 00000feb: SWAP3 00000fec: POP 00000fed: SWAP3 00000fee: POP 00000fef: SWAP3 00000ff0: JUMP 00000ff1: JUMPDEST 00000ff2: PUSH1 0x00 00000ff4: PUSH1 0x20 00000ff6: DUP3 00000ff7: DUP5 00000ff8: SUB 00000ff9: SLT 00000ffa: ISZERO 00000ffb: PUSH2 0x1007 00000ffe: JUMPI 00000fff: PUSH2 0x1006 00001002: PUSH2 0x15ad 00001005: JUMP 00001006: JUMPDEST 00001007: JUMPDEST 00001008: PUSH1 0x00 0000100a: DUP3 0000100b: ADD 0000100c: CALLDATALOAD 0000100d: PUSH8 0xffffffffffffffff 00001016: DUP2 00001017: GT 00001018: ISZERO 00001019: PUSH2 0x1025 0000101c: JUMPI 0000101d: PUSH2 0x1024 00001020: PUSH2 0x15a8 00001023: JUMP 00001024: JUMPDEST 00001025: JUMPDEST 00001026: PUSH2 0x1031 00001029: DUP5 0000102a: DUP3 0000102b: DUP6 0000102c: ADD 0000102d: PUSH2 0x0eeb 00001030: JUMP 00001031: JUMPDEST 00001032: SWAP2 00001033: POP 00001034: POP 00001035: SWAP3 00001036: SWAP2 00001037: POP 00001038: POP 00001039: JUMP 0000103a: JUMPDEST 0000103b: PUSH1 0x00 0000103d: PUSH1 0x20 0000103f: DUP3 00001040: DUP5 00001041: SUB 00001042: SLT 00001043: ISZERO 00001044: PUSH2 0x1050 00001047: JUMPI 00001048: PUSH2 0x104f 0000104b: PUSH2 0x15ad 0000104e: JUMP 0000104f: JUMPDEST 00001050: JUMPDEST 00001051: PUSH1 0x00 00001053: DUP3 00001054: ADD 00001055: MLOAD 00001056: PUSH8 0xffffffffffffffff 0000105f: DUP2 00001060: GT 00001061: ISZERO 00001062: PUSH2 0x106e 00001065: JUMPI 00001066: PUSH2 0x106d 00001069: PUSH2 0x15a8 0000106c: JUMP 0000106d: JUMPDEST 0000106e: JUMPDEST 0000106f: PUSH2 0x107a 00001072: DUP5 00001073: DUP3 00001074: DUP6 00001075: ADD 00001076: PUSH2 0x0f19 00001079: JUMP 0000107a: JUMPDEST 0000107b: SWAP2 0000107c: POP 0000107d: POP 0000107e: SWAP3 0000107f: SWAP2 00001080: POP 00001081: POP 00001082: JUMP 00001083: JUMPDEST 00001084: PUSH1 0x00 00001086: PUSH2 0x108f 00001089: DUP4 0000108a: DUP4 0000108b: PUSH2 0x109b 0000108e: JUMP 0000108f: JUMPDEST 00001090: PUSH1 0x20 00001092: DUP4 00001093: ADD 00001094: SWAP1 00001095: POP 00001096: SWAP3 00001097: SWAP2 00001098: POP 00001099: POP 0000109a: JUMP 0000109b: JUMPDEST 0000109c: PUSH2 0x10a4 0000109f: DUP2 000010a0: PUSH2 0x1425 000010a3: JUMP 000010a4: JUMPDEST 000010a5: DUP3 000010a6: MSTORE 000010a7: POP 000010a8: POP 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH2 0x10b3 000010ae: DUP2 000010af: PUSH2 0x1425 000010b2: JUMP 000010b3: JUMPDEST 000010b4: DUP3 000010b5: MSTORE 000010b6: POP 000010b7: POP 000010b8: JUMP 000010b9: JUMPDEST 000010ba: PUSH1 0x00 000010bc: PUSH2 0x10c4 000010bf: DUP3 000010c0: PUSH2 0x13ac 000010c3: JUMP 000010c4: JUMPDEST 000010c5: PUSH2 0x10ce 000010c8: DUP2 000010c9: DUP6 000010ca: PUSH2 0x13c4 000010cd: JUMP 000010ce: JUMPDEST 000010cf: SWAP4 000010d0: POP 000010d1: PUSH2 0x10d9 000010d4: DUP4 000010d5: PUSH2 0x139c 000010d8: JUMP 000010d9: JUMPDEST 000010da: DUP1 000010db: PUSH1 0x00 000010dd: JUMPDEST 000010de: DUP4 000010df: DUP2 000010e0: LT 000010e1: ISZERO 000010e2: PUSH2 0x110a 000010e5: JUMPI 000010e6: DUP2 000010e7: MLOAD 000010e8: PUSH2 0x10f1 000010eb: DUP9 000010ec: DUP3 000010ed: PUSH2 0x1083 000010f0: JUMP 000010f1: JUMPDEST 000010f2: SWAP8 000010f3: POP 000010f4: PUSH2 0x10fc 000010f7: DUP4 000010f8: PUSH2 0x13b7 000010fb: JUMP 000010fc: JUMPDEST 000010fd: SWAP3 000010fe: POP 000010ff: POP 00001100: PUSH1 0x01 00001102: DUP2 00001103: ADD 00001104: SWAP1 00001105: POP 00001106: PUSH2 0x10dd 00001109: JUMP 0000110a: JUMPDEST 0000110b: POP 0000110c: DUP6 0000110d: SWAP4 0000110e: POP 0000110f: POP 00001110: POP 00001111: POP 00001112: SWAP3 00001113: SWAP2 00001114: POP 00001115: POP 00001116: JUMP 00001117: JUMPDEST 00001118: PUSH2 0x1120 0000111b: DUP2 0000111c: PUSH2 0x1461 0000111f: JUMP 00001120: JUMPDEST 00001121: DUP3 00001122: MSTORE 00001123: POP 00001124: POP 00001125: JUMP 00001126: JUMPDEST 00001127: PUSH1 0x00 00001129: PUSH2 0x1133 0000112c: PUSH1 0x26 0000112e: DUP4 0000112f: PUSH2 0x13e0 00001132: JUMP 00001133: JUMPDEST 00001134: SWAP2 00001135: POP 00001136: PUSH2 0x113e 00001139: DUP3 0000113a: PUSH2 0x15c3 0000113d: JUMP 0000113e: JUMPDEST 0000113f: PUSH1 0x40 00001141: DUP3 00001142: ADD 00001143: SWAP1 00001144: POP 00001145: SWAP2 00001146: SWAP1 00001147: POP 00001148: JUMP 00001149: JUMPDEST 0000114a: PUSH1 0x00 0000114c: PUSH2 0x1156 0000114f: PUSH1 0x21 00001151: DUP4 00001152: PUSH2 0x13e0 00001155: JUMP 00001156: JUMPDEST 00001157: SWAP2 00001158: POP 00001159: PUSH2 0x1161 0000115c: DUP3 0000115d: PUSH2 0x1612 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH1 0x40 00001164: DUP3 00001165: ADD 00001166: SWAP1 00001167: POP 00001168: SWAP2 00001169: SWAP1 0000116a: POP 0000116b: JUMP 0000116c: JUMPDEST 0000116d: PUSH1 0x00 0000116f: PUSH2 0x1179 00001172: PUSH1 0x20 00001174: DUP4 00001175: PUSH2 0x13e0 00001178: JUMP 00001179: JUMPDEST 0000117a: SWAP2 0000117b: POP 0000117c: PUSH2 0x1184 0000117f: DUP3 00001180: PUSH2 0x1661 00001183: JUMP 00001184: JUMPDEST 00001185: PUSH1 0x20 00001187: DUP3 00001188: ADD 00001189: SWAP1 0000118a: POP 0000118b: SWAP2 0000118c: SWAP1 0000118d: POP 0000118e: JUMP 0000118f: JUMPDEST 00001190: PUSH1 0x00 00001192: PUSH2 0x119c 00001195: PUSH1 0x00 00001197: DUP4 00001198: PUSH2 0x13d5 0000119b: JUMP 0000119c: JUMPDEST 0000119d: SWAP2 0000119e: POP 0000119f: PUSH2 0x11a7 000011a2: DUP3 000011a3: PUSH2 0x168a 000011a6: JUMP 000011a7: JUMPDEST 000011a8: PUSH1 0x00 000011aa: DUP3 000011ab: ADD 000011ac: SWAP1 000011ad: POP 000011ae: SWAP2 000011af: SWAP1 000011b0: POP 000011b1: JUMP 000011b2: JUMPDEST 000011b3: PUSH2 0x11bb 000011b6: DUP2 000011b7: PUSH2 0x1457 000011ba: JUMP 000011bb: JUMPDEST 000011bc: DUP3 000011bd: MSTORE 000011be: POP 000011bf: POP 000011c0: JUMP 000011c1: JUMPDEST 000011c2: PUSH1 0x00 000011c4: PUSH2 0x11cc 000011c7: DUP3 000011c8: PUSH2 0x118f 000011cb: JUMP 000011cc: JUMPDEST 000011cd: SWAP2 000011ce: POP 000011cf: DUP2 000011d0: SWAP1 000011d1: POP 000011d2: SWAP2 000011d3: SWAP1 000011d4: POP 000011d5: JUMP 000011d6: JUMPDEST 000011d7: PUSH1 0x00 000011d9: PUSH1 0x20 000011db: DUP3 000011dc: ADD 000011dd: SWAP1 000011de: POP 000011df: PUSH2 0x11eb 000011e2: PUSH1 0x00 000011e4: DUP4 000011e5: ADD 000011e6: DUP5 000011e7: PUSH2 0x10aa 000011ea: JUMP 000011eb: JUMPDEST 000011ec: SWAP3 000011ed: SWAP2 000011ee: POP 000011ef: POP 000011f0: JUMP 000011f1: JUMPDEST 000011f2: PUSH1 0x00 000011f4: PUSH1 0x60 000011f6: DUP3 000011f7: ADD 000011f8: SWAP1 000011f9: POP 000011fa: PUSH2 0x1206 000011fd: PUSH1 0x00 000011ff: DUP4 00001200: ADD 00001201: DUP7 00001202: PUSH2 0x10aa 00001205: JUMP 00001206: JUMPDEST 00001207: PUSH2 0x1213 0000120a: PUSH1 0x20 0000120c: DUP4 0000120d: ADD 0000120e: DUP6 0000120f: PUSH2 0x11b2 00001212: JUMP 00001213: JUMPDEST 00001214: PUSH2 0x1220 00001217: PUSH1 0x40 00001219: DUP4 0000121a: ADD 0000121b: DUP5 0000121c: PUSH2 0x11b2 0000121f: JUMP 00001220: JUMPDEST 00001221: SWAP5 00001222: SWAP4 00001223: POP 00001224: POP 00001225: POP 00001226: POP 00001227: JUMP 00001228: JUMPDEST 00001229: PUSH1 0x00 0000122b: PUSH1 0x20 0000122d: DUP3 0000122e: ADD 0000122f: SWAP1 00001230: POP 00001231: PUSH2 0x123d 00001234: PUSH1 0x00 00001236: DUP4 00001237: ADD 00001238: DUP5 00001239: PUSH2 0x1117 0000123c: JUMP 0000123d: JUMPDEST 0000123e: SWAP3 0000123f: SWAP2 00001240: POP 00001241: POP 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH1 0x00 00001246: PUSH1 0x20 00001248: DUP3 00001249: ADD 0000124a: SWAP1 0000124b: POP 0000124c: DUP2 0000124d: DUP2 0000124e: SUB 0000124f: PUSH1 0x00 00001251: DUP4 00001252: ADD 00001253: MSTORE 00001254: PUSH2 0x125c 00001257: DUP2 00001258: PUSH2 0x1126 0000125b: JUMP 0000125c: JUMPDEST 0000125d: SWAP1 0000125e: POP 0000125f: SWAP2 00001260: SWAP1 00001261: POP 00001262: JUMP 00001263: JUMPDEST 00001264: PUSH1 0x00 00001266: PUSH1 0x20 00001268: DUP3 00001269: ADD 0000126a: SWAP1 0000126b: POP 0000126c: DUP2 0000126d: DUP2 0000126e: SUB 0000126f: PUSH1 0x00 00001271: DUP4 00001272: ADD 00001273: MSTORE 00001274: PUSH2 0x127c 00001277: DUP2 00001278: PUSH2 0x1149 0000127b: JUMP 0000127c: JUMPDEST 0000127d: SWAP1 0000127e: POP 0000127f: SWAP2 00001280: SWAP1 00001281: POP 00001282: JUMP 00001283: JUMPDEST 00001284: PUSH1 0x00 00001286: PUSH1 0x20 00001288: DUP3 00001289: ADD 0000128a: SWAP1 0000128b: POP 0000128c: DUP2 0000128d: DUP2 0000128e: SUB 0000128f: PUSH1 0x00 00001291: DUP4 00001292: ADD 00001293: MSTORE 00001294: PUSH2 0x129c 00001297: DUP2 00001298: PUSH2 0x116c 0000129b: JUMP 0000129c: JUMPDEST 0000129d: SWAP1 0000129e: POP 0000129f: SWAP2 000012a0: SWAP1 000012a1: POP 000012a2: JUMP 000012a3: JUMPDEST 000012a4: PUSH1 0x00 000012a6: PUSH1 0x40 000012a8: DUP3 000012a9: ADD 000012aa: SWAP1 000012ab: POP 000012ac: PUSH2 0x12b8 000012af: PUSH1 0x00 000012b1: DUP4 000012b2: ADD 000012b3: DUP6 000012b4: PUSH2 0x11b2 000012b7: JUMP 000012b8: JUMPDEST 000012b9: DUP2 000012ba: DUP2 000012bb: SUB 000012bc: PUSH1 0x20 000012be: DUP4 000012bf: ADD 000012c0: MSTORE 000012c1: PUSH2 0x12ca 000012c4: DUP2 000012c5: DUP5 000012c6: PUSH2 0x10b9 000012c9: JUMP 000012ca: JUMPDEST 000012cb: SWAP1 000012cc: POP 000012cd: SWAP4 000012ce: SWAP3 000012cf: POP 000012d0: POP 000012d1: POP 000012d2: JUMP 000012d3: JUMPDEST 000012d4: PUSH1 0x00 000012d6: PUSH1 0x80 000012d8: DUP3 000012d9: ADD 000012da: SWAP1 000012db: POP 000012dc: PUSH2 0x12e8 000012df: PUSH1 0x00 000012e1: DUP4 000012e2: ADD 000012e3: DUP8 000012e4: PUSH2 0x11b2 000012e7: JUMP 000012e8: JUMPDEST 000012e9: DUP2 000012ea: DUP2 000012eb: SUB 000012ec: PUSH1 0x20 000012ee: DUP4 000012ef: ADD 000012f0: MSTORE 000012f1: PUSH2 0x12fa 000012f4: DUP2 000012f5: DUP7 000012f6: PUSH2 0x10b9 000012f9: JUMP 000012fa: JUMPDEST 000012fb: SWAP1 000012fc: POP 000012fd: PUSH2 0x1309 00001300: PUSH1 0x40 00001302: DUP4 00001303: ADD 00001304: DUP6 00001305: PUSH2 0x10aa 00001308: JUMP 00001309: JUMPDEST 0000130a: PUSH2 0x1316 0000130d: PUSH1 0x60 0000130f: DUP4 00001310: ADD 00001311: DUP5 00001312: PUSH2 0x11b2 00001315: JUMP 00001316: JUMPDEST 00001317: SWAP6 00001318: SWAP5 00001319: POP 0000131a: POP 0000131b: POP 0000131c: POP 0000131d: POP 0000131e: JUMP 0000131f: JUMPDEST 00001320: PUSH1 0x00 00001322: PUSH2 0x1329 00001325: PUSH2 0x133a 00001328: JUMP 00001329: JUMPDEST 0000132a: SWAP1 0000132b: POP 0000132c: PUSH2 0x1335 0000132f: DUP3 00001330: DUP3 00001331: PUSH2 0x1497 00001334: JUMP 00001335: JUMPDEST 00001336: SWAP2 00001337: SWAP1 00001338: POP 00001339: JUMP 0000133a: JUMPDEST 0000133b: PUSH1 0x00 0000133d: PUSH1 0x40 0000133f: MLOAD 00001340: SWAP1 00001341: POP 00001342: SWAP1 00001343: JUMP 00001344: JUMPDEST 00001345: PUSH1 0x00 00001347: PUSH8 0xffffffffffffffff 00001350: DUP3 00001351: GT 00001352: ISZERO 00001353: PUSH2 0x135f 00001356: JUMPI 00001357: PUSH2 0x135e 0000135a: PUSH2 0x156f 0000135d: JUMP 0000135e: JUMPDEST 0000135f: JUMPDEST 00001360: PUSH1 0x20 00001362: DUP3 00001363: MUL 00001364: SWAP1 00001365: POP 00001366: PUSH1 0x20 00001368: DUP2 00001369: ADD 0000136a: SWAP1 0000136b: POP 0000136c: SWAP2 0000136d: SWAP1 0000136e: POP 0000136f: JUMP 00001370: JUMPDEST 00001371: PUSH1 0x00 00001373: PUSH8 0xffffffffffffffff 0000137c: DUP3 0000137d: GT 0000137e: ISZERO 0000137f: PUSH2 0x138b 00001382: JUMPI 00001383: PUSH2 0x138a 00001386: PUSH2 0x156f 00001389: JUMP 0000138a: JUMPDEST 0000138b: JUMPDEST 0000138c: PUSH1 0x20 0000138e: DUP3 0000138f: MUL 00001390: SWAP1 00001391: POP 00001392: PUSH1 0x20 00001394: DUP2 00001395: ADD 00001396: SWAP1 00001397: POP 00001398: SWAP2 00001399: SWAP1 0000139a: POP 0000139b: JUMP 0000139c: JUMPDEST 0000139d: PUSH1 0x00 0000139f: DUP2 000013a0: SWAP1 000013a1: POP 000013a2: PUSH1 0x20 000013a4: DUP3 000013a5: ADD 000013a6: SWAP1 000013a7: POP 000013a8: SWAP2 000013a9: SWAP1 000013aa: POP 000013ab: JUMP 000013ac: JUMPDEST 000013ad: PUSH1 0x00 000013af: DUP2 000013b0: MLOAD 000013b1: SWAP1 000013b2: POP 000013b3: SWAP2 000013b4: SWAP1 000013b5: POP 000013b6: JUMP 000013b7: JUMPDEST 000013b8: PUSH1 0x00 000013ba: PUSH1 0x20 000013bc: DUP3 000013bd: ADD 000013be: SWAP1 000013bf: POP 000013c0: SWAP2 000013c1: SWAP1 000013c2: POP 000013c3: JUMP 000013c4: JUMPDEST 000013c5: PUSH1 0x00 000013c7: DUP3 000013c8: DUP3 000013c9: MSTORE 000013ca: PUSH1 0x20 000013cc: DUP3 000013cd: ADD 000013ce: SWAP1 000013cf: POP 000013d0: SWAP3 000013d1: SWAP2 000013d2: POP 000013d3: POP 000013d4: JUMP 000013d5: JUMPDEST 000013d6: PUSH1 0x00 000013d8: DUP2 000013d9: SWAP1 000013da: POP 000013db: SWAP3 000013dc: SWAP2 000013dd: POP 000013de: POP 000013df: JUMP 000013e0: JUMPDEST 000013e1: PUSH1 0x00 000013e3: DUP3 000013e4: DUP3 000013e5: MSTORE 000013e6: PUSH1 0x20 000013e8: DUP3 000013e9: ADD 000013ea: SWAP1 000013eb: POP 000013ec: SWAP3 000013ed: SWAP2 000013ee: POP 000013ef: POP 000013f0: JUMP 000013f1: JUMPDEST 000013f2: PUSH1 0x00 000013f4: PUSH2 0x13fc 000013f7: DUP3 000013f8: PUSH2 0x1457 000013fb: JUMP 000013fc: JUMPDEST 000013fd: SWAP2 000013fe: POP 000013ff: PUSH2 0x1407 00001402: DUP4 00001403: PUSH2 0x1457 00001406: JUMP 00001407: JUMPDEST 00001408: SWAP3 00001409: POP 0000140a: DUP3 0000140b: DUP3 0000140c: LT 0000140d: ISZERO 0000140e: PUSH2 0x141a 00001411: JUMPI 00001412: PUSH2 0x1419 00001415: PUSH2 0x1511 00001418: JUMP 00001419: JUMPDEST 0000141a: JUMPDEST 0000141b: DUP3 0000141c: DUP3 0000141d: SUB 0000141e: SWAP1 0000141f: POP 00001420: SWAP3 00001421: SWAP2 00001422: POP 00001423: POP 00001424: JUMP 00001425: JUMPDEST 00001426: PUSH1 0x00 00001428: PUSH2 0x1430 0000142b: DUP3 0000142c: PUSH2 0x1437 0000142f: JUMP 00001430: JUMPDEST 00001431: SWAP1 00001432: POP 00001433: SWAP2 00001434: SWAP1 00001435: POP 00001436: JUMP 00001437: JUMPDEST 00001438: PUSH1 0x00 0000143a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144f: DUP3 00001450: AND 00001451: SWAP1 00001452: POP 00001453: SWAP2 00001454: SWAP1 00001455: POP 00001456: JUMP 00001457: JUMPDEST 00001458: PUSH1 0x00 0000145a: DUP2 0000145b: SWAP1 0000145c: POP 0000145d: SWAP2 0000145e: SWAP1 0000145f: POP 00001460: JUMP 00001461: JUMPDEST 00001462: PUSH1 0x00 00001464: PUSH2 0x146c 00001467: DUP3 00001468: PUSH2 0x1473 0000146b: JUMP 0000146c: JUMPDEST 0000146d: SWAP1 0000146e: POP 0000146f: SWAP2 00001470: SWAP1 00001471: POP 00001472: JUMP 00001473: JUMPDEST 00001474: PUSH1 0x00 00001476: PUSH2 0x147e 00001479: DUP3 0000147a: PUSH2 0x1485 0000147d: JUMP 0000147e: JUMPDEST 0000147f: SWAP1 00001480: POP 00001481: SWAP2 00001482: SWAP1 00001483: POP 00001484: JUMP 00001485: JUMPDEST 00001486: PUSH1 0x00 00001488: PUSH2 0x1490 0000148b: DUP3 0000148c: PUSH2 0x1437 0000148f: JUMP 00001490: JUMPDEST 00001491: SWAP1 00001492: POP 00001493: SWAP2 00001494: SWAP1 00001495: POP 00001496: JUMP 00001497: JUMPDEST 00001498: PUSH2 0x14a0 0000149b: DUP3 0000149c: PUSH2 0x15b2 0000149f: JUMP 000014a0: JUMPDEST 000014a1: DUP2 000014a2: ADD 000014a3: DUP2 000014a4: DUP2 000014a5: LT 000014a6: PUSH8 0xffffffffffffffff 000014af: DUP3 000014b0: GT 000014b1: OR 000014b2: ISZERO 000014b3: PUSH2 0x14bf 000014b6: JUMPI 000014b7: PUSH2 0x14be 000014ba: PUSH2 0x156f 000014bd: JUMP 000014be: JUMPDEST 000014bf: JUMPDEST 000014c0: DUP1 000014c1: PUSH1 0x40 000014c3: MSTORE 000014c4: POP 000014c5: POP 000014c6: POP 000014c7: JUMP 000014c8: JUMPDEST 000014c9: PUSH1 0x00 000014cb: PUSH2 0x14d3 000014ce: DUP3 000014cf: PUSH2 0x1457 000014d2: JUMP 000014d3: JUMPDEST 000014d4: SWAP2 000014d5: POP 000014d6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000014f7: DUP3 000014f8: EQ 000014f9: ISZERO 000014fa: PUSH2 0x1506 000014fd: JUMPI 000014fe: PUSH2 0x1505 00001501: PUSH2 0x1511 00001504: JUMP 00001505: JUMPDEST 00001506: JUMPDEST 00001507: PUSH1 0x01 00001509: DUP3 0000150a: ADD 0000150b: SWAP1 0000150c: POP 0000150d: SWAP2 0000150e: SWAP1 0000150f: POP 00001510: JUMP 00001511: JUMPDEST 00001512: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001533: PUSH1 0x00 00001535: MSTORE 00001536: PUSH1 0x11 00001538: PUSH1 0x04 0000153a: MSTORE 0000153b: PUSH1 0x24 0000153d: PUSH1 0x00 0000153f: REVERT 00001540: JUMPDEST 00001541: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001562: PUSH1 0x00 00001564: MSTORE 00001565: PUSH1 0x32 00001567: PUSH1 0x04 00001569: MSTORE 0000156a: PUSH1 0x24 0000156c: PUSH1 0x00 0000156e: REVERT 0000156f: JUMPDEST 00001570: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001591: PUSH1 0x00 00001593: MSTORE 00001594: PUSH1 0x41 00001596: PUSH1 0x04 00001598: MSTORE 00001599: PUSH1 0x24 0000159b: PUSH1 0x00 0000159d: REVERT 0000159e: JUMPDEST 0000159f: PUSH1 0x00 000015a1: DUP1 000015a2: REVERT 000015a3: JUMPDEST 000015a4: PUSH1 0x00 000015a6: DUP1 000015a7: REVERT 000015a8: JUMPDEST 000015a9: PUSH1 0x00 000015ab: DUP1 000015ac: REVERT 000015ad: JUMPDEST 000015ae: PUSH1 0x00 000015b0: DUP1 000015b1: REVERT 000015b2: JUMPDEST 000015b3: PUSH1 0x00 000015b5: PUSH1 0x1f 000015b7: NOT 000015b8: PUSH1 0x1f 000015ba: DUP4 000015bb: ADD 000015bc: AND 000015bd: SWAP1 000015be: POP 000015bf: SWAP2 000015c0: SWAP1 000015c1: POP 000015c2: JUMP 000015c3: JUMPDEST 000015c4: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000015e5: PUSH1 0x00 000015e7: DUP3 000015e8: ADD 000015e9: MSTORE 000015ea: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 0000160b: PUSH1 0x20 0000160d: DUP3 0000160e: ADD 0000160f: MSTORE 00001610: POP 00001611: JUMP 00001612: JUMPDEST 00001613: PUSH32 0x6f6e6c792077686974656c69737420757365722063616e2063616c6c20746869 00001634: PUSH1 0x00 00001636: DUP3 00001637: ADD 00001638: MSTORE 00001639: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 0000165a: PUSH1 0x20 0000165c: DUP3 0000165d: ADD 0000165e: MSTORE 0000165f: POP 00001660: JUMP 00001661: JUMPDEST 00001662: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001683: PUSH1 0x00 00001685: DUP3 00001686: ADD 00001687: MSTORE 00001688: POP 00001689: JUMP 0000168a: JUMPDEST 0000168b: POP 0000168c: JUMP 0000168d: JUMPDEST 0000168e: PUSH2 0x1696 00001691: DUP2 00001692: PUSH2 0x1425 00001695: JUMP 00001696: JUMPDEST 00001697: DUP2 00001698: EQ 00001699: PUSH2 0x16a1 0000169c: JUMPI 0000169d: PUSH1 0x00 0000169f: DUP1 000016a0: REVERT 000016a1: JUMPDEST 000016a2: POP 000016a3: JUMP 000016a4: JUMPDEST 000016a5: PUSH2 0x16ad 000016a8: DUP2 000016a9: PUSH2 0x1457 000016ac: JUMP 000016ad: JUMPDEST 000016ae: DUP2 000016af: EQ 000016b0: PUSH2 0x16b8 000016b3: JUMPI 000016b4: PUSH1 0x00 000016b6: DUP1 000016b7: REVERT 000016b8: JUMPDEST 000016b9: POP 000016ba: JUMP 000016bb: INVALID 000016bc: LOG2 000016bd: PUSH5 0x6970667358 000016c3: UNKNOWN(0x22) 000016c4: SLT 000016c5: KECCAK256 000016c6: UNKNOWN(0x26) 000016c7: UNKNOWN(0x26) 000016c8: UNKNOWN(0xD2) 000016c9: UNKNOWN(0xC6) 000016ca: DIV 000016cb: SWAP7 000016cc: ORIGIN 000016cd: SELFDESTRUCT 000016ce: BYTE 000016cf: UNKNOWN(0x4E) 000016d0: DUP16 000016d1: UNKNOWN(0xF8) 000016d2: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb609531c",
"selector": "0xb609531c",
"calldata_variants": [
"0xb609531c",
"0xb609531c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf80f5dd5",
"selector": "0xf80f5dd5",
"calldata_variants": [
"0xf80f5dd5",
"0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fc8cef3",
"selector": "0x3fc8cef3",
"calldata_variants": [
"0x3fc8cef3",
"0x3fc8cef30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5836,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xd67adfd7e9d6d4b58cc077b993db497c853cb1428e25a877894cdb7270a4cda1
call_targets:
0xdb0a6868ae45e526ffd322af5fa4531749a40c2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd67adfd7e9d6d4b58cc077b993db497c853cb1428e25a877894cdb7270a4cda1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdb0a6868ae45e526ffd322af5fa4531749a40c2b"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb609531c",
"selector": "0xb609531c",
"calldata_variants": [
"0xb609531c",
"0xb609531c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf80f5dd5",
"selector": "0xf80f5dd5",
"calldata_variants": [
"0xf80f5dd5",
"0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fc8cef3",
"selector": "0x3fc8cef3",
"calldata_variants": [
"0x3fc8cef3",
"0x3fc8cef30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 806,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2502,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 5836,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xd67adfd7e9d6d4b58cc077b993db497c853cb1428e25a877894cdb7270a4cda1
call_targets:
0xdb0a6868ae45e526ffd322af5fa4531749a40c2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd67adfd7e9d6d4b58cc077b993db497c853cb1428e25a877894cdb7270a4cda1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdb0a6868ae45e526ffd322af5fa4531749a40c2b"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb609531c",
"selector": "0xb609531c",
"calldata_variants": [
"0xb609531c",
"0xb609531c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf80f5dd5",
"selector": "0xf80f5dd5",
"calldata_variants": [
"0xf80f5dd5",
"0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fc8cef3",
"selector": "0x3fc8cef3",
"calldata_variants": [
"0x3fc8cef3",
"0x3fc8cef30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 806,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2502,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 5836,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xcf7f5a486530205580923db6a6f04bc6bfc202717724c36dd7b2af34172ecb37
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 24,
"trace_id": "0xcf7f5a486530205580923db6a6f04bc6bfc202717724c36dd7b2af34172ecb37",
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4d66daf",
"selector": "0xa4d66daf",
"calldata_variants": [
"0xa4d66daf",
"0xa4d66daf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb609531c",
"selector": "0xb609531c",
"calldata_variants": [
"0xb609531c",
"0xb609531c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf80f5dd5",
"selector": "0xf80f5dd5",
"calldata_variants": [
"0xf80f5dd5",
"0xf80f5dd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf887ea40",
"selector": "0xf887ea40",
"calldata_variants": [
"0xf887ea40",
"0xf887ea400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fc8cef3",
"selector": "0x3fc8cef3",
"calldata_variants": [
"0x3fc8cef3",
"0x3fc8cef30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 5836,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|