019b3844-a1ed-701c-86f2-380135c66587
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 |
|---|---|---|---|---|
| 15549 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 15550 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 58757 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 58758 | capability.graph | complete | 1 / 3 | 1 week ago |
| 58759 | detector.run | complete | 1 / 3 | 1 week ago |
| 58760 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x008a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8b83209b 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8b83209b 00000024: EQ 00000025: PUSH2 0x0190 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9852595c 0000002f: EQ 00000030: PUSH2 0x01cd 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xce7c2ac2 0000003a: EQ 0000003b: PUSH2 0x020a 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xd79779b2 00000045: EQ 00000046: PUSH2 0x0247 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe33b7de3 00000050: EQ 00000051: PUSH2 0x0284 00000054: JUMPI 00000055: PUSH2 0x00d1 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x19165587 00000060: EQ 00000061: PUSH2 0x00d6 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x3a98ef39 0000006b: EQ 0000006c: PUSH2 0x00ff 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x406072a9 00000076: EQ 00000077: PUSH2 0x012a 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x48b75044 00000081: EQ 00000082: PUSH2 0x0167 00000085: JUMPI 00000086: PUSH2 0x00d1 00000089: JUMP 0000008a: JUMPDEST 0000008b: CALLDATASIZE 0000008c: PUSH2 0x00d1 0000008f: JUMPI 00000090: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000000b1: PUSH2 0x00b8 000000b4: PUSH2 0x02af 000000b7: JUMP 000000b8: JUMPDEST 000000b9: CALLVALUE 000000ba: PUSH1 0x40 000000bc: MLOAD 000000bd: PUSH2 0x00c7 000000c0: SWAP3 000000c1: SWAP2 000000c2: SWAP1 000000c3: PUSH2 0x0d97 000000c6: JUMP 000000c7: JUMPDEST 000000c8: PUSH1 0x40 000000ca: MLOAD 000000cb: DUP1 000000cc: SWAP2 000000cd: SUB 000000ce: SWAP1 000000cf: LOG1 000000d0: STOP 000000d1: JUMPDEST 000000d2: PUSH1 0x00 000000d4: DUP1 000000d5: REVERT 000000d6: JUMPDEST 000000d7: CALLVALUE 000000d8: DUP1 000000d9: ISZERO 000000da: PUSH2 0x00e2 000000dd: JUMPI 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: POP 000000e4: PUSH2 0x00fd 000000e7: PUSH1 0x04 000000e9: DUP1 000000ea: CALLDATASIZE 000000eb: SUB 000000ec: DUP2 000000ed: ADD 000000ee: SWAP1 000000ef: PUSH2 0x00f8 000000f2: SWAP2 000000f3: SWAP1 000000f4: PUSH2 0x0e03 000000f7: JUMP 000000f8: JUMPDEST 000000f9: PUSH2 0x02b7 000000fc: JUMP 000000fd: JUMPDEST 000000fe: STOP 000000ff: JUMPDEST 00000100: CALLVALUE 00000101: DUP1 00000102: ISZERO 00000103: PUSH2 0x010b 00000106: JUMPI 00000107: PUSH1 0x00 00000109: DUP1 0000010a: REVERT 0000010b: JUMPDEST 0000010c: POP 0000010d: PUSH2 0x0114 00000110: PUSH2 0x0462 00000113: JUMP 00000114: JUMPDEST 00000115: PUSH1 0x40 00000117: MLOAD 00000118: PUSH2 0x0121 0000011b: SWAP2 0000011c: SWAP1 0000011d: PUSH2 0x0e30 00000120: JUMP 00000121: JUMPDEST 00000122: PUSH1 0x40 00000124: MLOAD 00000125: DUP1 00000126: SWAP2 00000127: SUB 00000128: SWAP1 00000129: RETURN 0000012a: JUMPDEST 0000012b: CALLVALUE 0000012c: DUP1 0000012d: ISZERO 0000012e: PUSH2 0x0136 00000131: JUMPI 00000132: PUSH1 0x00 00000134: DUP1 00000135: REVERT 00000136: JUMPDEST 00000137: POP 00000138: PUSH2 0x0151 0000013b: PUSH1 0x04 0000013d: DUP1 0000013e: CALLDATASIZE 0000013f: SUB 00000140: DUP2 00000141: ADD 00000142: SWAP1 00000143: PUSH2 0x014c 00000146: SWAP2 00000147: SWAP1 00000148: PUSH2 0x0eb5 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH2 0x046b 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH1 0x40 00000154: MLOAD 00000155: PUSH2 0x015e 00000158: SWAP2 00000159: SWAP1 0000015a: PUSH2 0x0e30 0000015d: JUMP 0000015e: JUMPDEST 0000015f: PUSH1 0x40 00000161: MLOAD 00000162: DUP1 00000163: SWAP2 00000164: SUB 00000165: SWAP1 00000166: RETURN 00000167: JUMPDEST 00000168: CALLVALUE 00000169: DUP1 0000016a: ISZERO 0000016b: PUSH2 0x0173 0000016e: JUMPI 0000016f: PUSH1 0x00 00000171: DUP1 00000172: REVERT 00000173: JUMPDEST 00000174: POP 00000175: PUSH2 0x018e 00000178: PUSH1 0x04 0000017a: DUP1 0000017b: CALLDATASIZE 0000017c: SUB 0000017d: DUP2 0000017e: ADD 0000017f: SWAP1 00000180: PUSH2 0x0189 00000183: SWAP2 00000184: SWAP1 00000185: PUSH2 0x0eb5 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH2 0x04f2 0000018d: JUMP 0000018e: JUMPDEST 0000018f: STOP 00000190: JUMPDEST 00000191: CALLVALUE 00000192: DUP1 00000193: ISZERO 00000194: PUSH2 0x019c 00000197: JUMPI 00000198: PUSH1 0x00 0000019a: DUP1 0000019b: REVERT 0000019c: JUMPDEST 0000019d: POP 0000019e: PUSH2 0x01b7 000001a1: PUSH1 0x04 000001a3: DUP1 000001a4: CALLDATASIZE 000001a5: SUB 000001a6: DUP2 000001a7: ADD 000001a8: SWAP1 000001a9: PUSH2 0x01b2 000001ac: SWAP2 000001ad: SWAP1 000001ae: PUSH2 0x0f21 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH2 0x07ab 000001b6: JUMP 000001b7: JUMPDEST 000001b8: PUSH1 0x40 000001ba: MLOAD 000001bb: PUSH2 0x01c4 000001be: SWAP2 000001bf: SWAP1 000001c0: PUSH2 0x0f4e 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH1 0x40 000001c7: MLOAD 000001c8: DUP1 000001c9: SWAP2 000001ca: SUB 000001cb: SWAP1 000001cc: RETURN 000001cd: JUMPDEST 000001ce: CALLVALUE 000001cf: DUP1 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: POP 000001db: PUSH2 0x01f4 000001de: PUSH1 0x04 000001e0: DUP1 000001e1: CALLDATASIZE 000001e2: SUB 000001e3: DUP2 000001e4: ADD 000001e5: SWAP1 000001e6: PUSH2 0x01ef 000001e9: SWAP2 000001ea: SWAP1 000001eb: PUSH2 0x0f69 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH2 0x07f3 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH1 0x40 000001f7: MLOAD 000001f8: PUSH2 0x0201 000001fb: SWAP2 000001fc: SWAP1 000001fd: PUSH2 0x0e30 00000200: JUMP 00000201: JUMPDEST 00000202: PUSH1 0x40 00000204: MLOAD 00000205: DUP1 00000206: SWAP2 00000207: SUB 00000208: SWAP1 00000209: RETURN 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x0231 0000021b: PUSH1 0x04 0000021d: DUP1 0000021e: CALLDATASIZE 0000021f: SUB 00000220: DUP2 00000221: ADD 00000222: SWAP1 00000223: PUSH2 0x022c 00000226: SWAP2 00000227: SWAP1 00000228: PUSH2 0x0f69 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH2 0x083c 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH1 0x40 00000234: MLOAD 00000235: PUSH2 0x023e 00000238: SWAP2 00000239: SWAP1 0000023a: PUSH2 0x0e30 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x40 00000241: MLOAD 00000242: DUP1 00000243: SWAP2 00000244: SUB 00000245: SWAP1 00000246: RETURN 00000247: JUMPDEST 00000248: CALLVALUE 00000249: DUP1 0000024a: ISZERO 0000024b: PUSH2 0x0253 0000024e: JUMPI 0000024f: PUSH1 0x00 00000251: DUP1 00000252: REVERT 00000253: JUMPDEST 00000254: POP 00000255: PUSH2 0x026e 00000258: PUSH1 0x04 0000025a: DUP1 0000025b: CALLDATASIZE 0000025c: SUB 0000025d: DUP2 0000025e: ADD 0000025f: SWAP1 00000260: PUSH2 0x0269 00000263: SWAP2 00000264: SWAP1 00000265: PUSH2 0x0f96 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH2 0x0885 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x40 00000271: MLOAD 00000272: PUSH2 0x027b 00000275: SWAP2 00000276: SWAP1 00000277: PUSH2 0x0e30 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH1 0x40 0000027e: MLOAD 0000027f: DUP1 00000280: SWAP2 00000281: SUB 00000282: SWAP1 00000283: RETURN 00000284: JUMPDEST 00000285: CALLVALUE 00000286: DUP1 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH2 0x0299 00000295: PUSH2 0x08ce 00000298: JUMP 00000299: JUMPDEST 0000029a: PUSH1 0x40 0000029c: MLOAD 0000029d: PUSH2 0x02a6 000002a0: SWAP2 000002a1: SWAP1 000002a2: PUSH2 0x0e30 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH1 0x40 000002a9: MLOAD 000002aa: DUP1 000002ab: SWAP2 000002ac: SUB 000002ad: SWAP1 000002ae: RETURN 000002af: JUMPDEST 000002b0: PUSH1 0x00 000002b2: CALLER 000002b3: SWAP1 000002b4: POP 000002b5: SWAP1 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH1 0x00 000002ba: PUSH1 0x02 000002bc: PUSH1 0x00 000002be: DUP4 000002bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d4: AND 000002d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ea: AND 000002eb: DUP2 000002ec: MSTORE 000002ed: PUSH1 0x20 000002ef: ADD 000002f0: SWAP1 000002f1: DUP2 000002f2: MSTORE 000002f3: PUSH1 0x20 000002f5: ADD 000002f6: PUSH1 0x00 000002f8: KECCAK256 000002f9: SLOAD 000002fa: GT 000002fb: PUSH2 0x0339 000002fe: JUMPI 000002ff: PUSH1 0x40 00000301: MLOAD 00000302: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000323: DUP2 00000324: MSTORE 00000325: PUSH1 0x04 00000327: ADD 00000328: PUSH2 0x0330 0000032b: SWAP1 0000032c: PUSH2 0x1046 0000032f: JUMP 00000330: JUMPDEST 00000331: PUSH1 0x40 00000333: MLOAD 00000334: DUP1 00000335: SWAP2 00000336: SUB 00000337: SWAP1 00000338: REVERT 00000339: JUMPDEST 0000033a: PUSH1 0x00 0000033c: PUSH2 0x0343 0000033f: PUSH2 0x08ce 00000342: JUMP 00000343: JUMPDEST 00000344: SELFBALANCE 00000345: PUSH2 0x034e 00000348: SWAP2 00000349: SWAP1 0000034a: PUSH2 0x1095 0000034d: JUMP 0000034e: JUMPDEST 0000034f: SWAP1 00000350: POP 00000351: PUSH1 0x00 00000353: PUSH2 0x0365 00000356: DUP4 00000357: DUP4 00000358: PUSH2 0x0360 0000035b: DUP7 0000035c: PUSH2 0x07f3 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH2 0x08d8 00000364: JUMP 00000365: JUMPDEST 00000366: SWAP1 00000367: POP 00000368: PUSH1 0x00 0000036a: DUP2 0000036b: EQ 0000036c: ISZERO 0000036d: PUSH2 0x03ab 00000370: JUMPI 00000371: PUSH1 0x40 00000373: MLOAD 00000374: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000395: DUP2 00000396: MSTORE 00000397: PUSH1 0x04 00000399: ADD 0000039a: PUSH2 0x03a2 0000039d: SWAP1 0000039e: PUSH2 0x115d 000003a1: JUMP 000003a2: JUMPDEST 000003a3: PUSH1 0x40 000003a5: MLOAD 000003a6: DUP1 000003a7: SWAP2 000003a8: SUB 000003a9: SWAP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: DUP1 000003ad: PUSH1 0x03 000003af: PUSH1 0x00 000003b1: DUP6 000003b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c7: AND 000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003dd: AND 000003de: DUP2 000003df: MSTORE 000003e0: PUSH1 0x20 000003e2: ADD 000003e3: SWAP1 000003e4: DUP2 000003e5: MSTORE 000003e6: PUSH1 0x20 000003e8: ADD 000003e9: PUSH1 0x00 000003eb: KECCAK256 000003ec: PUSH1 0x00 000003ee: DUP3 000003ef: DUP3 000003f0: SLOAD 000003f1: PUSH2 0x03fa 000003f4: SWAP2 000003f5: SWAP1 000003f6: PUSH2 0x1095 000003f9: JUMP 000003fa: JUMPDEST 000003fb: SWAP3 000003fc: POP 000003fd: POP 000003fe: DUP2 000003ff: SWAP1 00000400: SSTORE 00000401: POP 00000402: DUP1 00000403: PUSH1 0x01 00000405: PUSH1 0x00 00000407: DUP3 00000408: DUP3 00000409: SLOAD 0000040a: PUSH2 0x0413 0000040d: SWAP2 0000040e: SWAP1 0000040f: PUSH2 0x1095 00000412: JUMP 00000413: JUMPDEST 00000414: SWAP3 00000415: POP 00000416: POP 00000417: DUP2 00000418: SWAP1 00000419: SSTORE 0000041a: POP 0000041b: PUSH2 0x0424 0000041e: DUP4 0000041f: DUP3 00000420: PUSH2 0x0946 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 00000446: DUP4 00000447: DUP3 00000448: PUSH1 0x40 0000044a: MLOAD 0000044b: PUSH2 0x0455 0000044e: SWAP3 0000044f: SWAP2 00000450: SWAP1 00000451: PUSH2 0x11dc 00000454: JUMP 00000455: JUMPDEST 00000456: PUSH1 0x40 00000458: MLOAD 00000459: DUP1 0000045a: SWAP2 0000045b: SUB 0000045c: SWAP1 0000045d: LOG1 0000045e: POP 0000045f: POP 00000460: POP 00000461: JUMP 00000462: JUMPDEST 00000463: PUSH1 0x00 00000465: DUP1 00000466: SLOAD 00000467: SWAP1 00000468: POP 00000469: SWAP1 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH1 0x00 0000046e: PUSH1 0x06 00000470: PUSH1 0x00 00000472: DUP5 00000473: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000488: AND 00000489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049e: AND 0000049f: DUP2 000004a0: MSTORE 000004a1: PUSH1 0x20 000004a3: ADD 000004a4: SWAP1 000004a5: DUP2 000004a6: MSTORE 000004a7: PUSH1 0x20 000004a9: ADD 000004aa: PUSH1 0x00 000004ac: KECCAK256 000004ad: PUSH1 0x00 000004af: DUP4 000004b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c5: AND 000004c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004db: AND 000004dc: DUP2 000004dd: MSTORE 000004de: PUSH1 0x20 000004e0: ADD 000004e1: SWAP1 000004e2: DUP2 000004e3: MSTORE 000004e4: PUSH1 0x20 000004e6: ADD 000004e7: PUSH1 0x00 000004e9: KECCAK256 000004ea: SLOAD 000004eb: SWAP1 000004ec: POP 000004ed: SWAP3 000004ee: SWAP2 000004ef: POP 000004f0: POP 000004f1: JUMP 000004f2: JUMPDEST 000004f3: PUSH1 0x00 000004f5: PUSH1 0x02 000004f7: PUSH1 0x00 000004f9: DUP4 000004fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050f: AND 00000510: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000525: AND 00000526: DUP2 00000527: MSTORE 00000528: PUSH1 0x20 0000052a: ADD 0000052b: SWAP1 0000052c: DUP2 0000052d: MSTORE 0000052e: PUSH1 0x20 00000530: ADD 00000531: PUSH1 0x00 00000533: KECCAK256 00000534: SLOAD 00000535: GT 00000536: PUSH2 0x0574 00000539: JUMPI 0000053a: PUSH1 0x40 0000053c: MLOAD 0000053d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000055e: DUP2 0000055f: MSTORE 00000560: PUSH1 0x04 00000562: ADD 00000563: PUSH2 0x056b 00000566: SWAP1 00000567: PUSH2 0x1046 0000056a: JUMP 0000056b: JUMPDEST 0000056c: PUSH1 0x40 0000056e: MLOAD 0000056f: DUP1 00000570: SWAP2 00000571: SUB 00000572: SWAP1 00000573: REVERT 00000574: JUMPDEST 00000575: PUSH1 0x00 00000577: PUSH2 0x057f 0000057a: DUP4 0000057b: PUSH2 0x0885 0000057e: JUMP 0000057f: JUMPDEST 00000580: DUP4 00000581: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000596: AND 00000597: PUSH4 0x70a08231 0000059c: ADDRESS 0000059d: PUSH1 0x40 0000059f: MLOAD 000005a0: DUP3 000005a1: PUSH4 0xffffffff 000005a6: AND 000005a7: PUSH1 0xe0 000005a9: SHL 000005aa: DUP2 000005ab: MSTORE 000005ac: PUSH1 0x04 000005ae: ADD 000005af: PUSH2 0x05b8 000005b2: SWAP2 000005b3: SWAP1 000005b4: PUSH2 0x0f4e 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH1 0x20 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: DUP4 000005c0: SUB 000005c1: DUP2 000005c2: DUP7 000005c3: GAS 000005c4: STATICCALL 000005c5: ISZERO 000005c6: DUP1 000005c7: ISZERO 000005c8: PUSH2 0x05d5 000005cb: JUMPI 000005cc: RETURNDATASIZE 000005cd: PUSH1 0x00 000005cf: DUP1 000005d0: RETURNDATACOPY 000005d1: RETURNDATASIZE 000005d2: PUSH1 0x00 000005d4: REVERT 000005d5: JUMPDEST 000005d6: POP 000005d7: POP 000005d8: POP 000005d9: POP 000005da: PUSH1 0x40 000005dc: MLOAD 000005dd: RETURNDATASIZE 000005de: PUSH1 0x1f 000005e0: NOT 000005e1: PUSH1 0x1f 000005e3: DUP3 000005e4: ADD 000005e5: AND 000005e6: DUP3 000005e7: ADD 000005e8: DUP1 000005e9: PUSH1 0x40 000005eb: MSTORE 000005ec: POP 000005ed: DUP2 000005ee: ADD 000005ef: SWAP1 000005f0: PUSH2 0x05f9 000005f3: SWAP2 000005f4: SWAP1 000005f5: PUSH2 0x121a 000005f8: JUMP 000005f9: JUMPDEST 000005fa: PUSH2 0x0603 000005fd: SWAP2 000005fe: SWAP1 000005ff: PUSH2 0x1095 00000602: JUMP 00000603: JUMPDEST 00000604: SWAP1 00000605: POP 00000606: PUSH1 0x00 00000608: PUSH2 0x061b 0000060b: DUP4 0000060c: DUP4 0000060d: PUSH2 0x0616 00000610: DUP8 00000611: DUP8 00000612: PUSH2 0x046b 00000615: JUMP 00000616: JUMPDEST 00000617: PUSH2 0x08d8 0000061a: JUMP 0000061b: JUMPDEST 0000061c: SWAP1 0000061d: POP 0000061e: PUSH1 0x00 00000620: DUP2 00000621: EQ 00000622: ISZERO 00000623: PUSH2 0x0661 00000626: JUMPI 00000627: PUSH1 0x40 00000629: MLOAD 0000062a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000064b: DUP2 0000064c: MSTORE 0000064d: PUSH1 0x04 0000064f: ADD 00000650: PUSH2 0x0658 00000653: SWAP1 00000654: PUSH2 0x115d 00000657: JUMP 00000658: JUMPDEST 00000659: PUSH1 0x40 0000065b: MLOAD 0000065c: DUP1 0000065d: SWAP2 0000065e: SUB 0000065f: SWAP1 00000660: REVERT 00000661: JUMPDEST 00000662: DUP1 00000663: PUSH1 0x06 00000665: PUSH1 0x00 00000667: DUP7 00000668: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067d: AND 0000067e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000693: AND 00000694: DUP2 00000695: MSTORE 00000696: PUSH1 0x20 00000698: ADD 00000699: SWAP1 0000069a: DUP2 0000069b: MSTORE 0000069c: PUSH1 0x20 0000069e: ADD 0000069f: PUSH1 0x00 000006a1: KECCAK256 000006a2: PUSH1 0x00 000006a4: DUP6 000006a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ba: AND 000006bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d0: AND 000006d1: DUP2 000006d2: MSTORE 000006d3: PUSH1 0x20 000006d5: ADD 000006d6: SWAP1 000006d7: DUP2 000006d8: MSTORE 000006d9: PUSH1 0x20 000006db: ADD 000006dc: PUSH1 0x00 000006de: KECCAK256 000006df: PUSH1 0x00 000006e1: DUP3 000006e2: DUP3 000006e3: SLOAD 000006e4: PUSH2 0x06ed 000006e7: SWAP2 000006e8: SWAP1 000006e9: PUSH2 0x1095 000006ec: JUMP 000006ed: JUMPDEST 000006ee: SWAP3 000006ef: POP 000006f0: POP 000006f1: DUP2 000006f2: SWAP1 000006f3: SSTORE 000006f4: POP 000006f5: DUP1 000006f6: PUSH1 0x05 000006f8: PUSH1 0x00 000006fa: DUP7 000006fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000710: AND 00000711: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000726: AND 00000727: DUP2 00000728: MSTORE 00000729: PUSH1 0x20 0000072b: ADD 0000072c: SWAP1 0000072d: DUP2 0000072e: MSTORE 0000072f: PUSH1 0x20 00000731: ADD 00000732: PUSH1 0x00 00000734: KECCAK256 00000735: PUSH1 0x00 00000737: DUP3 00000738: DUP3 00000739: SLOAD 0000073a: PUSH2 0x0743 0000073d: SWAP2 0000073e: SWAP1 0000073f: PUSH2 0x1095 00000742: JUMP 00000743: JUMPDEST 00000744: SWAP3 00000745: POP 00000746: POP 00000747: DUP2 00000748: SWAP1 00000749: SSTORE 0000074a: POP 0000074b: PUSH2 0x0755 0000074e: DUP5 0000074f: DUP5 00000750: DUP4 00000751: PUSH2 0x0a3a 00000754: JUMP 00000755: JUMPDEST 00000756: DUP4 00000757: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076c: AND 0000076d: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 0000078e: DUP5 0000078f: DUP4 00000790: PUSH1 0x40 00000792: MLOAD 00000793: PUSH2 0x079d 00000796: SWAP3 00000797: SWAP2 00000798: SWAP1 00000799: PUSH2 0x0d97 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH1 0x40 000007a0: MLOAD 000007a1: DUP1 000007a2: SWAP2 000007a3: SUB 000007a4: SWAP1 000007a5: LOG2 000007a6: POP 000007a7: POP 000007a8: POP 000007a9: POP 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x00 000007ae: PUSH1 0x04 000007b0: DUP3 000007b1: DUP2 000007b2: SLOAD 000007b3: DUP2 000007b4: LT 000007b5: PUSH2 0x07c1 000007b8: JUMPI 000007b9: PUSH2 0x07c0 000007bc: PUSH2 0x1247 000007bf: JUMP 000007c0: JUMPDEST 000007c1: JUMPDEST 000007c2: SWAP1 000007c3: PUSH1 0x00 000007c5: MSTORE 000007c6: PUSH1 0x20 000007c8: PUSH1 0x00 000007ca: KECCAK256 000007cb: ADD 000007cc: PUSH1 0x00 000007ce: SWAP1 000007cf: SLOAD 000007d0: SWAP1 000007d1: PUSH2 0x0100 000007d4: EXP 000007d5: SWAP1 000007d6: DIV 000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ec: AND 000007ed: SWAP1 000007ee: POP 000007ef: SWAP2 000007f0: SWAP1 000007f1: POP 000007f2: JUMP 000007f3: JUMPDEST 000007f4: PUSH1 0x00 000007f6: PUSH1 0x03 000007f8: PUSH1 0x00 000007fa: DUP4 000007fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000810: AND 00000811: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000826: AND 00000827: DUP2 00000828: MSTORE 00000829: PUSH1 0x20 0000082b: ADD 0000082c: SWAP1 0000082d: DUP2 0000082e: MSTORE 0000082f: PUSH1 0x20 00000831: ADD 00000832: PUSH1 0x00 00000834: KECCAK256 00000835: SLOAD 00000836: SWAP1 00000837: POP 00000838: SWAP2 00000839: SWAP1 0000083a: POP 0000083b: JUMP 0000083c: JUMPDEST 0000083d: PUSH1 0x00 0000083f: PUSH1 0x02 00000841: PUSH1 0x00 00000843: DUP4 00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000859: AND 0000085a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086f: AND 00000870: DUP2 00000871: MSTORE 00000872: PUSH1 0x20 00000874: ADD 00000875: SWAP1 00000876: DUP2 00000877: MSTORE 00000878: PUSH1 0x20 0000087a: ADD 0000087b: PUSH1 0x00 0000087d: KECCAK256 0000087e: SLOAD 0000087f: SWAP1 00000880: POP 00000881: SWAP2 00000882: SWAP1 00000883: POP 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH1 0x00 00000888: PUSH1 0x05 0000088a: PUSH1 0x00 0000088c: DUP4 0000088d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a2: AND 000008a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b8: AND 000008b9: DUP2 000008ba: MSTORE 000008bb: PUSH1 0x20 000008bd: ADD 000008be: SWAP1 000008bf: DUP2 000008c0: MSTORE 000008c1: PUSH1 0x20 000008c3: ADD 000008c4: PUSH1 0x00 000008c6: KECCAK256 000008c7: SLOAD 000008c8: SWAP1 000008c9: POP 000008ca: SWAP2 000008cb: SWAP1 000008cc: POP 000008cd: JUMP 000008ce: JUMPDEST 000008cf: PUSH1 0x00 000008d1: PUSH1 0x01 000008d3: SLOAD 000008d4: SWAP1 000008d5: POP 000008d6: SWAP1 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x00 000008db: DUP2 000008dc: PUSH1 0x00 000008de: SLOAD 000008df: PUSH1 0x02 000008e1: PUSH1 0x00 000008e3: DUP8 000008e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f9: AND 000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090f: AND 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x20 00000914: ADD 00000915: SWAP1 00000916: DUP2 00000917: MSTORE 00000918: PUSH1 0x20 0000091a: ADD 0000091b: PUSH1 0x00 0000091d: KECCAK256 0000091e: SLOAD 0000091f: DUP6 00000920: PUSH2 0x0929 00000923: SWAP2 00000924: SWAP1 00000925: PUSH2 0x1276 00000928: JUMP 00000929: JUMPDEST 0000092a: PUSH2 0x0933 0000092d: SWAP2 0000092e: SWAP1 0000092f: PUSH2 0x12ff 00000932: JUMP 00000933: JUMPDEST 00000934: PUSH2 0x093d 00000937: SWAP2 00000938: SWAP1 00000939: PUSH2 0x1330 0000093c: JUMP 0000093d: JUMPDEST 0000093e: SWAP1 0000093f: POP 00000940: SWAP4 00000941: SWAP3 00000942: POP 00000943: POP 00000944: POP 00000945: JUMP 00000946: JUMPDEST 00000947: DUP1 00000948: SELFBALANCE 00000949: LT 0000094a: ISZERO 0000094b: PUSH2 0x0989 0000094e: JUMPI 0000094f: PUSH1 0x40 00000951: MLOAD 00000952: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000973: DUP2 00000974: MSTORE 00000975: PUSH1 0x04 00000977: ADD 00000978: PUSH2 0x0980 0000097b: SWAP1 0000097c: PUSH2 0x13b0 0000097f: JUMP 00000980: JUMPDEST 00000981: PUSH1 0x40 00000983: MLOAD 00000984: DUP1 00000985: SWAP2 00000986: SUB 00000987: SWAP1 00000988: REVERT 00000989: JUMPDEST 0000098a: PUSH1 0x00 0000098c: DUP3 0000098d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009a2: AND 000009a3: DUP3 000009a4: PUSH1 0x40 000009a6: MLOAD 000009a7: PUSH2 0x09af 000009aa: SWAP1 000009ab: PUSH2 0x1401 000009ae: JUMP 000009af: JUMPDEST 000009b0: PUSH1 0x00 000009b2: PUSH1 0x40 000009b4: MLOAD 000009b5: DUP1 000009b6: DUP4 000009b7: SUB 000009b8: DUP2 000009b9: DUP6 000009ba: DUP8 000009bb: GAS 000009bc: CALL 000009bd: SWAP3 000009be: POP 000009bf: POP 000009c0: POP 000009c1: RETURNDATASIZE 000009c2: DUP1 000009c3: PUSH1 0x00 000009c5: DUP2 000009c6: EQ 000009c7: PUSH2 0x09ec 000009ca: JUMPI 000009cb: PUSH1 0x40 000009cd: MLOAD 000009ce: SWAP2 000009cf: POP 000009d0: PUSH1 0x1f 000009d2: NOT 000009d3: PUSH1 0x3f 000009d5: RETURNDATASIZE 000009d6: ADD 000009d7: AND 000009d8: DUP3 000009d9: ADD 000009da: PUSH1 0x40 000009dc: MSTORE 000009dd: RETURNDATASIZE 000009de: DUP3 000009df: MSTORE 000009e0: RETURNDATASIZE 000009e1: PUSH1 0x00 000009e3: PUSH1 0x20 000009e5: DUP5 000009e6: ADD 000009e7: RETURNDATACOPY 000009e8: PUSH2 0x09f1 000009eb: JUMP 000009ec: JUMPDEST 000009ed: PUSH1 0x60 000009ef: SWAP2 000009f0: POP 000009f1: JUMPDEST 000009f2: POP 000009f3: POP 000009f4: SWAP1 000009f5: POP 000009f6: DUP1 000009f7: PUSH2 0x0a35 000009fa: JUMPI 000009fb: PUSH1 0x40 000009fd: MLOAD 000009fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a1f: DUP2 00000a20: MSTORE 00000a21: PUSH1 0x04 00000a23: ADD 00000a24: PUSH2 0x0a2c 00000a27: SWAP1 00000a28: PUSH2 0x1488 00000a2b: JUMP 00000a2c: JUMPDEST 00000a2d: PUSH1 0x40 00000a2f: MLOAD 00000a30: DUP1 00000a31: SWAP2 00000a32: SUB 00000a33: SWAP1 00000a34: REVERT 00000a35: JUMPDEST 00000a36: POP 00000a37: POP 00000a38: POP 00000a39: JUMP 00000a3a: JUMPDEST 00000a3b: PUSH2 0x0abb 00000a3e: DUP4 00000a3f: PUSH4 0xa9059cbb 00000a44: PUSH1 0xe0 00000a46: SHL 00000a47: DUP5 00000a48: DUP5 00000a49: PUSH1 0x40 00000a4b: MLOAD 00000a4c: PUSH1 0x24 00000a4e: ADD 00000a4f: PUSH2 0x0a59 00000a52: SWAP3 00000a53: SWAP2 00000a54: SWAP1 00000a55: PUSH2 0x0d97 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x40 00000a5c: MLOAD 00000a5d: PUSH1 0x20 00000a5f: DUP2 00000a60: DUP4 00000a61: SUB 00000a62: SUB 00000a63: DUP2 00000a64: MSTORE 00000a65: SWAP1 00000a66: PUSH1 0x40 00000a68: MSTORE 00000a69: SWAP1 00000a6a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000a87: NOT 00000a88: AND 00000a89: PUSH1 0x20 00000a8b: DUP3 00000a8c: ADD 00000a8d: DUP1 00000a8e: MLOAD 00000a8f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000aac: DUP4 00000aad: DUP2 00000aae: DUP4 00000aaf: AND 00000ab0: OR 00000ab1: DUP4 00000ab2: MSTORE 00000ab3: POP 00000ab4: POP 00000ab5: POP 00000ab6: POP 00000ab7: PUSH2 0x0ac0 00000aba: JUMP 00000abb: JUMPDEST 00000abc: POP 00000abd: POP 00000abe: POP 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH1 0x00 00000ac3: PUSH2 0x0b22 00000ac6: DUP3 00000ac7: PUSH1 0x40 00000ac9: MLOAD 00000aca: DUP1 00000acb: PUSH1 0x40 00000acd: ADD 00000ace: PUSH1 0x40 00000ad0: MSTORE 00000ad1: DUP1 00000ad2: PUSH1 0x20 00000ad4: DUP2 00000ad5: MSTORE 00000ad6: PUSH1 0x20 00000ad8: ADD 00000ad9: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000afa: DUP2 00000afb: MSTORE 00000afc: POP 00000afd: DUP6 00000afe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b13: AND 00000b14: PUSH2 0x0b87 00000b17: SWAP1 00000b18: SWAP3 00000b19: SWAP2 00000b1a: SWAP1 00000b1b: PUSH4 0xffffffff 00000b20: AND 00000b21: JUMP 00000b22: JUMPDEST 00000b23: SWAP1 00000b24: POP 00000b25: PUSH1 0x00 00000b27: DUP2 00000b28: MLOAD 00000b29: GT 00000b2a: ISZERO 00000b2b: PUSH2 0x0b82 00000b2e: JUMPI 00000b2f: DUP1 00000b30: DUP1 00000b31: PUSH1 0x20 00000b33: ADD 00000b34: SWAP1 00000b35: MLOAD 00000b36: DUP2 00000b37: ADD 00000b38: SWAP1 00000b39: PUSH2 0x0b42 00000b3c: SWAP2 00000b3d: SWAP1 00000b3e: PUSH2 0x14e0 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH2 0x0b81 00000b46: JUMPI 00000b47: PUSH1 0x40 00000b49: MLOAD 00000b4a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x04 00000b6f: ADD 00000b70: PUSH2 0x0b78 00000b73: SWAP1 00000b74: PUSH2 0x157f 00000b77: JUMP 00000b78: JUMPDEST 00000b79: PUSH1 0x40 00000b7b: MLOAD 00000b7c: DUP1 00000b7d: SWAP2 00000b7e: SUB 00000b7f: SWAP1 00000b80: REVERT 00000b81: JUMPDEST 00000b82: JUMPDEST 00000b83: POP 00000b84: POP 00000b85: POP 00000b86: JUMP 00000b87: JUMPDEST 00000b88: PUSH1 0x60 00000b8a: PUSH2 0x0b96 00000b8d: DUP5 00000b8e: DUP5 00000b8f: PUSH1 0x00 00000b91: DUP6 00000b92: PUSH2 0x0b9f 00000b95: JUMP 00000b96: JUMPDEST 00000b97: SWAP1 00000b98: POP 00000b99: SWAP4 00000b9a: SWAP3 00000b9b: POP 00000b9c: POP 00000b9d: POP 00000b9e: JUMP 00000b9f: JUMPDEST 00000ba0: PUSH1 0x60 00000ba2: DUP3 00000ba3: SELFBALANCE 00000ba4: LT 00000ba5: ISZERO 00000ba6: PUSH2 0x0be4 00000ba9: JUMPI 00000baa: PUSH1 0x40 00000bac: MLOAD 00000bad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bce: DUP2 00000bcf: MSTORE 00000bd0: PUSH1 0x04 00000bd2: ADD 00000bd3: PUSH2 0x0bdb 00000bd6: SWAP1 00000bd7: PUSH2 0x1611 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: PUSH1 0x40 00000bde: MLOAD 00000bdf: DUP1 00000be0: SWAP2 00000be1: SUB 00000be2: SWAP1 00000be3: REVERT 00000be4: JUMPDEST 00000be5: PUSH2 0x0bed 00000be8: DUP6 00000be9: PUSH2 0x0cb3 00000bec: JUMP 00000bed: JUMPDEST 00000bee: PUSH2 0x0c2c 00000bf1: JUMPI 00000bf2: PUSH1 0x40 00000bf4: MLOAD 00000bf5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c16: DUP2 00000c17: MSTORE 00000c18: PUSH1 0x04 00000c1a: ADD 00000c1b: PUSH2 0x0c23 00000c1e: SWAP1 00000c1f: PUSH2 0x167d 00000c22: JUMP 00000c23: JUMPDEST 00000c24: PUSH1 0x40 00000c26: MLOAD 00000c27: DUP1 00000c28: SWAP2 00000c29: SUB 00000c2a: SWAP1 00000c2b: REVERT 00000c2c: JUMPDEST 00000c2d: PUSH1 0x00 00000c2f: DUP1 00000c30: DUP7 00000c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c46: AND 00000c47: DUP6 00000c48: DUP8 00000c49: PUSH1 0x40 00000c4b: MLOAD 00000c4c: PUSH2 0x0c55 00000c4f: SWAP2 00000c50: SWAP1 00000c51: PUSH2 0x170c 00000c54: JUMP 00000c55: JUMPDEST 00000c56: PUSH1 0x00 00000c58: PUSH1 0x40 00000c5a: MLOAD 00000c5b: DUP1 00000c5c: DUP4 00000c5d: SUB 00000c5e: DUP2 00000c5f: DUP6 00000c60: DUP8 00000c61: GAS 00000c62: CALL 00000c63: SWAP3 00000c64: POP 00000c65: POP 00000c66: POP 00000c67: RETURNDATASIZE 00000c68: DUP1 00000c69: PUSH1 0x00 00000c6b: DUP2 00000c6c: EQ 00000c6d: PUSH2 0x0c92 00000c70: JUMPI 00000c71: PUSH1 0x40 00000c73: MLOAD 00000c74: SWAP2 00000c75: POP 00000c76: PUSH1 0x1f 00000c78: NOT 00000c79: PUSH1 0x3f 00000c7b: RETURNDATASIZE 00000c7c: ADD 00000c7d: AND 00000c7e: DUP3 00000c7f: ADD 00000c80: PUSH1 0x40 00000c82: MSTORE 00000c83: RETURNDATASIZE 00000c84: DUP3 00000c85: MSTORE 00000c86: RETURNDATASIZE 00000c87: PUSH1 0x00 00000c89: PUSH1 0x20 00000c8b: DUP5 00000c8c: ADD 00000c8d: RETURNDATACOPY 00000c8e: PUSH2 0x0c97 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH1 0x60 00000c95: SWAP2 00000c96: POP 00000c97: JUMPDEST 00000c98: POP 00000c99: SWAP2 00000c9a: POP 00000c9b: SWAP2 00000c9c: POP 00000c9d: PUSH2 0x0ca7 00000ca0: DUP3 00000ca1: DUP3 00000ca2: DUP7 00000ca3: PUSH2 0x0cd6 00000ca6: JUMP 00000ca7: JUMPDEST 00000ca8: SWAP3 00000ca9: POP 00000caa: POP 00000cab: POP 00000cac: SWAP5 00000cad: SWAP4 00000cae: POP 00000caf: POP 00000cb0: POP 00000cb1: POP 00000cb2: JUMP 00000cb3: JUMPDEST 00000cb4: PUSH1 0x00 00000cb6: DUP1 00000cb7: DUP3 00000cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccd: AND 00000cce: EXTCODESIZE 00000ccf: GT 00000cd0: SWAP1 00000cd1: POP 00000cd2: SWAP2 00000cd3: SWAP1 00000cd4: POP 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x60 00000cd9: DUP4 00000cda: ISZERO 00000cdb: PUSH2 0x0ce6 00000cde: JUMPI 00000cdf: DUP3 00000ce0: SWAP1 00000ce1: POP 00000ce2: PUSH2 0x0d36 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH1 0x00 00000ce9: DUP4 00000cea: MLOAD 00000ceb: GT 00000cec: ISZERO 00000ced: PUSH2 0x0cf9 00000cf0: JUMPI 00000cf1: DUP3 00000cf2: MLOAD 00000cf3: DUP1 00000cf4: DUP5 00000cf5: PUSH1 0x20 00000cf7: ADD 00000cf8: REVERT 00000cf9: JUMPDEST 00000cfa: DUP2 00000cfb: PUSH1 0x40 00000cfd: MLOAD 00000cfe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d1f: DUP2 00000d20: MSTORE 00000d21: PUSH1 0x04 00000d23: ADD 00000d24: PUSH2 0x0d2d 00000d27: SWAP2 00000d28: SWAP1 00000d29: PUSH2 0x1778 00000d2c: JUMP 00000d2d: JUMPDEST 00000d2e: PUSH1 0x40 00000d30: MLOAD 00000d31: DUP1 00000d32: SWAP2 00000d33: SUB 00000d34: SWAP1 00000d35: REVERT 00000d36: JUMPDEST 00000d37: SWAP4 00000d38: SWAP3 00000d39: POP 00000d3a: POP 00000d3b: POP 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: PUSH1 0x00 00000d40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d55: DUP3 00000d56: AND 00000d57: SWAP1 00000d58: POP 00000d59: SWAP2 00000d5a: SWAP1 00000d5b: POP 00000d5c: JUMP 00000d5d: JUMPDEST 00000d5e: PUSH1 0x00 00000d60: PUSH2 0x0d68 00000d63: DUP3 00000d64: PUSH2 0x0d3d 00000d67: JUMP 00000d68: JUMPDEST 00000d69: SWAP1 00000d6a: POP 00000d6b: SWAP2 00000d6c: SWAP1 00000d6d: POP 00000d6e: JUMP 00000d6f: JUMPDEST 00000d70: PUSH2 0x0d78 00000d73: DUP2 00000d74: PUSH2 0x0d5d 00000d77: JUMP 00000d78: JUMPDEST 00000d79: DUP3 00000d7a: MSTORE 00000d7b: POP 00000d7c: POP 00000d7d: JUMP 00000d7e: JUMPDEST 00000d7f: PUSH1 0x00 00000d81: DUP2 00000d82: SWAP1 00000d83: POP 00000d84: SWAP2 00000d85: SWAP1 00000d86: POP 00000d87: JUMP 00000d88: JUMPDEST 00000d89: PUSH2 0x0d91 00000d8c: DUP2 00000d8d: PUSH2 0x0d7e 00000d90: JUMP 00000d91: JUMPDEST 00000d92: DUP3 00000d93: MSTORE 00000d94: POP 00000d95: POP 00000d96: JUMP 00000d97: JUMPDEST 00000d98: PUSH1 0x00 00000d9a: PUSH1 0x40 00000d9c: DUP3 00000d9d: ADD 00000d9e: SWAP1 00000d9f: POP 00000da0: PUSH2 0x0dac 00000da3: PUSH1 0x00 00000da5: DUP4 00000da6: ADD 00000da7: DUP6 00000da8: PUSH2 0x0d6f 00000dab: JUMP 00000dac: JUMPDEST 00000dad: PUSH2 0x0db9 00000db0: PUSH1 0x20 00000db2: DUP4 00000db3: ADD 00000db4: DUP5 00000db5: PUSH2 0x0d88 00000db8: JUMP 00000db9: JUMPDEST 00000dba: SWAP4 00000dbb: SWAP3 00000dbc: POP 00000dbd: POP 00000dbe: POP 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: PUSH1 0x00 00000dc3: DUP1 00000dc4: REVERT 00000dc5: JUMPDEST 00000dc6: PUSH1 0x00 00000dc8: PUSH2 0x0dd0 00000dcb: DUP3 00000dcc: PUSH2 0x0d3d 00000dcf: JUMP 00000dd0: JUMPDEST 00000dd1: SWAP1 00000dd2: POP 00000dd3: SWAP2 00000dd4: SWAP1 00000dd5: POP 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: PUSH2 0x0de0 00000ddb: DUP2 00000ddc: PUSH2 0x0dc5 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: DUP2 00000de2: EQ 00000de3: PUSH2 0x0deb 00000de6: JUMPI 00000de7: PUSH1 0x00 00000de9: DUP1 00000dea: REVERT 00000deb: JUMPDEST 00000dec: POP 00000ded: JUMP 00000dee: JUMPDEST 00000def: PUSH1 0x00 00000df1: DUP2 00000df2: CALLDATALOAD 00000df3: SWAP1 00000df4: POP 00000df5: PUSH2 0x0dfd 00000df8: DUP2 00000df9: PUSH2 0x0dd7 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: SWAP3 00000dff: SWAP2 00000e00: POP 00000e01: POP 00000e02: JUMP 00000e03: JUMPDEST 00000e04: PUSH1 0x00 00000e06: PUSH1 0x20 00000e08: DUP3 00000e09: DUP5 00000e0a: SUB 00000e0b: SLT 00000e0c: ISZERO 00000e0d: PUSH2 0x0e19 00000e10: JUMPI 00000e11: PUSH2 0x0e18 00000e14: PUSH2 0x0dc0 00000e17: JUMP 00000e18: JUMPDEST 00000e19: JUMPDEST 00000e1a: PUSH1 0x00 00000e1c: PUSH2 0x0e27 00000e1f: DUP5 00000e20: DUP3 00000e21: DUP6 00000e22: ADD 00000e23: PUSH2 0x0dee 00000e26: JUMP 00000e27: JUMPDEST 00000e28: SWAP2 00000e29: POP 00000e2a: POP 00000e2b: SWAP3 00000e2c: SWAP2 00000e2d: POP 00000e2e: POP 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: PUSH1 0x00 00000e33: PUSH1 0x20 00000e35: DUP3 00000e36: ADD 00000e37: SWAP1 00000e38: POP 00000e39: PUSH2 0x0e45 00000e3c: PUSH1 0x00 00000e3e: DUP4 00000e3f: ADD 00000e40: DUP5 00000e41: PUSH2 0x0d88 00000e44: JUMP 00000e45: JUMPDEST 00000e46: SWAP3 00000e47: SWAP2 00000e48: POP 00000e49: POP 00000e4a: JUMP 00000e4b: JUMPDEST 00000e4c: PUSH1 0x00 00000e4e: PUSH2 0x0e56 00000e51: DUP3 00000e52: PUSH2 0x0d5d 00000e55: JUMP 00000e56: JUMPDEST 00000e57: SWAP1 00000e58: POP 00000e59: SWAP2 00000e5a: SWAP1 00000e5b: POP 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: PUSH2 0x0e66 00000e61: DUP2 00000e62: PUSH2 0x0e4b 00000e65: JUMP 00000e66: JUMPDEST 00000e67: DUP2 00000e68: EQ 00000e69: PUSH2 0x0e71 00000e6c: JUMPI 00000e6d: PUSH1 0x00 00000e6f: DUP1 00000e70: REVERT 00000e71: JUMPDEST 00000e72: POP 00000e73: JUMP 00000e74: JUMPDEST 00000e75: PUSH1 0x00 00000e77: DUP2 00000e78: CALLDATALOAD 00000e79: SWAP1 00000e7a: POP 00000e7b: PUSH2 0x0e83 00000e7e: DUP2 00000e7f: PUSH2 0x0e5d 00000e82: JUMP 00000e83: JUMPDEST 00000e84: SWAP3 00000e85: SWAP2 00000e86: POP 00000e87: POP 00000e88: JUMP 00000e89: JUMPDEST 00000e8a: PUSH2 0x0e92 00000e8d: DUP2 00000e8e: PUSH2 0x0d5d 00000e91: JUMP 00000e92: JUMPDEST 00000e93: DUP2 00000e94: EQ 00000e95: PUSH2 0x0e9d 00000e98: JUMPI 00000e99: PUSH1 0x00 00000e9b: DUP1 00000e9c: REVERT 00000e9d: JUMPDEST 00000e9e: POP 00000e9f: JUMP 00000ea0: JUMPDEST 00000ea1: PUSH1 0x00 00000ea3: DUP2 00000ea4: CALLDATALOAD 00000ea5: SWAP1 00000ea6: POP 00000ea7: PUSH2 0x0eaf 00000eaa: DUP2 00000eab: PUSH2 0x0e89 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: SWAP3 00000eb1: SWAP2 00000eb2: POP 00000eb3: POP 00000eb4: JUMP 00000eb5: JUMPDEST 00000eb6: PUSH1 0x00 00000eb8: DUP1 00000eb9: PUSH1 0x40 00000ebb: DUP4 00000ebc: DUP6 00000ebd: SUB 00000ebe: SLT 00000ebf: ISZERO 00000ec0: PUSH2 0x0ecc 00000ec3: JUMPI 00000ec4: PUSH2 0x0ecb 00000ec7: PUSH2 0x0dc0 00000eca: JUMP 00000ecb: JUMPDEST 00000ecc: JUMPDEST 00000ecd: PUSH1 0x00 00000ecf: PUSH2 0x0eda 00000ed2: DUP6 00000ed3: DUP3 00000ed4: DUP7 00000ed5: ADD 00000ed6: PUSH2 0x0e74 00000ed9: JUMP 00000eda: JUMPDEST 00000edb: SWAP3 00000edc: POP 00000edd: POP 00000ede: PUSH1 0x20 00000ee0: PUSH2 0x0eeb 00000ee3: DUP6 00000ee4: DUP3 00000ee5: DUP7 00000ee6: ADD 00000ee7: PUSH2 0x0ea0 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: SWAP2 00000eed: POP 00000eee: POP 00000eef: SWAP3 00000ef0: POP 00000ef1: SWAP3 00000ef2: SWAP1 00000ef3: POP 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: PUSH2 0x0efe 00000ef9: DUP2 00000efa: PUSH2 0x0d7e 00000efd: JUMP 00000efe: JUMPDEST 00000eff: DUP2 00000f00: EQ 00000f01: PUSH2 0x0f09 00000f04: JUMPI 00000f05: PUSH1 0x00 00000f07: DUP1 00000f08: REVERT 00000f09: JUMPDEST 00000f0a: POP 00000f0b: JUMP 00000f0c: JUMPDEST 00000f0d: PUSH1 0x00 00000f0f: DUP2 00000f10: CALLDATALOAD 00000f11: SWAP1 00000f12: POP 00000f13: PUSH2 0x0f1b 00000f16: DUP2 00000f17: PUSH2 0x0ef5 00000f1a: JUMP 00000f1b: JUMPDEST 00000f1c: SWAP3 00000f1d: SWAP2 00000f1e: POP 00000f1f: POP 00000f20: JUMP 00000f21: JUMPDEST 00000f22: PUSH1 0x00 00000f24: PUSH1 0x20 00000f26: DUP3 00000f27: DUP5 00000f28: SUB 00000f29: SLT 00000f2a: ISZERO 00000f2b: PUSH2 0x0f37 00000f2e: JUMPI 00000f2f: PUSH2 0x0f36 00000f32: PUSH2 0x0dc0 00000f35: JUMP 00000f36: JUMPDEST 00000f37: JUMPDEST 00000f38: PUSH1 0x00 00000f3a: PUSH2 0x0f45 00000f3d: DUP5 00000f3e: DUP3 00000f3f: DUP6 00000f40: ADD 00000f41: PUSH2 0x0f0c 00000f44: JUMP 00000f45: JUMPDEST 00000f46: SWAP2 00000f47: POP 00000f48: POP 00000f49: SWAP3 00000f4a: SWAP2 00000f4b: POP 00000f4c: POP 00000f4d: JUMP 00000f4e: JUMPDEST 00000f4f: PUSH1 0x00 00000f51: PUSH1 0x20 00000f53: DUP3 00000f54: ADD 00000f55: SWAP1 00000f56: POP 00000f57: PUSH2 0x0f63 00000f5a: PUSH1 0x00 00000f5c: DUP4 00000f5d: ADD 00000f5e: DUP5 00000f5f: PUSH2 0x0d6f 00000f62: JUMP 00000f63: JUMPDEST 00000f64: SWAP3 00000f65: SWAP2 00000f66: POP 00000f67: POP 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: PUSH1 0x00 00000f6c: PUSH1 0x20 00000f6e: DUP3 00000f6f: DUP5 00000f70: SUB 00000f71: SLT 00000f72: ISZERO 00000f73: PUSH2 0x0f7f 00000f76: JUMPI 00000f77: PUSH2 0x0f7e 00000f7a: PUSH2 0x0dc0 00000f7d: JUMP 00000f7e: JUMPDEST 00000f7f: JUMPDEST 00000f80: PUSH1 0x00 00000f82: PUSH2 0x0f8d 00000f85: DUP5 00000f86: DUP3 00000f87: DUP6 00000f88: ADD 00000f89: PUSH2 0x0ea0 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: SWAP2 00000f8f: POP 00000f90: POP 00000f91: SWAP3 00000f92: SWAP2 00000f93: POP 00000f94: POP 00000f95: JUMP 00000f96: JUMPDEST 00000f97: PUSH1 0x00 00000f99: PUSH1 0x20 00000f9b: DUP3 00000f9c: DUP5 00000f9d: SUB 00000f9e: SLT 00000f9f: ISZERO 00000fa0: PUSH2 0x0fac 00000fa3: JUMPI 00000fa4: PUSH2 0x0fab 00000fa7: PUSH2 0x0dc0 00000faa: JUMP 00000fab: JUMPDEST 00000fac: JUMPDEST 00000fad: PUSH1 0x00 00000faf: PUSH2 0x0fba 00000fb2: DUP5 00000fb3: DUP3 00000fb4: DUP6 00000fb5: ADD 00000fb6: PUSH2 0x0e74 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: SWAP2 00000fbc: POP 00000fbd: POP 00000fbe: SWAP3 00000fbf: SWAP2 00000fc0: POP 00000fc1: POP 00000fc2: JUMP 00000fc3: JUMPDEST 00000fc4: PUSH1 0x00 00000fc6: DUP3 00000fc7: DUP3 00000fc8: MSTORE 00000fc9: PUSH1 0x20 00000fcb: DUP3 00000fcc: ADD 00000fcd: SWAP1 00000fce: POP 00000fcf: SWAP3 00000fd0: SWAP2 00000fd1: POP 00000fd2: POP 00000fd3: JUMP 00000fd4: JUMPDEST 00000fd5: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000ff6: PUSH1 0x00 00000ff8: DUP3 00000ff9: ADD 00000ffa: MSTORE 00000ffb: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000 0000101c: PUSH1 0x20 0000101e: DUP3 0000101f: ADD 00001020: MSTORE 00001021: POP 00001022: JUMP 00001023: JUMPDEST 00001024: PUSH1 0x00 00001026: PUSH2 0x1030 00001029: PUSH1 0x26 0000102b: DUP4 0000102c: PUSH2 0x0fc3 0000102f: JUMP 00001030: JUMPDEST 00001031: SWAP2 00001032: POP 00001033: PUSH2 0x103b 00001036: DUP3 00001037: PUSH2 0x0fd4 0000103a: JUMP 0000103b: JUMPDEST 0000103c: PUSH1 0x40 0000103e: DUP3 0000103f: ADD 00001040: SWAP1 00001041: POP 00001042: SWAP2 00001043: SWAP1 00001044: POP 00001045: JUMP 00001046: JUMPDEST 00001047: PUSH1 0x00 00001049: PUSH1 0x20 0000104b: DUP3 0000104c: ADD 0000104d: SWAP1 0000104e: POP 0000104f: DUP2 00001050: DUP2 00001051: SUB 00001052: PUSH1 0x00 00001054: DUP4 00001055: ADD 00001056: MSTORE 00001057: PUSH2 0x105f 0000105a: DUP2 0000105b: PUSH2 0x1023 0000105e: JUMP 0000105f: JUMPDEST 00001060: SWAP1 00001061: POP 00001062: SWAP2 00001063: SWAP1 00001064: POP 00001065: JUMP 00001066: JUMPDEST 00001067: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001088: PUSH1 0x00 0000108a: MSTORE 0000108b: PUSH1 0x11 0000108d: PUSH1 0x04 0000108f: MSTORE 00001090: PUSH1 0x24 00001092: PUSH1 0x00 00001094: REVERT 00001095: JUMPDEST 00001096: PUSH1 0x00 00001098: PUSH2 0x10a0 0000109b: DUP3 0000109c: PUSH2 0x0d7e 0000109f: JUMP 000010a0: JUMPDEST 000010a1: SWAP2 000010a2: POP 000010a3: PUSH2 0x10ab 000010a6: DUP4 000010a7: PUSH2 0x0d7e 000010aa: JUMP 000010ab: JUMPDEST 000010ac: SWAP3 000010ad: POP 000010ae: DUP3 000010af: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010d0: SUB 000010d1: DUP3 000010d2: GT 000010d3: ISZERO 000010d4: PUSH2 0x10e0 000010d7: JUMPI 000010d8: PUSH2 0x10df 000010db: PUSH2 0x1066 000010de: JUMP 000010df: JUMPDEST 000010e0: JUMPDEST 000010e1: DUP3 000010e2: DUP3 000010e3: ADD 000010e4: SWAP1 000010e5: POP 000010e6: SWAP3 000010e7: SWAP2 000010e8: POP 000010e9: POP 000010ea: JUMP 000010eb: JUMPDEST 000010ec: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 0000110d: PUSH1 0x00 0000110f: DUP3 00001110: ADD 00001111: MSTORE 00001112: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000 00001133: PUSH1 0x20 00001135: DUP3 00001136: ADD 00001137: MSTORE 00001138: POP 00001139: JUMP 0000113a: JUMPDEST 0000113b: PUSH1 0x00 0000113d: PUSH2 0x1147 00001140: PUSH1 0x2b 00001142: DUP4 00001143: PUSH2 0x0fc3 00001146: JUMP 00001147: JUMPDEST 00001148: SWAP2 00001149: POP 0000114a: PUSH2 0x1152 0000114d: DUP3 0000114e: PUSH2 0x10eb 00001151: JUMP 00001152: JUMPDEST 00001153: PUSH1 0x40 00001155: DUP3 00001156: ADD 00001157: SWAP1 00001158: POP 00001159: SWAP2 0000115a: SWAP1 0000115b: POP 0000115c: JUMP 0000115d: JUMPDEST 0000115e: PUSH1 0x00 00001160: PUSH1 0x20 00001162: DUP3 00001163: ADD 00001164: SWAP1 00001165: POP 00001166: DUP2 00001167: DUP2 00001168: SUB 00001169: PUSH1 0x00 0000116b: DUP4 0000116c: ADD 0000116d: MSTORE 0000116e: PUSH2 0x1176 00001171: DUP2 00001172: PUSH2 0x113a 00001175: JUMP 00001176: JUMPDEST 00001177: SWAP1 00001178: POP 00001179: SWAP2 0000117a: SWAP1 0000117b: POP 0000117c: JUMP 0000117d: JUMPDEST 0000117e: PUSH1 0x00 00001180: DUP2 00001181: SWAP1 00001182: POP 00001183: SWAP2 00001184: SWAP1 00001185: POP 00001186: JUMP 00001187: JUMPDEST 00001188: PUSH1 0x00 0000118a: PUSH2 0x11a2 0000118d: PUSH2 0x119d 00001190: PUSH2 0x1198 00001193: DUP5 00001194: PUSH2 0x0d3d 00001197: JUMP 00001198: JUMPDEST 00001199: PUSH2 0x117d 0000119c: JUMP 0000119d: JUMPDEST 0000119e: PUSH2 0x0d3d 000011a1: JUMP 000011a2: JUMPDEST 000011a3: SWAP1 000011a4: POP 000011a5: SWAP2 000011a6: SWAP1 000011a7: POP 000011a8: JUMP 000011a9: JUMPDEST 000011aa: PUSH1 0x00 000011ac: PUSH2 0x11b4 000011af: DUP3 000011b0: PUSH2 0x1187 000011b3: JUMP 000011b4: JUMPDEST 000011b5: SWAP1 000011b6: POP 000011b7: SWAP2 000011b8: SWAP1 000011b9: POP 000011ba: JUMP 000011bb: JUMPDEST 000011bc: PUSH1 0x00 000011be: PUSH2 0x11c6 000011c1: DUP3 000011c2: PUSH2 0x11a9 000011c5: JUMP 000011c6: JUMPDEST 000011c7: SWAP1 000011c8: POP 000011c9: SWAP2 000011ca: SWAP1 000011cb: POP 000011cc: JUMP 000011cd: JUMPDEST 000011ce: PUSH2 0x11d6 000011d1: DUP2 000011d2: PUSH2 0x11bb 000011d5: JUMP 000011d6: JUMPDEST 000011d7: DUP3 000011d8: MSTORE 000011d9: POP 000011da: POP 000011db: JUMP 000011dc: JUMPDEST 000011dd: PUSH1 0x00 000011df: PUSH1 0x40 000011e1: DUP3 000011e2: ADD 000011e3: SWAP1 000011e4: POP 000011e5: PUSH2 0x11f1 000011e8: PUSH1 0x00 000011ea: DUP4 000011eb: ADD 000011ec: DUP6 000011ed: PUSH2 0x11cd 000011f0: JUMP 000011f1: JUMPDEST 000011f2: PUSH2 0x11fe 000011f5: PUSH1 0x20 000011f7: DUP4 000011f8: ADD 000011f9: DUP5 000011fa: PUSH2 0x0d88 000011fd: JUMP 000011fe: JUMPDEST 000011ff: SWAP4 00001200: SWAP3 00001201: POP 00001202: POP 00001203: POP 00001204: JUMP 00001205: JUMPDEST 00001206: PUSH1 0x00 00001208: DUP2 00001209: MLOAD 0000120a: SWAP1 0000120b: POP 0000120c: PUSH2 0x1214 0000120f: DUP2 00001210: PUSH2 0x0ef5 00001213: JUMP 00001214: JUMPDEST 00001215: SWAP3 00001216: SWAP2 00001217: POP 00001218: POP 00001219: JUMP 0000121a: JUMPDEST 0000121b: PUSH1 0x00 0000121d: PUSH1 0x20 0000121f: DUP3 00001220: DUP5 00001221: SUB 00001222: SLT 00001223: ISZERO 00001224: PUSH2 0x1230 00001227: JUMPI 00001228: PUSH2 0x122f 0000122b: PUSH2 0x0dc0 0000122e: JUMP 0000122f: JUMPDEST 00001230: JUMPDEST 00001231: PUSH1 0x00 00001233: PUSH2 0x123e 00001236: DUP5 00001237: DUP3 00001238: DUP6 00001239: ADD 0000123a: PUSH2 0x1205 0000123d: JUMP 0000123e: JUMPDEST 0000123f: SWAP2 00001240: POP 00001241: POP 00001242: SWAP3 00001243: SWAP2 00001244: POP 00001245: POP 00001246: JUMP 00001247: JUMPDEST 00001248: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001269: PUSH1 0x00 0000126b: MSTORE 0000126c: PUSH1 0x32 0000126e: PUSH1 0x04 00001270: MSTORE 00001271: PUSH1 0x24 00001273: PUSH1 0x00 00001275: REVERT 00001276: JUMPDEST 00001277: PUSH1 0x00 00001279: PUSH2 0x1281 0000127c: DUP3 0000127d: PUSH2 0x0d7e 00001280: JUMP 00001281: JUMPDEST 00001282: SWAP2 00001283: POP 00001284: PUSH2 0x128c 00001287: DUP4 00001288: PUSH2 0x0d7e 0000128b: JUMP 0000128c: JUMPDEST 0000128d: SWAP3 0000128e: POP 0000128f: DUP2 00001290: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000012b1: DIV 000012b2: DUP4 000012b3: GT 000012b4: DUP3 000012b5: ISZERO 000012b6: ISZERO 000012b7: AND 000012b8: ISZERO 000012b9: PUSH2 0x12c5 000012bc: JUMPI 000012bd: PUSH2 0x12c4 000012c0: PUSH2 0x1066 000012c3: JUMP 000012c4: JUMPDEST 000012c5: JUMPDEST 000012c6: DUP3 000012c7: DUP3 000012c8: MUL 000012c9: SWAP1 000012ca: POP 000012cb: SWAP3 000012cc: SWAP2 000012cd: POP 000012ce: POP 000012cf: JUMP 000012d0: JUMPDEST 000012d1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000012f2: PUSH1 0x00 000012f4: MSTORE 000012f5: PUSH1 0x12 000012f7: PUSH1 0x04 000012f9: MSTORE 000012fa: PUSH1 0x24 000012fc: PUSH1 0x00 000012fe: REVERT 000012ff: JUMPDEST 00001300: PUSH1 0x00 00001302: PUSH2 0x130a 00001305: DUP3 00001306: PUSH2 0x0d7e 00001309: JUMP 0000130a: JUMPDEST 0000130b: SWAP2 0000130c: POP 0000130d: PUSH2 0x1315 00001310: DUP4 00001311: PUSH2 0x0d7e 00001314: JUMP 00001315: JUMPDEST 00001316: SWAP3 00001317: POP 00001318: DUP3 00001319: PUSH2 0x1325 0000131c: JUMPI 0000131d: PUSH2 0x1324 00001320: PUSH2 0x12d0 00001323: JUMP 00001324: JUMPDEST 00001325: JUMPDEST 00001326: DUP3 00001327: DUP3 00001328: DIV 00001329: SWAP1 0000132a: POP 0000132b: SWAP3 0000132c: SWAP2 0000132d: POP 0000132e: POP 0000132f: JUMP 00001330: JUMPDEST 00001331: PUSH1 0x00 00001333: PUSH2 0x133b 00001336: DUP3 00001337: PUSH2 0x0d7e 0000133a: JUMP 0000133b: JUMPDEST 0000133c: SWAP2 0000133d: POP 0000133e: PUSH2 0x1346 00001341: DUP4 00001342: PUSH2 0x0d7e 00001345: JUMP 00001346: JUMPDEST 00001347: SWAP3 00001348: POP 00001349: DUP3 0000134a: DUP3 0000134b: LT 0000134c: ISZERO 0000134d: PUSH2 0x1359 00001350: JUMPI 00001351: PUSH2 0x1358 00001354: PUSH2 0x1066 00001357: JUMP 00001358: JUMPDEST 00001359: JUMPDEST 0000135a: DUP3 0000135b: DUP3 0000135c: SUB 0000135d: SWAP1 0000135e: POP 0000135f: SWAP3 00001360: SWAP2 00001361: POP 00001362: POP 00001363: JUMP 00001364: JUMPDEST 00001365: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00001386: PUSH1 0x00 00001388: DUP3 00001389: ADD 0000138a: MSTORE 0000138b: POP 0000138c: JUMP 0000138d: JUMPDEST 0000138e: PUSH1 0x00 00001390: PUSH2 0x139a 00001393: PUSH1 0x1d 00001395: DUP4 00001396: PUSH2 0x0fc3 00001399: JUMP 0000139a: JUMPDEST 0000139b: SWAP2 0000139c: POP 0000139d: PUSH2 0x13a5 000013a0: DUP3 000013a1: PUSH2 0x1364 000013a4: JUMP 000013a5: JUMPDEST 000013a6: PUSH1 0x20 000013a8: DUP3 000013a9: ADD 000013aa: SWAP1 000013ab: POP 000013ac: SWAP2 000013ad: SWAP1 000013ae: POP 000013af: JUMP 000013b0: JUMPDEST 000013b1: PUSH1 0x00 000013b3: PUSH1 0x20 000013b5: DUP3 000013b6: ADD 000013b7: SWAP1 000013b8: POP 000013b9: DUP2 000013ba: DUP2 000013bb: SUB 000013bc: PUSH1 0x00 000013be: DUP4 000013bf: ADD 000013c0: MSTORE 000013c1: PUSH2 0x13c9 000013c4: DUP2 000013c5: PUSH2 0x138d 000013c8: JUMP 000013c9: JUMPDEST 000013ca: SWAP1 000013cb: POP 000013cc: SWAP2 000013cd: SWAP1 000013ce: POP 000013cf: JUMP 000013d0: JUMPDEST 000013d1: PUSH1 0x00 000013d3: DUP2 000013d4: SWAP1 000013d5: POP 000013d6: SWAP3 000013d7: SWAP2 000013d8: POP 000013d9: POP 000013da: JUMP 000013db: JUMPDEST 000013dc: POP 000013dd: JUMP 000013de: JUMPDEST 000013df: PUSH1 0x00 000013e1: PUSH2 0x13eb 000013e4: PUSH1 0x00 000013e6: DUP4 000013e7: PUSH2 0x13d0 000013ea: JUMP 000013eb: JUMPDEST 000013ec: SWAP2 000013ed: POP 000013ee: PUSH2 0x13f6 000013f1: DUP3 000013f2: PUSH2 0x13db 000013f5: JUMP 000013f6: JUMPDEST 000013f7: PUSH1 0x00 000013f9: DUP3 000013fa: ADD 000013fb: SWAP1 000013fc: POP 000013fd: SWAP2 000013fe: SWAP1 000013ff: POP 00001400: JUMP 00001401: JUMPDEST 00001402: PUSH1 0x00 00001404: PUSH2 0x140c 00001407: DUP3 00001408: PUSH2 0x13de 0000140b: JUMP 0000140c: JUMPDEST 0000140d: SWAP2 0000140e: POP 0000140f: DUP2 00001410: SWAP1 00001411: POP 00001412: SWAP2 00001413: SWAP1 00001414: POP 00001415: JUMP 00001416: JUMPDEST 00001417: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00001438: PUSH1 0x00 0000143a: DUP3 0000143b: ADD 0000143c: MSTORE 0000143d: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 0000145e: PUSH1 0x20 00001460: DUP3 00001461: ADD 00001462: MSTORE 00001463: POP 00001464: JUMP 00001465: JUMPDEST 00001466: PUSH1 0x00 00001468: PUSH2 0x1472 0000146b: PUSH1 0x3a 0000146d: DUP4 0000146e: PUSH2 0x0fc3 00001471: JUMP 00001472: JUMPDEST 00001473: SWAP2 00001474: POP 00001475: PUSH2 0x147d 00001478: DUP3 00001479: PUSH2 0x1416 0000147c: JUMP 0000147d: JUMPDEST 0000147e: PUSH1 0x40 00001480: DUP3 00001481: ADD 00001482: SWAP1 00001483: POP 00001484: SWAP2 00001485: SWAP1 00001486: POP 00001487: JUMP 00001488: JUMPDEST 00001489: PUSH1 0x00 0000148b: PUSH1 0x20 0000148d: DUP3 0000148e: ADD 0000148f: SWAP1 00001490: POP 00001491: DUP2 00001492: DUP2 00001493: SUB 00001494: PUSH1 0x00 00001496: DUP4 00001497: ADD 00001498: MSTORE 00001499: PUSH2 0x14a1 0000149c: DUP2 0000149d: PUSH2 0x1465 000014a0: JUMP 000014a1: JUMPDEST 000014a2: SWAP1 000014a3: POP 000014a4: SWAP2 000014a5: SWAP1 000014a6: POP 000014a7: JUMP 000014a8: JUMPDEST 000014a9: PUSH1 0x00 000014ab: DUP2 000014ac: ISZERO 000014ad: ISZERO 000014ae: SWAP1 000014af: POP 000014b0: SWAP2 000014b1: SWAP1 000014b2: POP 000014b3: JUMP 000014b4: JUMPDEST 000014b5: PUSH2 0x14bd 000014b8: DUP2 000014b9: PUSH2 0x14a8 000014bc: JUMP 000014bd: JUMPDEST 000014be: DUP2 000014bf: EQ 000014c0: PUSH2 0x14c8 000014c3: JUMPI 000014c4: PUSH1 0x00 000014c6: DUP1 000014c7: REVERT 000014c8: JUMPDEST 000014c9: POP 000014ca: JUMP 000014cb: JUMPDEST 000014cc: PUSH1 0x00 000014ce: DUP2 000014cf: MLOAD 000014d0: SWAP1 000014d1: POP 000014d2: PUSH2 0x14da 000014d5: DUP2 000014d6: PUSH2 0x14b4 000014d9: JUMP 000014da: JUMPDEST 000014db: SWAP3 000014dc: SWAP2 000014dd: POP 000014de: POP 000014df: JUMP 000014e0: JUMPDEST 000014e1: PUSH1 0x00 000014e3: PUSH1 0x20 000014e5: DUP3 000014e6: DUP5 000014e7: SUB 000014e8: SLT 000014e9: ISZERO 000014ea: PUSH2 0x14f6 000014ed: JUMPI 000014ee: PUSH2 0x14f5 000014f1: PUSH2 0x0dc0 000014f4: JUMP 000014f5: JUMPDEST 000014f6: JUMPDEST 000014f7: PUSH1 0x00 000014f9: PUSH2 0x1504 000014fc: DUP5 000014fd: DUP3 000014fe: DUP6 000014ff: ADD 00001500: PUSH2 0x14cb 00001503: JUMP 00001504: JUMPDEST 00001505: SWAP2 00001506: POP 00001507: POP 00001508: SWAP3 00001509: SWAP2 0000150a: POP 0000150b: POP 0000150c: JUMP 0000150d: JUMPDEST 0000150e: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 0000152f: PUSH1 0x00 00001531: DUP3 00001532: ADD 00001533: MSTORE 00001534: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00001555: PUSH1 0x20 00001557: DUP3 00001558: ADD 00001559: MSTORE 0000155a: POP 0000155b: JUMP 0000155c: JUMPDEST 0000155d: PUSH1 0x00 0000155f: PUSH2 0x1569 00001562: PUSH1 0x2a 00001564: DUP4 00001565: PUSH2 0x0fc3 00001568: JUMP 00001569: JUMPDEST 0000156a: SWAP2 0000156b: POP 0000156c: PUSH2 0x1574 0000156f: DUP3 00001570: PUSH2 0x150d 00001573: JUMP 00001574: JUMPDEST 00001575: PUSH1 0x40 00001577: DUP3 00001578: ADD 00001579: SWAP1 0000157a: POP 0000157b: SWAP2 0000157c: SWAP1 0000157d: POP 0000157e: JUMP 0000157f: JUMPDEST 00001580: PUSH1 0x00 00001582: PUSH1 0x20 00001584: DUP3 00001585: ADD 00001586: SWAP1 00001587: POP 00001588: DUP2 00001589: DUP2 0000158a: SUB 0000158b: PUSH1 0x00 0000158d: DUP4 0000158e: ADD 0000158f: MSTORE 00001590: PUSH2 0x1598 00001593: DUP2 00001594: PUSH2 0x155c 00001597: JUMP 00001598: JUMPDEST 00001599: SWAP1 0000159a: POP 0000159b: SWAP2 0000159c: SWAP1 0000159d: POP 0000159e: JUMP 0000159f: JUMPDEST 000015a0: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 000015c1: PUSH1 0x00 000015c3: DUP3 000015c4: ADD 000015c5: MSTORE 000015c6: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 000015e7: PUSH1 0x20 000015e9: DUP3 000015ea: ADD 000015eb: MSTORE 000015ec: POP 000015ed: JUMP 000015ee: JUMPDEST 000015ef: PUSH1 0x00 000015f1: PUSH2 0x15fb 000015f4: PUSH1 0x26 000015f6: DUP4 000015f7: PUSH2 0x0fc3 000015fa: JUMP 000015fb: JUMPDEST 000015fc: SWAP2 000015fd: POP 000015fe: PUSH2 0x1606 00001601: DUP3 00001602: PUSH2 0x159f 00001605: JUMP 00001606: JUMPDEST 00001607: PUSH1 0x40 00001609: DUP3 0000160a: ADD 0000160b: SWAP1 0000160c: POP 0000160d: SWAP2 0000160e: SWAP1 0000160f: POP 00001610: JUMP 00001611: JUMPDEST 00001612: PUSH1 0x00 00001614: PUSH1 0x20 00001616: DUP3 00001617: ADD 00001618: SWAP1 00001619: POP 0000161a: DUP2 0000161b: DUP2 0000161c: SUB 0000161d: PUSH1 0x00 0000161f: DUP4 00001620: ADD 00001621: MSTORE 00001622: PUSH2 0x162a 00001625: DUP2 00001626: PUSH2 0x15ee 00001629: JUMP 0000162a: JUMPDEST 0000162b: SWAP1 0000162c: POP 0000162d: SWAP2 0000162e: SWAP1 0000162f: POP 00001630: JUMP 00001631: JUMPDEST 00001632: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001653: PUSH1 0x00 00001655: DUP3 00001656: ADD 00001657: MSTORE 00001658: POP 00001659: JUMP 0000165a: JUMPDEST 0000165b: PUSH1 0x00 0000165d: PUSH2 0x1667 00001660: PUSH1 0x1d 00001662: DUP4 00001663: PUSH2 0x0fc3 00001666: JUMP 00001667: JUMPDEST 00001668: SWAP2 00001669: POP 0000166a: PUSH2 0x1672 0000166d: DUP3 0000166e: PUSH2 0x1631 00001671: JUMP 00001672: JUMPDEST 00001673: PUSH1 0x20 00001675: DUP3 00001676: ADD 00001677: SWAP1 00001678: POP 00001679: SWAP2 0000167a: SWAP1 0000167b: POP 0000167c: JUMP 0000167d: JUMPDEST 0000167e: PUSH1 0x00 00001680: PUSH1 0x20 00001682: DUP3 00001683: ADD 00001684: SWAP1 00001685: POP 00001686: DUP2 00001687: DUP2 00001688: SUB 00001689: PUSH1 0x00 0000168b: DUP4 0000168c: ADD 0000168d: MSTORE 0000168e: PUSH2 0x1696 00001691: DUP2 00001692: PUSH2 0x165a 00001695: JUMP 00001696: JUMPDEST 00001697: SWAP1 00001698: POP 00001699: SWAP2 0000169a: SWAP1 0000169b: POP 0000169c: JUMP 0000169d: JUMPDEST 0000169e: PUSH1 0x00 000016a0: DUP2 000016a1: MLOAD 000016a2: SWAP1 000016a3: POP 000016a4: SWAP2 000016a5: SWAP1 000016a6: POP 000016a7: JUMP 000016a8: JUMPDEST 000016a9: PUSH1 0x00 000016ab: JUMPDEST 000016ac: DUP4 000016ad: DUP2 000016ae: LT 000016af: ISZERO 000016b0: PUSH2 0x16c6 000016b3: JUMPI 000016b4: DUP1 000016b5: DUP3 000016b6: ADD 000016b7: MLOAD 000016b8: DUP2 000016b9: DUP5 000016ba: ADD 000016bb: MSTORE 000016bc: PUSH1 0x20 000016be: DUP2 000016bf: ADD 000016c0: SWAP1 000016c1: POP 000016c2: PUSH2 0x16ab 000016c5: JUMP 000016c6: JUMPDEST 000016c7: DUP4 000016c8: DUP2 000016c9: GT 000016ca: ISZERO 000016cb: PUSH2 0x16d5 000016ce: JUMPI 000016cf: PUSH1 0x00 000016d1: DUP5 000016d2: DUP5 000016d3: ADD 000016d4: MSTORE 000016d5: JUMPDEST 000016d6: POP 000016d7: POP 000016d8: POP 000016d9: POP 000016da: JUMP 000016db: JUMPDEST 000016dc: PUSH1 0x00 000016de: PUSH2 0x16e6 000016e1: DUP3 000016e2: PUSH2 0x169d 000016e5: JUMP 000016e6: JUMPDEST 000016e7: PUSH2 0x16f0 000016ea: DUP2 000016eb: DUP6 000016ec: PUSH2 0x13d0 000016ef: JUMP 000016f0: JUMPDEST 000016f1: SWAP4 000016f2: POP 000016f3: PUSH2 0x1700 000016f6: DUP2 000016f7: DUP6 000016f8: PUSH1 0x20 000016fa: DUP7 000016fb: ADD 000016fc: PUSH2 0x16a8 000016ff: JUMP 00001700: JUMPDEST 00001701: DUP1 00001702: DUP5 00001703: ADD 00001704: SWAP2 00001705: POP 00001706: POP 00001707: SWAP3 00001708: SWAP2 00001709: POP 0000170a: POP 0000170b: JUMP 0000170c: JUMPDEST 0000170d: PUSH1 0x00 0000170f: PUSH2 0x1718 00001712: DUP3 00001713: DUP5 00001714: PUSH2 0x16db 00001717: JUMP 00001718: JUMPDEST 00001719: SWAP2 0000171a: POP 0000171b: DUP2 0000171c: SWAP1 0000171d: POP 0000171e: SWAP3 0000171f: SWAP2 00001720: POP 00001721: POP 00001722: JUMP 00001723: JUMPDEST 00001724: PUSH1 0x00 00001726: DUP2 00001727: MLOAD 00001728: SWAP1 00001729: POP 0000172a: SWAP2 0000172b: SWAP1 0000172c: POP 0000172d: JUMP 0000172e: JUMPDEST 0000172f: PUSH1 0x00 00001731: PUSH1 0x1f 00001733: NOT 00001734: PUSH1 0x1f 00001736: DUP4 00001737: ADD 00001738: AND 00001739: SWAP1 0000173a: POP 0000173b: SWAP2 0000173c: SWAP1 0000173d: POP 0000173e: JUMP 0000173f: JUMPDEST 00001740: PUSH1 0x00 00001742: PUSH2 0x174a 00001745: DUP3 00001746: PUSH2 0x1723 00001749: JUMP 0000174a: JUMPDEST 0000174b: PUSH2 0x1754 0000174e: DUP2 0000174f: DUP6 00001750: PUSH2 0x0fc3 00001753: JUMP 00001754: JUMPDEST 00001755: SWAP4 00001756: POP 00001757: PUSH2 0x1764 0000175a: DUP2 0000175b: DUP6 0000175c: PUSH1 0x20 0000175e: DUP7 0000175f: ADD 00001760: PUSH2 0x16a8 00001763: JUMP 00001764: JUMPDEST 00001765: PUSH2 0x176d 00001768: DUP2 00001769: PUSH2 0x172e 0000176c: JUMP 0000176d: JUMPDEST 0000176e: DUP5 0000176f: ADD 00001770: SWAP2 00001771: POP 00001772: POP 00001773: SWAP3 00001774: SWAP2 00001775: POP 00001776: POP 00001777: JUMP 00001778: JUMPDEST 00001779: PUSH1 0x00 0000177b: PUSH1 0x20 0000177d: DUP3 0000177e: ADD 0000177f: SWAP1 00001780: POP 00001781: DUP2 00001782: DUP2 00001783: SUB 00001784: PUSH1 0x00 00001786: DUP4 00001787: ADD 00001788: MSTORE 00001789: PUSH2 0x1792 0000178c: DUP2 0000178d: DUP5 0000178e: PUSH2 0x173f 00001791: JUMP 00001792: JUMPDEST 00001793: SWAP1 00001794: POP 00001795: SWAP3 00001796: SWAP2 00001797: POP 00001798: POP 00001799: JUMP 0000179a: INVALID 0000179b: LOG2 0000179c: PUSH5 0x6970667358 000017a2: UNKNOWN(0x22) 000017a3: SLT 000017a4: KECCAK256 000017a5: PUSH17 0xf9d0406c03690ef832027d97adc988eea6 000017b7: UNKNOWN(0xB4) 000017b8: UNKNOWN(0xDA) 000017b9: UNKNOWN(0xDA) 000017ba: UNKNOWN(0xC8) 000017bb: DIFFICULTY 000017bc: DUP14 000017bd: CALLDATASIZE 000017be: UNKNOWN(0xEC) 000017bf: DUP16 000017c0: LOG0 000017c1: MUL 000017c2: ORIGIN 000017c3: CREATE2 000017c4: UNKNOWN(0x1F) 000017c5: PUSH5 0x736f6c6343 000017cb: STOP 000017cc: ADDMOD 000017cd: UNKNOWN(0x0C) 000017ce: STOP 000017cf: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | 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": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x406072a9",
"selector": "0x406072a9",
"calldata_variants": [
"0x406072a9",
"0x406072a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 6082,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6e833d77746b5568eeb245a95ff9c25e3e9bb7c6d2f24f7a235e516567a36456
call_targets:
0x31aa794e016e7ab71ca8e7456f0d338170393666
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6e833d77746b5568eeb245a95ff9c25e3e9bb7c6d2f24f7a235e516567a36456",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x31aa794e016e7ab71ca8e7456f0d338170393666"
],
"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": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x406072a9",
"selector": "0x406072a9",
"calldata_variants": [
"0x406072a9",
"0x406072a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2492,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3170,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 6082,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6e833d77746b5568eeb245a95ff9c25e3e9bb7c6d2f24f7a235e516567a36456
call_targets:
0x31aa794e016e7ab71ca8e7456f0d338170393666
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6e833d77746b5568eeb245a95ff9c25e3e9bb7c6d2f24f7a235e516567a36456",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x31aa794e016e7ab71ca8e7456f0d338170393666"
],
"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": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x406072a9",
"selector": "0x406072a9",
"calldata_variants": [
"0x406072a9",
"0x406072a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2492,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3170,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 6082,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xfac1b80283fe566910bc919297f8161b61136380cb013fda8fdd68aeb2b2a37a
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 18,
"trace_id": "0xfac1b80283fe566910bc919297f8161b61136380cb013fda8fdd68aeb2b2a37a",
"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": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19165587",
"selector": "0x19165587",
"calldata_variants": [
"0x19165587",
"0x191655870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x406072a9",
"selector": "0x406072a9",
"calldata_variants": [
"0x406072a9",
"0x406072a90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|