019b477e-c756-706f-b029-07d88d2e5da7
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 |
|---|---|---|---|---|
| 25949 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25950 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 91361 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 91362 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 91363 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 91364 | 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 0x0c35 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 0x0c52 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 0x0c52 000001a8: JUMP 000001a9: JUMPDEST 000001aa: PUSH2 0x04e7 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 0x0c8b 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x07e3 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 0x0c35 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 0x0c35 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 0x0c35 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 0x036e 000002fb: JUMPI 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: PUSH3 0x461bcd 00000303: PUSH1 0xe5 00000305: SHL 00000306: DUP2 00000307: MSTORE 00000308: PUSH1 0x20 0000030a: PUSH1 0x04 0000030c: DUP3 0000030d: ADD 0000030e: MSTORE 0000030f: PUSH1 0x26 00000311: PUSH1 0x24 00000313: DUP3 00000314: ADD 00000315: MSTORE 00000316: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000337: PUSH1 0x44 00000339: DUP3 0000033a: ADD 0000033b: MSTORE 0000033c: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000 0000035d: PUSH1 0x64 0000035f: DUP3 00000360: ADD 00000361: MSTORE 00000362: PUSH1 0x84 00000364: ADD 00000365: JUMPDEST 00000366: PUSH1 0x40 00000368: MLOAD 00000369: DUP1 0000036a: SWAP2 0000036b: SUB 0000036c: SWAP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: PUSH1 0x00 00000371: PUSH2 0x0379 00000374: PUSH1 0x01 00000376: SLOAD 00000377: SWAP1 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH2 0x0383 0000037d: SWAP1 0000037e: SELFBALANCE 0000037f: PUSH2 0x0cd3 00000382: JUMP 00000383: JUMPDEST 00000384: SWAP1 00000385: POP 00000386: PUSH1 0x00 00000388: PUSH2 0x03bd 0000038b: DUP4 0000038c: DUP4 0000038d: PUSH2 0x03b8 00000390: DUP7 00000391: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a6: AND 000003a7: PUSH1 0x00 000003a9: SWAP1 000003aa: DUP2 000003ab: MSTORE 000003ac: PUSH1 0x03 000003ae: PUSH1 0x20 000003b0: MSTORE 000003b1: PUSH1 0x40 000003b3: SWAP1 000003b4: KECCAK256 000003b5: SLOAD 000003b6: SWAP1 000003b7: JUMP 000003b8: JUMPDEST 000003b9: PUSH2 0x0820 000003bc: JUMP 000003bd: JUMPDEST 000003be: SWAP1 000003bf: POP 000003c0: DUP1 000003c1: PUSH1 0x00 000003c3: SUB 000003c4: PUSH2 0x0435 000003c7: JUMPI 000003c8: PUSH1 0x40 000003ca: MLOAD 000003cb: PUSH3 0x461bcd 000003cf: PUSH1 0xe5 000003d1: SHL 000003d2: DUP2 000003d3: MSTORE 000003d4: PUSH1 0x20 000003d6: PUSH1 0x04 000003d8: DUP3 000003d9: ADD 000003da: MSTORE 000003db: PUSH1 0x2b 000003dd: PUSH1 0x24 000003df: DUP3 000003e0: ADD 000003e1: MSTORE 000003e2: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000403: PUSH1 0x44 00000405: DUP3 00000406: ADD 00000407: MSTORE 00000408: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000 00000429: PUSH1 0x64 0000042b: DUP3 0000042c: ADD 0000042d: MSTORE 0000042e: PUSH1 0x84 00000430: ADD 00000431: PUSH2 0x0365 00000434: JUMP 00000435: JUMPDEST 00000436: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044b: DUP4 0000044c: AND 0000044d: PUSH1 0x00 0000044f: SWAP1 00000450: DUP2 00000451: MSTORE 00000452: PUSH1 0x03 00000454: PUSH1 0x20 00000456: MSTORE 00000457: PUSH1 0x40 00000459: DUP2 0000045a: KECCAK256 0000045b: DUP1 0000045c: SLOAD 0000045d: DUP4 0000045e: SWAP3 0000045f: SWAP1 00000460: PUSH2 0x046a 00000463: SWAP1 00000464: DUP5 00000465: SWAP1 00000466: PUSH2 0x0cd3 00000469: JUMP 0000046a: JUMPDEST 0000046b: SWAP3 0000046c: POP 0000046d: POP 0000046e: DUP2 0000046f: SWAP1 00000470: SSTORE 00000471: POP 00000472: DUP1 00000473: PUSH1 0x01 00000475: PUSH1 0x00 00000477: DUP3 00000478: DUP3 00000479: SLOAD 0000047a: PUSH2 0x0483 0000047d: SWAP2 0000047e: SWAP1 0000047f: PUSH2 0x0cd3 00000482: JUMP 00000483: JUMPDEST 00000484: SWAP1 00000485: SWAP2 00000486: SSTORE 00000487: POP 00000488: PUSH2 0x0493 0000048b: SWAP1 0000048c: POP 0000048d: DUP4 0000048e: DUP3 0000048f: PUSH2 0x0872 00000492: JUMP 00000493: JUMPDEST 00000494: PUSH1 0x40 00000496: DUP1 00000497: MLOAD 00000498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ad: DUP6 000004ae: AND 000004af: DUP2 000004b0: MSTORE 000004b1: PUSH1 0x20 000004b3: DUP2 000004b4: ADD 000004b5: DUP4 000004b6: SWAP1 000004b7: MSTORE 000004b8: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 000004d9: SWAP2 000004da: ADD 000004db: PUSH1 0x40 000004dd: MLOAD 000004de: DUP1 000004df: SWAP2 000004e0: SUB 000004e1: SWAP1 000004e2: LOG1 000004e3: POP 000004e4: POP 000004e5: POP 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004fd: DUP2 000004fe: AND 000004ff: PUSH1 0x00 00000501: SWAP1 00000502: DUP2 00000503: MSTORE 00000504: PUSH1 0x02 00000506: PUSH1 0x20 00000508: MSTORE 00000509: PUSH1 0x40 0000050b: SWAP1 0000050c: KECCAK256 0000050d: SLOAD 0000050e: PUSH2 0x057f 00000511: JUMPI 00000512: PUSH1 0x40 00000514: MLOAD 00000515: PUSH3 0x461bcd 00000519: PUSH1 0xe5 0000051b: SHL 0000051c: DUP2 0000051d: MSTORE 0000051e: PUSH1 0x20 00000520: PUSH1 0x04 00000522: DUP3 00000523: ADD 00000524: MSTORE 00000525: PUSH1 0x26 00000527: PUSH1 0x24 00000529: DUP3 0000052a: ADD 0000052b: MSTORE 0000052c: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 0000054d: PUSH1 0x44 0000054f: DUP3 00000550: ADD 00000551: MSTORE 00000552: PUSH32 0x7368617265730000000000000000000000000000000000000000000000000000 00000573: PUSH1 0x64 00000575: DUP3 00000576: ADD 00000577: MSTORE 00000578: PUSH1 0x84 0000057a: ADD 0000057b: PUSH2 0x0365 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000595: DUP3 00000596: AND 00000597: PUSH1 0x00 00000599: SWAP1 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x05 0000059e: PUSH1 0x20 000005a0: MSTORE 000005a1: PUSH1 0x40 000005a3: DUP2 000005a4: KECCAK256 000005a5: SLOAD 000005a6: PUSH1 0x40 000005a8: MLOAD 000005a9: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 000005ca: DUP2 000005cb: MSTORE 000005cc: ADDRESS 000005cd: PUSH1 0x04 000005cf: DUP3 000005d0: ADD 000005d1: MSTORE 000005d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e7: DUP6 000005e8: AND 000005e9: SWAP1 000005ea: PUSH4 0x70a08231 000005ef: SWAP1 000005f0: PUSH1 0x24 000005f2: ADD 000005f3: PUSH1 0x20 000005f5: PUSH1 0x40 000005f7: MLOAD 000005f8: DUP1 000005f9: DUP4 000005fa: SUB 000005fb: DUP2 000005fc: DUP7 000005fd: GAS 000005fe: STATICCALL 000005ff: ISZERO 00000600: DUP1 00000601: ISZERO 00000602: PUSH2 0x060f 00000605: JUMPI 00000606: RETURNDATASIZE 00000607: PUSH1 0x00 00000609: DUP1 0000060a: RETURNDATACOPY 0000060b: RETURNDATASIZE 0000060c: PUSH1 0x00 0000060e: REVERT 0000060f: JUMPDEST 00000610: POP 00000611: POP 00000612: POP 00000613: POP 00000614: PUSH1 0x40 00000616: MLOAD 00000617: RETURNDATASIZE 00000618: PUSH1 0x1f 0000061a: NOT 0000061b: PUSH1 0x1f 0000061d: DUP3 0000061e: ADD 0000061f: AND 00000620: DUP3 00000621: ADD 00000622: DUP1 00000623: PUSH1 0x40 00000625: MSTORE 00000626: POP 00000627: DUP2 00000628: ADD 00000629: SWAP1 0000062a: PUSH2 0x0633 0000062d: SWAP2 0000062e: SWAP1 0000062f: PUSH2 0x0ceb 00000632: JUMP 00000633: JUMPDEST 00000634: PUSH2 0x063d 00000637: SWAP2 00000638: SWAP1 00000639: PUSH2 0x0cd3 0000063c: JUMP 0000063d: JUMPDEST 0000063e: SWAP1 0000063f: POP 00000640: PUSH1 0x00 00000642: PUSH2 0x0683 00000645: DUP4 00000646: DUP4 00000647: PUSH2 0x03b8 0000064a: DUP8 0000064b: DUP8 0000064c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000661: SWAP2 00000662: DUP3 00000663: AND 00000664: PUSH1 0x00 00000666: SWAP1 00000667: DUP2 00000668: MSTORE 00000669: PUSH1 0x06 0000066b: PUSH1 0x20 0000066d: SWAP1 0000066e: DUP2 0000066f: MSTORE 00000670: PUSH1 0x40 00000672: DUP1 00000673: DUP4 00000674: KECCAK256 00000675: SWAP4 00000676: SWAP1 00000677: SWAP5 00000678: AND 00000679: DUP3 0000067a: MSTORE 0000067b: SWAP2 0000067c: SWAP1 0000067d: SWAP2 0000067e: MSTORE 0000067f: KECCAK256 00000680: SLOAD 00000681: SWAP1 00000682: JUMP 00000683: JUMPDEST 00000684: SWAP1 00000685: POP 00000686: DUP1 00000687: PUSH1 0x00 00000689: SUB 0000068a: PUSH2 0x06fb 0000068d: JUMPI 0000068e: PUSH1 0x40 00000690: MLOAD 00000691: PUSH3 0x461bcd 00000695: PUSH1 0xe5 00000697: SHL 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x20 0000069c: PUSH1 0x04 0000069e: DUP3 0000069f: ADD 000006a0: MSTORE 000006a1: PUSH1 0x2b 000006a3: PUSH1 0x24 000006a5: DUP3 000006a6: ADD 000006a7: MSTORE 000006a8: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 000006c9: PUSH1 0x44 000006cb: DUP3 000006cc: ADD 000006cd: MSTORE 000006ce: PUSH32 0x647565207061796d656e74000000000000000000000000000000000000000000 000006ef: PUSH1 0x64 000006f1: DUP3 000006f2: ADD 000006f3: MSTORE 000006f4: PUSH1 0x84 000006f6: ADD 000006f7: PUSH2 0x0365 000006fa: JUMP 000006fb: JUMPDEST 000006fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000711: DUP1 00000712: DUP6 00000713: AND 00000714: PUSH1 0x00 00000716: SWAP1 00000717: DUP2 00000718: MSTORE 00000719: PUSH1 0x06 0000071b: PUSH1 0x20 0000071d: SWAP1 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH1 0x40 00000722: DUP1 00000723: DUP4 00000724: KECCAK256 00000725: SWAP4 00000726: DUP8 00000727: AND 00000728: DUP4 00000729: MSTORE 0000072a: SWAP3 0000072b: SWAP1 0000072c: MSTORE 0000072d: SWAP1 0000072e: DUP2 0000072f: KECCAK256 00000730: DUP1 00000731: SLOAD 00000732: DUP4 00000733: SWAP3 00000734: SWAP1 00000735: PUSH2 0x073f 00000738: SWAP1 00000739: DUP5 0000073a: SWAP1 0000073b: PUSH2 0x0cd3 0000073e: JUMP 0000073f: JUMPDEST 00000740: SWAP1 00000741: SWAP2 00000742: SSTORE 00000743: POP 00000744: POP 00000745: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075a: DUP5 0000075b: AND 0000075c: PUSH1 0x00 0000075e: SWAP1 0000075f: DUP2 00000760: MSTORE 00000761: PUSH1 0x05 00000763: PUSH1 0x20 00000765: MSTORE 00000766: PUSH1 0x40 00000768: DUP2 00000769: KECCAK256 0000076a: DUP1 0000076b: SLOAD 0000076c: DUP4 0000076d: SWAP3 0000076e: SWAP1 0000076f: PUSH2 0x0779 00000772: SWAP1 00000773: DUP5 00000774: SWAP1 00000775: PUSH2 0x0cd3 00000778: JUMP 00000779: JUMPDEST 0000077a: SWAP1 0000077b: SWAP2 0000077c: SSTORE 0000077d: POP 0000077e: PUSH2 0x078a 00000781: SWAP1 00000782: POP 00000783: DUP5 00000784: DUP5 00000785: DUP4 00000786: PUSH2 0x099d 00000789: JUMP 0000078a: JUMPDEST 0000078b: PUSH1 0x40 0000078d: DUP1 0000078e: MLOAD 0000078f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a4: DUP6 000007a5: DUP2 000007a6: AND 000007a7: DUP3 000007a8: MSTORE 000007a9: PUSH1 0x20 000007ab: DUP3 000007ac: ADD 000007ad: DUP5 000007ae: SWAP1 000007af: MSTORE 000007b0: DUP7 000007b1: AND 000007b2: SWAP2 000007b3: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 000007d4: SWAP2 000007d5: ADD 000007d6: PUSH1 0x40 000007d8: MLOAD 000007d9: DUP1 000007da: SWAP2 000007db: SUB 000007dc: SWAP1 000007dd: LOG2 000007de: POP 000007df: POP 000007e0: POP 000007e1: POP 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH1 0x00 000007e6: PUSH1 0x04 000007e8: DUP3 000007e9: DUP2 000007ea: SLOAD 000007eb: DUP2 000007ec: LT 000007ed: PUSH2 0x07f8 000007f0: JUMPI 000007f1: PUSH2 0x07f8 000007f4: PUSH2 0x0d04 000007f7: JUMP 000007f8: JUMPDEST 000007f9: PUSH1 0x00 000007fb: SWAP2 000007fc: DUP3 000007fd: MSTORE 000007fe: PUSH1 0x20 00000800: SWAP1 00000801: SWAP2 00000802: KECCAK256 00000803: ADD 00000804: SLOAD 00000805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081a: AND 0000081b: SWAP3 0000081c: SWAP2 0000081d: POP 0000081e: POP 0000081f: JUMP 00000820: JUMPDEST 00000821: PUSH1 0x00 00000823: DUP1 00000824: SLOAD 00000825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083a: DUP6 0000083b: AND 0000083c: DUP3 0000083d: MSTORE 0000083e: PUSH1 0x02 00000840: PUSH1 0x20 00000842: MSTORE 00000843: PUSH1 0x40 00000845: DUP3 00000846: KECCAK256 00000847: SLOAD 00000848: DUP4 00000849: SWAP2 0000084a: SWAP1 0000084b: PUSH2 0x0854 0000084e: SWAP1 0000084f: DUP7 00000850: PUSH2 0x0d33 00000853: JUMP 00000854: JUMPDEST 00000855: PUSH2 0x085e 00000858: SWAP2 00000859: SWAP1 0000085a: PUSH2 0x0d70 0000085d: JUMP 0000085e: JUMPDEST 0000085f: PUSH2 0x0868 00000862: SWAP2 00000863: SWAP1 00000864: PUSH2 0x0dab 00000867: JUMP 00000868: JUMPDEST 00000869: SWAP1 0000086a: POP 0000086b: JUMPDEST 0000086c: SWAP4 0000086d: SWAP3 0000086e: POP 0000086f: POP 00000870: POP 00000871: JUMP 00000872: JUMPDEST 00000873: DUP1 00000874: SELFBALANCE 00000875: LT 00000876: ISZERO 00000877: PUSH2 0x08c2 0000087a: JUMPI 0000087b: PUSH1 0x40 0000087d: MLOAD 0000087e: PUSH3 0x461bcd 00000882: PUSH1 0xe5 00000884: SHL 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x20 00000889: PUSH1 0x04 0000088b: DUP3 0000088c: ADD 0000088d: MSTORE 0000088e: PUSH1 0x1d 00000890: PUSH1 0x24 00000892: DUP3 00000893: ADD 00000894: MSTORE 00000895: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000008b6: PUSH1 0x44 000008b8: DUP3 000008b9: ADD 000008ba: MSTORE 000008bb: PUSH1 0x64 000008bd: ADD 000008be: PUSH2 0x0365 000008c1: JUMP 000008c2: JUMPDEST 000008c3: PUSH1 0x00 000008c5: DUP3 000008c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008db: AND 000008dc: DUP3 000008dd: PUSH1 0x40 000008df: MLOAD 000008e0: PUSH1 0x00 000008e2: PUSH1 0x40 000008e4: MLOAD 000008e5: DUP1 000008e6: DUP4 000008e7: SUB 000008e8: DUP2 000008e9: DUP6 000008ea: DUP8 000008eb: GAS 000008ec: CALL 000008ed: SWAP3 000008ee: POP 000008ef: POP 000008f0: POP 000008f1: RETURNDATASIZE 000008f2: DUP1 000008f3: PUSH1 0x00 000008f5: DUP2 000008f6: EQ 000008f7: PUSH2 0x091c 000008fa: JUMPI 000008fb: PUSH1 0x40 000008fd: MLOAD 000008fe: SWAP2 000008ff: POP 00000900: PUSH1 0x1f 00000902: NOT 00000903: PUSH1 0x3f 00000905: RETURNDATASIZE 00000906: ADD 00000907: AND 00000908: DUP3 00000909: ADD 0000090a: PUSH1 0x40 0000090c: MSTORE 0000090d: RETURNDATASIZE 0000090e: DUP3 0000090f: MSTORE 00000910: RETURNDATASIZE 00000911: PUSH1 0x00 00000913: PUSH1 0x20 00000915: DUP5 00000916: ADD 00000917: RETURNDATACOPY 00000918: PUSH2 0x0921 0000091b: JUMP 0000091c: JUMPDEST 0000091d: PUSH1 0x60 0000091f: SWAP2 00000920: POP 00000921: JUMPDEST 00000922: POP 00000923: POP 00000924: SWAP1 00000925: POP 00000926: DUP1 00000927: PUSH2 0x0998 0000092a: JUMPI 0000092b: PUSH1 0x40 0000092d: MLOAD 0000092e: PUSH3 0x461bcd 00000932: PUSH1 0xe5 00000934: SHL 00000935: DUP2 00000936: MSTORE 00000937: PUSH1 0x20 00000939: PUSH1 0x04 0000093b: DUP3 0000093c: ADD 0000093d: MSTORE 0000093e: PUSH1 0x3a 00000940: PUSH1 0x24 00000942: DUP3 00000943: ADD 00000944: MSTORE 00000945: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000966: PUSH1 0x44 00000968: DUP3 00000969: ADD 0000096a: MSTORE 0000096b: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 0000098c: PUSH1 0x64 0000098e: DUP3 0000098f: ADD 00000990: MSTORE 00000991: PUSH1 0x84 00000993: ADD 00000994: PUSH2 0x0365 00000997: JUMP 00000998: JUMPDEST 00000999: POP 0000099a: POP 0000099b: POP 0000099c: JUMP 0000099d: JUMPDEST 0000099e: PUSH1 0x40 000009a0: DUP1 000009a1: MLOAD 000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b7: DUP5 000009b8: DUP2 000009b9: AND 000009ba: PUSH1 0x24 000009bc: DUP4 000009bd: ADD 000009be: MSTORE 000009bf: PUSH1 0x44 000009c1: DUP1 000009c2: DUP4 000009c3: ADD 000009c4: DUP6 000009c5: SWAP1 000009c6: MSTORE 000009c7: DUP4 000009c8: MLOAD 000009c9: DUP1 000009ca: DUP5 000009cb: SUB 000009cc: SWAP1 000009cd: SWAP2 000009ce: ADD 000009cf: DUP2 000009d0: MSTORE 000009d1: PUSH1 0x64 000009d3: SWAP1 000009d4: SWAP3 000009d5: ADD 000009d6: DUP4 000009d7: MSTORE 000009d8: PUSH1 0x20 000009da: DUP1 000009db: DUP4 000009dc: ADD 000009dd: DUP1 000009de: MLOAD 000009df: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000009fc: AND 000009fd: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000a1e: OR 00000a1f: SWAP1 00000a20: MSTORE 00000a21: DUP4 00000a22: MLOAD 00000a23: DUP1 00000a24: DUP6 00000a25: ADD 00000a26: SWAP1 00000a27: SWAP5 00000a28: MSTORE 00000a29: DUP1 00000a2a: DUP5 00000a2b: MSTORE 00000a2c: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000a4d: SWAP1 00000a4e: DUP5 00000a4f: ADD 00000a50: MSTORE 00000a51: PUSH2 0x0998 00000a54: SWAP3 00000a55: DUP7 00000a56: SWAP3 00000a57: SWAP2 00000a58: PUSH1 0x00 00000a5a: SWAP2 00000a5b: PUSH2 0x0a68 00000a5e: SWAP2 00000a5f: DUP6 00000a60: AND 00000a61: SWAP1 00000a62: DUP5 00000a63: SWAP1 00000a64: PUSH2 0x0af8 00000a67: JUMP 00000a68: JUMPDEST 00000a69: DUP1 00000a6a: MLOAD 00000a6b: SWAP1 00000a6c: SWAP2 00000a6d: POP 00000a6e: ISZERO 00000a6f: PUSH2 0x0998 00000a72: JUMPI 00000a73: DUP1 00000a74: DUP1 00000a75: PUSH1 0x20 00000a77: ADD 00000a78: SWAP1 00000a79: MLOAD 00000a7a: DUP2 00000a7b: ADD 00000a7c: SWAP1 00000a7d: PUSH2 0x0a86 00000a80: SWAP2 00000a81: SWAP1 00000a82: PUSH2 0x0dc2 00000a85: JUMP 00000a86: JUMPDEST 00000a87: PUSH2 0x0998 00000a8a: JUMPI 00000a8b: PUSH1 0x40 00000a8d: MLOAD 00000a8e: PUSH3 0x461bcd 00000a92: PUSH1 0xe5 00000a94: SHL 00000a95: DUP2 00000a96: MSTORE 00000a97: PUSH1 0x20 00000a99: PUSH1 0x04 00000a9b: DUP3 00000a9c: ADD 00000a9d: MSTORE 00000a9e: PUSH1 0x2a 00000aa0: PUSH1 0x24 00000aa2: DUP3 00000aa3: ADD 00000aa4: MSTORE 00000aa5: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000ac6: PUSH1 0x44 00000ac8: DUP3 00000ac9: ADD 00000aca: MSTORE 00000acb: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00000aec: PUSH1 0x64 00000aee: DUP3 00000aef: ADD 00000af0: MSTORE 00000af1: PUSH1 0x84 00000af3: ADD 00000af4: PUSH2 0x0365 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH1 0x60 00000afb: PUSH2 0x0868 00000afe: DUP5 00000aff: DUP5 00000b00: PUSH1 0x00 00000b02: DUP6 00000b03: DUP6 00000b04: DUP5 00000b05: EXTCODESIZE 00000b06: PUSH2 0x0b51 00000b09: JUMPI 00000b0a: PUSH1 0x40 00000b0c: MLOAD 00000b0d: PUSH3 0x461bcd 00000b11: PUSH1 0xe5 00000b13: SHL 00000b14: DUP2 00000b15: MSTORE 00000b16: PUSH1 0x20 00000b18: PUSH1 0x04 00000b1a: DUP3 00000b1b: ADD 00000b1c: MSTORE 00000b1d: PUSH1 0x1d 00000b1f: PUSH1 0x24 00000b21: DUP3 00000b22: ADD 00000b23: MSTORE 00000b24: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000b45: PUSH1 0x44 00000b47: DUP3 00000b48: ADD 00000b49: MSTORE 00000b4a: PUSH1 0x64 00000b4c: ADD 00000b4d: PUSH2 0x0365 00000b50: JUMP 00000b51: JUMPDEST 00000b52: PUSH1 0x00 00000b54: DUP1 00000b55: DUP7 00000b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b6b: AND 00000b6c: DUP6 00000b6d: DUP8 00000b6e: PUSH1 0x40 00000b70: MLOAD 00000b71: PUSH2 0x0b7a 00000b74: SWAP2 00000b75: SWAP1 00000b76: PUSH2 0x0e14 00000b79: JUMP 00000b7a: JUMPDEST 00000b7b: PUSH1 0x00 00000b7d: PUSH1 0x40 00000b7f: MLOAD 00000b80: DUP1 00000b81: DUP4 00000b82: SUB 00000b83: DUP2 00000b84: DUP6 00000b85: DUP8 00000b86: GAS 00000b87: CALL 00000b88: SWAP3 00000b89: POP 00000b8a: POP 00000b8b: POP 00000b8c: RETURNDATASIZE 00000b8d: DUP1 00000b8e: PUSH1 0x00 00000b90: DUP2 00000b91: EQ 00000b92: PUSH2 0x0bb7 00000b95: JUMPI 00000b96: PUSH1 0x40 00000b98: MLOAD 00000b99: SWAP2 00000b9a: POP 00000b9b: PUSH1 0x1f 00000b9d: NOT 00000b9e: PUSH1 0x3f 00000ba0: RETURNDATASIZE 00000ba1: ADD 00000ba2: AND 00000ba3: DUP3 00000ba4: ADD 00000ba5: PUSH1 0x40 00000ba7: MSTORE 00000ba8: RETURNDATASIZE 00000ba9: DUP3 00000baa: MSTORE 00000bab: RETURNDATASIZE 00000bac: PUSH1 0x00 00000bae: PUSH1 0x20 00000bb0: DUP5 00000bb1: ADD 00000bb2: RETURNDATACOPY 00000bb3: PUSH2 0x0bbc 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH1 0x60 00000bba: SWAP2 00000bbb: POP 00000bbc: JUMPDEST 00000bbd: POP 00000bbe: SWAP2 00000bbf: POP 00000bc0: SWAP2 00000bc1: POP 00000bc2: PUSH2 0x0bcc 00000bc5: DUP3 00000bc6: DUP3 00000bc7: DUP7 00000bc8: PUSH2 0x0bd7 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: SWAP8 00000bce: SWAP7 00000bcf: POP 00000bd0: POP 00000bd1: POP 00000bd2: POP 00000bd3: POP 00000bd4: POP 00000bd5: POP 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x60 00000bda: DUP4 00000bdb: ISZERO 00000bdc: PUSH2 0x0be6 00000bdf: JUMPI 00000be0: POP 00000be1: DUP2 00000be2: PUSH2 0x086b 00000be5: JUMP 00000be6: JUMPDEST 00000be7: DUP3 00000be8: MLOAD 00000be9: ISZERO 00000bea: PUSH2 0x0bf6 00000bed: JUMPI 00000bee: DUP3 00000bef: MLOAD 00000bf0: DUP1 00000bf1: DUP5 00000bf2: PUSH1 0x20 00000bf4: ADD 00000bf5: REVERT 00000bf6: JUMPDEST 00000bf7: DUP2 00000bf8: PUSH1 0x40 00000bfa: MLOAD 00000bfb: PUSH3 0x461bcd 00000bff: PUSH1 0xe5 00000c01: SHL 00000c02: DUP2 00000c03: MSTORE 00000c04: PUSH1 0x04 00000c06: ADD 00000c07: PUSH2 0x0365 00000c0a: SWAP2 00000c0b: SWAP1 00000c0c: PUSH2 0x0e30 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c26: DUP2 00000c27: AND 00000c28: DUP2 00000c29: EQ 00000c2a: PUSH2 0x0c32 00000c2d: JUMPI 00000c2e: PUSH1 0x00 00000c30: DUP1 00000c31: REVERT 00000c32: JUMPDEST 00000c33: POP 00000c34: JUMP 00000c35: JUMPDEST 00000c36: PUSH1 0x00 00000c38: PUSH1 0x20 00000c3a: DUP3 00000c3b: DUP5 00000c3c: SUB 00000c3d: SLT 00000c3e: ISZERO 00000c3f: PUSH2 0x0c47 00000c42: JUMPI 00000c43: PUSH1 0x00 00000c45: DUP1 00000c46: REVERT 00000c47: JUMPDEST 00000c48: DUP2 00000c49: CALLDATALOAD 00000c4a: PUSH2 0x086b 00000c4d: DUP2 00000c4e: PUSH2 0x0c10 00000c51: JUMP 00000c52: JUMPDEST 00000c53: PUSH1 0x00 00000c55: DUP1 00000c56: PUSH1 0x40 00000c58: DUP4 00000c59: DUP6 00000c5a: SUB 00000c5b: SLT 00000c5c: ISZERO 00000c5d: PUSH2 0x0c65 00000c60: JUMPI 00000c61: PUSH1 0x00 00000c63: DUP1 00000c64: REVERT 00000c65: JUMPDEST 00000c66: DUP3 00000c67: CALLDATALOAD 00000c68: PUSH2 0x0c70 00000c6b: DUP2 00000c6c: PUSH2 0x0c10 00000c6f: JUMP 00000c70: JUMPDEST 00000c71: SWAP2 00000c72: POP 00000c73: PUSH1 0x20 00000c75: DUP4 00000c76: ADD 00000c77: CALLDATALOAD 00000c78: PUSH2 0x0c80 00000c7b: DUP2 00000c7c: PUSH2 0x0c10 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: DUP1 00000c82: SWAP2 00000c83: POP 00000c84: POP 00000c85: SWAP3 00000c86: POP 00000c87: SWAP3 00000c88: SWAP1 00000c89: POP 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: PUSH1 0x00 00000c8e: PUSH1 0x20 00000c90: DUP3 00000c91: DUP5 00000c92: SUB 00000c93: SLT 00000c94: ISZERO 00000c95: PUSH2 0x0c9d 00000c98: JUMPI 00000c99: PUSH1 0x00 00000c9b: DUP1 00000c9c: REVERT 00000c9d: JUMPDEST 00000c9e: POP 00000c9f: CALLDATALOAD 00000ca0: SWAP2 00000ca1: SWAP1 00000ca2: POP 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000cc6: PUSH1 0x00 00000cc8: MSTORE 00000cc9: PUSH1 0x11 00000ccb: PUSH1 0x04 00000ccd: MSTORE 00000cce: PUSH1 0x24 00000cd0: PUSH1 0x00 00000cd2: REVERT 00000cd3: JUMPDEST 00000cd4: PUSH1 0x00 00000cd6: DUP3 00000cd7: NOT 00000cd8: DUP3 00000cd9: GT 00000cda: ISZERO 00000cdb: PUSH2 0x0ce6 00000cde: JUMPI 00000cdf: PUSH2 0x0ce6 00000ce2: PUSH2 0x0ca4 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: POP 00000ce8: ADD 00000ce9: SWAP1 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: PUSH1 0x00 00000cee: PUSH1 0x20 00000cf0: DUP3 00000cf1: DUP5 00000cf2: SUB 00000cf3: SLT 00000cf4: ISZERO 00000cf5: PUSH2 0x0cfd 00000cf8: JUMPI 00000cf9: PUSH1 0x00 00000cfb: DUP1 00000cfc: REVERT 00000cfd: JUMPDEST 00000cfe: POP 00000cff: MLOAD 00000d00: SWAP2 00000d01: SWAP1 00000d02: POP 00000d03: JUMP 00000d04: JUMPDEST 00000d05: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000d26: PUSH1 0x00 00000d28: MSTORE 00000d29: PUSH1 0x32 00000d2b: PUSH1 0x04 00000d2d: MSTORE 00000d2e: PUSH1 0x24 00000d30: PUSH1 0x00 00000d32: REVERT 00000d33: JUMPDEST 00000d34: PUSH1 0x00 00000d36: DUP2 00000d37: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000d58: DIV 00000d59: DUP4 00000d5a: GT 00000d5b: DUP3 00000d5c: ISZERO 00000d5d: ISZERO 00000d5e: AND 00000d5f: ISZERO 00000d60: PUSH2 0x0d6b 00000d63: JUMPI 00000d64: PUSH2 0x0d6b 00000d67: PUSH2 0x0ca4 00000d6a: JUMP 00000d6b: JUMPDEST 00000d6c: POP 00000d6d: MUL 00000d6e: SWAP1 00000d6f: JUMP 00000d70: JUMPDEST 00000d71: PUSH1 0x00 00000d73: DUP3 00000d74: PUSH2 0x0da6 00000d77: JUMPI 00000d78: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000d99: PUSH1 0x00 00000d9b: MSTORE 00000d9c: PUSH1 0x12 00000d9e: PUSH1 0x04 00000da0: MSTORE 00000da1: PUSH1 0x24 00000da3: PUSH1 0x00 00000da5: REVERT 00000da6: JUMPDEST 00000da7: POP 00000da8: DIV 00000da9: SWAP1 00000daa: JUMP 00000dab: JUMPDEST 00000dac: PUSH1 0x00 00000dae: DUP3 00000daf: DUP3 00000db0: LT 00000db1: ISZERO 00000db2: PUSH2 0x0dbd 00000db5: JUMPI 00000db6: PUSH2 0x0dbd 00000db9: PUSH2 0x0ca4 00000dbc: JUMP 00000dbd: JUMPDEST 00000dbe: POP 00000dbf: SUB 00000dc0: SWAP1 00000dc1: JUMP 00000dc2: JUMPDEST 00000dc3: PUSH1 0x00 00000dc5: PUSH1 0x20 00000dc7: DUP3 00000dc8: DUP5 00000dc9: SUB 00000dca: SLT 00000dcb: ISZERO 00000dcc: PUSH2 0x0dd4 00000dcf: JUMPI 00000dd0: PUSH1 0x00 00000dd2: DUP1 00000dd3: REVERT 00000dd4: JUMPDEST 00000dd5: DUP2 00000dd6: MLOAD 00000dd7: DUP1 00000dd8: ISZERO 00000dd9: ISZERO 00000dda: DUP2 00000ddb: EQ 00000ddc: PUSH2 0x086b 00000ddf: JUMPI 00000de0: PUSH1 0x00 00000de2: DUP1 00000de3: REVERT 00000de4: JUMPDEST 00000de5: PUSH1 0x00 00000de7: JUMPDEST 00000de8: DUP4 00000de9: DUP2 00000dea: LT 00000deb: ISZERO 00000dec: PUSH2 0x0dff 00000def: JUMPI 00000df0: DUP2 00000df1: DUP2 00000df2: ADD 00000df3: MLOAD 00000df4: DUP4 00000df5: DUP3 00000df6: ADD 00000df7: MSTORE 00000df8: PUSH1 0x20 00000dfa: ADD 00000dfb: PUSH2 0x0de7 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: DUP4 00000e01: DUP2 00000e02: GT 00000e03: ISZERO 00000e04: PUSH2 0x0e0e 00000e07: JUMPI 00000e08: PUSH1 0x00 00000e0a: DUP5 00000e0b: DUP5 00000e0c: ADD 00000e0d: MSTORE 00000e0e: JUMPDEST 00000e0f: POP 00000e10: POP 00000e11: POP 00000e12: POP 00000e13: JUMP 00000e14: JUMPDEST 00000e15: PUSH1 0x00 00000e17: DUP3 00000e18: MLOAD 00000e19: PUSH2 0x0e26 00000e1c: DUP2 00000e1d: DUP5 00000e1e: PUSH1 0x20 00000e20: DUP8 00000e21: ADD 00000e22: PUSH2 0x0de4 00000e25: JUMP 00000e26: JUMPDEST 00000e27: SWAP2 00000e28: SWAP1 00000e29: SWAP2 00000e2a: ADD 00000e2b: SWAP3 00000e2c: SWAP2 00000e2d: POP 00000e2e: POP 00000e2f: JUMP 00000e30: JUMPDEST 00000e31: PUSH1 0x20 00000e33: DUP2 00000e34: MSTORE 00000e35: PUSH1 0x00 00000e37: DUP3 00000e38: MLOAD 00000e39: DUP1 00000e3a: PUSH1 0x20 00000e3c: DUP5 00000e3d: ADD 00000e3e: MSTORE 00000e3f: PUSH2 0x0e4f 00000e42: DUP2 00000e43: PUSH1 0x40 00000e45: DUP6 00000e46: ADD 00000e47: PUSH1 0x20 00000e49: DUP8 00000e4a: ADD 00000e4b: PUSH2 0x0de4 00000e4e: JUMP 00000e4f: JUMPDEST 00000e50: PUSH1 0x1f 00000e52: ADD 00000e53: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000e74: AND 00000e75: SWAP2 00000e76: SWAP1 00000e77: SWAP2 00000e78: ADD 00000e79: PUSH1 0x40 00000e7b: ADD 00000e7c: SWAP3 00000e7d: SWAP2 00000e7e: POP 00000e7f: POP 00000e80: JUMP 00000e81: INVALID 00000e82: LOG2 00000e83: PUSH5 0x6970667358 00000e89: UNKNOWN(0x22) 00000e8a: SLT 00000e8b: KECCAK256 00000e8c: INVALID 00000e8d: MLOAD 00000e8e: LT 00000e8f: EQ 00000e90: PUSH18 0x03f955a868a8810631d07d77d3cab4711de9 00000ea3: SWAP15 00000ea4: DUP13 00000ea5: UNKNOWN(0xBB) 00000ea6: UNKNOWN(0x4D) 00000ea7: MSIZE 00000ea8: UNKNOWN(0x28) 00000ea9: STATICCALL 00000eaa: UNKNOWN(0xDF) 00000eab: UNKNOWN(0xBE) 00000eac: PUSH5 0x736f6c6343 00000eb2: STOP 00000eb3: ADDMOD 00000eb4: UNKNOWN(0x0D) 00000eb5: STOP 00000eb6: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc8a7a14800f92454c228e102f0fbd83447995cae6d5ece7f33eb499e6a5b8104
call_targets:
0xfddf0bcc29b1abee482450e9798eb696687a4d9d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc8a7a14800f92454c228e102f0fbd83447995cae6d5ece7f33eb499e6a5b8104",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfddf0bcc29b1abee482450e9798eb696687a4d9d"
],
"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": 2284,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2951,
"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: 0xc8a7a14800f92454c228e102f0fbd83447995cae6d5ece7f33eb499e6a5b8104
call_targets:
0xfddf0bcc29b1abee482450e9798eb696687a4d9d
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc8a7a14800f92454c228e102f0fbd83447995cae6d5ece7f33eb499e6a5b8104",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfddf0bcc29b1abee482450e9798eb696687a4d9d"
],
"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": 2284,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2951,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|