019b477e-c463-7244-a90a-4666a7f4843d
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 |
|---|---|---|---|---|
| 25401 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25402 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90809 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90810 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90811 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90812 | 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 0x009a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8b83209b 00000019: GT 0000001a: PUSH2 0x0069 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xce7c2ac2 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xce7c2ac2 0000002f: EQ 00000030: PUSH2 0x0236 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd79779b2 0000003a: EQ 0000003b: PUSH2 0x0279 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe33b7de3 00000045: EQ 00000046: PUSH2 0x02bc 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x8b83209b 00000055: EQ 00000056: PUSH2 0x01ae 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x9852595c 00000060: EQ 00000061: PUSH2 0x01f3 00000064: JUMPI 00000065: PUSH1 0x00 00000067: DUP1 00000068: REVERT 00000069: JUMPDEST 0000006a: DUP1 0000006b: PUSH4 0x19165587 00000070: EQ 00000071: PUSH2 0x00f5 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x3a98ef39 0000007b: EQ 0000007c: PUSH2 0x0117 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x406072a9 00000086: EQ 00000087: PUSH2 0x013b 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x48b75044 00000091: EQ 00000092: PUSH2 0x018e 00000095: JUMPI 00000096: PUSH1 0x00 00000098: DUP1 00000099: REVERT 0000009a: JUMPDEST 0000009b: CALLDATASIZE 0000009c: PUSH2 0x00f0 0000009f: JUMPI 000000a0: PUSH32 0x6ef95f06320e7a25a04a175ca677b7052bdd97131872c2192525a629f51be770 000000c1: CALLER 000000c2: PUSH1 0x40 000000c4: DUP1 000000c5: MLOAD 000000c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000db: SWAP1 000000dc: SWAP3 000000dd: AND 000000de: DUP3 000000df: MSTORE 000000e0: CALLVALUE 000000e1: PUSH1 0x20 000000e3: DUP4 000000e4: ADD 000000e5: MSTORE 000000e6: ADD 000000e7: PUSH1 0x40 000000e9: MLOAD 000000ea: DUP1 000000eb: SWAP2 000000ec: SUB 000000ed: SWAP1 000000ee: LOG1 000000ef: STOP 000000f0: JUMPDEST 000000f1: PUSH1 0x00 000000f3: DUP1 000000f4: REVERT 000000f5: JUMPDEST 000000f6: CALLVALUE 000000f7: DUP1 000000f8: ISZERO 000000f9: PUSH2 0x0101 000000fc: JUMPI 000000fd: PUSH1 0x00 000000ff: DUP1 00000100: REVERT 00000101: JUMPDEST 00000102: POP 00000103: PUSH2 0x0115 00000106: PUSH2 0x0110 00000109: CALLDATASIZE 0000010a: PUSH1 0x04 0000010c: PUSH2 0x0d03 0000010f: JUMP 00000110: JUMPDEST 00000111: PUSH2 0x02d1 00000114: JUMP 00000115: JUMPDEST 00000116: STOP 00000117: JUMPDEST 00000118: CALLVALUE 00000119: DUP1 0000011a: ISZERO 0000011b: PUSH2 0x0123 0000011e: JUMPI 0000011f: PUSH1 0x00 00000121: DUP1 00000122: REVERT 00000123: JUMPDEST 00000124: POP 00000125: PUSH1 0x00 00000127: SLOAD 00000128: JUMPDEST 00000129: PUSH1 0x40 0000012b: MLOAD 0000012c: SWAP1 0000012d: DUP2 0000012e: MSTORE 0000012f: PUSH1 0x20 00000131: ADD 00000132: JUMPDEST 00000133: PUSH1 0x40 00000135: MLOAD 00000136: DUP1 00000137: SWAP2 00000138: SUB 00000139: SWAP1 0000013a: RETURN 0000013b: JUMPDEST 0000013c: CALLVALUE 0000013d: DUP1 0000013e: ISZERO 0000013f: PUSH2 0x0147 00000142: JUMPI 00000143: PUSH1 0x00 00000145: DUP1 00000146: REVERT 00000147: JUMPDEST 00000148: POP 00000149: PUSH2 0x0128 0000014c: PUSH2 0x0156 0000014f: CALLDATASIZE 00000150: PUSH1 0x04 00000152: PUSH2 0x0d42 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016c: SWAP2 0000016d: DUP3 0000016e: AND 0000016f: PUSH1 0x00 00000171: SWAP1 00000172: DUP2 00000173: MSTORE 00000174: PUSH1 0x06 00000176: PUSH1 0x20 00000178: SWAP1 00000179: DUP2 0000017a: MSTORE 0000017b: PUSH1 0x40 0000017d: DUP1 0000017e: DUP4 0000017f: KECCAK256 00000180: SWAP4 00000181: SWAP1 00000182: SWAP5 00000183: AND 00000184: DUP3 00000185: MSTORE 00000186: SWAP2 00000187: SWAP1 00000188: SWAP2 00000189: MSTORE 0000018a: KECCAK256 0000018b: SLOAD 0000018c: SWAP1 0000018d: JUMP 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: PUSH2 0x0115 0000019f: PUSH2 0x01a9 000001a2: CALLDATASIZE 000001a3: PUSH1 0x04 000001a5: PUSH2 0x0d42 000001a8: JUMP 000001a9: JUMPDEST 000001aa: PUSH2 0x0518 000001ad: JUMP 000001ae: JUMPDEST 000001af: CALLVALUE 000001b0: DUP1 000001b1: ISZERO 000001b2: PUSH2 0x01ba 000001b5: JUMPI 000001b6: PUSH1 0x00 000001b8: DUP1 000001b9: REVERT 000001ba: JUMPDEST 000001bb: POP 000001bc: PUSH2 0x01ce 000001bf: PUSH2 0x01c9 000001c2: CALLDATASIZE 000001c3: PUSH1 0x04 000001c5: PUSH2 0x0d7b 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x0854 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH1 0x40 000001d1: MLOAD 000001d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e7: SWAP1 000001e8: SWAP2 000001e9: AND 000001ea: DUP2 000001eb: MSTORE 000001ec: PUSH1 0x20 000001ee: ADD 000001ef: PUSH2 0x0132 000001f2: JUMP 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: DUP1 000001f6: ISZERO 000001f7: PUSH2 0x01ff 000001fa: JUMPI 000001fb: PUSH1 0x00 000001fd: DUP1 000001fe: REVERT 000001ff: JUMPDEST 00000200: POP 00000201: PUSH2 0x0128 00000204: PUSH2 0x020e 00000207: CALLDATASIZE 00000208: PUSH1 0x04 0000020a: PUSH2 0x0d03 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000224: AND 00000225: PUSH1 0x00 00000227: SWAP1 00000228: DUP2 00000229: MSTORE 0000022a: PUSH1 0x03 0000022c: PUSH1 0x20 0000022e: MSTORE 0000022f: PUSH1 0x40 00000231: SWAP1 00000232: KECCAK256 00000233: SLOAD 00000234: SWAP1 00000235: JUMP 00000236: JUMPDEST 00000237: CALLVALUE 00000238: DUP1 00000239: ISZERO 0000023a: PUSH2 0x0242 0000023d: JUMPI 0000023e: PUSH1 0x00 00000240: DUP1 00000241: REVERT 00000242: JUMPDEST 00000243: POP 00000244: PUSH2 0x0128 00000247: PUSH2 0x0251 0000024a: CALLDATASIZE 0000024b: PUSH1 0x04 0000024d: PUSH2 0x0d03 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000267: AND 00000268: PUSH1 0x00 0000026a: SWAP1 0000026b: DUP2 0000026c: MSTORE 0000026d: PUSH1 0x02 0000026f: PUSH1 0x20 00000271: MSTORE 00000272: PUSH1 0x40 00000274: SWAP1 00000275: KECCAK256 00000276: SLOAD 00000277: SWAP1 00000278: JUMP 00000279: JUMPDEST 0000027a: CALLVALUE 0000027b: DUP1 0000027c: ISZERO 0000027d: PUSH2 0x0285 00000280: JUMPI 00000281: PUSH1 0x00 00000283: DUP1 00000284: REVERT 00000285: JUMPDEST 00000286: POP 00000287: PUSH2 0x0128 0000028a: PUSH2 0x0294 0000028d: CALLDATASIZE 0000028e: PUSH1 0x04 00000290: PUSH2 0x0d03 00000293: JUMP 00000294: JUMPDEST 00000295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002aa: AND 000002ab: PUSH1 0x00 000002ad: SWAP1 000002ae: DUP2 000002af: MSTORE 000002b0: PUSH1 0x05 000002b2: PUSH1 0x20 000002b4: MSTORE 000002b5: PUSH1 0x40 000002b7: SWAP1 000002b8: KECCAK256 000002b9: SLOAD 000002ba: SWAP1 000002bb: JUMP 000002bc: JUMPDEST 000002bd: CALLVALUE 000002be: DUP1 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: POP 000002ca: PUSH1 0x01 000002cc: SLOAD 000002cd: PUSH2 0x0128 000002d0: JUMP 000002d1: JUMPDEST 000002d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e7: DUP2 000002e8: AND 000002e9: PUSH1 0x00 000002eb: SWAP1 000002ec: DUP2 000002ed: MSTORE 000002ee: PUSH1 0x02 000002f0: PUSH1 0x20 000002f2: MSTORE 000002f3: PUSH1 0x40 000002f5: SWAP1 000002f6: KECCAK256 000002f7: SLOAD 000002f8: PUSH2 0x0388 000002fb: JUMPI 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000320: DUP2 00000321: MSTORE 00000322: PUSH1 0x20 00000324: PUSH1 0x04 00000326: DUP3 00000327: ADD 00000328: MSTORE 00000329: PUSH1 0x26 0000032b: PUSH1 0x24 0000032d: DUP3 0000032e: ADD 0000032f: MSTORE 00000330: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000351: PUSH1 0x44 00000353: DUP3 00000354: ADD 00000355: MSTORE 00000356: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000 00000377: PUSH1 0x64 00000379: DUP3 0000037a: ADD 0000037b: MSTORE 0000037c: PUSH1 0x84 0000037e: ADD 0000037f: JUMPDEST 00000380: PUSH1 0x40 00000382: MLOAD 00000383: DUP1 00000384: SWAP2 00000385: SUB 00000386: SWAP1 00000387: REVERT 00000388: JUMPDEST 00000389: PUSH1 0x00 0000038b: PUSH2 0x0393 0000038e: PUSH1 0x01 00000390: SLOAD 00000391: SWAP1 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH2 0x039d 00000397: SWAP1 00000398: SELFBALANCE 00000399: PUSH2 0x0e1a 0000039c: JUMP 0000039d: JUMPDEST 0000039e: SWAP1 0000039f: POP 000003a0: PUSH1 0x00 000003a2: PUSH2 0x03d7 000003a5: DUP4 000003a6: DUP4 000003a7: PUSH2 0x03d2 000003aa: DUP7 000003ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c0: AND 000003c1: PUSH1 0x00 000003c3: SWAP1 000003c4: DUP2 000003c5: MSTORE 000003c6: PUSH1 0x03 000003c8: PUSH1 0x20 000003ca: MSTORE 000003cb: PUSH1 0x40 000003cd: SWAP1 000003ce: KECCAK256 000003cf: SLOAD 000003d0: SWAP1 000003d1: JUMP 000003d2: JUMPDEST 000003d3: PUSH2 0x0891 000003d6: JUMP 000003d7: JUMPDEST 000003d8: SWAP1 000003d9: POP 000003da: DUP1 000003db: PUSH2 0x0466 000003de: JUMPI 000003df: PUSH1 0x40 000003e1: MLOAD 000003e2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000403: DUP2 00000404: MSTORE 00000405: PUSH1 0x20 00000407: PUSH1 0x04 00000409: DUP3 0000040a: ADD 0000040b: MSTORE 0000040c: PUSH1 0x2b 0000040e: PUSH1 0x24 00000410: DUP3 00000411: ADD 00000412: MSTORE 00000413: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000434: PUSH1 0x44 00000436: DUP3 00000437: ADD 00000438: MSTORE 00000439: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000 0000045a: PUSH1 0x64 0000045c: DUP3 0000045d: ADD 0000045e: MSTORE 0000045f: PUSH1 0x84 00000461: ADD 00000462: PUSH2 0x037f 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047c: DUP4 0000047d: AND 0000047e: PUSH1 0x00 00000480: SWAP1 00000481: DUP2 00000482: MSTORE 00000483: PUSH1 0x03 00000485: PUSH1 0x20 00000487: MSTORE 00000488: PUSH1 0x40 0000048a: DUP2 0000048b: KECCAK256 0000048c: DUP1 0000048d: SLOAD 0000048e: DUP4 0000048f: SWAP3 00000490: SWAP1 00000491: PUSH2 0x049b 00000494: SWAP1 00000495: DUP5 00000496: SWAP1 00000497: PUSH2 0x0e1a 0000049a: JUMP 0000049b: JUMPDEST 0000049c: SWAP3 0000049d: POP 0000049e: POP 0000049f: DUP2 000004a0: SWAP1 000004a1: SSTORE 000004a2: POP 000004a3: DUP1 000004a4: PUSH1 0x01 000004a6: PUSH1 0x00 000004a8: DUP3 000004a9: DUP3 000004aa: SLOAD 000004ab: PUSH2 0x04b4 000004ae: SWAP2 000004af: SWAP1 000004b0: PUSH2 0x0e1a 000004b3: JUMP 000004b4: JUMPDEST 000004b5: SWAP1 000004b6: SWAP2 000004b7: SSTORE 000004b8: POP 000004b9: PUSH2 0x04c4 000004bc: SWAP1 000004bd: POP 000004be: DUP4 000004bf: DUP3 000004c0: PUSH2 0x08e3 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH1 0x40 000004c7: DUP1 000004c8: MLOAD 000004c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004de: DUP6 000004df: AND 000004e0: DUP2 000004e1: MSTORE 000004e2: PUSH1 0x20 000004e4: DUP2 000004e5: ADD 000004e6: DUP4 000004e7: SWAP1 000004e8: MSTORE 000004e9: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 0000050a: SWAP2 0000050b: ADD 0000050c: PUSH1 0x40 0000050e: MLOAD 0000050f: DUP1 00000510: SWAP2 00000511: SUB 00000512: SWAP1 00000513: LOG1 00000514: POP 00000515: POP 00000516: POP 00000517: JUMP 00000518: JUMPDEST 00000519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052e: DUP2 0000052f: AND 00000530: PUSH1 0x00 00000532: SWAP1 00000533: DUP2 00000534: MSTORE 00000535: PUSH1 0x02 00000537: PUSH1 0x20 00000539: MSTORE 0000053a: PUSH1 0x40 0000053c: SWAP1 0000053d: KECCAK256 0000053e: SLOAD 0000053f: PUSH2 0x05ca 00000542: JUMPI 00000543: PUSH1 0x40 00000545: MLOAD 00000546: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000567: DUP2 00000568: MSTORE 00000569: PUSH1 0x20 0000056b: PUSH1 0x04 0000056d: DUP3 0000056e: ADD 0000056f: MSTORE 00000570: PUSH1 0x26 00000572: PUSH1 0x24 00000574: DUP3 00000575: ADD 00000576: MSTORE 00000577: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000598: PUSH1 0x44 0000059a: DUP3 0000059b: ADD 0000059c: MSTORE 0000059d: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000 000005be: PUSH1 0x64 000005c0: DUP3 000005c1: ADD 000005c2: MSTORE 000005c3: PUSH1 0x84 000005c5: ADD 000005c6: PUSH2 0x037f 000005c9: JUMP 000005ca: JUMPDEST 000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e0: DUP3 000005e1: AND 000005e2: PUSH1 0x00 000005e4: SWAP1 000005e5: DUP2 000005e6: MSTORE 000005e7: PUSH1 0x05 000005e9: PUSH1 0x20 000005eb: MSTORE 000005ec: PUSH1 0x40 000005ee: DUP2 000005ef: KECCAK256 000005f0: SLOAD 000005f1: PUSH1 0x40 000005f3: MLOAD 000005f4: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000615: DUP2 00000616: MSTORE 00000617: ADDRESS 00000618: PUSH1 0x04 0000061a: DUP3 0000061b: ADD 0000061c: MSTORE 0000061d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000632: DUP6 00000633: AND 00000634: SWAP1 00000635: PUSH4 0x70a08231 0000063a: SWAP1 0000063b: PUSH1 0x24 0000063d: ADD 0000063e: PUSH1 0x20 00000640: PUSH1 0x40 00000642: MLOAD 00000643: DUP1 00000644: DUP4 00000645: SUB 00000646: DUP2 00000647: DUP7 00000648: DUP1 00000649: EXTCODESIZE 0000064a: ISZERO 0000064b: DUP1 0000064c: ISZERO 0000064d: PUSH2 0x0655 00000650: JUMPI 00000651: PUSH1 0x00 00000653: DUP1 00000654: REVERT 00000655: JUMPDEST 00000656: POP 00000657: GAS 00000658: STATICCALL 00000659: ISZERO 0000065a: DUP1 0000065b: ISZERO 0000065c: PUSH2 0x0669 0000065f: JUMPI 00000660: RETURNDATASIZE 00000661: PUSH1 0x00 00000663: DUP1 00000664: RETURNDATACOPY 00000665: RETURNDATASIZE 00000666: PUSH1 0x00 00000668: REVERT 00000669: JUMPDEST 0000066a: POP 0000066b: POP 0000066c: POP 0000066d: POP 0000066e: PUSH1 0x40 00000670: MLOAD 00000671: RETURNDATASIZE 00000672: PUSH1 0x1f 00000674: NOT 00000675: PUSH1 0x1f 00000677: DUP3 00000678: ADD 00000679: AND 0000067a: DUP3 0000067b: ADD 0000067c: DUP1 0000067d: PUSH1 0x40 0000067f: MSTORE 00000680: POP 00000681: DUP2 00000682: ADD 00000683: SWAP1 00000684: PUSH2 0x068d 00000687: SWAP2 00000688: SWAP1 00000689: PUSH2 0x0d94 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH2 0x0697 00000691: SWAP2 00000692: SWAP1 00000693: PUSH2 0x0e1a 00000696: JUMP 00000697: JUMPDEST 00000698: SWAP1 00000699: POP 0000069a: PUSH1 0x00 0000069c: PUSH2 0x06dd 0000069f: DUP4 000006a0: DUP4 000006a1: PUSH2 0x03d2 000006a4: DUP8 000006a5: DUP8 000006a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006bb: SWAP2 000006bc: DUP3 000006bd: AND 000006be: PUSH1 0x00 000006c0: SWAP1 000006c1: DUP2 000006c2: MSTORE 000006c3: PUSH1 0x06 000006c5: PUSH1 0x20 000006c7: SWAP1 000006c8: DUP2 000006c9: MSTORE 000006ca: PUSH1 0x40 000006cc: DUP1 000006cd: DUP4 000006ce: KECCAK256 000006cf: SWAP4 000006d0: SWAP1 000006d1: SWAP5 000006d2: AND 000006d3: DUP3 000006d4: MSTORE 000006d5: SWAP2 000006d6: SWAP1 000006d7: SWAP2 000006d8: MSTORE 000006d9: KECCAK256 000006da: SLOAD 000006db: SWAP1 000006dc: JUMP 000006dd: JUMPDEST 000006de: SWAP1 000006df: POP 000006e0: DUP1 000006e1: PUSH2 0x076c 000006e4: JUMPI 000006e5: PUSH1 0x40 000006e7: MLOAD 000006e8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000709: DUP2 0000070a: MSTORE 0000070b: PUSH1 0x20 0000070d: PUSH1 0x04 0000070f: DUP3 00000710: ADD 00000711: MSTORE 00000712: PUSH1 0x2b 00000714: PUSH1 0x24 00000716: DUP3 00000717: ADD 00000718: MSTORE 00000719: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 0000073a: PUSH1 0x44 0000073c: DUP3 0000073d: ADD 0000073e: MSTORE 0000073f: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000 00000760: PUSH1 0x64 00000762: DUP3 00000763: ADD 00000764: MSTORE 00000765: PUSH1 0x84 00000767: ADD 00000768: PUSH2 0x037f 0000076b: JUMP 0000076c: JUMPDEST 0000076d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000782: DUP1 00000783: DUP6 00000784: AND 00000785: PUSH1 0x00 00000787: SWAP1 00000788: DUP2 00000789: MSTORE 0000078a: PUSH1 0x06 0000078c: PUSH1 0x20 0000078e: SWAP1 0000078f: DUP2 00000790: MSTORE 00000791: PUSH1 0x40 00000793: DUP1 00000794: DUP4 00000795: KECCAK256 00000796: SWAP4 00000797: DUP8 00000798: AND 00000799: DUP4 0000079a: MSTORE 0000079b: SWAP3 0000079c: SWAP1 0000079d: MSTORE 0000079e: SWAP1 0000079f: DUP2 000007a0: KECCAK256 000007a1: DUP1 000007a2: SLOAD 000007a3: DUP4 000007a4: SWAP3 000007a5: SWAP1 000007a6: PUSH2 0x07b0 000007a9: SWAP1 000007aa: DUP5 000007ab: SWAP1 000007ac: PUSH2 0x0e1a 000007af: JUMP 000007b0: JUMPDEST 000007b1: SWAP1 000007b2: SWAP2 000007b3: SSTORE 000007b4: POP 000007b5: POP 000007b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007cb: DUP5 000007cc: AND 000007cd: PUSH1 0x00 000007cf: SWAP1 000007d0: DUP2 000007d1: MSTORE 000007d2: PUSH1 0x05 000007d4: PUSH1 0x20 000007d6: MSTORE 000007d7: PUSH1 0x40 000007d9: DUP2 000007da: KECCAK256 000007db: DUP1 000007dc: SLOAD 000007dd: DUP4 000007de: SWAP3 000007df: SWAP1 000007e0: PUSH2 0x07ea 000007e3: SWAP1 000007e4: DUP5 000007e5: SWAP1 000007e6: PUSH2 0x0e1a 000007e9: JUMP 000007ea: JUMPDEST 000007eb: SWAP1 000007ec: SWAP2 000007ed: SSTORE 000007ee: POP 000007ef: PUSH2 0x07fb 000007f2: SWAP1 000007f3: POP 000007f4: DUP5 000007f5: DUP5 000007f6: DUP4 000007f7: PUSH2 0x0a42 000007fa: JUMP 000007fb: JUMPDEST 000007fc: PUSH1 0x40 000007fe: DUP1 000007ff: MLOAD 00000800: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000815: DUP6 00000816: DUP2 00000817: AND 00000818: DUP3 00000819: MSTORE 0000081a: PUSH1 0x20 0000081c: DUP3 0000081d: ADD 0000081e: DUP5 0000081f: SWAP1 00000820: MSTORE 00000821: DUP7 00000822: AND 00000823: SWAP2 00000824: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 00000845: SWAP2 00000846: ADD 00000847: PUSH1 0x40 00000849: MLOAD 0000084a: DUP1 0000084b: SWAP2 0000084c: SUB 0000084d: SWAP1 0000084e: LOG2 0000084f: POP 00000850: POP 00000851: POP 00000852: POP 00000853: JUMP 00000854: JUMPDEST 00000855: PUSH1 0x00 00000857: PUSH1 0x04 00000859: DUP3 0000085a: DUP2 0000085b: SLOAD 0000085c: DUP2 0000085d: LT 0000085e: PUSH2 0x0869 00000861: JUMPI 00000862: PUSH2 0x0869 00000865: PUSH2 0x0f20 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH1 0x00 0000086c: SWAP2 0000086d: DUP3 0000086e: MSTORE 0000086f: PUSH1 0x20 00000871: SWAP1 00000872: SWAP2 00000873: KECCAK256 00000874: ADD 00000875: SLOAD 00000876: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088b: AND 0000088c: SWAP3 0000088d: SWAP2 0000088e: POP 0000088f: POP 00000890: JUMP 00000891: JUMPDEST 00000892: PUSH1 0x00 00000894: DUP1 00000895: SLOAD 00000896: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ab: DUP6 000008ac: AND 000008ad: DUP3 000008ae: MSTORE 000008af: PUSH1 0x02 000008b1: PUSH1 0x20 000008b3: MSTORE 000008b4: PUSH1 0x40 000008b6: DUP3 000008b7: KECCAK256 000008b8: SLOAD 000008b9: DUP4 000008ba: SWAP2 000008bb: SWAP1 000008bc: PUSH2 0x08c5 000008bf: SWAP1 000008c0: DUP7 000008c1: PUSH2 0x0e6d 000008c4: JUMP 000008c5: JUMPDEST 000008c6: PUSH2 0x08cf 000008c9: SWAP2 000008ca: SWAP1 000008cb: PUSH2 0x0e32 000008ce: JUMP 000008cf: JUMPDEST 000008d0: PUSH2 0x08d9 000008d3: SWAP2 000008d4: SWAP1 000008d5: PUSH2 0x0eaa 000008d8: JUMP 000008d9: JUMPDEST 000008da: SWAP1 000008db: POP 000008dc: JUMPDEST 000008dd: SWAP4 000008de: SWAP3 000008df: POP 000008e0: POP 000008e1: POP 000008e2: JUMP 000008e3: JUMPDEST 000008e4: DUP1 000008e5: SELFBALANCE 000008e6: LT 000008e7: ISZERO 000008e8: PUSH2 0x094d 000008eb: JUMPI 000008ec: PUSH1 0x40 000008ee: MLOAD 000008ef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000910: DUP2 00000911: MSTORE 00000912: PUSH1 0x20 00000914: PUSH1 0x04 00000916: DUP3 00000917: ADD 00000918: MSTORE 00000919: PUSH1 0x1d 0000091b: PUSH1 0x24 0000091d: DUP3 0000091e: ADD 0000091f: MSTORE 00000920: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000941: PUSH1 0x44 00000943: DUP3 00000944: ADD 00000945: MSTORE 00000946: PUSH1 0x64 00000948: ADD 00000949: PUSH2 0x037f 0000094c: JUMP 0000094d: JUMPDEST 0000094e: PUSH1 0x00 00000950: DUP3 00000951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000966: AND 00000967: DUP3 00000968: PUSH1 0x40 0000096a: MLOAD 0000096b: PUSH1 0x00 0000096d: PUSH1 0x40 0000096f: MLOAD 00000970: DUP1 00000971: DUP4 00000972: SUB 00000973: DUP2 00000974: DUP6 00000975: DUP8 00000976: GAS 00000977: CALL 00000978: SWAP3 00000979: POP 0000097a: POP 0000097b: POP 0000097c: RETURNDATASIZE 0000097d: DUP1 0000097e: PUSH1 0x00 00000980: DUP2 00000981: EQ 00000982: PUSH2 0x09a7 00000985: JUMPI 00000986: PUSH1 0x40 00000988: MLOAD 00000989: SWAP2 0000098a: POP 0000098b: PUSH1 0x1f 0000098d: NOT 0000098e: PUSH1 0x3f 00000990: RETURNDATASIZE 00000991: ADD 00000992: AND 00000993: DUP3 00000994: ADD 00000995: PUSH1 0x40 00000997: MSTORE 00000998: RETURNDATASIZE 00000999: DUP3 0000099a: MSTORE 0000099b: RETURNDATASIZE 0000099c: PUSH1 0x00 0000099e: PUSH1 0x20 000009a0: DUP5 000009a1: ADD 000009a2: RETURNDATACOPY 000009a3: PUSH2 0x09ac 000009a6: JUMP 000009a7: JUMPDEST 000009a8: PUSH1 0x60 000009aa: SWAP2 000009ab: POP 000009ac: JUMPDEST 000009ad: POP 000009ae: POP 000009af: SWAP1 000009b0: POP 000009b1: DUP1 000009b2: PUSH2 0x0a3d 000009b5: JUMPI 000009b6: PUSH1 0x40 000009b8: MLOAD 000009b9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x20 000009de: PUSH1 0x04 000009e0: DUP3 000009e1: ADD 000009e2: MSTORE 000009e3: PUSH1 0x3a 000009e5: PUSH1 0x24 000009e7: DUP3 000009e8: ADD 000009e9: MSTORE 000009ea: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000a0b: PUSH1 0x44 00000a0d: DUP3 00000a0e: ADD 00000a0f: MSTORE 00000a10: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000a31: PUSH1 0x64 00000a33: DUP3 00000a34: ADD 00000a35: MSTORE 00000a36: PUSH1 0x84 00000a38: ADD 00000a39: PUSH2 0x037f 00000a3c: JUMP 00000a3d: JUMPDEST 00000a3e: POP 00000a3f: POP 00000a40: POP 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH1 0x40 00000a45: DUP1 00000a46: MLOAD 00000a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5c: DUP5 00000a5d: DUP2 00000a5e: AND 00000a5f: PUSH1 0x24 00000a61: DUP4 00000a62: ADD 00000a63: MSTORE 00000a64: PUSH1 0x44 00000a66: DUP1 00000a67: DUP4 00000a68: ADD 00000a69: DUP6 00000a6a: SWAP1 00000a6b: MSTORE 00000a6c: DUP4 00000a6d: MLOAD 00000a6e: DUP1 00000a6f: DUP5 00000a70: SUB 00000a71: SWAP1 00000a72: SWAP2 00000a73: ADD 00000a74: DUP2 00000a75: MSTORE 00000a76: PUSH1 0x64 00000a78: SWAP1 00000a79: SWAP3 00000a7a: ADD 00000a7b: DUP4 00000a7c: MSTORE 00000a7d: PUSH1 0x20 00000a7f: DUP1 00000a80: DUP4 00000a81: ADD 00000a82: DUP1 00000a83: MLOAD 00000a84: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000aa1: AND 00000aa2: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000ac3: OR 00000ac4: SWAP1 00000ac5: MSTORE 00000ac6: DUP4 00000ac7: MLOAD 00000ac8: DUP1 00000ac9: DUP6 00000aca: ADD 00000acb: SWAP1 00000acc: SWAP5 00000acd: MSTORE 00000ace: DUP1 00000acf: DUP5 00000ad0: MSTORE 00000ad1: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000af2: SWAP1 00000af3: DUP5 00000af4: ADD 00000af5: MSTORE 00000af6: PUSH2 0x0a3d 00000af9: SWAP3 00000afa: DUP7 00000afb: SWAP3 00000afc: SWAP2 00000afd: PUSH1 0x00 00000aff: SWAP2 00000b00: PUSH2 0x0b0d 00000b03: SWAP2 00000b04: DUP6 00000b05: AND 00000b06: SWAP1 00000b07: DUP5 00000b08: SWAP1 00000b09: PUSH2 0x0bb7 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: DUP1 00000b0f: MLOAD 00000b10: SWAP1 00000b11: SWAP2 00000b12: POP 00000b13: ISZERO 00000b14: PUSH2 0x0a3d 00000b17: JUMPI 00000b18: DUP1 00000b19: DUP1 00000b1a: PUSH1 0x20 00000b1c: ADD 00000b1d: SWAP1 00000b1e: MLOAD 00000b1f: DUP2 00000b20: ADD 00000b21: SWAP1 00000b22: PUSH2 0x0b2b 00000b25: SWAP2 00000b26: SWAP1 00000b27: PUSH2 0x0d20 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH2 0x0a3d 00000b2f: JUMPI 00000b30: PUSH1 0x40 00000b32: MLOAD 00000b33: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b54: DUP2 00000b55: MSTORE 00000b56: PUSH1 0x20 00000b58: PUSH1 0x04 00000b5a: DUP3 00000b5b: ADD 00000b5c: MSTORE 00000b5d: PUSH1 0x2a 00000b5f: PUSH1 0x24 00000b61: DUP3 00000b62: ADD 00000b63: MSTORE 00000b64: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000b85: PUSH1 0x44 00000b87: DUP3 00000b88: ADD 00000b89: MSTORE 00000b8a: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00000bab: PUSH1 0x64 00000bad: DUP3 00000bae: ADD 00000baf: MSTORE 00000bb0: PUSH1 0x84 00000bb2: ADD 00000bb3: PUSH2 0x037f 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH1 0x60 00000bba: PUSH2 0x08d9 00000bbd: DUP5 00000bbe: DUP5 00000bbf: PUSH1 0x00 00000bc1: DUP6 00000bc2: DUP6 00000bc3: DUP5 00000bc4: EXTCODESIZE 00000bc5: PUSH2 0x0c2a 00000bc8: JUMPI 00000bc9: PUSH1 0x40 00000bcb: MLOAD 00000bcc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bed: DUP2 00000bee: MSTORE 00000bef: PUSH1 0x20 00000bf1: PUSH1 0x04 00000bf3: DUP3 00000bf4: ADD 00000bf5: MSTORE 00000bf6: PUSH1 0x1d 00000bf8: PUSH1 0x24 00000bfa: DUP3 00000bfb: ADD 00000bfc: MSTORE 00000bfd: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000c1e: PUSH1 0x44 00000c20: DUP3 00000c21: ADD 00000c22: MSTORE 00000c23: PUSH1 0x64 00000c25: ADD 00000c26: PUSH2 0x037f 00000c29: JUMP 00000c2a: JUMPDEST 00000c2b: PUSH1 0x00 00000c2d: DUP1 00000c2e: DUP7 00000c2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c44: AND 00000c45: DUP6 00000c46: DUP8 00000c47: PUSH1 0x40 00000c49: MLOAD 00000c4a: PUSH2 0x0c53 00000c4d: SWAP2 00000c4e: SWAP1 00000c4f: PUSH2 0x0dad 00000c52: JUMP 00000c53: JUMPDEST 00000c54: PUSH1 0x00 00000c56: PUSH1 0x40 00000c58: MLOAD 00000c59: DUP1 00000c5a: DUP4 00000c5b: SUB 00000c5c: DUP2 00000c5d: DUP6 00000c5e: DUP8 00000c5f: GAS 00000c60: CALL 00000c61: SWAP3 00000c62: POP 00000c63: POP 00000c64: POP 00000c65: RETURNDATASIZE 00000c66: DUP1 00000c67: PUSH1 0x00 00000c69: DUP2 00000c6a: EQ 00000c6b: PUSH2 0x0c90 00000c6e: JUMPI 00000c6f: PUSH1 0x40 00000c71: MLOAD 00000c72: SWAP2 00000c73: POP 00000c74: PUSH1 0x1f 00000c76: NOT 00000c77: PUSH1 0x3f 00000c79: RETURNDATASIZE 00000c7a: ADD 00000c7b: AND 00000c7c: DUP3 00000c7d: ADD 00000c7e: PUSH1 0x40 00000c80: MSTORE 00000c81: RETURNDATASIZE 00000c82: DUP3 00000c83: MSTORE 00000c84: RETURNDATASIZE 00000c85: PUSH1 0x00 00000c87: PUSH1 0x20 00000c89: DUP5 00000c8a: ADD 00000c8b: RETURNDATACOPY 00000c8c: PUSH2 0x0c95 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: PUSH1 0x60 00000c93: SWAP2 00000c94: POP 00000c95: JUMPDEST 00000c96: POP 00000c97: SWAP2 00000c98: POP 00000c99: SWAP2 00000c9a: POP 00000c9b: PUSH2 0x0ca5 00000c9e: DUP3 00000c9f: DUP3 00000ca0: DUP7 00000ca1: PUSH2 0x0cb0 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: SWAP8 00000ca7: SWAP7 00000ca8: POP 00000ca9: POP 00000caa: POP 00000cab: POP 00000cac: POP 00000cad: POP 00000cae: POP 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x60 00000cb3: DUP4 00000cb4: ISZERO 00000cb5: PUSH2 0x0cbf 00000cb8: JUMPI 00000cb9: POP 00000cba: DUP2 00000cbb: PUSH2 0x08dc 00000cbe: JUMP 00000cbf: JUMPDEST 00000cc0: DUP3 00000cc1: MLOAD 00000cc2: ISZERO 00000cc3: PUSH2 0x0ccf 00000cc6: JUMPI 00000cc7: DUP3 00000cc8: MLOAD 00000cc9: DUP1 00000cca: DUP5 00000ccb: PUSH1 0x20 00000ccd: ADD 00000cce: REVERT 00000ccf: JUMPDEST 00000cd0: DUP2 00000cd1: PUSH1 0x40 00000cd3: MLOAD 00000cd4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cf5: DUP2 00000cf6: MSTORE 00000cf7: PUSH1 0x04 00000cf9: ADD 00000cfa: PUSH2 0x037f 00000cfd: SWAP2 00000cfe: SWAP1 00000cff: PUSH2 0x0dc9 00000d02: JUMP 00000d03: JUMPDEST 00000d04: PUSH1 0x00 00000d06: PUSH1 0x20 00000d08: DUP3 00000d09: DUP5 00000d0a: SUB 00000d0b: SLT 00000d0c: ISZERO 00000d0d: PUSH2 0x0d15 00000d10: JUMPI 00000d11: PUSH1 0x00 00000d13: DUP1 00000d14: REVERT 00000d15: JUMPDEST 00000d16: DUP2 00000d17: CALLDATALOAD 00000d18: PUSH2 0x08dc 00000d1b: DUP2 00000d1c: PUSH2 0x0f4f 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: PUSH1 0x00 00000d23: PUSH1 0x20 00000d25: DUP3 00000d26: DUP5 00000d27: SUB 00000d28: SLT 00000d29: ISZERO 00000d2a: PUSH2 0x0d32 00000d2d: JUMPI 00000d2e: PUSH1 0x00 00000d30: DUP1 00000d31: REVERT 00000d32: JUMPDEST 00000d33: DUP2 00000d34: MLOAD 00000d35: DUP1 00000d36: ISZERO 00000d37: ISZERO 00000d38: DUP2 00000d39: EQ 00000d3a: PUSH2 0x08dc 00000d3d: JUMPI 00000d3e: PUSH1 0x00 00000d40: DUP1 00000d41: REVERT 00000d42: JUMPDEST 00000d43: PUSH1 0x00 00000d45: DUP1 00000d46: PUSH1 0x40 00000d48: DUP4 00000d49: DUP6 00000d4a: SUB 00000d4b: SLT 00000d4c: ISZERO 00000d4d: PUSH2 0x0d55 00000d50: JUMPI 00000d51: PUSH1 0x00 00000d53: DUP1 00000d54: REVERT 00000d55: JUMPDEST 00000d56: DUP3 00000d57: CALLDATALOAD 00000d58: PUSH2 0x0d60 00000d5b: DUP2 00000d5c: PUSH2 0x0f4f 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: SWAP2 00000d62: POP 00000d63: PUSH1 0x20 00000d65: DUP4 00000d66: ADD 00000d67: CALLDATALOAD 00000d68: PUSH2 0x0d70 00000d6b: DUP2 00000d6c: PUSH2 0x0f4f 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: DUP1 00000d72: SWAP2 00000d73: POP 00000d74: POP 00000d75: SWAP3 00000d76: POP 00000d77: SWAP3 00000d78: SWAP1 00000d79: POP 00000d7a: JUMP 00000d7b: JUMPDEST 00000d7c: PUSH1 0x00 00000d7e: PUSH1 0x20 00000d80: DUP3 00000d81: DUP5 00000d82: SUB 00000d83: SLT 00000d84: ISZERO 00000d85: PUSH2 0x0d8d 00000d88: JUMPI 00000d89: PUSH1 0x00 00000d8b: DUP1 00000d8c: REVERT 00000d8d: JUMPDEST 00000d8e: POP 00000d8f: CALLDATALOAD 00000d90: SWAP2 00000d91: SWAP1 00000d92: POP 00000d93: JUMP 00000d94: JUMPDEST 00000d95: PUSH1 0x00 00000d97: PUSH1 0x20 00000d99: DUP3 00000d9a: DUP5 00000d9b: SUB 00000d9c: SLT 00000d9d: ISZERO 00000d9e: PUSH2 0x0da6 00000da1: JUMPI 00000da2: PUSH1 0x00 00000da4: DUP1 00000da5: REVERT 00000da6: JUMPDEST 00000da7: POP 00000da8: MLOAD 00000da9: SWAP2 00000daa: SWAP1 00000dab: POP 00000dac: JUMP 00000dad: JUMPDEST 00000dae: PUSH1 0x00 00000db0: DUP3 00000db1: MLOAD 00000db2: PUSH2 0x0dbf 00000db5: DUP2 00000db6: DUP5 00000db7: PUSH1 0x20 00000db9: DUP8 00000dba: ADD 00000dbb: PUSH2 0x0ec1 00000dbe: JUMP 00000dbf: JUMPDEST 00000dc0: SWAP2 00000dc1: SWAP1 00000dc2: SWAP2 00000dc3: ADD 00000dc4: SWAP3 00000dc5: SWAP2 00000dc6: POP 00000dc7: POP 00000dc8: JUMP 00000dc9: JUMPDEST 00000dca: PUSH1 0x20 00000dcc: DUP2 00000dcd: MSTORE 00000dce: PUSH1 0x00 00000dd0: DUP3 00000dd1: MLOAD 00000dd2: DUP1 00000dd3: PUSH1 0x20 00000dd5: DUP5 00000dd6: ADD 00000dd7: MSTORE 00000dd8: PUSH2 0x0de8 00000ddb: DUP2 00000ddc: PUSH1 0x40 00000dde: DUP6 00000ddf: ADD 00000de0: PUSH1 0x20 00000de2: DUP8 00000de3: ADD 00000de4: PUSH2 0x0ec1 00000de7: JUMP 00000de8: JUMPDEST 00000de9: PUSH1 0x1f 00000deb: ADD 00000dec: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000e0d: AND 00000e0e: SWAP2 00000e0f: SWAP1 00000e10: SWAP2 00000e11: ADD 00000e12: PUSH1 0x40 00000e14: ADD 00000e15: SWAP3 00000e16: SWAP2 00000e17: POP 00000e18: POP 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: PUSH1 0x00 00000e1d: DUP3 00000e1e: NOT 00000e1f: DUP3 00000e20: GT 00000e21: ISZERO 00000e22: PUSH2 0x0e2d 00000e25: JUMPI 00000e26: PUSH2 0x0e2d 00000e29: PUSH2 0x0ef1 00000e2c: JUMP 00000e2d: JUMPDEST 00000e2e: POP 00000e2f: ADD 00000e30: SWAP1 00000e31: JUMP 00000e32: JUMPDEST 00000e33: PUSH1 0x00 00000e35: DUP3 00000e36: PUSH2 0x0e68 00000e39: JUMPI 00000e3a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000e5b: PUSH1 0x00 00000e5d: MSTORE 00000e5e: PUSH1 0x12 00000e60: PUSH1 0x04 00000e62: MSTORE 00000e63: PUSH1 0x24 00000e65: PUSH1 0x00 00000e67: REVERT 00000e68: JUMPDEST 00000e69: POP 00000e6a: DIV 00000e6b: SWAP1 00000e6c: JUMP 00000e6d: JUMPDEST 00000e6e: PUSH1 0x00 00000e70: DUP2 00000e71: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e92: DIV 00000e93: DUP4 00000e94: GT 00000e95: DUP3 00000e96: ISZERO 00000e97: ISZERO 00000e98: AND 00000e99: ISZERO 00000e9a: PUSH2 0x0ea5 00000e9d: JUMPI 00000e9e: PUSH2 0x0ea5 00000ea1: PUSH2 0x0ef1 00000ea4: JUMP 00000ea5: JUMPDEST 00000ea6: POP 00000ea7: MUL 00000ea8: SWAP1 00000ea9: JUMP 00000eaa: JUMPDEST 00000eab: PUSH1 0x00 00000ead: DUP3 00000eae: DUP3 00000eaf: LT 00000eb0: ISZERO 00000eb1: PUSH2 0x0ebc 00000eb4: JUMPI 00000eb5: PUSH2 0x0ebc 00000eb8: PUSH2 0x0ef1 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: POP 00000ebe: SUB 00000ebf: SWAP1 00000ec0: JUMP 00000ec1: JUMPDEST 00000ec2: PUSH1 0x00 00000ec4: JUMPDEST 00000ec5: DUP4 00000ec6: DUP2 00000ec7: LT 00000ec8: ISZERO 00000ec9: PUSH2 0x0edc 00000ecc: JUMPI 00000ecd: DUP2 00000ece: DUP2 00000ecf: ADD 00000ed0: MLOAD 00000ed1: DUP4 00000ed2: DUP3 00000ed3: ADD 00000ed4: MSTORE 00000ed5: PUSH1 0x20 00000ed7: ADD 00000ed8: PUSH2 0x0ec4 00000edb: JUMP 00000edc: JUMPDEST 00000edd: DUP4 00000ede: DUP2 00000edf: GT 00000ee0: ISZERO 00000ee1: PUSH2 0x0eeb 00000ee4: JUMPI 00000ee5: PUSH1 0x00 00000ee7: DUP5 00000ee8: DUP5 00000ee9: ADD 00000eea: MSTORE 00000eeb: JUMPDEST 00000eec: POP 00000eed: POP 00000eee: POP 00000eef: POP 00000ef0: JUMP 00000ef1: JUMPDEST 00000ef2: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000f13: PUSH1 0x00 00000f15: MSTORE 00000f16: PUSH1 0x11 00000f18: PUSH1 0x04 00000f1a: MSTORE 00000f1b: PUSH1 0x24 00000f1d: PUSH1 0x00 00000f1f: REVERT 00000f20: JUMPDEST 00000f21: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000f42: PUSH1 0x00 00000f44: MSTORE 00000f45: PUSH1 0x32 00000f47: PUSH1 0x04 00000f49: MSTORE 00000f4a: PUSH1 0x24 00000f4c: PUSH1 0x00 00000f4e: REVERT 00000f4f: JUMPDEST 00000f50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f65: DUP2 00000f66: AND 00000f67: DUP2 00000f68: EQ 00000f69: PUSH2 0x0f71 00000f6c: JUMPI 00000f6d: PUSH1 0x00 00000f6f: DUP1 00000f70: REVERT 00000f71: JUMPDEST 00000f72: POP 00000f73: JUMP 00000f74: INVALID 00000f75: LOG2 00000f76: PUSH5 0x6970667358 00000f7c: UNKNOWN(0x22) 00000f7d: SLT 00000f7e: KECCAK256 00000f7f: LOG3 00000f80: MLOAD 00000f81: PUSH23 0x04896c3aa8da411c52d4d693b4f2bbb6cb5aed183c437d 00000f99: UNKNOWN(0xC4) 00000f9a: UNKNOWN(0xE5) 00000f9b: PUSH27
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x68f79311e789fd1f9004fd29b9a8bd0c0b001176d881381440cbcbb4fe606cb8
call_targets:
0xdafd368df40b8c0a8c117c02fc9c863bc6082ab5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x68f79311e789fd1f9004fd29b9a8bd0c0b001176d881381440cbcbb4fe606cb8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdafd368df40b8c0a8c117c02fc9c863bc6082ab5"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": 2423,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3168,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x68f79311e789fd1f9004fd29b9a8bd0c0b001176d881381440cbcbb4fe606cb8
call_targets:
0xdafd368df40b8c0a8c117c02fc9c863bc6082ab5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x68f79311e789fd1f9004fd29b9a8bd0c0b001176d881381440cbcbb4fe606cb8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdafd368df40b8c0a8c117c02fc9c863bc6082ab5"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8b83209b",
"selector": "0x8b83209b",
"calldata_variants": [
"0x8b83209b",
"0x8b83209b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"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": 2423,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3168,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|