019b477e-b8d8-70a1-9118-e86b02e95cf0
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 |
|---|---|---|---|---|
| 23505 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23506 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107793 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107794 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107795 | detector.run | complete | 1 / 3 | 1 week ago |
| 107796 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x007f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa4db6252 00000019: GT 0000001a: PUSH2 0x004e 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa4db6252 00000024: EQ 00000025: PUSH2 0x0102 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb7671acd 0000002f: EQ 00000030: PUSH2 0x012f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xcc718f76 0000003a: EQ 0000003b: PUSH2 0x014f 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x017c 00000049: JUMPI 0000004a: PUSH2 0x0086 0000004d: JUMP 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x379607f5 00000055: EQ 00000056: PUSH2 0x008b 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x715018a6 00000060: EQ 00000061: PUSH2 0x00ad 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8d702122 0000006b: EQ 0000006c: PUSH2 0x00c2 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x00d7 0000007a: JUMPI 0000007b: PUSH2 0x0086 0000007e: JUMP 0000007f: JUMPDEST 00000080: CALLDATASIZE 00000081: PUSH2 0x0086 00000084: JUMPI 00000085: STOP 00000086: JUMPDEST 00000087: PUSH1 0x00 00000089: DUP1 0000008a: REVERT 0000008b: JUMPDEST 0000008c: CALLVALUE 0000008d: DUP1 0000008e: ISZERO 0000008f: PUSH2 0x0097 00000092: JUMPI 00000093: PUSH1 0x00 00000095: DUP1 00000096: REVERT 00000097: JUMPDEST 00000098: POP 00000099: PUSH2 0x00ab 0000009c: PUSH2 0x00a6 0000009f: CALLDATASIZE 000000a0: PUSH1 0x04 000000a2: PUSH2 0x08a2 000000a5: JUMP 000000a6: JUMPDEST 000000a7: PUSH2 0x019c 000000aa: JUMP 000000ab: JUMPDEST 000000ac: STOP 000000ad: JUMPDEST 000000ae: CALLVALUE 000000af: DUP1 000000b0: ISZERO 000000b1: PUSH2 0x00b9 000000b4: JUMPI 000000b5: PUSH1 0x00 000000b7: DUP1 000000b8: REVERT 000000b9: JUMPDEST 000000ba: POP 000000bb: PUSH2 0x00ab 000000be: PUSH2 0x036e 000000c1: JUMP 000000c2: JUMPDEST 000000c3: CALLVALUE 000000c4: DUP1 000000c5: ISZERO 000000c6: PUSH2 0x00ce 000000c9: JUMPI 000000ca: PUSH1 0x00 000000cc: DUP1 000000cd: REVERT 000000ce: JUMPDEST 000000cf: POP 000000d0: PUSH2 0x00ab 000000d3: PUSH2 0x03ed 000000d6: JUMP 000000d7: JUMPDEST 000000d8: CALLVALUE 000000d9: DUP1 000000da: ISZERO 000000db: PUSH2 0x00e3 000000de: JUMPI 000000df: PUSH1 0x00 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: POP 000000e5: PUSH2 0x00ec 000000e8: PUSH2 0x0435 000000eb: JUMP 000000ec: JUMPDEST 000000ed: PUSH1 0x40 000000ef: MLOAD 000000f0: PUSH2 0x00f9 000000f3: SWAP2 000000f4: SWAP1 000000f5: PUSH2 0x0a78 000000f8: JUMP 000000f9: JUMPDEST 000000fa: PUSH1 0x40 000000fc: MLOAD 000000fd: DUP1 000000fe: SWAP2 000000ff: SUB 00000100: SWAP1 00000101: RETURN 00000102: JUMPDEST 00000103: CALLVALUE 00000104: DUP1 00000105: ISZERO 00000106: PUSH2 0x010e 00000109: JUMPI 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: REVERT 0000010e: JUMPDEST 0000010f: POP 00000110: PUSH2 0x0122 00000113: PUSH2 0x011d 00000116: CALLDATASIZE 00000117: PUSH1 0x04 00000119: PUSH2 0x08a2 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH2 0x0444 00000121: JUMP 00000122: JUMPDEST 00000123: PUSH1 0x40 00000125: MLOAD 00000126: PUSH2 0x00f9 00000129: SWAP2 0000012a: SWAP1 0000012b: PUSH2 0x0a8c 0000012e: JUMP 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH2 0x00ab 00000140: PUSH2 0x014a 00000143: CALLDATASIZE 00000144: PUSH1 0x04 00000146: PUSH2 0x0950 00000149: JUMP 0000014a: JUMPDEST 0000014b: PUSH2 0x0710 0000014e: JUMP 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: DUP1 00000152: ISZERO 00000153: PUSH2 0x015b 00000156: JUMPI 00000157: PUSH1 0x00 00000159: DUP1 0000015a: REVERT 0000015b: JUMPDEST 0000015c: POP 0000015d: PUSH2 0x016f 00000160: PUSH2 0x016a 00000163: CALLDATASIZE 00000164: PUSH1 0x04 00000166: PUSH2 0x08a2 00000169: JUMP 0000016a: JUMPDEST 0000016b: PUSH2 0x0794 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH1 0x40 00000172: MLOAD 00000173: PUSH2 0x00f9 00000176: SWAP2 00000177: SWAP1 00000178: PUSH2 0x0b70 0000017b: JUMP 0000017c: JUMPDEST 0000017d: CALLVALUE 0000017e: DUP1 0000017f: ISZERO 00000180: PUSH2 0x0188 00000183: JUMPI 00000184: PUSH1 0x00 00000186: DUP1 00000187: REVERT 00000188: JUMPDEST 00000189: POP 0000018a: PUSH2 0x00ab 0000018d: PUSH2 0x0197 00000190: CALLDATASIZE 00000191: PUSH1 0x04 00000193: PUSH2 0x087f 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH2 0x07a6 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH1 0x00 0000019f: DUP2 000001a0: DUP2 000001a1: MSTORE 000001a2: PUSH1 0x02 000001a4: PUSH1 0x20 000001a6: MSTORE 000001a7: PUSH1 0x40 000001a9: SWAP1 000001aa: KECCAK256 000001ab: SLOAD 000001ac: PUSH1 0xff 000001ae: AND 000001af: ISZERO 000001b0: PUSH2 0x01d4 000001b3: JUMPI 000001b4: PUSH1 0x40 000001b6: MLOAD 000001b7: PUSH3 0x461bcd 000001bb: PUSH1 0xe5 000001bd: SHL 000001be: DUP2 000001bf: MSTORE 000001c0: PUSH1 0x04 000001c2: ADD 000001c3: PUSH2 0x01cb 000001c6: SWAP1 000001c7: PUSH2 0x0aeb 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: DUP1 000001d0: SWAP2 000001d1: SUB 000001d2: SWAP1 000001d3: REVERT 000001d4: JUMPDEST 000001d5: PUSH2 0x01dd 000001d8: DUP2 000001d9: PUSH2 0x0444 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH2 0x01f9 000001e1: JUMPI 000001e2: PUSH1 0x40 000001e4: MLOAD 000001e5: PUSH3 0x461bcd 000001e9: PUSH1 0xe5 000001eb: SHL 000001ec: DUP2 000001ed: MSTORE 000001ee: PUSH1 0x04 000001f0: ADD 000001f1: PUSH2 0x01cb 000001f4: SWAP1 000001f5: PUSH2 0x0b15 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH1 0x00 000001fc: DUP2 000001fd: DUP2 000001fe: MSTORE 000001ff: PUSH1 0x02 00000201: PUSH1 0x20 00000203: SWAP1 00000204: DUP2 00000205: MSTORE 00000206: PUSH1 0x40 00000208: DUP1 00000209: DUP4 0000020a: KECCAK256 0000020b: DUP1 0000020c: SLOAD 0000020d: PUSH1 0xff 0000020f: NOT 00000210: AND 00000211: PUSH1 0x01 00000213: SWAP1 00000214: DUP2 00000215: OR 00000216: SWAP1 00000217: SWAP2 00000218: SSTORE 00000219: PUSH14 0x21a420a62622a723a2afa0a22229 00000228: PUSH1 0x91 0000022a: SHL 0000022b: DUP5 0000022c: MSTORE 0000022d: SWAP1 0000022e: SWAP2 0000022f: MSTORE 00000230: PUSH32 0xf0563e29f8a00dd35cb779bc55b6f1a3c2c9314e00bc5cecfef9816a206dd216 00000251: SLOAD 00000252: SWAP1 00000253: MLOAD 00000254: PUSH4 0x3dde234f 00000259: PUSH1 0xe1 0000025b: SHL 0000025c: DUP2 0000025d: MSTORE 0000025e: SWAP1 0000025f: SWAP2 00000260: SWAP1 00000261: PUSH1 0x01 00000263: PUSH1 0x01 00000265: PUSH1 0xa0 00000267: SHL 00000268: SUB 00000269: DUP4 0000026a: AND 0000026b: SWAP1 0000026c: PUSH4 0x7bbc469e 00000271: SWAP1 00000272: PUSH2 0x027f 00000275: SWAP1 00000276: DUP7 00000277: SWAP1 00000278: PUSH1 0x04 0000027a: ADD 0000027b: PUSH2 0x0b70 0000027e: JUMP 0000027f: JUMPDEST 00000280: PUSH2 0x0160 00000283: PUSH1 0x40 00000285: MLOAD 00000286: DUP1 00000287: DUP4 00000288: SUB 00000289: DUP2 0000028a: DUP7 0000028b: DUP1 0000028c: EXTCODESIZE 0000028d: ISZERO 0000028e: DUP1 0000028f: ISZERO 00000290: PUSH2 0x0298 00000293: JUMPI 00000294: PUSH1 0x00 00000296: DUP1 00000297: REVERT 00000298: JUMPDEST 00000299: POP 0000029a: GAS 0000029b: STATICCALL 0000029c: ISZERO 0000029d: DUP1 0000029e: ISZERO 0000029f: PUSH2 0x02ac 000002a2: JUMPI 000002a3: RETURNDATASIZE 000002a4: PUSH1 0x00 000002a6: DUP1 000002a7: RETURNDATACOPY 000002a8: RETURNDATASIZE 000002a9: PUSH1 0x00 000002ab: REVERT 000002ac: JUMPDEST 000002ad: POP 000002ae: POP 000002af: POP 000002b0: POP 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: RETURNDATASIZE 000002b5: PUSH1 0x1f 000002b7: NOT 000002b8: PUSH1 0x1f 000002ba: DUP3 000002bb: ADD 000002bc: AND 000002bd: DUP3 000002be: ADD 000002bf: DUP1 000002c0: PUSH1 0x40 000002c2: MSTORE 000002c3: POP 000002c4: DUP2 000002c5: ADD 000002c6: SWAP1 000002c7: PUSH2 0x02d0 000002ca: SWAP2 000002cb: SWAP1 000002cc: PUSH2 0x08ba 000002cf: JUMP 000002d0: JUMPDEST 000002d1: POP 000002d2: SWAP10 000002d3: POP 000002d4: POP 000002d5: POP 000002d6: POP 000002d7: POP 000002d8: POP 000002d9: POP 000002da: POP 000002db: POP 000002dc: POP 000002dd: DUP1 000002de: PUSH1 0x01 000002e0: PUSH1 0x01 000002e2: PUSH1 0xa0 000002e4: SHL 000002e5: SUB 000002e6: AND 000002e7: PUSH2 0x08fc 000002ea: PUSH1 0x01 000002ec: PUSH1 0x00 000002ee: PUSH6 0x149155d05491 000002f5: PUSH1 0xd2 000002f7: SHL 000002f8: DUP2 000002f9: MSTORE 000002fa: PUSH1 0x20 000002fc: ADD 000002fd: SWAP1 000002fe: DUP2 000002ff: MSTORE 00000300: PUSH1 0x20 00000302: ADD 00000303: PUSH1 0x00 00000305: KECCAK256 00000306: SLOAD 00000307: SWAP1 00000308: DUP2 00000309: ISZERO 0000030a: MUL 0000030b: SWAP1 0000030c: PUSH1 0x40 0000030e: MLOAD 0000030f: PUSH1 0x00 00000311: PUSH1 0x40 00000313: MLOAD 00000314: DUP1 00000315: DUP4 00000316: SUB 00000317: DUP2 00000318: DUP6 00000319: DUP9 0000031a: DUP9 0000031b: CALL 0000031c: SWAP4 0000031d: POP 0000031e: POP 0000031f: POP 00000320: POP 00000321: ISZERO 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x0331 00000327: JUMPI 00000328: RETURNDATASIZE 00000329: PUSH1 0x00 0000032b: DUP1 0000032c: RETURNDATACOPY 0000032d: RETURNDATASIZE 0000032e: PUSH1 0x00 00000330: REVERT 00000331: JUMPDEST 00000332: POP 00000333: PUSH32 0xb14d3941859969c9e5c6f67f57fcaf06485865972cc90138a8a5b2eb58cf9cd4 00000354: DUP4 00000355: PUSH1 0x40 00000357: MLOAD 00000358: PUSH2 0x0361 0000035b: SWAP2 0000035c: SWAP1 0000035d: PUSH2 0x0b70 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH1 0x40 00000364: MLOAD 00000365: DUP1 00000366: SWAP2 00000367: SUB 00000368: SWAP1 00000369: LOG1 0000036a: POP 0000036b: POP 0000036c: POP 0000036d: JUMP 0000036e: JUMPDEST 0000036f: PUSH2 0x0376 00000372: PUSH2 0x085c 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH1 0x00 00000379: SLOAD 0000037a: PUSH1 0x01 0000037c: PUSH1 0x01 0000037e: PUSH1 0xa0 00000380: SHL 00000381: SUB 00000382: SWAP1 00000383: DUP2 00000384: AND 00000385: SWAP2 00000386: AND 00000387: EQ 00000388: PUSH2 0x03a3 0000038b: JUMPI 0000038c: PUSH1 0x40 0000038e: MLOAD 0000038f: PUSH3 0x461bcd 00000393: PUSH1 0xe5 00000395: SHL 00000396: DUP2 00000397: MSTORE 00000398: PUSH1 0x04 0000039a: ADD 0000039b: PUSH2 0x01cb 0000039e: SWAP1 0000039f: PUSH2 0x0b3b 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x00 000003a6: DUP1 000003a7: SLOAD 000003a8: PUSH1 0x40 000003aa: MLOAD 000003ab: PUSH1 0x01 000003ad: PUSH1 0x01 000003af: PUSH1 0xa0 000003b1: SHL 000003b2: SUB 000003b3: SWAP1 000003b4: SWAP2 000003b5: AND 000003b6: SWAP1 000003b7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000003d8: SWAP1 000003d9: DUP4 000003da: SWAP1 000003db: LOG3 000003dc: PUSH1 0x00 000003de: DUP1 000003df: SLOAD 000003e0: PUSH1 0x01 000003e2: PUSH1 0x01 000003e4: PUSH1 0xa0 000003e6: SHL 000003e7: SUB 000003e8: NOT 000003e9: AND 000003ea: SWAP1 000003eb: SSTORE 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH2 0x03f5 000003f1: PUSH2 0x085c 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x00 000003f8: SLOAD 000003f9: PUSH1 0x01 000003fb: PUSH1 0x01 000003fd: PUSH1 0xa0 000003ff: SHL 00000400: SUB 00000401: SWAP1 00000402: DUP2 00000403: AND 00000404: SWAP2 00000405: AND 00000406: EQ 00000407: PUSH2 0x0422 0000040a: JUMPI 0000040b: PUSH1 0x40 0000040d: MLOAD 0000040e: PUSH3 0x461bcd 00000412: PUSH1 0xe5 00000414: SHL 00000415: DUP2 00000416: MSTORE 00000417: PUSH1 0x04 00000419: ADD 0000041a: PUSH2 0x01cb 0000041d: SWAP1 0000041e: PUSH2 0x0b3b 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH2 0x042a 00000426: PUSH2 0x0435 00000429: JUMP 0000042a: JUMPDEST 0000042b: PUSH1 0x01 0000042d: PUSH1 0x01 0000042f: PUSH1 0xa0 00000431: SHL 00000432: SUB 00000433: AND 00000434: SELFDESTRUCT 00000435: JUMPDEST 00000436: PUSH1 0x00 00000438: SLOAD 00000439: PUSH1 0x01 0000043b: PUSH1 0x01 0000043d: PUSH1 0xa0 0000043f: SHL 00000440: SUB 00000441: AND 00000442: SWAP1 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH14 0x21a420a62622a723a2afa0a22229 00000454: PUSH1 0x91 00000456: SHL 00000457: PUSH1 0x00 00000459: SWAP1 0000045a: DUP2 0000045b: MSTORE 0000045c: PUSH1 0x01 0000045e: PUSH1 0x20 00000460: MSTORE 00000461: PUSH32 0xf0563e29f8a00dd35cb779bc55b6f1a3c2c9314e00bc5cecfef9816a206dd216 00000482: SLOAD 00000483: PUSH1 0x40 00000485: MLOAD 00000486: PUSH4 0x3dde234f 0000048b: PUSH1 0xe1 0000048d: SHL 0000048e: DUP2 0000048f: MSTORE 00000490: DUP3 00000491: SWAP1 00000492: DUP2 00000493: SWAP1 00000494: PUSH1 0x01 00000496: PUSH1 0x01 00000498: PUSH1 0xa0 0000049a: SHL 0000049b: SUB 0000049c: DUP5 0000049d: AND 0000049e: SWAP1 0000049f: PUSH4 0x7bbc469e 000004a4: SWAP1 000004a5: PUSH2 0x04b2 000004a8: SWAP1 000004a9: DUP9 000004aa: SWAP1 000004ab: PUSH1 0x04 000004ad: ADD 000004ae: PUSH2 0x0b70 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH2 0x0160 000004b6: PUSH1 0x40 000004b8: MLOAD 000004b9: DUP1 000004ba: DUP4 000004bb: SUB 000004bc: DUP2 000004bd: DUP7 000004be: DUP1 000004bf: EXTCODESIZE 000004c0: ISZERO 000004c1: DUP1 000004c2: ISZERO 000004c3: PUSH2 0x04cb 000004c6: JUMPI 000004c7: PUSH1 0x00 000004c9: DUP1 000004ca: REVERT 000004cb: JUMPDEST 000004cc: POP 000004cd: GAS 000004ce: STATICCALL 000004cf: ISZERO 000004d0: DUP1 000004d1: ISZERO 000004d2: PUSH2 0x04df 000004d5: JUMPI 000004d6: RETURNDATASIZE 000004d7: PUSH1 0x00 000004d9: DUP1 000004da: RETURNDATACOPY 000004db: RETURNDATASIZE 000004dc: PUSH1 0x00 000004de: REVERT 000004df: JUMPDEST 000004e0: POP 000004e1: POP 000004e2: POP 000004e3: POP 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: RETURNDATASIZE 000004e8: PUSH1 0x1f 000004ea: NOT 000004eb: PUSH1 0x1f 000004ed: DUP3 000004ee: ADD 000004ef: AND 000004f0: DUP3 000004f1: ADD 000004f2: DUP1 000004f3: PUSH1 0x40 000004f5: MSTORE 000004f6: POP 000004f7: DUP2 000004f8: ADD 000004f9: SWAP1 000004fa: PUSH2 0x0503 000004fd: SWAP2 000004fe: SWAP1 000004ff: PUSH2 0x08ba 00000502: JUMP 00000503: JUMPDEST 00000504: SWAP11 00000505: POP 00000506: POP 00000507: POP 00000508: POP 00000509: POP 0000050a: POP 0000050b: POP 0000050c: POP 0000050d: SWAP4 0000050e: POP 0000050f: POP 00000510: POP 00000511: PUSH1 0x03 00000513: PUSH1 0x04 00000515: DUP2 00000516: GT 00000517: ISZERO 00000518: PUSH2 0x051d 0000051b: JUMPI 0000051c: INVALID 0000051d: JUMPDEST 0000051e: DUP2 0000051f: PUSH1 0x04 00000521: DUP2 00000522: GT 00000523: ISZERO 00000524: PUSH2 0x0529 00000527: JUMPI 00000528: INVALID 00000529: JUMPDEST 0000052a: EQ 0000052b: PUSH2 0x053a 0000052e: JUMPI 0000052f: PUSH1 0x00 00000531: SWAP4 00000532: POP 00000533: POP 00000534: POP 00000535: POP 00000536: PUSH2 0x070b 00000539: JUMP 0000053a: JUMPDEST 0000053b: PUSH8 0x13525397d413d3d3 00000544: PUSH1 0xc2 00000546: SHL 00000547: PUSH1 0x00 00000549: MSTORE 0000054a: PUSH1 0x01 0000054c: PUSH1 0x20 0000054e: MSTORE 0000054f: PUSH32 0xb6d05940e722bc4f5b1aa7a53930825d18ddff2008e08b66ea5061793b32b167 00000570: SLOAD 00000571: DUP3 00000572: LT 00000573: ISZERO 00000574: PUSH2 0x0583 00000577: JUMPI 00000578: PUSH1 0x00 0000057a: SWAP4 0000057b: POP 0000057c: POP 0000057d: POP 0000057e: POP 0000057f: PUSH2 0x070b 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH2 0x058b 00000587: PUSH2 0x0860 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH1 0x40 0000058e: MLOAD 0000058f: PUSH4 0x3b33317d 00000594: PUSH1 0xe2 00000596: SHL 00000597: DUP2 00000598: MSTORE 00000599: PUSH1 0x01 0000059b: PUSH1 0x01 0000059d: PUSH1 0xa0 0000059f: SHL 000005a0: SUB 000005a1: DUP6 000005a2: AND 000005a3: SWAP1 000005a4: PUSH4 0xecccc5f4 000005a9: SWAP1 000005aa: PUSH2 0x05b7 000005ad: SWAP1 000005ae: DUP10 000005af: SWAP1 000005b0: PUSH1 0x04 000005b2: ADD 000005b3: PUSH2 0x0b70 000005b6: JUMP 000005b7: JUMPDEST 000005b8: PUSH2 0x02a0 000005bb: PUSH1 0x40 000005bd: MLOAD 000005be: DUP1 000005bf: DUP4 000005c0: SUB 000005c1: DUP2 000005c2: DUP7 000005c3: DUP1 000005c4: EXTCODESIZE 000005c5: ISZERO 000005c6: DUP1 000005c7: ISZERO 000005c8: PUSH2 0x05d0 000005cb: JUMPI 000005cc: PUSH1 0x00 000005ce: DUP1 000005cf: REVERT 000005d0: JUMPDEST 000005d1: POP 000005d2: GAS 000005d3: STATICCALL 000005d4: ISZERO 000005d5: DUP1 000005d6: ISZERO 000005d7: PUSH2 0x05e4 000005da: JUMPI 000005db: RETURNDATASIZE 000005dc: PUSH1 0x00 000005de: DUP1 000005df: RETURNDATACOPY 000005e0: RETURNDATASIZE 000005e1: PUSH1 0x00 000005e3: REVERT 000005e4: JUMPDEST 000005e5: POP 000005e6: POP 000005e7: POP 000005e8: POP 000005e9: PUSH1 0x40 000005eb: MLOAD 000005ec: RETURNDATASIZE 000005ed: PUSH1 0x1f 000005ef: NOT 000005f0: PUSH1 0x1f 000005f2: DUP3 000005f3: ADD 000005f4: AND 000005f5: DUP3 000005f6: ADD 000005f7: DUP1 000005f8: PUSH1 0x40 000005fa: MSTORE 000005fb: POP 000005fc: DUP2 000005fd: ADD 000005fe: SWAP1 000005ff: PUSH2 0x0608 00000602: SWAP2 00000603: SWAP1 00000604: PUSH2 0x0971 00000607: JUMP 00000608: JUMPDEST 00000609: POP 0000060a: DUP1 0000060b: MLOAD 0000060c: PUSH1 0x40 0000060e: MLOAD 0000060f: PUSH4 0x0c574565 00000614: PUSH1 0xe4 00000616: SHL 00000617: DUP2 00000618: MSTORE 00000619: SWAP2 0000061a: SWAP4 0000061b: POP 0000061c: PUSH1 0x00 0000061e: SWAP3 0000061f: POP 00000620: DUP3 00000621: SWAP2 00000622: PUSH1 0x01 00000624: PUSH1 0x01 00000626: PUSH1 0xa0 00000628: SHL 00000629: SUB 0000062a: DUP9 0000062b: AND 0000062c: SWAP2 0000062d: PUSH4 0xc5745650 00000632: SWAP2 00000633: PUSH2 0x0640 00000636: SWAP2 00000637: DUP13 00000638: SWAP2 00000639: PUSH1 0x04 0000063b: ADD 0000063c: PUSH2 0x0a97 0000063f: JUMP 00000640: JUMPDEST 00000641: PUSH1 0x40 00000643: DUP1 00000644: MLOAD 00000645: DUP1 00000646: DUP4 00000647: SUB 00000648: DUP2 00000649: DUP7 0000064a: DUP1 0000064b: EXTCODESIZE 0000064c: ISZERO 0000064d: DUP1 0000064e: ISZERO 0000064f: PUSH2 0x0657 00000652: JUMPI 00000653: PUSH1 0x00 00000655: DUP1 00000656: REVERT 00000657: JUMPDEST 00000658: POP 00000659: GAS 0000065a: STATICCALL 0000065b: ISZERO 0000065c: DUP1 0000065d: ISZERO 0000065e: PUSH2 0x066b 00000661: JUMPI 00000662: RETURNDATASIZE 00000663: PUSH1 0x00 00000665: DUP1 00000666: RETURNDATACOPY 00000667: RETURNDATASIZE 00000668: PUSH1 0x00 0000066a: REVERT 0000066b: JUMPDEST 0000066c: POP 0000066d: POP 0000066e: POP 0000066f: POP 00000670: PUSH1 0x40 00000672: MLOAD 00000673: RETURNDATASIZE 00000674: PUSH1 0x1f 00000676: NOT 00000677: PUSH1 0x1f 00000679: DUP3 0000067a: ADD 0000067b: AND 0000067c: DUP3 0000067d: ADD 0000067e: DUP1 0000067f: PUSH1 0x40 00000681: MSTORE 00000682: POP 00000683: DUP2 00000684: ADD 00000685: SWAP1 00000686: PUSH2 0x068f 00000689: SWAP2 0000068a: SWAP1 0000068b: PUSH2 0x0a3f 0000068e: JUMP 0000068f: JUMPDEST 00000690: SWAP2 00000691: POP 00000692: SWAP2 00000693: POP 00000694: PUSH1 0x00 00000696: DUP3 00000697: DUP3 00000698: DUP11 00000699: PUSH1 0x40 0000069b: MLOAD 0000069c: PUSH1 0x20 0000069e: ADD 0000069f: PUSH2 0x06aa 000006a2: SWAP4 000006a3: SWAP3 000006a4: SWAP2 000006a5: SWAP1 000006a6: PUSH2 0x0a62 000006a9: JUMP 000006aa: JUMPDEST 000006ab: PUSH1 0x40 000006ad: DUP1 000006ae: MLOAD 000006af: PUSH1 0x1f 000006b1: NOT 000006b2: DUP2 000006b3: DUP5 000006b4: SUB 000006b5: ADD 000006b6: DUP2 000006b7: MSTORE 000006b8: SWAP2 000006b9: SWAP1 000006ba: MSTORE 000006bb: DUP1 000006bc: MLOAD 000006bd: PUSH1 0x20 000006bf: SWAP2 000006c0: DUP3 000006c1: ADD 000006c2: KECCAK256 000006c3: PUSH4 0x4f444453 000006c8: PUSH1 0xe0 000006ca: SHL 000006cb: PUSH1 0x00 000006cd: MSTORE 000006ce: PUSH1 0x01 000006d0: SWAP1 000006d1: SWAP2 000006d2: MSTORE 000006d3: PUSH32 0xb71227f6afdca91f11ab347be2e46814213f07d1104fec1e02719f02cb81e3ae 000006f4: SLOAD 000006f5: SWAP1 000006f6: SWAP2 000006f7: POP 000006f8: DUP2 000006f9: DUP2 000006fa: PUSH2 0x06ff 000006fd: JUMPI 000006fe: INVALID 000006ff: JUMPDEST 00000700: MOD 00000701: ISZERO 00000702: SWAP8 00000703: POP 00000704: POP 00000705: POP 00000706: POP 00000707: POP 00000708: POP 00000709: POP 0000070a: POP 0000070b: JUMPDEST 0000070c: SWAP2 0000070d: SWAP1 0000070e: POP 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH2 0x0718 00000714: PUSH2 0x085c 00000717: JUMP 00000718: JUMPDEST 00000719: PUSH1 0x00 0000071b: SLOAD 0000071c: PUSH1 0x01 0000071e: PUSH1 0x01 00000720: PUSH1 0xa0 00000722: SHL 00000723: SUB 00000724: SWAP1 00000725: DUP2 00000726: AND 00000727: SWAP2 00000728: AND 00000729: EQ 0000072a: PUSH2 0x0745 0000072d: JUMPI 0000072e: PUSH1 0x40 00000730: MLOAD 00000731: PUSH3 0x461bcd 00000735: PUSH1 0xe5 00000737: SHL 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x04 0000073c: ADD 0000073d: PUSH2 0x01cb 00000740: SWAP1 00000741: PUSH2 0x0b3b 00000744: JUMP 00000745: JUMPDEST 00000746: PUSH1 0x00 00000748: DUP3 00000749: DUP2 0000074a: MSTORE 0000074b: PUSH1 0x01 0000074d: PUSH1 0x20 0000074f: MSTORE 00000750: PUSH1 0x40 00000752: SWAP1 00000753: DUP2 00000754: SWAP1 00000755: KECCAK256 00000756: DUP3 00000757: SWAP1 00000758: SSTORE 00000759: MLOAD 0000075a: PUSH32 0x867716e28221fc5767f7ac9e2623573aa2b682e2b925334db66a0753751708d6 0000077b: SWAP1 0000077c: PUSH2 0x0788 0000077f: SWAP1 00000780: DUP5 00000781: SWAP1 00000782: DUP5 00000783: SWAP1 00000784: PUSH2 0x0a97 00000787: JUMP 00000788: JUMPDEST 00000789: PUSH1 0x40 0000078b: MLOAD 0000078c: DUP1 0000078d: SWAP2 0000078e: SUB 0000078f: SWAP1 00000790: LOG1 00000791: POP 00000792: POP 00000793: JUMP 00000794: JUMPDEST 00000795: PUSH1 0x01 00000797: PUSH1 0x20 00000799: MSTORE 0000079a: PUSH1 0x00 0000079c: SWAP1 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH1 0x40 000007a1: SWAP1 000007a2: KECCAK256 000007a3: SLOAD 000007a4: DUP2 000007a5: JUMP 000007a6: JUMPDEST 000007a7: PUSH2 0x07ae 000007aa: PUSH2 0x085c 000007ad: JUMP 000007ae: JUMPDEST 000007af: PUSH1 0x00 000007b1: SLOAD 000007b2: PUSH1 0x01 000007b4: PUSH1 0x01 000007b6: PUSH1 0xa0 000007b8: SHL 000007b9: SUB 000007ba: SWAP1 000007bb: DUP2 000007bc: AND 000007bd: SWAP2 000007be: AND 000007bf: EQ 000007c0: PUSH2 0x07db 000007c3: JUMPI 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: PUSH3 0x461bcd 000007cb: PUSH1 0xe5 000007cd: SHL 000007ce: DUP2 000007cf: MSTORE 000007d0: PUSH1 0x04 000007d2: ADD 000007d3: PUSH2 0x01cb 000007d6: SWAP1 000007d7: PUSH2 0x0b3b 000007da: JUMP 000007db: JUMPDEST 000007dc: PUSH1 0x01 000007de: PUSH1 0x01 000007e0: PUSH1 0xa0 000007e2: SHL 000007e3: SUB 000007e4: DUP2 000007e5: AND 000007e6: PUSH2 0x0801 000007e9: JUMPI 000007ea: PUSH1 0x40 000007ec: MLOAD 000007ed: PUSH3 0x461bcd 000007f1: PUSH1 0xe5 000007f3: SHL 000007f4: DUP2 000007f5: MSTORE 000007f6: PUSH1 0x04 000007f8: ADD 000007f9: PUSH2 0x01cb 000007fc: SWAP1 000007fd: PUSH2 0x0aa5 00000800: JUMP 00000801: JUMPDEST 00000802: PUSH1 0x00 00000804: DUP1 00000805: SLOAD 00000806: PUSH1 0x40 00000808: MLOAD 00000809: PUSH1 0x01 0000080b: PUSH1 0x01 0000080d: PUSH1 0xa0 0000080f: SHL 00000810: SUB 00000811: DUP1 00000812: DUP6 00000813: AND 00000814: SWAP4 00000815: SWAP3 00000816: AND 00000817: SWAP2 00000818: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000839: SWAP2 0000083a: LOG3 0000083b: PUSH1 0x00 0000083d: DUP1 0000083e: SLOAD 0000083f: PUSH1 0x01 00000841: PUSH1 0x01 00000843: PUSH1 0xa0 00000845: SHL 00000846: SUB 00000847: NOT 00000848: AND 00000849: PUSH1 0x01 0000084b: PUSH1 0x01 0000084d: PUSH1 0xa0 0000084f: SHL 00000850: SUB 00000851: SWAP3 00000852: SWAP1 00000853: SWAP3 00000854: AND 00000855: SWAP2 00000856: SWAP1 00000857: SWAP2 00000858: OR 00000859: SWAP1 0000085a: SSTORE 0000085b: JUMP 0000085c: JUMPDEST 0000085d: CALLER 0000085e: SWAP1 0000085f: JUMP 00000860: JUMPDEST 00000861: PUSH1 0x40 00000863: MLOAD 00000864: DUP1 00000865: PUSH2 0x0140 00000868: ADD 00000869: PUSH1 0x40 0000086b: MSTORE 0000086c: DUP1 0000086d: PUSH1 0x0a 0000086f: SWAP1 00000870: PUSH1 0x20 00000872: DUP3 00000873: MUL 00000874: DUP1 00000875: CALLDATASIZE 00000876: DUP4 00000877: CALLDATACOPY 00000878: POP 00000879: SWAP2 0000087a: SWAP3 0000087b: SWAP2 0000087c: POP 0000087d: POP 0000087e: JUMP 0000087f: JUMPDEST 00000880: PUSH1 0x00 00000882: PUSH1 0x20 00000884: DUP3 00000885: DUP5 00000886: SUB 00000887: SLT 00000888: ISZERO 00000889: PUSH2 0x0890 0000088c: JUMPI 0000088d: DUP1 0000088e: DUP2 0000088f: REVERT 00000890: JUMPDEST 00000891: DUP2 00000892: CALLDATALOAD 00000893: PUSH2 0x089b 00000896: DUP2 00000897: PUSH2 0x0ba0 0000089a: JUMP 0000089b: JUMPDEST 0000089c: SWAP4 0000089d: SWAP3 0000089e: POP 0000089f: POP 000008a0: POP 000008a1: JUMP 000008a2: JUMPDEST 000008a3: PUSH1 0x00 000008a5: PUSH1 0x20 000008a7: DUP3 000008a8: DUP5 000008a9: SUB 000008aa: SLT 000008ab: ISZERO 000008ac: PUSH2 0x08b3 000008af: JUMPI 000008b0: DUP1 000008b1: DUP2 000008b2: REVERT 000008b3: JUMPDEST 000008b4: POP 000008b5: CALLDATALOAD 000008b6: SWAP2 000008b7: SWAP1 000008b8: POP 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH1 0x00 000008bd: DUP1 000008be: PUSH1 0x00 000008c0: DUP1 000008c1: PUSH1 0x00 000008c3: DUP1 000008c4: PUSH1 0x00 000008c6: DUP1 000008c7: PUSH1 0x00 000008c9: DUP1 000008ca: PUSH1 0x00 000008cc: PUSH2 0x0160 000008cf: DUP13 000008d0: DUP15 000008d1: SUB 000008d2: SLT 000008d3: ISZERO 000008d4: PUSH2 0x08db 000008d7: JUMPI 000008d8: DUP7 000008d9: DUP8 000008da: REVERT 000008db: JUMPDEST 000008dc: DUP12 000008dd: MLOAD 000008de: SWAP11 000008df: POP 000008e0: PUSH1 0x20 000008e2: DUP13 000008e3: ADD 000008e4: MLOAD 000008e5: SWAP10 000008e6: POP 000008e7: PUSH1 0x40 000008e9: DUP13 000008ea: ADD 000008eb: MLOAD 000008ec: SWAP9 000008ed: POP 000008ee: PUSH1 0x60 000008f0: DUP13 000008f1: ADD 000008f2: MLOAD 000008f3: SWAP8 000008f4: POP 000008f5: PUSH1 0x80 000008f7: DUP13 000008f8: ADD 000008f9: MLOAD 000008fa: SWAP7 000008fb: POP 000008fc: PUSH1 0xa0 000008fe: DUP13 000008ff: ADD 00000900: MLOAD 00000901: SWAP6 00000902: POP 00000903: PUSH1 0xc0 00000905: DUP13 00000906: ADD 00000907: MLOAD 00000908: SWAP5 00000909: POP 0000090a: PUSH1 0xe0 0000090c: DUP13 0000090d: ADD 0000090e: MLOAD 0000090f: SWAP4 00000910: POP 00000911: PUSH2 0x0100 00000914: DUP13 00000915: ADD 00000916: MLOAD 00000917: SWAP3 00000918: POP 00000919: PUSH2 0x0120 0000091c: DUP13 0000091d: ADD 0000091e: MLOAD 0000091f: PUSH2 0x0927 00000922: DUP2 00000923: PUSH2 0x0ba0 00000926: JUMP 00000927: JUMPDEST 00000928: PUSH2 0x0140 0000092b: DUP14 0000092c: ADD 0000092d: MLOAD 0000092e: SWAP1 0000092f: SWAP3 00000930: POP 00000931: PUSH1 0x05 00000933: DUP2 00000934: LT 00000935: PUSH2 0x093c 00000938: JUMPI 00000939: DUP2 0000093a: DUP3 0000093b: REVERT 0000093c: JUMPDEST 0000093d: DUP1 0000093e: SWAP2 0000093f: POP 00000940: POP 00000941: SWAP3 00000942: SWAP6 00000943: SWAP9 00000944: SWAP12 00000945: POP 00000946: SWAP3 00000947: SWAP6 00000948: SWAP9 00000949: SWAP12 0000094a: SWAP1 0000094b: SWAP4 0000094c: SWAP7 0000094d: SWAP10 0000094e: POP 0000094f: JUMP 00000950: JUMPDEST 00000951: PUSH1 0x00 00000953: DUP1 00000954: PUSH1 0x40 00000956: DUP4 00000957: DUP6 00000958: SUB 00000959: SLT 0000095a: ISZERO 0000095b: PUSH2 0x0962 0000095e: JUMPI 0000095f: DUP2 00000960: DUP3 00000961: REVERT 00000962: JUMPDEST 00000963: POP 00000964: POP 00000965: DUP1 00000966: CALLDATALOAD 00000967: SWAP3 00000968: PUSH1 0x20 0000096a: SWAP1 0000096b: SWAP2 0000096c: ADD 0000096d: CALLDATALOAD 0000096e: SWAP2 0000096f: POP 00000970: JUMP 00000971: JUMPDEST 00000972: PUSH1 0x00 00000974: DUP1 00000975: PUSH1 0x00 00000977: PUSH2 0x02a0 0000097a: DUP1 0000097b: DUP6 0000097c: DUP8 0000097d: SUB 0000097e: SLT 0000097f: ISZERO 00000980: PUSH2 0x0987 00000983: JUMPI 00000984: DUP4 00000985: DUP5 00000986: REVERT 00000987: JUMPDEST 00000988: DUP5 00000989: MLOAD 0000098a: SWAP4 0000098b: POP 0000098c: PUSH1 0x20 0000098e: DUP7 0000098f: PUSH1 0x3f 00000991: DUP8 00000992: ADD 00000993: SLT 00000994: PUSH2 0x099b 00000997: JUMPI 00000998: DUP4 00000999: DUP5 0000099a: REVERT 0000099b: JUMPDEST 0000099c: PUSH2 0x0140 0000099f: PUSH2 0x09a7 000009a2: DUP2 000009a3: PUSH2 0x0b79 000009a6: JUMP 000009a7: JUMPDEST 000009a8: DUP1 000009a9: DUP4 000009aa: DUP10 000009ab: ADD 000009ac: PUSH2 0x0160 000009af: DUP11 000009b0: ADD 000009b1: DUP12 000009b2: DUP2 000009b3: GT 000009b4: ISZERO 000009b5: PUSH2 0x09bc 000009b8: JUMPI 000009b9: DUP9 000009ba: DUP10 000009bb: REVERT 000009bc: JUMPDEST 000009bd: DUP9 000009be: JUMPDEST 000009bf: PUSH1 0x0a 000009c1: DUP2 000009c2: LT 000009c3: ISZERO 000009c4: PUSH2 0x09db 000009c7: JUMPI 000009c8: DUP3 000009c9: MLOAD 000009ca: DUP6 000009cb: MSTORE 000009cc: SWAP4 000009cd: DUP7 000009ce: ADD 000009cf: SWAP4 000009d0: SWAP2 000009d1: DUP7 000009d2: ADD 000009d3: SWAP2 000009d4: PUSH1 0x01 000009d6: ADD 000009d7: PUSH2 0x09be 000009da: JUMP 000009db: JUMPDEST 000009dc: POP 000009dd: DUP3 000009de: SWAP9 000009df: POP 000009e0: DUP12 000009e1: PUSH2 0x017f 000009e4: DUP13 000009e5: ADD 000009e6: SLT 000009e7: PUSH2 0x09ee 000009ea: JUMPI 000009eb: DUP8 000009ec: DUP9 000009ed: REVERT 000009ee: JUMPDEST 000009ef: PUSH2 0x09f7 000009f2: DUP6 000009f3: PUSH2 0x0b79 000009f6: JUMP 000009f7: JUMPDEST 000009f8: SWAP5 000009f9: POP 000009fa: DUP5 000009fb: SWAP4 000009fc: POP 000009fd: SWAP2 000009fe: POP 000009ff: POP 00000a00: DUP9 00000a01: DUP6 00000a02: ADD 00000a03: DUP11 00000a04: LT 00000a05: ISZERO 00000a06: PUSH2 0x0a0d 00000a09: JUMPI 00000a0a: DUP6 00000a0b: DUP7 00000a0c: REVERT 00000a0d: JUMPDEST 00000a0e: DUP6 00000a0f: SWAP5 00000a10: POP 00000a11: JUMPDEST 00000a12: PUSH1 0x0a 00000a14: DUP6 00000a15: LT 00000a16: ISZERO 00000a17: PUSH2 0x0a30 00000a1a: JUMPI 00000a1b: DUP1 00000a1c: MLOAD 00000a1d: DUP3 00000a1e: MSTORE 00000a1f: PUSH1 0x01 00000a21: SWAP5 00000a22: SWAP1 00000a23: SWAP5 00000a24: ADD 00000a25: SWAP4 00000a26: SWAP1 00000a27: DUP4 00000a28: ADD 00000a29: SWAP1 00000a2a: DUP4 00000a2b: ADD 00000a2c: PUSH2 0x0a11 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: POP 00000a32: POP 00000a33: DUP1 00000a34: SWAP4 00000a35: POP 00000a36: POP 00000a37: POP 00000a38: POP 00000a39: SWAP3 00000a3a: POP 00000a3b: SWAP3 00000a3c: POP 00000a3d: SWAP3 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x00 00000a42: DUP1 00000a43: PUSH1 0x40 00000a45: DUP4 00000a46: DUP6 00000a47: SUB 00000a48: SLT 00000a49: ISZERO 00000a4a: PUSH2 0x0a51 00000a4d: JUMPI 00000a4e: DUP2 00000a4f: DUP3 00000a50: REVERT 00000a51: JUMPDEST 00000a52: POP 00000a53: POP 00000a54: DUP1 00000a55: MLOAD 00000a56: PUSH1 0x20 00000a58: SWAP1 00000a59: SWAP2 00000a5a: ADD 00000a5b: MLOAD 00000a5c: SWAP1 00000a5d: SWAP3 00000a5e: SWAP1 00000a5f: SWAP2 00000a60: POP 00000a61: JUMP 00000a62: JUMPDEST 00000a63: SWAP3 00000a64: DUP4 00000a65: MSTORE 00000a66: PUSH1 0x20 00000a68: DUP4 00000a69: ADD 00000a6a: SWAP2 00000a6b: SWAP1 00000a6c: SWAP2 00000a6d: MSTORE 00000a6e: PUSH1 0x40 00000a70: DUP3 00000a71: ADD 00000a72: MSTORE 00000a73: PUSH1 0x60 00000a75: ADD 00000a76: SWAP1 00000a77: JUMP 00000a78: JUMPDEST 00000a79: PUSH1 0x01 00000a7b: PUSH1 0x01 00000a7d: PUSH1 0xa0 00000a7f: SHL 00000a80: SUB 00000a81: SWAP2 00000a82: SWAP1 00000a83: SWAP2 00000a84: AND 00000a85: DUP2 00000a86: MSTORE 00000a87: PUSH1 0x20 00000a89: ADD 00000a8a: SWAP1 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: SWAP1 00000a8e: ISZERO 00000a8f: ISZERO 00000a90: DUP2 00000a91: MSTORE 00000a92: PUSH1 0x20 00000a94: ADD 00000a95: SWAP1 00000a96: JUMP 00000a97: JUMPDEST 00000a98: SWAP2 00000a99: DUP3 00000a9a: MSTORE 00000a9b: PUSH1 0x20 00000a9d: DUP3 00000a9e: ADD 00000a9f: MSTORE 00000aa0: PUSH1 0x40 00000aa2: ADD 00000aa3: SWAP1 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: PUSH1 0x20 00000aa8: DUP1 00000aa9: DUP3 00000aaa: MSTORE 00000aab: PUSH1 0x26 00000aad: SWAP1 00000aae: DUP3 00000aaf: ADD 00000ab0: MSTORE 00000ab1: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000ad2: PUSH1 0x40 00000ad4: DUP3 00000ad5: ADD 00000ad6: MSTORE 00000ad7: PUSH6 0x646472657373 00000ade: PUSH1 0xd0 00000ae0: SHL 00000ae1: PUSH1 0x60 00000ae3: DUP3 00000ae4: ADD 00000ae5: MSTORE 00000ae6: PUSH1 0x80 00000ae8: ADD 00000ae9: SWAP1 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH1 0x20 00000aee: DUP1 00000aef: DUP3 00000af0: MSTORE 00000af1: PUSH1 0x10 00000af3: SWAP1 00000af4: DUP3 00000af5: ADD 00000af6: MSTORE 00000af7: PUSH16 0x185b1c9958591e481c995dd85c991959 00000b08: PUSH1 0x82 00000b0a: SHL 00000b0b: PUSH1 0x40 00000b0d: DUP3 00000b0e: ADD 00000b0f: MSTORE 00000b10: PUSH1 0x60 00000b12: ADD 00000b13: SWAP1 00000b14: JUMP 00000b15: JUMPDEST 00000b16: PUSH1 0x20 00000b18: DUP1 00000b19: DUP3 00000b1a: MSTORE 00000b1b: PUSH1 0x0c 00000b1d: SWAP1 00000b1e: DUP3 00000b1f: ADD 00000b20: MSTORE 00000b21: PUSH12 0x3737ba1030903bb4b73732b9 00000b2e: PUSH1 0xa1 00000b30: SHL 00000b31: PUSH1 0x40 00000b33: DUP3 00000b34: ADD 00000b35: MSTORE 00000b36: PUSH1 0x60 00000b38: ADD 00000b39: SWAP1 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: PUSH1 0x20 00000b3e: DUP1 00000b3f: DUP3 00000b40: MSTORE 00000b41: DUP2 00000b42: DUP2 00000b43: ADD 00000b44: MSTORE 00000b45: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b66: PUSH1 0x40 00000b68: DUP3 00000b69: ADD 00000b6a: MSTORE 00000b6b: PUSH1 0x60 00000b6d: ADD 00000b6e: SWAP1 00000b6f: JUMP 00000b70: JUMPDEST 00000b71: SWAP1 00000b72: DUP2 00000b73: MSTORE 00000b74: PUSH1 0x20 00000b76: ADD 00000b77: SWAP1 00000b78: JUMP 00000b79: JUMPDEST 00000b7a: PUSH1 0x40 00000b7c: MLOAD 00000b7d: DUP2 00000b7e: DUP2 00000b7f: ADD 00000b80: PUSH8 0xffffffffffffffff 00000b89: DUP2 00000b8a: GT 00000b8b: DUP3 00000b8c: DUP3 00000b8d: LT 00000b8e: OR 00000b8f: ISZERO 00000b90: PUSH2 0x0b98 00000b93: JUMPI 00000b94: PUSH1 0x00 00000b96: DUP1 00000b97: REVERT 00000b98: JUMPDEST 00000b99: PUSH1 0x40 00000b9b: MSTORE 00000b9c: SWAP2 00000b9d: SWAP1 00000b9e: POP 00000b9f: JUMP 00000ba0: JUMPDEST 00000ba1: PUSH1 0x01 00000ba3: PUSH1 0x01 00000ba5: PUSH1 0xa0 00000ba7: SHL 00000ba8: SUB 00000ba9: DUP2 00000baa: AND 00000bab: DUP2 00000bac: EQ 00000bad: PUSH2 0x0bb5 00000bb0: JUMPI 00000bb1: PUSH1 0x00 00000bb3: DUP1 00000bb4: REVERT 00000bb5: JUMPDEST 00000bb6: POP 00000bb7: JUMP 00000bb8: INVALID 00000bb9: LOG2 00000bba: PUSH5 0x6970667358 00000bc0: UNKNOWN(0x22) 00000bc1: SLT 00000bc2: KECCAK256 00000bc3: UNKNOWN(0xE5) 00000bc4: PUSH8 0x8cf06a36690384be 00000bcd: ORIGIN 00000bce: PUSH29 0x95b412744b32f221980eae80fd91335eccb8f97d64736f6c6343000606 00000bec: STOP 00000bed: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa4db6252",
"selector": "0xa4db6252",
"calldata_variants": [
"0xa4db6252",
"0xa4db62520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7671acd",
"selector": "0xb7671acd",
"calldata_variants": [
"0xb7671acd",
"0xb7671acd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc718f76",
"selector": "0xcc718f76",
"calldata_variants": [
"0xcc718f76",
"0xcc718f760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x379607f5",
"selector": "0x379607f5",
"calldata_variants": [
"0x379607f5",
"0x379607f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d702122",
"selector": "0x8d702122",
"calldata_variants": [
"0x8d702122",
"0x8d7021220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3021,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa2352247a042afbbc7189b75221ec3bf1895babf612f57bbe4e05ba7b2274bb9
call_targets:
0x6d073dd2f4413d99d4e7baa23ef2e844c16545e0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa2352247a042afbbc7189b75221ec3bf1895babf612f57bbe4e05ba7b2274bb9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6d073dd2f4413d99d4e7baa23ef2e844c16545e0"
],
"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": "0xa4db6252",
"selector": "0xa4db6252",
"calldata_variants": [
"0xa4db6252",
"0xa4db62520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7671acd",
"selector": "0xb7671acd",
"calldata_variants": [
"0xb7671acd",
"0xb7671acd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc718f76",
"selector": "0xcc718f76",
"calldata_variants": [
"0xcc718f76",
"0xcc718f760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x379607f5",
"selector": "0x379607f5",
"calldata_variants": [
"0x379607f5",
"0x379607f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d702122",
"selector": "0x8d702122",
"calldata_variants": [
"0x8d702122",
"0x8d7021220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 795,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 3021,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa2352247a042afbbc7189b75221ec3bf1895babf612f57bbe4e05ba7b2274bb9
call_targets:
0x6d073dd2f4413d99d4e7baa23ef2e844c16545e0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa2352247a042afbbc7189b75221ec3bf1895babf612f57bbe4e05ba7b2274bb9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6d073dd2f4413d99d4e7baa23ef2e844c16545e0"
],
"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": "0xa4db6252",
"selector": "0xa4db6252",
"calldata_variants": [
"0xa4db6252",
"0xa4db62520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7671acd",
"selector": "0xb7671acd",
"calldata_variants": [
"0xb7671acd",
"0xb7671acd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc718f76",
"selector": "0xcc718f76",
"calldata_variants": [
"0xcc718f76",
"0xcc718f760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x379607f5",
"selector": "0x379607f5",
"calldata_variants": [
"0x379607f5",
"0x379607f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d702122",
"selector": "0x8d702122",
"calldata_variants": [
"0x8d702122",
"0x8d7021220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 795,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 3021,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x90e50329a44e931c2b832eec1bacaa51001f9bf2779b350f137b9791ea041d2f
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 16,
"trace_id": "0x90e50329a44e931c2b832eec1bacaa51001f9bf2779b350f137b9791ea041d2f",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xa4db6252",
"selector": "0xa4db6252",
"calldata_variants": [
"0xa4db6252",
"0xa4db62520000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb7671acd",
"selector": "0xb7671acd",
"calldata_variants": [
"0xb7671acd",
"0xb7671acd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcc718f76",
"selector": "0xcc718f76",
"calldata_variants": [
"0xcc718f76",
"0xcc718f760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x379607f5",
"selector": "0x379607f5",
"calldata_variants": [
"0x379607f5",
"0x379607f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8d702122",
"selector": "0x8d702122",
"calldata_variants": [
"0x8d702122",
"0x8d7021220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3021,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|