019ba92d-0329-70dc-86c6-78138a0ed233
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 |
|---|---|---|---|---|
| 36041 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 36042 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 36043 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 36044 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 36045 | capability.graph | complete | 1 / 3 | 3 months ago |
| 36046 | detector.run | complete | 1 / 3 | 3 months ago |
| 36047 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x00cf 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x8da5cb5b 00000026: GT 00000027: PUSH2 0x008c 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xb8dc491b 00000031: GT 00000032: PUSH2 0x0066 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xb8dc491b 0000003c: EQ 0000003d: PUSH2 0x016f 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xee25560b 00000047: EQ 00000048: PUSH2 0x0182 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xf2fde38b 00000052: EQ 00000053: PUSH2 0x0195 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xfc0c546a 0000005d: EQ 0000005e: PUSH2 0x01a8 00000061: JUMPI 00000062: PUSH2 0x00cf 00000065: JUMP 00000066: JUMPDEST 00000067: DUP1 00000068: PUSH4 0x8da5cb5b 0000006d: EQ 0000006e: PUSH2 0x013f 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0x8f32d59b 00000078: EQ 00000079: PUSH2 0x0154 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0x9e34070f 00000083: EQ 00000084: PUSH2 0x015c 00000087: JUMPI 00000088: PUSH2 0x00cf 0000008b: JUMP 0000008c: JUMPDEST 0000008d: DUP1 0000008e: PUSH4 0x158ef93e 00000093: EQ 00000094: PUSH2 0x00d4 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x2cde56c3 0000009e: EQ 0000009f: PUSH2 0x00f2 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x2e7ba6ef 000000a9: EQ 000000aa: PUSH2 0x0107 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x2eb4a7ab 000000b4: EQ 000000b5: PUSH2 0x011a 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x338b84c1 000000bf: EQ 000000c0: PUSH2 0x012f 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x715018a6 000000ca: EQ 000000cb: PUSH2 0x0137 000000ce: JUMPI 000000cf: JUMPDEST 000000d0: PUSH1 0x00 000000d2: DUP1 000000d3: REVERT 000000d4: JUMPDEST 000000d5: PUSH2 0x00dc 000000d8: PUSH2 0x01b0 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH1 0x40 000000df: MLOAD 000000e0: PUSH2 0x00e9 000000e3: SWAP2 000000e4: SWAP1 000000e5: PUSH2 0x0a5f 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH1 0x40 000000ec: MLOAD 000000ed: DUP1 000000ee: SWAP2 000000ef: SUB 000000f0: SWAP1 000000f1: RETURN 000000f2: JUMPDEST 000000f3: PUSH2 0x0105 000000f6: PUSH2 0x0100 000000f9: CALLDATASIZE 000000fa: PUSH1 0x04 000000fc: PUSH2 0x08a1 000000ff: JUMP 00000100: JUMPDEST 00000101: PUSH2 0x01b9 00000104: JUMP 00000105: JUMPDEST 00000106: STOP 00000107: JUMPDEST 00000108: PUSH2 0x0105 0000010b: PUSH2 0x0115 0000010e: CALLDATASIZE 0000010f: PUSH1 0x04 00000111: PUSH2 0x0932 00000114: JUMP 00000115: JUMPDEST 00000116: PUSH2 0x0228 00000119: JUMP 0000011a: JUMPDEST 0000011b: PUSH2 0x0122 0000011e: PUSH2 0x033d 00000121: JUMP 00000122: JUMPDEST 00000123: PUSH1 0x40 00000125: MLOAD 00000126: PUSH2 0x00e9 00000129: SWAP2 0000012a: SWAP1 0000012b: PUSH2 0x0a6a 0000012e: JUMP 0000012f: JUMPDEST 00000130: PUSH2 0x0122 00000133: PUSH2 0x0343 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH2 0x0105 0000013b: PUSH2 0x0349 0000013e: JUMP 0000013f: JUMPDEST 00000140: PUSH2 0x0147 00000143: PUSH2 0x03b7 00000146: JUMP 00000147: JUMPDEST 00000148: PUSH1 0x40 0000014a: MLOAD 0000014b: PUSH2 0x00e9 0000014e: SWAP2 0000014f: SWAP1 00000150: PUSH2 0x0a32 00000153: JUMP 00000154: JUMPDEST 00000155: PUSH2 0x00dc 00000158: PUSH2 0x03c6 0000015b: JUMP 0000015c: JUMPDEST 0000015d: PUSH2 0x00dc 00000160: PUSH2 0x016a 00000163: CALLDATASIZE 00000164: PUSH1 0x04 00000166: PUSH2 0x0902 00000169: JUMP 0000016a: JUMPDEST 0000016b: PUSH2 0x03ea 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH2 0x0105 00000173: PUSH2 0x017d 00000176: CALLDATASIZE 00000177: PUSH1 0x04 00000179: PUSH2 0x086f 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH2 0x042d 00000181: JUMP 00000182: JUMPDEST 00000183: PUSH2 0x0122 00000186: PUSH2 0x0190 00000189: CALLDATASIZE 0000018a: PUSH1 0x04 0000018c: PUSH2 0x0902 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH2 0x0523 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH2 0x0105 00000199: PUSH2 0x01a3 0000019c: CALLDATASIZE 0000019d: PUSH1 0x04 0000019f: PUSH2 0x084e 000001a2: JUMP 000001a3: JUMPDEST 000001a4: PUSH2 0x0535 000001a7: JUMP 000001a8: JUMPDEST 000001a9: PUSH2 0x0147 000001ac: PUSH2 0x0565 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH1 0x03 000001b3: SLOAD 000001b4: PUSH1 0xff 000001b6: AND 000001b7: DUP2 000001b8: JUMP 000001b9: JUMPDEST 000001ba: PUSH1 0x03 000001bc: SLOAD 000001bd: PUSH1 0xff 000001bf: AND 000001c0: ISZERO 000001c1: PUSH2 0x01e5 000001c4: JUMPI 000001c5: PUSH1 0x40 000001c7: MLOAD 000001c8: PUSH3 0x461bcd 000001cc: PUSH1 0xe5 000001ce: SHL 000001cf: DUP2 000001d0: MSTORE 000001d1: PUSH1 0x04 000001d3: ADD 000001d4: PUSH2 0x01dc 000001d7: SWAP1 000001d8: PUSH2 0x0bd2 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH1 0x40 000001df: MLOAD 000001e0: DUP1 000001e1: SWAP2 000001e2: SUB 000001e3: SWAP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: PUSH1 0x03 000001e8: DUP1 000001e9: SLOAD 000001ea: PUSH1 0x01 000001ec: PUSH1 0xff 000001ee: NOT 000001ef: SWAP1 000001f0: SWAP2 000001f1: AND 000001f2: DUP2 000001f3: OR 000001f4: SWAP1 000001f5: SWAP2 000001f6: SSTORE 000001f7: DUP1 000001f8: SLOAD 000001f9: PUSH1 0x01 000001fb: PUSH1 0x01 000001fd: PUSH1 0xa0 000001ff: SHL 00000200: SUB 00000201: NOT 00000202: AND 00000203: PUSH1 0x01 00000205: PUSH1 0x01 00000207: PUSH1 0xa0 00000209: SHL 0000020a: SUB 0000020b: DUP6 0000020c: AND 0000020d: OR 0000020e: SWAP1 0000020f: SSTORE 00000210: PUSH1 0x02 00000212: DUP3 00000213: SWAP1 00000214: SSTORE 00000215: PUSH1 0x04 00000217: DUP2 00000218: SWAP1 00000219: SSTORE 0000021a: PUSH2 0x0222 0000021d: DUP5 0000021e: PUSH2 0x0574 00000221: JUMP 00000222: JUMPDEST 00000223: POP 00000224: POP 00000225: POP 00000226: POP 00000227: JUMP 00000228: JUMPDEST 00000229: PUSH2 0x0231 0000022c: DUP6 0000022d: PUSH2 0x03ea 00000230: JUMP 00000231: JUMPDEST 00000232: ISZERO 00000233: PUSH2 0x024e 00000236: JUMPI 00000237: PUSH1 0x40 00000239: MLOAD 0000023a: PUSH3 0x461bcd 0000023e: PUSH1 0xe5 00000240: SHL 00000241: DUP2 00000242: MSTORE 00000243: PUSH1 0x04 00000245: ADD 00000246: PUSH2 0x01dc 00000249: SWAP1 0000024a: PUSH2 0x0af0 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH1 0x00 00000251: DUP6 00000252: DUP6 00000253: DUP6 00000254: PUSH1 0x40 00000256: MLOAD 00000257: PUSH1 0x20 00000259: ADD 0000025a: PUSH2 0x0265 0000025d: SWAP4 0000025e: SWAP3 0000025f: SWAP2 00000260: SWAP1 00000261: PUSH2 0x0a0a 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH1 0x40 00000268: MLOAD 00000269: PUSH1 0x20 0000026b: DUP2 0000026c: DUP4 0000026d: SUB 0000026e: SUB 0000026f: DUP2 00000270: MSTORE 00000271: SWAP1 00000272: PUSH1 0x40 00000274: MSTORE 00000275: DUP1 00000276: MLOAD 00000277: SWAP1 00000278: PUSH1 0x20 0000027a: ADD 0000027b: KECCAK256 0000027c: SWAP1 0000027d: POP 0000027e: PUSH2 0x02be 00000281: DUP4 00000282: DUP4 00000283: DUP1 00000284: DUP1 00000285: PUSH1 0x20 00000287: MUL 00000288: PUSH1 0x20 0000028a: ADD 0000028b: PUSH1 0x40 0000028d: MLOAD 0000028e: SWAP1 0000028f: DUP2 00000290: ADD 00000291: PUSH1 0x40 00000293: MSTORE 00000294: DUP1 00000295: SWAP4 00000296: SWAP3 00000297: SWAP2 00000298: SWAP1 00000299: DUP2 0000029a: DUP2 0000029b: MSTORE 0000029c: PUSH1 0x20 0000029e: ADD 0000029f: DUP4 000002a0: DUP4 000002a1: PUSH1 0x20 000002a3: MUL 000002a4: DUP1 000002a5: DUP3 000002a6: DUP5 000002a7: CALLDATACOPY 000002a8: PUSH1 0x00 000002aa: SWAP3 000002ab: ADD 000002ac: SWAP2 000002ad: SWAP1 000002ae: SWAP2 000002af: MSTORE 000002b0: POP 000002b1: POP 000002b2: PUSH1 0x02 000002b4: SLOAD 000002b5: SWAP2 000002b6: POP 000002b7: DUP5 000002b8: SWAP1 000002b9: POP 000002ba: PUSH2 0x05f5 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH2 0x02da 000002c2: JUMPI 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: PUSH3 0x461bcd 000002ca: PUSH1 0xe5 000002cc: SHL 000002cd: DUP2 000002ce: MSTORE 000002cf: PUSH1 0x04 000002d1: ADD 000002d2: PUSH2 0x01dc 000002d5: SWAP1 000002d6: PUSH2 0x0a73 000002d9: JUMP 000002da: JUMPDEST 000002db: PUSH2 0x02e3 000002de: DUP7 000002df: PUSH2 0x06b0 000002e2: JUMP 000002e3: JUMPDEST 000002e4: PUSH1 0x01 000002e6: SLOAD 000002e7: PUSH2 0x02fa 000002ea: SWAP1 000002eb: PUSH1 0x01 000002ed: PUSH1 0x01 000002ef: PUSH1 0xa0 000002f1: SHL 000002f2: SUB 000002f3: AND 000002f4: DUP7 000002f5: DUP7 000002f6: PUSH2 0x06ee 000002f9: JUMP 000002fa: JUMPDEST 000002fb: PUSH32 0x4ec90e965519d92681267467f775ada5bd214aa92c0dc93d90a5e880ce9ed026 0000031c: DUP7 0000031d: DUP7 0000031e: DUP7 0000031f: PUSH1 0x40 00000321: MLOAD 00000322: PUSH2 0x032d 00000325: SWAP4 00000326: SWAP3 00000327: SWAP2 00000328: SWAP1 00000329: PUSH2 0x0c83 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH1 0x40 00000330: MLOAD 00000331: DUP1 00000332: SWAP2 00000333: SUB 00000334: SWAP1 00000335: LOG1 00000336: POP 00000337: POP 00000338: POP 00000339: POP 0000033a: POP 0000033b: POP 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x02 00000340: SLOAD 00000341: DUP2 00000342: JUMP 00000343: JUMPDEST 00000344: PUSH1 0x04 00000346: SLOAD 00000347: DUP2 00000348: JUMP 00000349: JUMPDEST 0000034a: PUSH2 0x0351 0000034d: PUSH2 0x03c6 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH2 0x036d 00000355: JUMPI 00000356: PUSH1 0x40 00000358: MLOAD 00000359: PUSH3 0x461bcd 0000035d: PUSH1 0xe5 0000035f: SHL 00000360: DUP2 00000361: MSTORE 00000362: PUSH1 0x04 00000364: ADD 00000365: PUSH2 0x01dc 00000368: SWAP1 00000369: PUSH2 0x0b6d 0000036c: JUMP 0000036d: JUMPDEST 0000036e: PUSH1 0x00 00000370: DUP1 00000371: SLOAD 00000372: PUSH1 0x40 00000374: MLOAD 00000375: PUSH1 0x01 00000377: PUSH1 0x01 00000379: PUSH1 0xa0 0000037b: SHL 0000037c: SUB 0000037d: SWAP1 0000037e: SWAP2 0000037f: AND 00000380: SWAP1 00000381: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000003a2: SWAP1 000003a3: DUP4 000003a4: SWAP1 000003a5: LOG3 000003a6: PUSH1 0x00 000003a8: DUP1 000003a9: SLOAD 000003aa: PUSH1 0x01 000003ac: PUSH1 0x01 000003ae: PUSH1 0xa0 000003b0: SHL 000003b1: SUB 000003b2: NOT 000003b3: AND 000003b4: SWAP1 000003b5: SSTORE 000003b6: JUMP 000003b7: JUMPDEST 000003b8: PUSH1 0x00 000003ba: SLOAD 000003bb: PUSH1 0x01 000003bd: PUSH1 0x01 000003bf: PUSH1 0xa0 000003c1: SHL 000003c2: SUB 000003c3: AND 000003c4: SWAP1 000003c5: JUMP 000003c6: JUMPDEST 000003c7: PUSH1 0x00 000003c9: DUP1 000003ca: SLOAD 000003cb: PUSH1 0x01 000003cd: PUSH1 0x01 000003cf: PUSH1 0xa0 000003d1: SHL 000003d2: SUB 000003d3: AND 000003d4: PUSH2 0x03db 000003d7: PUSH2 0x0749 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH1 0x01 000003de: PUSH1 0x01 000003e0: PUSH1 0xa0 000003e2: SHL 000003e3: SUB 000003e4: AND 000003e5: EQ 000003e6: SWAP1 000003e7: POP 000003e8: SWAP1 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: PUSH2 0x03f9 000003f1: PUSH2 0x0100 000003f4: DUP5 000003f5: PUSH2 0x0ca2 000003f8: JUMP 000003f9: JUMPDEST 000003fa: SWAP1 000003fb: POP 000003fc: PUSH1 0x00 000003fe: PUSH2 0x0409 00000401: PUSH2 0x0100 00000404: DUP6 00000405: PUSH2 0x0cdd 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH1 0x00 0000040c: SWAP3 0000040d: DUP4 0000040e: MSTORE 0000040f: PUSH1 0x05 00000411: PUSH1 0x20 00000413: MSTORE 00000414: PUSH1 0x40 00000416: SWAP1 00000417: SWAP3 00000418: KECCAK256 00000419: SLOAD 0000041a: PUSH1 0x01 0000041c: SWAP1 0000041d: SWAP3 0000041e: SHL 0000041f: SWAP2 00000420: DUP3 00000421: AND 00000422: SWAP1 00000423: SWAP2 00000424: EQ 00000425: SWAP2 00000426: POP 00000427: POP 00000428: JUMPDEST 00000429: SWAP2 0000042a: SWAP1 0000042b: POP 0000042c: JUMP 0000042d: JUMPDEST 0000042e: PUSH2 0x0435 00000431: PUSH2 0x03c6 00000434: JUMP 00000435: JUMPDEST 00000436: PUSH2 0x0451 00000439: JUMPI 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: PUSH3 0x461bcd 00000441: PUSH1 0xe5 00000443: SHL 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x04 00000448: ADD 00000449: PUSH2 0x01dc 0000044c: SWAP1 0000044d: PUSH2 0x0b6d 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH1 0x04 00000454: SLOAD 00000455: TIMESTAMP 00000456: LT 00000457: ISZERO 00000458: DUP1 00000459: PUSH2 0x0470 0000045c: JUMPI 0000045d: POP 0000045e: PUSH1 0x01 00000460: SLOAD 00000461: PUSH1 0x01 00000463: PUSH1 0x01 00000465: PUSH1 0xa0 00000467: SHL 00000468: SUB 00000469: DUP4 0000046a: DUP2 0000046b: AND 0000046c: SWAP2 0000046d: AND 0000046e: EQ 0000046f: ISZERO 00000470: JUMPDEST 00000471: PUSH2 0x048c 00000474: JUMPI 00000475: PUSH1 0x40 00000477: MLOAD 00000478: PUSH3 0x461bcd 0000047c: PUSH1 0xe5 0000047e: SHL 0000047f: DUP2 00000480: MSTORE 00000481: PUSH1 0x04 00000483: ADD 00000484: PUSH2 0x01dc 00000487: SWAP1 00000488: PUSH2 0x0ba2 0000048b: JUMP 0000048c: JUMPDEST 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: PUSH4 0x70a08231 00000495: PUSH1 0xe0 00000497: SHL 00000498: DUP2 00000499: MSTORE 0000049a: DUP3 0000049b: SWAP1 0000049c: PUSH1 0x00 0000049e: SWAP1 0000049f: PUSH1 0x01 000004a1: PUSH1 0x01 000004a3: PUSH1 0xa0 000004a5: SHL 000004a6: SUB 000004a7: DUP4 000004a8: AND 000004a9: SWAP1 000004aa: PUSH4 0x70a08231 000004af: SWAP1 000004b0: PUSH2 0x04bd 000004b3: SWAP1 000004b4: ADDRESS 000004b5: SWAP1 000004b6: PUSH1 0x04 000004b8: ADD 000004b9: PUSH2 0x0a32 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH1 0x20 000004c0: PUSH1 0x40 000004c2: MLOAD 000004c3: DUP1 000004c4: DUP4 000004c5: SUB 000004c6: DUP2 000004c7: DUP7 000004c8: DUP1 000004c9: EXTCODESIZE 000004ca: ISZERO 000004cb: DUP1 000004cc: ISZERO 000004cd: PUSH2 0x04d5 000004d0: JUMPI 000004d1: PUSH1 0x00 000004d3: DUP1 000004d4: REVERT 000004d5: JUMPDEST 000004d6: POP 000004d7: GAS 000004d8: STATICCALL 000004d9: ISZERO 000004da: DUP1 000004db: ISZERO 000004dc: PUSH2 0x04e9 000004df: JUMPI 000004e0: RETURNDATASIZE 000004e1: PUSH1 0x00 000004e3: DUP1 000004e4: RETURNDATACOPY 000004e5: RETURNDATASIZE 000004e6: PUSH1 0x00 000004e8: REVERT 000004e9: JUMPDEST 000004ea: POP 000004eb: POP 000004ec: POP 000004ed: POP 000004ee: PUSH1 0x40 000004f0: MLOAD 000004f1: RETURNDATASIZE 000004f2: PUSH1 0x1f 000004f4: NOT 000004f5: PUSH1 0x1f 000004f7: DUP3 000004f8: ADD 000004f9: AND 000004fa: DUP3 000004fb: ADD 000004fc: DUP1 000004fd: PUSH1 0x40 000004ff: MSTORE 00000500: POP 00000501: DUP2 00000502: ADD 00000503: SWAP1 00000504: PUSH2 0x050d 00000507: SWAP2 00000508: SWAP1 00000509: PUSH2 0x091a 0000050c: JUMP 0000050d: JUMPDEST 0000050e: SWAP1 0000050f: POP 00000510: PUSH2 0x0222 00000513: PUSH1 0x01 00000515: PUSH1 0x01 00000517: PUSH1 0xa0 00000519: SHL 0000051a: SUB 0000051b: DUP4 0000051c: AND 0000051d: DUP5 0000051e: DUP4 0000051f: PUSH2 0x06ee 00000522: JUMP 00000523: JUMPDEST 00000524: PUSH1 0x05 00000526: PUSH1 0x20 00000528: MSTORE 00000529: PUSH1 0x00 0000052b: SWAP1 0000052c: DUP2 0000052d: MSTORE 0000052e: PUSH1 0x40 00000530: SWAP1 00000531: KECCAK256 00000532: SLOAD 00000533: DUP2 00000534: JUMP 00000535: JUMPDEST 00000536: PUSH2 0x053d 00000539: PUSH2 0x03c6 0000053c: JUMP 0000053d: JUMPDEST 0000053e: PUSH2 0x0559 00000541: JUMPI 00000542: PUSH1 0x40 00000544: MLOAD 00000545: PUSH3 0x461bcd 00000549: PUSH1 0xe5 0000054b: SHL 0000054c: DUP2 0000054d: MSTORE 0000054e: PUSH1 0x04 00000550: ADD 00000551: PUSH2 0x01dc 00000554: SWAP1 00000555: PUSH2 0x0b6d 00000558: JUMP 00000559: JUMPDEST 0000055a: PUSH2 0x0562 0000055d: DUP2 0000055e: PUSH2 0x0574 00000561: JUMP 00000562: JUMPDEST 00000563: POP 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x01 00000568: SLOAD 00000569: PUSH1 0x01 0000056b: PUSH1 0x01 0000056d: PUSH1 0xa0 0000056f: SHL 00000570: SUB 00000571: AND 00000572: DUP2 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x01 00000577: PUSH1 0x01 00000579: PUSH1 0xa0 0000057b: SHL 0000057c: SUB 0000057d: DUP2 0000057e: AND 0000057f: PUSH2 0x059a 00000582: JUMPI 00000583: PUSH1 0x40 00000585: MLOAD 00000586: PUSH3 0x461bcd 0000058a: PUSH1 0xe5 0000058c: SHL 0000058d: DUP2 0000058e: MSTORE 0000058f: PUSH1 0x04 00000591: ADD 00000592: PUSH2 0x01dc 00000595: SWAP1 00000596: PUSH2 0x0aaa 00000599: JUMP 0000059a: JUMPDEST 0000059b: PUSH1 0x00 0000059d: DUP1 0000059e: SLOAD 0000059f: PUSH1 0x40 000005a1: MLOAD 000005a2: PUSH1 0x01 000005a4: PUSH1 0x01 000005a6: PUSH1 0xa0 000005a8: SHL 000005a9: SUB 000005aa: DUP1 000005ab: DUP6 000005ac: AND 000005ad: SWAP4 000005ae: SWAP3 000005af: AND 000005b0: SWAP2 000005b1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005d2: SWAP2 000005d3: LOG3 000005d4: PUSH1 0x00 000005d6: DUP1 000005d7: SLOAD 000005d8: PUSH1 0x01 000005da: PUSH1 0x01 000005dc: PUSH1 0xa0 000005de: SHL 000005df: SUB 000005e0: NOT 000005e1: AND 000005e2: PUSH1 0x01 000005e4: PUSH1 0x01 000005e6: PUSH1 0xa0 000005e8: SHL 000005e9: SUB 000005ea: SWAP3 000005eb: SWAP1 000005ec: SWAP3 000005ed: AND 000005ee: SWAP2 000005ef: SWAP1 000005f0: SWAP2 000005f1: OR 000005f2: SWAP1 000005f3: SSTORE 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH1 0x00 000005f8: DUP2 000005f9: DUP2 000005fa: JUMPDEST 000005fb: DUP6 000005fc: MLOAD 000005fd: DUP2 000005fe: LT 000005ff: ISZERO 00000600: PUSH2 0x06a5 00000603: JUMPI 00000604: PUSH1 0x00 00000606: DUP7 00000607: DUP3 00000608: DUP2 00000609: MLOAD 0000060a: DUP2 0000060b: LT 0000060c: PUSH2 0x0625 0000060f: JUMPI 00000610: PUSH4 0x4e487b71 00000615: PUSH1 0xe0 00000617: SHL 00000618: PUSH1 0x00 0000061a: MSTORE 0000061b: PUSH1 0x32 0000061d: PUSH1 0x04 0000061f: MSTORE 00000620: PUSH1 0x24 00000622: PUSH1 0x00 00000624: REVERT 00000625: JUMPDEST 00000626: PUSH1 0x20 00000628: MUL 00000629: PUSH1 0x20 0000062b: ADD 0000062c: ADD 0000062d: MLOAD 0000062e: SWAP1 0000062f: POP 00000630: DUP1 00000631: DUP4 00000632: GT 00000633: PUSH2 0x0666 00000636: JUMPI 00000637: DUP3 00000638: DUP2 00000639: PUSH1 0x40 0000063b: MLOAD 0000063c: PUSH1 0x20 0000063e: ADD 0000063f: PUSH2 0x0649 00000642: SWAP3 00000643: SWAP2 00000644: SWAP1 00000645: PUSH2 0x09c3 00000648: JUMP 00000649: JUMPDEST 0000064a: PUSH1 0x40 0000064c: MLOAD 0000064d: PUSH1 0x20 0000064f: DUP2 00000650: DUP4 00000651: SUB 00000652: SUB 00000653: DUP2 00000654: MSTORE 00000655: SWAP1 00000656: PUSH1 0x40 00000658: MSTORE 00000659: DUP1 0000065a: MLOAD 0000065b: SWAP1 0000065c: PUSH1 0x20 0000065e: ADD 0000065f: KECCAK256 00000660: SWAP3 00000661: POP 00000662: PUSH2 0x0692 00000665: JUMP 00000666: JUMPDEST 00000667: DUP1 00000668: DUP4 00000669: PUSH1 0x40 0000066b: MLOAD 0000066c: PUSH1 0x20 0000066e: ADD 0000066f: PUSH2 0x0679 00000672: SWAP3 00000673: SWAP2 00000674: SWAP1 00000675: PUSH2 0x09c3 00000678: JUMP 00000679: JUMPDEST 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: PUSH1 0x20 0000067f: DUP2 00000680: DUP4 00000681: SUB 00000682: SUB 00000683: DUP2 00000684: MSTORE 00000685: SWAP1 00000686: PUSH1 0x40 00000688: MSTORE 00000689: DUP1 0000068a: MLOAD 0000068b: SWAP1 0000068c: PUSH1 0x20 0000068e: ADD 0000068f: KECCAK256 00000690: SWAP3 00000691: POP 00000692: JUMPDEST 00000693: POP 00000694: DUP1 00000695: PUSH2 0x069d 00000698: DUP2 00000699: PUSH2 0x0cb6 0000069c: JUMP 0000069d: JUMPDEST 0000069e: SWAP2 0000069f: POP 000006a0: POP 000006a1: PUSH2 0x05fa 000006a4: JUMP 000006a5: JUMPDEST 000006a6: POP 000006a7: SWAP1 000006a8: SWAP3 000006a9: EQ 000006aa: SWAP4 000006ab: SWAP3 000006ac: POP 000006ad: POP 000006ae: POP 000006af: JUMP 000006b0: JUMPDEST 000006b1: PUSH1 0x00 000006b3: PUSH2 0x06be 000006b6: PUSH2 0x0100 000006b9: DUP4 000006ba: PUSH2 0x0ca2 000006bd: JUMP 000006be: JUMPDEST 000006bf: SWAP1 000006c0: POP 000006c1: PUSH1 0x00 000006c3: PUSH2 0x06ce 000006c6: PUSH2 0x0100 000006c9: DUP5 000006ca: PUSH2 0x0cdd 000006cd: JUMP 000006ce: JUMPDEST 000006cf: PUSH1 0x00 000006d1: SWAP3 000006d2: DUP4 000006d3: MSTORE 000006d4: PUSH1 0x05 000006d6: PUSH1 0x20 000006d8: MSTORE 000006d9: PUSH1 0x40 000006db: SWAP1 000006dc: SWAP3 000006dd: KECCAK256 000006de: DUP1 000006df: SLOAD 000006e0: PUSH1 0x01 000006e2: SWAP1 000006e3: SWAP4 000006e4: SHL 000006e5: SWAP1 000006e6: SWAP3 000006e7: OR 000006e8: SWAP1 000006e9: SWAP2 000006ea: SSTORE 000006eb: POP 000006ec: POP 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH2 0x0744 000006f2: DUP4 000006f3: PUSH4 0xa9059cbb 000006f8: PUSH1 0xe0 000006fa: SHL 000006fb: DUP5 000006fc: DUP5 000006fd: PUSH1 0x40 000006ff: MLOAD 00000700: PUSH1 0x24 00000702: ADD 00000703: PUSH2 0x070d 00000706: SWAP3 00000707: SWAP2 00000708: SWAP1 00000709: PUSH2 0x0a46 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH1 0x40 00000710: DUP1 00000711: MLOAD 00000712: PUSH1 0x1f 00000714: NOT 00000715: DUP2 00000716: DUP5 00000717: SUB 00000718: ADD 00000719: DUP2 0000071a: MSTORE 0000071b: SWAP2 0000071c: SWAP1 0000071d: MSTORE 0000071e: PUSH1 0x20 00000720: DUP2 00000721: ADD 00000722: DUP1 00000723: MLOAD 00000724: PUSH1 0x01 00000726: PUSH1 0x01 00000728: PUSH1 0xe0 0000072a: SHL 0000072b: SUB 0000072c: AND 0000072d: PUSH1 0x01 0000072f: PUSH1 0x01 00000731: PUSH1 0xe0 00000733: SHL 00000734: SUB 00000735: NOT 00000736: SWAP1 00000737: SWAP4 00000738: AND 00000739: SWAP3 0000073a: SWAP1 0000073b: SWAP3 0000073c: OR 0000073d: SWAP1 0000073e: SWAP2 0000073f: MSTORE 00000740: PUSH2 0x074d 00000743: JUMP 00000744: JUMPDEST 00000745: POP 00000746: POP 00000747: POP 00000748: JUMP 00000749: JUMPDEST 0000074a: CALLER 0000074b: SWAP1 0000074c: JUMP 0000074d: JUMPDEST 0000074e: PUSH2 0x075f 00000751: DUP3 00000752: PUSH1 0x01 00000754: PUSH1 0x01 00000756: PUSH1 0xa0 00000758: SHL 00000759: SUB 0000075a: AND 0000075b: PUSH2 0x0831 0000075e: JUMP 0000075f: JUMPDEST 00000760: PUSH2 0x077b 00000763: JUMPI 00000764: PUSH1 0x40 00000766: MLOAD 00000767: PUSH3 0x461bcd 0000076b: PUSH1 0xe5 0000076d: SHL 0000076e: DUP2 0000076f: MSTORE 00000770: PUSH1 0x04 00000772: ADD 00000773: PUSH2 0x01dc 00000776: SWAP1 00000777: PUSH2 0x0c4c 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x00 0000077e: DUP1 0000077f: DUP4 00000780: PUSH1 0x01 00000782: PUSH1 0x01 00000784: PUSH1 0xa0 00000786: SHL 00000787: SUB 00000788: AND 00000789: DUP4 0000078a: PUSH1 0x40 0000078c: MLOAD 0000078d: PUSH2 0x0796 00000790: SWAP2 00000791: SWAP1 00000792: PUSH2 0x09d1 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x00 00000799: PUSH1 0x40 0000079b: MLOAD 0000079c: DUP1 0000079d: DUP4 0000079e: SUB 0000079f: DUP2 000007a0: PUSH1 0x00 000007a2: DUP7 000007a3: GAS 000007a4: CALL 000007a5: SWAP2 000007a6: POP 000007a7: POP 000007a8: RETURNDATASIZE 000007a9: DUP1 000007aa: PUSH1 0x00 000007ac: DUP2 000007ad: EQ 000007ae: PUSH2 0x07d3 000007b1: JUMPI 000007b2: PUSH1 0x40 000007b4: MLOAD 000007b5: SWAP2 000007b6: POP 000007b7: PUSH1 0x1f 000007b9: NOT 000007ba: PUSH1 0x3f 000007bc: RETURNDATASIZE 000007bd: ADD 000007be: AND 000007bf: DUP3 000007c0: ADD 000007c1: PUSH1 0x40 000007c3: MSTORE 000007c4: RETURNDATASIZE 000007c5: DUP3 000007c6: MSTORE 000007c7: RETURNDATASIZE 000007c8: PUSH1 0x00 000007ca: PUSH1 0x20 000007cc: DUP5 000007cd: ADD 000007ce: RETURNDATACOPY 000007cf: PUSH2 0x07d8 000007d2: JUMP 000007d3: JUMPDEST 000007d4: PUSH1 0x60 000007d6: SWAP2 000007d7: POP 000007d8: JUMPDEST 000007d9: POP 000007da: SWAP2 000007db: POP 000007dc: SWAP2 000007dd: POP 000007de: DUP2 000007df: PUSH2 0x07fa 000007e2: JUMPI 000007e3: PUSH1 0x40 000007e5: MLOAD 000007e6: PUSH3 0x461bcd 000007ea: PUSH1 0xe5 000007ec: SHL 000007ed: DUP2 000007ee: MSTORE 000007ef: PUSH1 0x04 000007f1: ADD 000007f2: PUSH2 0x01dc 000007f5: SWAP1 000007f6: PUSH2 0x0b38 000007f9: JUMP 000007fa: JUMPDEST 000007fb: DUP1 000007fc: MLOAD 000007fd: ISZERO 000007fe: PUSH2 0x0222 00000801: JUMPI 00000802: DUP1 00000803: DUP1 00000804: PUSH1 0x20 00000806: ADD 00000807: SWAP1 00000808: MLOAD 00000809: DUP2 0000080a: ADD 0000080b: SWAP1 0000080c: PUSH2 0x0815 0000080f: SWAP2 00000810: SWAP1 00000811: PUSH2 0x08e2 00000814: JUMP 00000815: JUMPDEST 00000816: PUSH2 0x0222 00000819: JUMPI 0000081a: PUSH1 0x40 0000081c: MLOAD 0000081d: PUSH3 0x461bcd 00000821: PUSH1 0xe5 00000823: SHL 00000824: DUP2 00000825: MSTORE 00000826: PUSH1 0x04 00000828: ADD 00000829: PUSH2 0x01dc 0000082c: SWAP1 0000082d: PUSH2 0x0c02 00000830: JUMP 00000831: JUMPDEST 00000832: EXTCODESIZE 00000833: ISZERO 00000834: ISZERO 00000835: SWAP1 00000836: JUMP 00000837: JUMPDEST 00000838: DUP1 00000839: CALLDATALOAD 0000083a: PUSH1 0x01 0000083c: PUSH1 0x01 0000083e: PUSH1 0xa0 00000840: SHL 00000841: SUB 00000842: DUP2 00000843: AND 00000844: DUP2 00000845: EQ 00000846: PUSH2 0x0428 00000849: JUMPI 0000084a: PUSH1 0x00 0000084c: DUP1 0000084d: REVERT 0000084e: JUMPDEST 0000084f: PUSH1 0x00 00000851: PUSH1 0x20 00000853: DUP3 00000854: DUP5 00000855: SUB 00000856: SLT 00000857: ISZERO 00000858: PUSH2 0x085f 0000085b: JUMPI 0000085c: DUP1 0000085d: DUP2 0000085e: REVERT 0000085f: JUMPDEST 00000860: PUSH2 0x0868 00000863: DUP3 00000864: PUSH2 0x0837 00000867: JUMP 00000868: JUMPDEST 00000869: SWAP4 0000086a: SWAP3 0000086b: POP 0000086c: POP 0000086d: POP 0000086e: JUMP 0000086f: JUMPDEST 00000870: PUSH1 0x00 00000872: DUP1 00000873: PUSH1 0x40 00000875: DUP4 00000876: DUP6 00000877: SUB 00000878: SLT 00000879: ISZERO 0000087a: PUSH2 0x0881 0000087d: JUMPI 0000087e: DUP1 0000087f: DUP2 00000880: REVERT 00000881: JUMPDEST 00000882: PUSH2 0x088a 00000885: DUP4 00000886: PUSH2 0x0837 00000889: JUMP 0000088a: JUMPDEST 0000088b: SWAP2 0000088c: POP 0000088d: PUSH2 0x0898 00000890: PUSH1 0x20 00000892: DUP5 00000893: ADD 00000894: PUSH2 0x0837 00000897: JUMP 00000898: JUMPDEST 00000899: SWAP1 0000089a: POP 0000089b: SWAP3 0000089c: POP 0000089d: SWAP3 0000089e: SWAP1 0000089f: POP 000008a0: JUMP 000008a1: JUMPDEST 000008a2: PUSH1 0x00 000008a4: DUP1 000008a5: PUSH1 0x00 000008a7: DUP1 000008a8: PUSH1 0x80 000008aa: DUP6 000008ab: DUP8 000008ac: SUB 000008ad: SLT 000008ae: ISZERO 000008af: PUSH2 0x08b6 000008b2: JUMPI 000008b3: DUP2 000008b4: DUP3 000008b5: REVERT 000008b6: JUMPDEST 000008b7: PUSH2 0x08bf 000008ba: DUP6 000008bb: PUSH2 0x0837 000008be: JUMP 000008bf: JUMPDEST 000008c0: SWAP4 000008c1: POP 000008c2: PUSH2 0x08cd 000008c5: PUSH1 0x20 000008c7: DUP7 000008c8: ADD 000008c9: PUSH2 0x0837 000008cc: JUMP 000008cd: JUMPDEST 000008ce: SWAP4 000008cf: SWAP7 000008d0: SWAP4 000008d1: SWAP6 000008d2: POP 000008d3: POP 000008d4: POP 000008d5: POP 000008d6: PUSH1 0x40 000008d8: DUP3 000008d9: ADD 000008da: CALLDATALOAD 000008db: SWAP2 000008dc: PUSH1 0x60 000008de: ADD 000008df: CALLDATALOAD 000008e0: SWAP1 000008e1: JUMP 000008e2: JUMPDEST 000008e3: PUSH1 0x00 000008e5: PUSH1 0x20 000008e7: DUP3 000008e8: DUP5 000008e9: SUB 000008ea: SLT 000008eb: ISZERO 000008ec: PUSH2 0x08f3 000008ef: JUMPI 000008f0: DUP1 000008f1: DUP2 000008f2: REVERT 000008f3: JUMPDEST 000008f4: DUP2 000008f5: MLOAD 000008f6: DUP1 000008f7: ISZERO 000008f8: ISZERO 000008f9: DUP2 000008fa: EQ 000008fb: PUSH2 0x0868 000008fe: JUMPI 000008ff: DUP2 00000900: DUP3 00000901: REVERT 00000902: JUMPDEST 00000903: PUSH1 0x00 00000905: PUSH1 0x20 00000907: DUP3 00000908: DUP5 00000909: SUB 0000090a: SLT 0000090b: ISZERO 0000090c: PUSH2 0x0913 0000090f: JUMPI 00000910: DUP1 00000911: DUP2 00000912: REVERT 00000913: JUMPDEST 00000914: POP 00000915: CALLDATALOAD 00000916: SWAP2 00000917: SWAP1 00000918: POP 00000919: JUMP 0000091a: JUMPDEST 0000091b: PUSH1 0x00 0000091d: PUSH1 0x20 0000091f: DUP3 00000920: DUP5 00000921: SUB 00000922: SLT 00000923: ISZERO 00000924: PUSH2 0x092b 00000927: JUMPI 00000928: DUP1 00000929: DUP2 0000092a: REVERT 0000092b: JUMPDEST 0000092c: POP 0000092d: MLOAD 0000092e: SWAP2 0000092f: SWAP1 00000930: POP 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH1 0x00 00000935: DUP1 00000936: PUSH1 0x00 00000938: DUP1 00000939: PUSH1 0x00 0000093b: PUSH1 0x80 0000093d: DUP7 0000093e: DUP9 0000093f: SUB 00000940: SLT 00000941: ISZERO 00000942: PUSH2 0x0949 00000945: JUMPI 00000946: DUP1 00000947: DUP2 00000948: REVERT 00000949: JUMPDEST 0000094a: DUP6 0000094b: CALLDATALOAD 0000094c: SWAP5 0000094d: POP 0000094e: PUSH2 0x0959 00000951: PUSH1 0x20 00000953: DUP8 00000954: ADD 00000955: PUSH2 0x0837 00000958: JUMP 00000959: JUMPDEST 0000095a: SWAP4 0000095b: POP 0000095c: PUSH1 0x40 0000095e: DUP7 0000095f: ADD 00000960: CALLDATALOAD 00000961: SWAP3 00000962: POP 00000963: PUSH1 0x60 00000965: DUP7 00000966: ADD 00000967: CALLDATALOAD 00000968: PUSH8 0xffffffffffffffff 00000971: DUP1 00000972: DUP3 00000973: GT 00000974: ISZERO 00000975: PUSH2 0x097c 00000978: JUMPI 00000979: DUP3 0000097a: DUP4 0000097b: REVERT 0000097c: JUMPDEST 0000097d: DUP2 0000097e: DUP9 0000097f: ADD 00000980: SWAP2 00000981: POP 00000982: DUP9 00000983: PUSH1 0x1f 00000985: DUP4 00000986: ADD 00000987: SLT 00000988: PUSH2 0x098f 0000098b: JUMPI 0000098c: DUP3 0000098d: DUP4 0000098e: REVERT 0000098f: JUMPDEST 00000990: DUP2 00000991: CALLDATALOAD 00000992: DUP2 00000993: DUP2 00000994: GT 00000995: ISZERO 00000996: PUSH2 0x099d 00000999: JUMPI 0000099a: DUP4 0000099b: DUP5 0000099c: REVERT 0000099d: JUMPDEST 0000099e: DUP10 0000099f: PUSH1 0x20 000009a1: DUP1 000009a2: DUP4 000009a3: MUL 000009a4: DUP6 000009a5: ADD 000009a6: ADD 000009a7: GT 000009a8: ISZERO 000009a9: PUSH2 0x09b0 000009ac: JUMPI 000009ad: DUP4 000009ae: DUP5 000009af: REVERT 000009b0: JUMPDEST 000009b1: SWAP7 000009b2: SWAP10 000009b3: SWAP6 000009b4: SWAP9 000009b5: POP 000009b6: SWAP4 000009b7: SWAP7 000009b8: POP 000009b9: PUSH1 0x20 000009bb: ADD 000009bc: SWAP5 000009bd: SWAP4 000009be: SWAP3 000009bf: POP 000009c0: POP 000009c1: POP 000009c2: JUMP 000009c3: JUMPDEST 000009c4: SWAP2 000009c5: DUP3 000009c6: MSTORE 000009c7: PUSH1 0x20 000009c9: DUP3 000009ca: ADD 000009cb: MSTORE 000009cc: PUSH1 0x40 000009ce: ADD 000009cf: SWAP1 000009d0: JUMP 000009d1: JUMPDEST 000009d2: PUSH1 0x00 000009d4: DUP3 000009d5: MLOAD 000009d6: DUP2 000009d7: JUMPDEST 000009d8: DUP2 000009d9: DUP2 000009da: LT 000009db: ISZERO 000009dc: PUSH2 0x09f1 000009df: JUMPI 000009e0: PUSH1 0x20 000009e2: DUP2 000009e3: DUP7 000009e4: ADD 000009e5: DUP2 000009e6: ADD 000009e7: MLOAD 000009e8: DUP6 000009e9: DUP4 000009ea: ADD 000009eb: MSTORE 000009ec: ADD 000009ed: PUSH2 0x09d7 000009f0: JUMP 000009f1: JUMPDEST 000009f2: DUP2 000009f3: DUP2 000009f4: GT 000009f5: ISZERO 000009f6: PUSH2 0x09ff 000009f9: JUMPI 000009fa: DUP3 000009fb: DUP3 000009fc: DUP6 000009fd: ADD 000009fe: MSTORE 000009ff: JUMPDEST 00000a00: POP 00000a01: SWAP2 00000a02: SWAP1 00000a03: SWAP2 00000a04: ADD 00000a05: SWAP3 00000a06: SWAP2 00000a07: POP 00000a08: POP 00000a09: JUMP 00000a0a: JUMPDEST 00000a0b: SWAP3 00000a0c: DUP4 00000a0d: MSTORE 00000a0e: PUSH1 0x60 00000a10: SWAP2 00000a11: SWAP1 00000a12: SWAP2 00000a13: SHL 00000a14: PUSH12 0xffffffffffffffffffffffff 00000a21: NOT 00000a22: AND 00000a23: PUSH1 0x20 00000a25: DUP4 00000a26: ADD 00000a27: MSTORE 00000a28: PUSH1 0x34 00000a2a: DUP3 00000a2b: ADD 00000a2c: MSTORE 00000a2d: PUSH1 0x54 00000a2f: ADD 00000a30: SWAP1 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x01 00000a35: PUSH1 0x01 00000a37: PUSH1 0xa0 00000a39: SHL 00000a3a: SUB 00000a3b: SWAP2 00000a3c: SWAP1 00000a3d: SWAP2 00000a3e: AND 00000a3f: DUP2 00000a40: MSTORE 00000a41: PUSH1 0x20 00000a43: ADD 00000a44: SWAP1 00000a45: JUMP 00000a46: JUMPDEST 00000a47: PUSH1 0x01 00000a49: PUSH1 0x01 00000a4b: PUSH1 0xa0 00000a4d: SHL 00000a4e: SUB 00000a4f: SWAP3 00000a50: SWAP1 00000a51: SWAP3 00000a52: AND 00000a53: DUP3 00000a54: MSTORE 00000a55: PUSH1 0x20 00000a57: DUP3 00000a58: ADD 00000a59: MSTORE 00000a5a: PUSH1 0x40 00000a5c: ADD 00000a5d: SWAP1 00000a5e: JUMP 00000a5f: JUMPDEST 00000a60: SWAP1 00000a61: ISZERO 00000a62: ISZERO 00000a63: DUP2 00000a64: MSTORE 00000a65: PUSH1 0x20 00000a67: ADD 00000a68: SWAP1 00000a69: JUMP 00000a6a: JUMPDEST 00000a6b: SWAP1 00000a6c: DUP2 00000a6d: MSTORE 00000a6e: PUSH1 0x20 00000a70: ADD 00000a71: SWAP1 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH1 0x20 00000a76: DUP1 00000a77: DUP3 00000a78: MSTORE 00000a79: PUSH1 0x18 00000a7b: SWAP1 00000a7c: DUP3 00000a7d: ADD 00000a7e: MSTORE 00000a7f: PUSH32 0x417374726f64726f703a20496e76616c69642070726f6f660000000000000000 00000aa0: PUSH1 0x40 00000aa2: DUP3 00000aa3: ADD 00000aa4: MSTORE 00000aa5: PUSH1 0x60 00000aa7: ADD 00000aa8: SWAP1 00000aa9: JUMP 00000aaa: JUMPDEST 00000aab: PUSH1 0x20 00000aad: DUP1 00000aae: DUP3 00000aaf: MSTORE 00000ab0: PUSH1 0x26 00000ab2: SWAP1 00000ab3: DUP3 00000ab4: ADD 00000ab5: MSTORE 00000ab6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000ad7: PUSH1 0x40 00000ad9: DUP3 00000ada: ADD 00000adb: MSTORE 00000adc: PUSH6 0x646472657373 00000ae3: PUSH1 0xd0 00000ae5: SHL 00000ae6: PUSH1 0x60 00000ae8: DUP3 00000ae9: ADD 00000aea: MSTORE 00000aeb: PUSH1 0x80 00000aed: ADD 00000aee: SWAP1 00000aef: JUMP 00000af0: JUMPDEST 00000af1: PUSH1 0x20 00000af3: DUP1 00000af4: DUP3 00000af5: MSTORE 00000af6: PUSH1 0x28 00000af8: SWAP1 00000af9: DUP3 00000afa: ADD 00000afb: MSTORE 00000afc: PUSH32 0x4d65726b6c654469737472696275746f723a2044726f7020616c726561647920 00000b1d: PUSH1 0x40 00000b1f: DUP3 00000b20: ADD 00000b21: MSTORE 00000b22: PUSH8 0x31b630b4b6b2b217 00000b2b: PUSH1 0xc1 00000b2d: SHL 00000b2e: PUSH1 0x60 00000b30: DUP3 00000b31: ADD 00000b32: MSTORE 00000b33: PUSH1 0x80 00000b35: ADD 00000b36: SWAP1 00000b37: JUMP 00000b38: JUMPDEST 00000b39: PUSH1 0x20 00000b3b: DUP1 00000b3c: DUP3 00000b3d: MSTORE 00000b3e: DUP2 00000b3f: DUP2 00000b40: ADD 00000b41: MSTORE 00000b42: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000b63: PUSH1 0x40 00000b65: DUP3 00000b66: ADD 00000b67: MSTORE 00000b68: PUSH1 0x60 00000b6a: ADD 00000b6b: SWAP1 00000b6c: JUMP 00000b6d: JUMPDEST 00000b6e: PUSH1 0x20 00000b70: DUP1 00000b71: DUP3 00000b72: MSTORE 00000b73: DUP2 00000b74: DUP2 00000b75: ADD 00000b76: MSTORE 00000b77: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b98: PUSH1 0x40 00000b9a: DUP3 00000b9b: ADD 00000b9c: MSTORE 00000b9d: PUSH1 0x60 00000b9f: ADD 00000ba0: SWAP1 00000ba1: JUMP 00000ba2: JUMPDEST 00000ba3: PUSH1 0x20 00000ba5: DUP1 00000ba6: DUP3 00000ba7: MSTORE 00000ba8: PUSH1 0x16 00000baa: SWAP1 00000bab: DUP3 00000bac: ADD 00000bad: MSTORE 00000bae: PUSH22 0x105cdd1c9bd91c9bdc0e88139bdd08195e1c1a5c9959 00000bc5: PUSH1 0x52 00000bc7: SHL 00000bc8: PUSH1 0x40 00000bca: DUP3 00000bcb: ADD 00000bcc: MSTORE 00000bcd: PUSH1 0x60 00000bcf: ADD 00000bd0: SWAP1 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH1 0x20 00000bd5: DUP1 00000bd6: DUP3 00000bd7: MSTORE 00000bd8: PUSH1 0x16 00000bda: SWAP1 00000bdb: DUP3 00000bdc: ADD 00000bdd: MSTORE 00000bde: PUSH22 0x105cdd1c9bd91c9bdc0e88125b9a5d1a585b1a5e9959 00000bf5: PUSH1 0x52 00000bf7: SHL 00000bf8: PUSH1 0x40 00000bfa: DUP3 00000bfb: ADD 00000bfc: MSTORE 00000bfd: PUSH1 0x60 00000bff: ADD 00000c00: SWAP1 00000c01: JUMP 00000c02: JUMPDEST 00000c03: PUSH1 0x20 00000c05: DUP1 00000c06: DUP3 00000c07: MSTORE 00000c08: PUSH1 0x2a 00000c0a: SWAP1 00000c0b: DUP3 00000c0c: ADD 00000c0d: MSTORE 00000c0e: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000c2f: PUSH1 0x40 00000c31: DUP3 00000c32: ADD 00000c33: MSTORE 00000c34: PUSH10 0x1bdd081cdd58d8d95959 00000c3f: PUSH1 0xb2 00000c41: SHL 00000c42: PUSH1 0x60 00000c44: DUP3 00000c45: ADD 00000c46: MSTORE 00000c47: PUSH1 0x80 00000c49: ADD 00000c4a: SWAP1 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: PUSH1 0x20 00000c4f: DUP1 00000c50: DUP3 00000c51: MSTORE 00000c52: PUSH1 0x1f 00000c54: SWAP1 00000c55: DUP3 00000c56: ADD 00000c57: MSTORE 00000c58: PUSH32 0x5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400 00000c79: PUSH1 0x40 00000c7b: DUP3 00000c7c: ADD 00000c7d: MSTORE 00000c7e: PUSH1 0x60 00000c80: ADD 00000c81: SWAP1 00000c82: JUMP 00000c83: JUMPDEST 00000c84: SWAP3 00000c85: DUP4 00000c86: MSTORE 00000c87: PUSH1 0x01 00000c89: PUSH1 0x01 00000c8b: PUSH1 0xa0 00000c8d: SHL 00000c8e: SUB 00000c8f: SWAP2 00000c90: SWAP1 00000c91: SWAP2 00000c92: AND 00000c93: PUSH1 0x20 00000c95: DUP4 00000c96: ADD 00000c97: MSTORE 00000c98: PUSH1 0x40 00000c9a: DUP3 00000c9b: ADD 00000c9c: MSTORE 00000c9d: PUSH1 0x60 00000c9f: ADD 00000ca0: SWAP1 00000ca1: JUMP 00000ca2: JUMPDEST 00000ca3: PUSH1 0x00 00000ca5: DUP3 00000ca6: PUSH2 0x0cb1 00000ca9: JUMPI 00000caa: PUSH2 0x0cb1 00000cad: PUSH2 0x0cf1 00000cb0: JUMP 00000cb1: JUMPDEST 00000cb2: POP 00000cb3: DIV 00000cb4: SWAP1 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: PUSH1 0x00 00000cb9: PUSH1 0x00 00000cbb: NOT 00000cbc: DUP3 00000cbd: EQ 00000cbe: ISZERO 00000cbf: PUSH2 0x0cd6 00000cc2: JUMPI 00000cc3: PUSH4 0x4e487b71 00000cc8: PUSH1 0xe0 00000cca: SHL 00000ccb: DUP2 00000ccc: MSTORE 00000ccd: PUSH1 0x11 00000ccf: PUSH1 0x04 00000cd1: MSTORE 00000cd2: PUSH1 0x24 00000cd4: DUP2 00000cd5: REVERT 00000cd6: JUMPDEST 00000cd7: POP 00000cd8: PUSH1 0x01 00000cda: ADD 00000cdb: SWAP1 00000cdc: JUMP 00000cdd: JUMPDEST 00000cde: PUSH1 0x00 00000ce0: DUP3 00000ce1: PUSH2 0x0cec 00000ce4: JUMPI 00000ce5: PUSH2 0x0cec 00000ce8: PUSH2 0x0cf1 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: POP 00000cee: MOD 00000cef: SWAP1 00000cf0: JUMP 00000cf1: JUMPDEST 00000cf2: PUSH4 0x4e487b71 00000cf7: PUSH1 0xe0 00000cf9: SHL 00000cfa: PUSH1 0x00 00000cfc: MSTORE 00000cfd: PUSH1 0x12 00000cff: PUSH1 0x04 00000d01: MSTORE 00000d02: PUSH1 0x24 00000d04: PUSH1 0x00 00000d06: REVERT 00000d07: INVALID 00000d08: LOG2 00000d09: PUSH5 0x6970667358 00000d0f: UNKNOWN(0x22) 00000d10: SLT 00000d11: KECCAK256 00000d12: DUP9 00000d13: PUSH1 0x5c 00000d15: RETURNDATASIZE 00000d16: PUSH17 0x2e1a656780d37ef4452c82cba501ccd36b 00000d28: CALLVALUE 00000d29: UNKNOWN(0xF9) 00000d2a: UNKNOWN(0xEE) 00000d2b: UNKNOWN(0xAC) 00000d2c: EXP 00000d2d: UNKNOWN(0xD7) 00000d2e: REVERT 00000d2f: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xfd5327298f4e467d4f91569ab7ccdbbce5a2679cb6c8d571558568a83234c040
call_targets:
0x594c62030edbf4d09564bce0efe2885b34b12e24
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfd5327298f4e467d4f91569ab7ccdbbce5a2679cb6c8d571558568a83234c040",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x594c62030edbf4d09564bce0efe2885b34b12e24"
],
"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": "0xb8dc491b",
"selector": "0xb8dc491b",
"calldata_variants": [
"0xb8dc491b",
"0xb8dc491b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee25560b",
"selector": "0xee25560b",
"calldata_variants": [
"0xee25560b",
"0xee25560b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e34070f",
"selector": "0x9e34070f",
"calldata_variants": [
"0x9e34070f",
"0x9e34070f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x158ef93e",
"selector": "0x158ef93e",
"calldata_variants": [
"0x158ef93e",
"0x158ef93e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1956,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xfd5327298f4e467d4f91569ab7ccdbbce5a2679cb6c8d571558568a83234c040
call_targets:
0x594c62030edbf4d09564bce0efe2885b34b12e24
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xfd5327298f4e467d4f91569ab7ccdbbce5a2679cb6c8d571558568a83234c040",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x594c62030edbf4d09564bce0efe2885b34b12e24"
],
"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": "0xb8dc491b",
"selector": "0xb8dc491b",
"calldata_variants": [
"0xb8dc491b",
"0xb8dc491b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee25560b",
"selector": "0xee25560b",
"calldata_variants": [
"0xee25560b",
"0xee25560b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f32d59b",
"selector": "0x8f32d59b",
"calldata_variants": [
"0x8f32d59b",
"0x8f32d59b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e34070f",
"selector": "0x9e34070f",
"calldata_variants": [
"0x9e34070f",
"0x9e34070f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x158ef93e",
"selector": "0x158ef93e",
"calldata_variants": [
"0x158ef93e",
"0x158ef93e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1956,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|