自制反汇编逆向分析工具 迭代第七版本 （一）
继上一版已经时隔差不多一年没有维护，现在继续开发。
当前迭代添加如下功能：
1. 反汇编代码在开展函数逻辑前进行的堆栈保存和扩展，划分出来。
2. 注释输出堆栈扩展区域，用于局部变量使用的空间范围，以rbp为坐标。
3. 注释输出函数中跳转会合点（junction，有相同跳转目标的点）的统计概貌。
4. 注释输出函数返回发生处。
5. 注释输出孤岛（island，只有经由跳转才可以进入的反汇编代码行文）的统计概貌。
6. 划分出反汇编代码中所有孤岛代码片段，在逆向译文时用"if(0) {}"的方式顺序嵌入在逆向C++译文当中。
这些孤岛片段可以直接内联到跳转处。
以函数QuartzCore`+[CALayer defaultValueForKey:]为例。
QuartzCore`+[CALayer defaultValueForKey:]: <+0>: pushq %rbp <+1>: movq %rsp, %rbp <+4>: pushq %r15 <+6>: pushq %r14 <+8>: pushq %r13 <+10>: pushq %r12 <+12>: pushq %rbx <+13>: subq $0x78, %rsp <+17>: xorl %ebx, %ebx <+19>: xorl %esi, %esi <+21>: movq %rdx, %rdi <+24>: callq 0x1041e107c ; CAInternAtom <+29>: movl %eax, %r14d <+32>: leaq 0x804a5(%rip), %r15 ; bool_bits + 16 <+39>: cmpl $0x2d, %r14d <+43>: jg 0x1041a699f ; <+91> <+45>: cmpl $0x14, %r14d <+49>: jg 0x1041a6a24 ; <+224> <+55>: cmpl $0xb, %r14d <+59>: jne 0x1041a6b01 ; <+445> <+65>: leaq 0x6120b(%rip), %rdi ; "CALAYER_ALLOWS_EDGE_ANTIALIASING" <+72>: leaq 0x8571d(%rip), %r13 ; @"CALayerAllowsEdgeAntialiasing" <+79>: leaq 0x85736(%rip), %rbx ; @"UIViewEdgeAntialiasing" <+86>: jmp 0x1041a6b20 ; <+476> <+91>: cmpl $0x187, %r14d <+98>: jg 0x1041a6a86 ; <+322> <+104>: cmpl $0x126, %r14d <+111>: jg 0x1041a6b4f ; <+523> <+117>: cmpl $0x87, %r14d <+124>: jg 0x1041a6c95 ; <+849> <+130>: cmpl $0x63, %r14d <+134>: jg 0x1041a6ce0 ; <+924> <+140>: cmpl $0x2e, %r14d <+144>: jne 0x1041a6e32 ; <+1262> <+150>: movq 0x78d0f(%rip), %r13 ; +[CALayer defaultValueForKey:]::defPhase <+157>: testq %r13, %r13 <+160>: jne 0x1041a700f ; <+1739> <+166>: movq 0x74ec7(%rip), %rdi ; (void *)0x000000010337f2f0: NSValue <+173>: movq 0x73e50(%rip), %rsi ; "valueWithSize:" <+180>: movq 0x79839(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+187>: xorpd %xmm0, %xmm0 <+191>: xorpd %xmm1, %xmm1 <+195>: callq *%rbx <+197>: movq 0x73818(%rip), %rsi ; "retain" <+204>: movq %rax, %rdi <+207>: callq *%rbx <+209>: movq %rax, %r13 <+212>: movq %r13, 0x78cd1(%rip) ; +[CALayer defaultValueForKey:]::defPhase <+219>: jmp 0x1041a700f ; <+1739> <+224>: cmpl $0x15, %r14d <+228>: je 0x1041a6e81 ; <+1341> <+234>: cmpl $0x16, %r14d <+238>: jne 0x1041a6fdd ; <+1689> <+244>: movq 0x78ca1(%rip), %r13 ; +[CALayer defaultValueForKey:]::defAnchor <+251>: testq %r13, %r13 <+254>: jne 0x1041a700f ; <+1739> <+260>: movq 0x74e69(%rip), %rdi ; (void *)0x000000010337f2f0: NSValue <+267>: movq 0x73bfa(%rip), %rsi ; "valueWithPoint:" <+274>: movq 0x797db(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+281>: movsd 0x47e23(%rip), %xmm0 <+289>: movapd %xmm0, %xmm1 <+293>: callq *%rbx <+295>: movq 0x737b6(%rip), %rsi ; "retain" <+302>: movq %rax, %rdi <+305>: callq *%rbx <+307>: movq %rax, %r13 <+310>: movq %r13, 0x78c5f(%rip) ; +[CALayer defaultValueForKey:]::defAnchor <+317>: jmp 0x1041a700f ; <+1739> <+322>: cmpl $0x19e, %r14d <+329>: jg 0x1041a6bd7 ; <+659> <+335>: leal -0x188(%r14), %eax <+342>: cmpl $0x8, %eax <+345>: ja 0x1041a6fdd ; <+1689> <+351>: leaq 0x582(%rip), %rcx ; <+1768> <+358>: movslq (%rcx,%rax,4), %rax <+362>: addq %rcx, %rax <+365>: jmpq *%rax <+367>: movq 0x78c1e(%rip), %r13 ; +[CALayer defaultValueForKey:]::defOffset <+374>: testq %r13, %r13 <+377>: jne 0x1041a700f ; <+1739> <+383>: movq 0x74dee(%rip), %rdi ; (void *)0x000000010337f2f0: NSValue <+390>: movq 0x73d77(%rip), %rsi ; "valueWithSize:" <+397>: movq 0x79760(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+404>: movsd 0x48558(%rip), %xmm1 ; CAPoint3DZero + 184 <+412>: xorpd %xmm0, %xmm0 <+416>: callq *%rbx <+418>: movq 0x7373b(%rip), %rsi ; "retain" <+425>: movq %rax, %rdi <+428>: callq *%rbx <+430>: movq %rax, %r13 <+433>: movq %r13, 0x78bdc(%rip) ; +[CALayer defaultValueForKey:]::defOffset <+440>: jmp 0x1041a700f ; <+1739> <+445>: cmpl $0xf, %r14d <+449>: jne 0x1041a6fdd ; <+1689> <+455>: leaq 0x610db(%rip), %rdi ; "CALAYER_ALLOWS_GROUP_OPACITY" <+462>: leaq 0x855d7(%rip), %r13 ; @"CALayerAllowsGroupOpacity" <+469>: leaq 0x855f0(%rip), %rbx ; @"UIViewGroupOpacity" <+476>: callq 0x1041ecd2e ; symbol stub for: getenv <+481>: testq %rax, %rax <+484>: je 0x1041a6bec ; <+680> <+490>: movq %rax, %rdi <+493>: callq 0x1041ecbfc ; symbol stub for: atoi <+498>: testl %eax, %eax <+500>: movq 0x795e1(%rip), %rax ; (void *)0x0000000103d29ca8: kCFBooleanFalse <+507>: cmovneq 0x795e1(%rip), %rax ; (void *)0x0000000103d29ca0: kCFBooleanTrue <+515>: movq (%rax), %r13 <+518>: jmp 0x1041a700f ; <+1739> <+523>: cmpl $0x14a, %r14d <+530>: jg 0x1041a6cc1 ; <+893> <+536>: cmpl $0x138, %r14d <+543>: jg 0x1041a6d87 ; <+1091> <+549>: cmpl $0x12c, %r14d <+556>: jg 0x1041a6e74 ; <+1328> <+562>: cmpl $0x127, %r14d <+569>: je 0x1041a6fd4 ; <+1680> <+575>: cmpl $0x12b, %r14d <+582>: jne 0x1041a6fdd ; <+1689> <+588>: movq 0x78b71(%rip), %r13 ; +[CALayer defaultValueForKey:]::corners <+595>: testq %r13, %r13 <+598>: jne 0x1041a700f ; <+1739> <+604>: movq 0x74ce9(%rip), %rdi ; (void *)0x000000010337f278: NSNumber <+611>: movq 0x73502(%rip), %rsi ; "alloc" <+618>: movq 0x79683(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+625>: callq *%rbx <+627>: movq 0x7404a(%rip), %rsi ; "initWithUnsignedInt:" <+634>: movl $0xf, %edx <+639>: movq %rax, %rdi <+642>: callq *%rbx <+644>: movq %rax, %r13 <+647>: movq %r13, 0x78b36(%rip) ; +[CALayer defaultValueForKey:]::corners <+654>: jmp 0x1041a700f ; <+1739> <+659>: leal -0x19f(%r14), %eax <+666>: cmpl $0x1, %eax <+669>: jbe 0x1041a6e81 ; <+1341> <+675>: jmp 0x1041a6fdd ; <+1689> <+680>: movq %rbx, -0x78(%rbp) <+684>: movq 0x74d51(%rip), %rdi ; (void *)0x000000010337b380: NSBundle <+691>: movq 0x74012(%rip), %rsi ; "mainBundle" <+698>: movq 0x79633(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+705>: callq *%rbx <+707>: movq 0x7400a(%rip), %rsi ; "infoDictionary" <+714>: movq %rax, %rdi <+717>: callq *%rbx <+719>: movq %rax, %r12 <+722>: movq 0x735e3(%rip), %rsi ; "objectForKey:" <+729>: movq %r12, %rdi <+732>: movq %r13, %rdx <+735>: callq *%rbx <+737>: movq %rax, %r13 <+740>: testq %r13, %r13 <+743>: jne 0x1041a6c49 ; <+773> <+745>: movq 0x735cc(%rip), %rsi ; "objectForKey:" <+752>: movq %r12, %rdi <+755>: movq -0x78(%rbp), %rdx <+759>: callq *0x795f7(%rip) ; (void *)0x000000010357d800: objc_msgSend <+765>: movq %rax, %r13 <+768>: testq %r13, %r13 <+771>: je 0x1041a6c7a ; <+822> <+773>: movq 0x74c40(%rip), %rdi ; (void *)0x000000010337f278: NSNumber <+780>: movq 0x73529(%rip), %rsi ; "class" <+787>: movq 0x795da(%rip), %rax ; (void *)0x000000010357d800: objc_msgSend <+794>: movq %rax, %rbx <+797>: callq *%rbx <+799>: movq 0x735ee(%rip), %rsi ; "isKindOfClass:" <+806>: movq %r13, %rdi <+809>: movq %rax, %rdx <+812>: callq *%rbx <+814>: testb %al, %al <+816>: jne 0x1041a700f ; <+1739> <+822>: xorl %ebx, %ebx <+824>: cmpl $0xf, %r14d <+828>: jne 0x1041a6fdd ; <+1689> <+834>: movq 0x7949b(%rip), %rax ; (void *)0x0000000103d29ca0: kCFBooleanTrue <+841>: movq (%rax), %r13 <+844>: jmp 0x1041a700f ; <+1739> <+849>: cmpl $0x98, %r14d <+856>: jg 0x1041a6dde ; <+1178> <+862>: cmpl $0x88, %r14d <+869>: je 0x1041a6e81 ; <+1341> <+875>: cmpl $0x98, %r14d <+882>: jne 0x1041a6fdd ; <+1689> <+888>: jmp 0x1041a6d94 ; <+1104> <+893>: cmpl $0x14b, %r14d <+900>: je 0x1041a6e81 ; <+1341> <+906>: cmpl $0x16c, %r14d <+913>: je 0x1041a6e81 ; <+1341> <+919>: jmp 0x1041a6fdd ; <+1689> <+924>: cmpl $0x72, %r14d <+928>: jg 0x1041a6ec8 ; <+1412> <+934>: leal -0x64(%r14), %eax <+938>: cmpl $0x9, %eax <+941>: ja 0x1041a6fdd ; <+1689> <+947>: leaq 0x85272(%rip), %r13 ; @"resize" <+954>: leaq 0x34b(%rip), %rcx ; <+1804> <+961>: movslq (%rcx,%rax,4), %rax <+965>: addq %rcx, %rax <+968>: jmpq *%rax <+970>: movq 0x789e3(%rip), %r13 ; +[CALayer defaultValueForKey:]::unitRect <+977>: testq %r13, %r13 <+980>: jne 0x1041a700f ; <+1739> <+986>: movq 0x74b93(%rip), %rdi ; (void *)0x000000010337f2f0: NSValue <+993>: xorps %xmm0, %xmm0 <+996>: movaps %xmm0, -0x50(%rbp) <+1000>: movapd 0x47cec(%rip), %xmm0 ; CA::RectTraits<double>::infinity + 94 <+1008>: movapd %xmm0, -0x40(%rbp) <+1013>: movq 0x73b10(%rip), %rsi ; "valueWithRect:" <+1020>: movq -0x38(%rbp), %rax <+1024>: movq %rax, 0x18(%rsp) <+1029>: movq -0x40(%rbp), %rax <+1033>: movq %rax, 0x10(%rsp) <+1038>: movq -0x50(%rbp), %rax <+1042>: movq -0x48(%rbp), %rcx <+1046>: movq %rcx, 0x8(%rsp) <+1051>: movq %rax, (%rsp) <+1055>: movq 0x794ce(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+1062>: callq *%rbx <+1064>: movq 0x734b5(%rip), %rsi ; "retain" <+1071>: movq %rax, %rdi <+1074>: callq *%rbx <+1076>: movq %rax, %r13 <+1079>: movq %r13, 0x78976(%rip) ; +[CALayer defaultValueForKey:]::unitRect <+1086>: jmp 0x1041a700f ; <+1739> <+1091>: cmpl $0x139, %r14d <+1098>: jne 0x1041a6fdd ; <+1689> <+1104>: movq 0x78935(%rip), %r13 ; +[CALayer defaultValueForKey:]::inf <+1111>: testq %r13, %r13 <+1114>: jne 0x1041a700f ; <+1739> <+1120>: movq 0x74ae5(%rip), %rdi ; (void *)0x000000010337f278: NSNumber <+1127>: movq 0x732fe(%rip), %rsi ; "alloc" <+1134>: movq 0x7947f(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+1141>: callq *%rbx <+1143>: movq 0x73e3e(%rip), %rsi ; "initWithDouble:" <+1150>: movsd 0x47ade(%rip), %xmm0 <+1158>: movq %rax, %rdi <+1161>: callq *%rbx <+1163>: movq %rax, %r13 <+1166>: movq %r13, 0x788f7(%rip) ; +[CALayer defaultValueForKey:]::inf <+1173>: jmp 0x1041a700f ; <+1739> <+1178>: cmpl $0x99, %r14d <+1185>: jne 0x1041a6f4d ; <+1545> <+1191>: movq 0x788f6(%rip), %r13 ; +[CALayer defaultValueForKey:]::defEdges <+1198>: testq %r13, %r13 <+1201>: jne 0x1041a700f ; <+1739> <+1207>: movq 0x74a8e(%rip), %rdi ; (void *)0x000000010337f278: NSNumber <+1214>: movq 0x732a7(%rip), %rsi ; "alloc" <+1221>: movq 0x79428(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+1228>: callq *%rbx <+1230>: movq 0x73def(%rip), %rsi ; "initWithUnsignedInt:" <+1237>: movl $0xf, %edx <+1242>: movq %rax, %rdi <+1245>: callq *%rbx <+1247>: movq %rax, %r13 <+1250>: movq %r13, 0x788bb(%rip) ; +[CALayer defaultValueForKey:]::defEdges <+1257>: jmp 0x1041a700f ; <+1739> <+1262>: cmpl $0x39, %r14d <+1266>: jne 0x1041a6fdd ; <+1689> <+1272>: movq 0x788cd(%rip), %r13 ; +[CALayer defaultValueForKey:]::black <+1279>: testq %r13, %r13 <+1282>: jne 0x1041a700f ; <+1739> <+1288>: movl $0x4, %edi <+1293>: callq 0x1040ae7d7 ; CAGetColorSpace <+1298>: leaq 0x55e53(%rip), %rsi ; +[CALayer defaultValueForKey:]::values <+1305>: movq %rax, %rdi <+1308>: callq 0x1041ec29c ; symbol stub for: CGColorCreate <+1313>: movq %rax, %r13 <+1316>: movq %r13, 0x788a1(%rip) ; +[CALayer defaultValueForKey:]::black <+1323>: jmp 0x1041a700f ; <+1739> <+1328>: cmpl $0x12d, %r14d <+1335>: jne 0x1041a6fcb ; <+1671> <+1341>: movq 0x78838(%rip), %r13 ; +[CALayer defaultValueForKey:]::one <+1348>: testq %r13, %r13 <+1351>: jne 0x1041a700f ; <+1739> <+1357>: movq 0x749f8(%rip), %rdi ; (void *)0x000000010337f278: NSNumber <+1364>: movq 0x73211(%rip), %rsi ; "alloc" <+1371>: movq 0x79392(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+1378>: callq *%rbx <+1380>: movq 0x736d9(%rip), %rsi ; "initWithInt:" <+1387>: movl $0x1, %edx <+1392>: movq %rax, %rdi <+1395>: callq *%rbx <+1397>: movq %rax, %r13 <+1400>: movq %r13, 0x787fd(%rip) ; +[CALayer defaultValueForKey:]::one <+1407>: jmp 0x1041a700f ; <+1739> <+1412>: cmpl $0x73, %r14d <+1416>: jne 0x1041a6fdd ; <+1689> <+1422>: movq 0x78827(%rip), %r13 ; +[CALayer defaultValueForKey:]::fullRect <+1429>: testq %r13, %r13 <+1432>: jne 0x1041a700f ; <+1739> <+1438>: movq 0x749cf(%rip), %rdi ; (void *)0x000000010337f2f0: NSValue <+1445>: movapd 0x47f1f(%rip), %xmm0 ; .memset_pattern + 318 <+1453>: movapd %xmm0, -0x70(%rbp) <+1458>: xorpd %xmm0, %xmm0 <+1462>: movapd %xmm0, -0x60(%rbp) <+1467>: movq 0x7394a(%rip), %rsi ; "valueWithRect:" <+1474>: movq -0x58(%rbp), %rax <+1478>: movq %rax, 0x18(%rsp) <+1483>: movq -0x60(%rbp), %rax <+1487>: movq %rax, 0x10(%rsp) <+1492>: movq -0x70(%rbp), %rax <+1496>: movq -0x68(%rbp), %rcx <+1500>: movq %rcx, 0x8(%rsp) <+1505>: movq %rax, (%rsp) <+1509>: movq 0x79308(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+1516>: callq *%rbx <+1518>: movq 0x732ef(%rip), %rsi ; "retain" <+1525>: movq %rax, %rdi <+1528>: callq *%rbx <+1530>: movq %rax, %r13 <+1533>: movq %r13, 0x787b8(%rip) ; +[CALayer defaultValueForKey:]::fullRect <+1540>: jmp 0x1041a700f ; <+1739> <+1545>: cmpl $0xb1, %r14d <+1552>: jne 0x1041a6fdd ; <+1689> <+1558>: leaq 0x80a4f(%rip), %rax ; kCAFillModeRemoved <+1565>: movq (%rax), %r13 <+1568>: jmp 0x1041a700f ; <+1739> <+1573>: movq 0x78758(%rip), %r13 ; +[CALayer defaultValueForKey:]::three <+1580>: testq %r13, %r13 <+1583>: jne 0x1041a700f ; <+1739> <+1589>: movq 0x74910(%rip), %rdi ; (void *)0x000000010337f278: NSNumber <+1596>: movq 0x73129(%rip), %rsi ; "alloc" <+1603>: movq 0x792aa(%rip), %rbx ; (void *)0x000000010357d800: objc_msgSend <+1610>: callq *%rbx <+1612>: movq 0x735f1(%rip), %rsi ; "initWithInt:" <+1619>: movl $0x3, %edx <+1624>: movq %rax, %rdi <+1627>: callq *%rbx <+1629>: movq %rax, %r13 <+1632>: movq %r13, 0x7871d(%rip) ; +[CALayer defaultValueForKey:]::three <+1639>: jmp 0x1041a700f ; <+1739> <+1641>: movq 0x748dc(%rip), %rdi ; (void *)0x000000010337f278: NSNumber <+1648>: movq 0x73725(%rip), %rsi ; "numberWithInt:" <+1655>: movl $0x1f4, %edx <+1660>: callq *0x79272(%rip) ; (void *)0x000000010357d800: objc_msgSend <+1666>: movq %rax, %r13 <+1669>: jmp 0x1041a700f ; <+1739> <+1671>: cmpl $0x134, %r14d <+1678>: jne 0x1041a6fdd ; <+1689> <+1680>: leaq 0x83515(%rip), %r13 ; @"linear" <+1687>: jmp 0x1041a700f ; <+1739> <+1689>: cmpl %r14d, (%r15) <+1692>: je 0x1041a6ff4 ; <+1712> <+1694>: incq %rbx <+1697>: addq $0x20, %r15 <+1701>: xorl %r13d, %r13d <+1704>: cmpq $0x1d, %rbx <+1708>: jb 0x1041a6fdd ; <+1689> <+1710>: jmp 0x1041a700f ; <+1739> <+1712>: movq 0x79125(%rip), %rax ; (void *)0x0000000103d29ca8: kCFBooleanFalse <+1719>: movl $0x4920a8, %ecx <+1724>: btq %rbx, %rcx <+1728>: cmovbq 0x7911c(%rip), %rax ; (void *)0x0000000103d29ca0: kCFBooleanTrue <+1736>: movq (%rax), %r13 <+1739>: movq %r13, %rax <+1742>: addq $0x78, %rsp <+1746>: popq %rbx <+1747>: popq %r12 <+1749>: popq %r13 <+1751>: popq %r14 <+1753>: popq %r15 <+1755>: popq %rbp <+1756>: retq <+1757>: leaq 0x84fe8(%rip), %r13 ; @"stretch" <+1764>: jmp 0x1041a700f ; <+1739> <+1766>: nop <+1768>: adcb %bh, %dh
功能 1-5 如下图：
通过概貌可以大概了解到这个函数的
堆栈使用，-0xa0(%rbp)到-0x30(%rbp)用作局部变量以及函数调用的参数堆栈，-0x28(%rbp)到-08x(%rbp)用作寄存现场保存，0x0(%rbp)是上一栈帧的栈基，0x8(%rbp)是返回地址。
函数返回的地方在1756处，并且有一处跳转的会合点在1739，而且非常多的跳转都跳到这个会合点。这个会合点与返回点非常近，所以可以看到这个函数的逻辑中在多处分支有返回。
这个函数有13个孤岛片段，只能够通过跳转到达，也就是有多处共用了这13个片段，在逆向分析时，可以直接内联到跳转入口。
再为看第6个功能点，是这个版本的重点。
当遇到孤岛片段的逆向输出如下：
// 1669 goto _f1739; // #### // 1671 island till 1739 {1689island1739,} if (0) { // _f1671: // from 1335 // 1671 cmpl $0x134, %r14d // 1678 jne 1689 if (!) { // 1671 (r14d != 0x134) _f1680: // from 569 // 1680 r13 = & __cfs("linear"); // 1687 goto _f1739; } // 1689 // #### // 1689 island till 1739 {1712island1739,} if (0) { // _b1689: // from 1708 _f1689: // from 1552 _f1689: // from 1416 _f1689: // from 1266 _f1689: // from 1098 _f1689: // from 941 _f1689: // from 919 _f1689: // from 882 _f1689: // from 828 _f1689: // from 675 _f1689: // from 582 _f1689: // from 449 _f1689: // from 345 _f1689: // from 238 // 1689 cmpl %r14d, (%r15) // 1692 je 1712 if (!) { // 1689 ((int32_t&)r15->_0 == r14d) // 1694 ++rbx; // 1697 r15 = r15 + 0x20; // 1701 r13d = 0; // 1704 cmpq $0x1d, %rbx // 1708 if () // 1704 (rbx < 0x1d) goto _b1689; // 1710 goto _f1739; } // 1712 // #### // 1712 island till 1739 {} if (0) { // // 1712 rax = (void *)0x0000000103d29ca8: kCFBooleanFalse; // 1719 ecx = 0x4920a8; // 1724 btq %rbx, %rcx // 1728 rax = (0 != (rcx & (1<<rbx))) ? (void *)0x0000000103d29ca0: kCFBooleanTrue : rax; // 1736 r13 = rax->_0; } // 1739 island form 1712 } // 1739 island form 1689 } // 1739 island form 1671
我们阅读一个故事，会习惯于按顺序去理清脉络，当你跟着反汇编代码跳转跳几次你就会迷失，不再想看下去，因为我们用了我们不擅长的方式。如果我们知道故事中主干和分支在何处划分的，哪些是插叙，插叙的故事又包含了哪些小故事，哪些小故事被多次引用等等。我们就可以清晰故事的框架，并且有条不紊地还原出整个故事出来。上面的孤岛片段，就像插叙一样。“if(0) {}”表示这里有一个故事或一堆小故事，但是跟你读到的情节发展无关，你可以跳过这一块继续你的情节。控制流也一样，“if(0) {}”是永远不会进入的，如果你想通过这个条件判断进入的话。除此之外，你还可以用goto强制进入这个控制域内的。goto就是主干和分支跟这些零碎的片段的唯一联系，goto指明了这些零碎的片段在主干和分支发生的地点或时间顺序，将它们联系在一起就还原出一整个故事。也就说最后将孤岛片段内联到goto的地方上。
上面的逆向代码显示了这一用途。但是出现了一小点问题，上图的蓝色字描述。孤岛片段不是绝对固定的，而是跟据你选取的角度。如上面的1678处逆向译成
// 1678 jne 1689 if () {// 1671 (r14d != 0x134) // gen jmp 1689 goto _f1689; } // 1680 r13 = & __cfs("linear");// 1687 goto _f1739; _b1689: // from 1708 _f1689: // from 1678 _f1689: // from 1416 _f1689: // from 1266 _f1689: // from 1098 _f1689: // from 941 _f1689: // from 919 _f1689: // from 882 _f1689: // from 828 _f1689: // from 675 _f1689: // from 582 _f1689: // from 449 _f1689: // from 345 _f1689: // from 238
要进入1689就必须通过跳转。
修改BUG后的逆向输出结果是：
// 1669 goto _f1739; // #### // 1671 island till 1739 {} if (0) { // _f1671: // from 1335 // 1671 cmpl $0x134, %r14d // 1678 jne 1689 if (!) { // 1671 (r14d != 0x134) _f1680: // from 569 // 1680 r13 = & __cfs("linear"); // 1687 goto _f1739; } // 1689 _b1689: // from 1708 _f1689: // from 1552 _f1689: // from 1416 _f1689: // from 1266 _f1689: // from 1098 _f1689: // from 941 _f1689: // from 919 _f1689: // from 882 _f1689: // from 828 _f1689: // from 675 _f1689: // from 582 _f1689: // from 449 _f1689: // from 345 _f1689: // from 238 // 1689 cmpl %r14d, (%r15) // 1692 je 1712 if (!) { // 1689 ((int32_t&)r15->_0 == r14d) // 1694 ++rbx; // 1697 r15 = r15 + 0x20; // 1701 r13d = 0; // 1704 cmpq $0x1d, %rbx // 1708 if () // 1704 (rbx < 0x1d) goto _b1689; // 1710 goto _f1739; } // 1712 // 1712 rax = (void *)0x0000000103d29ca8: kCFBooleanFalse; // 1719 ecx = 0x4920a8; // 1724 btq %rbx, %rcx // 1728 rax = (0 != (rcx & (1<<rbx))) ? (void *)0x0000000103d29ca0: kCFBooleanTrue : rax; // 1736 r13 = rax->_0; } // 1739 island form 1671
整个函数的逆向代码，只有分支的版本
// +[CALayer defaultValueForKey:] void CALayer20_defaultValueForKey3A_(id self, SEL sel, uintptr_t defaultValueForKey) { // local variables location from -0x30(%rbp) to -0xa0(%rbp), total 0x78bytes(, 15 longlongwords) // there are 10 island(s) in total. and the island would be presented in form of "if(0) {}" in sequence. // return(s) take(s) palce at 1756. // there are 3 junction(s) in total. and they are: // . to 1341 from 228, 669, 869, 900, 913, // . to 1689 from 345, 449, 582, 675, 828, 882, 919, 941, 1098, 1266, 1416, 1552, 1678, 1708, // . to 1739 from 160, 219, 254, 317, 377, 440, 518, 598, 654, 816, 844, 980, 1086, 1114, 1173, 1201, 1257, 1282, 1323, 1351, 1407, 1432, 1540, 1568, 1583, 1639, 1669, 1687, 1710, 1764, // 43 jg 91 if () { // 39 (r14d > 0x2d) // gen jmp 91 goto _f91; } // 49 jg 224 else if () { // 45 (r14d > 0x14) // gen jmp 224 goto _f224; } // 59 jne 445 else if () { // 55 (r14d != 0xb) // gen jmp 445 goto _f445; } else { // 59 next // 86 goto _f476; } // 91 _f91: // from 43 // 98 jg 322 if () { // 91 (r14d > 0x187) // gen jmp 322 goto _f322; } // 111 jg 523 else if () { // 104 (r14d > 0x126) // gen jmp 523 goto _f523; } // 124 jg 849 else if () { // 117 (r14d > 0x87) // gen jmp 849 goto _f849; } // 134 jg 924 else if () { // 130 (r14d > 0x63) // gen jmp 924 goto _f924; } // 144 jne 1262 else if () { // 140 (r14d != 0x2e) // gen jmp 1262 goto _f1262; } // 160 jne 1739 else if () { // 157 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 160 next } // 219 // 219 goto _f1739; _f224: // from 49 // 228 je 1341 if () { // 224 (r14d == 0x15) // gen jmp 1341 goto _f1341; } // 238 jne 1689 else if () { // 234 (r14d != 0x16) // gen jmp 1689 goto _f1689; } // 254 jne 1739 else if () { // 251 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 254 next } // 317 // 317 goto _f1739; _f322: // from 98 // 329 jg 659 if () { // 322 (r14d > 0x19e) // gen jmp 659 goto _f659; } // 345 ja 1689 else if () { // 342 (eax > 0x8) // gen jmp 1689 goto _f1689; } // 377 jne 1739 else if () { // 374 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 377 next } // 440 // 440 goto _f1739; _f445: // from 59 // 449 jne 1689 if () { // 445 (r14d != 0xf) // gen jmp 1689 goto _f1689; _f476: // from 86 } // 484 je 680 else if () { // 481 (0 == rax) // gen jmp 680 goto _f680; } else { // 484 next } // 518 // 518 goto _f1739; _f523: // from 111 // 530 jg 893 if () { // 523 (r14d > 0x14a) // gen jmp 893 goto _f893; } // 543 jg 1091 else if () { // 536 (r14d > 0x138) // gen jmp 1091 goto _f1091; } // 556 jg 1328 else if () { // 549 (r14d > 0x12c) // gen jmp 1328 goto _f1328; } // 569 je 1680 else if () { // 562 (r14d == 0x127) // gen jmp 1680 goto _f1680; } // 582 jne 1689 else if () { // 575 (r14d != 0x12b) // gen jmp 1689 goto _f1689; } // 598 jne 1739 else if () { // 595 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 598 next } // 654 // 654 goto _f1739; _f659: // from 329 // 669 jbe 1341 if () { // 666 (eax <= 0x1) // gen jmp 1341 goto _f1341; } else { // 669 next } // 675 // 675 goto _f1689; _f680: // from 484 // 743 jne 773 if () { // 740 (0 != r13) // gen jmp 773 goto _f773; } // 771 je 822 else if () { // 768 (0 == r13) // gen jmp 822 goto _f822; } else { // 771 next } // 773 _f773: // from 743 // 816 jne 1739 if () { // 814 (0 != al) // gen jmp 1739 goto _f1739; } else { // 816 next _f822: // from 771 // 828 jne 1689 if () // 824 (r14d != 0xf) // gen jmp 1689 goto _f1689; // 844 goto _f1739; // #### // 849 island till 1739 {} if (0) { // _f849: // from 124 // 856 jg 1178 if () { // 849 (r14d > 0x98) // gen jmp 1178 goto _f1178; } else { // 856 next // 869 je 1341 if () // 862 (r14d == 0x88) // gen jmp 1341 goto _f1341; // 882 jne 1689 if () // 875 (r14d != 0x98) // gen jmp 1689 goto _f1689; // 888 goto _f1104; // #### // 893 island till 1104 {924island1086,} if (0) { // _f893: // from 530 // 900 je 1341 if () // 893 (r14d == 0x14b) // gen jmp 1341 goto _f1341; // 913 je 1341 if () // 906 (r14d == 0x16c) // gen jmp 1341 goto _f1341; // 919 goto _f1689; // #### // 924 island till 1086 {} if (0) { // _f924: // from 134 // 928 jg 1412 if () {// 924 (r14d > 0x72) // gen jmp 1412 goto _f1412; } // 941 ja 1689 else if () { // 938 (eax > 0x9) // gen jmp 1689 goto _f1689; } // 980 jne 1739 else if () { // 977 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 980 next } // 981 } // 1086 island form 924 _f1086: // from 924 // 1086 goto _f1739; _f1091: // from 543 // 1098 jne 1689 if () // 1091 (r14d != 0x139) // gen jmp 1689 goto _f1689; } // 1104 island form 893 _f1104: // from 888 _f1104: // from 893 // 1114 jne 1739 if () // 1111 (0 != r13) // gen jmp 1739 goto _f1739; // 1173 goto _f1739; } // 1178 _f1178: // from 856 // 1185 jne 1545 if () // 1178 (r14d != 0x99) // gen jmp 1545 goto _f1545; // 1201 jne 1739 if (!) { // 1198 (0 != r13) // 1257 goto _f1739; // #### // 1262 island till 1739 {} if (0) { // _f1262: // from 144 // 1266 jne 1689 if () // 1262 (r14d != 0x39) // gen jmp 1689 goto _f1689; // 1282 jne 1739 if (!) { // 1279 (0 != r13) // 1323 goto _f1739; // #### // 1328 island till 1739 {} if (0) { // _f1328: // from 556 // 1335 jne 1671 if () // 1328 (r14d != 0x12d) // gen jmp 1671 goto _f1671; _f1341: // from 228 _f1341: // from 869 _f1341: // from 900 _f1341: // from 913 // 1351 jne 1739 if (!) { // 1348 (0 != r13) // 1407 goto _f1739; // #### // 1412 island till 1739 {} if (0) { // _f1412: // from 928 // 1416 jne 1689 if () // 1412 (r14d != 0x73) // gen jmp 1689 goto _f1689; // 1432 jne 1739 if (!) { // 1429 (0 != r13) // 1540 goto _f1739; // #### // 1545 island till 1739 {1573island1739,} if (0) { // _f1545: // from 1185 // 1552 jne 1689 if () // 1545 (r14d != 0xb1) // gen jmp 1689 goto _f1689; // 1568 goto _f1739; // #### // 1573 island till 1739 {} if (0) { // // 1583 jne 1739 if (!) { // 1580 (0 != r13) // 1639 goto _f1739; // #### // 1641 island till 1739 {1671island1739,} if (0) { // // 1669 goto _f1739; // #### // 1671 island till 1739 {} if (0) { // _f1671: // from 1335 // 1678 jne 1689 if (!) { // 1671 (r14d != 0x134) _f1680: // from 569 // 1687 goto _f1739; } // 1689 _f1689: // from 238 _f1689: // from 345 _f1689: // from 449 _f1689: // from 582 _f1689: // from 675 _f1689: // from 828 _f1689: // from 882 _f1689: // from 919 _f1689: // from 941 _f1689: // from 1098 _f1689: // from 1266 _f1689: // from 1416 _f1689: // from 1552 _b1689: // from 1708 // 1692 je 1712 if (!) { // 1689 ((int32_t&)r15->_0 == r14d) // 1708 if () // 1704 (rbx < 0x1d) goto _b1689; // 1710 goto _f1739; } // 1712 } // 1739 island form 1671 } // 1739 island form 1641 } // 1739 } // 1739 island form 1573 } // 1739 island form 1545 } // 1739 } // 1739 island form 1412 } // 1739 } // 1739 island form 1328 } // 1739 } // 1739 island form 1262 } // 1739 } // 1739 island form 849 } // 1739 _f1739: // from 160 _f1739: // from 219 _f1739: // from 254 _f1739: // from 317 _f1739: // from 377 _f1739: // from 440 _f1739: // from 518 _f1739: // from 598 _f1739: // from 654 _f1739: // from 816 _f1739: // from 844 _f1739: // from 980 _f1739: // from 1086 _f1739: // from 1114 _f1739: // from 1173 _f1739: // from 1178 _f1739: // from 1257 _f1739: // from 1262 _f1739: // from 1323 _f1739: // from 1328 _f1739: // from 1407 _f1739: // from 1412 _f1739: // from 1540 _f1739: // from 1545 _f1739: // from 1568 _f1739: // from 1639 _f1739: // from 1669 _f1739: // from 1687 _f1739: // from 1710 _b1739: // from 1764 // 1756 ret return; // 1764 goto _b1739; }
完事的版本
// +[CALayer defaultValueForKey:] void CALayer20_defaultValueForKey3A_(id self, SEL sel, uintptr_t defaultValueForKey) { // 0 pushq %rbp // 1 rbp = rsp; // 4 pushq %r15 // 6 pushq %r14 // 8 pushq %r13 // 10 pushq %r12 // 12 pushq %rbx // 13 rsp = rsp - 0x78; // there are 3 junction(s) in total. and they are: // . to 1341 from 228, 669, 869, 900, 913, // . to 1689 from 345, 449, 582, 675, 828, 882, 919, 941, 1098, 1266, 1416, 1552, 1678, 1708, // . to 1739 from 160, 219, 254, 317, 377, 440, 518, 598, 654, 816, 844, 980, 1086, 1114, 1173, 1201, 1257, 1282, 1323, 1351, 1407, 1432, 1540, 1568, 1583, 1639, 1669, 1687, 1710, 1764, // return(s) take(s) palce at 1756. // there are 10 island(s) in total. and the island would be presented in form of "if(0) {}" in sequence. // local variables location from -0x30(%rbp) to -0xa0(%rbp), total 0x78bytes(, 15 longlongwords) // 17 ebx = 0; // 19 esi = 0; // 21 rdi = rdx; // 24 call CAInternAtom((NSString*)rdx); // 29 r14d = eax; // 32 r15 = & bool_bits + 16; // 39 cmpl $0x2d, %r14d // 43 jg 91 if () { // 39 (r14d > 0x2d) // gen jmp 91 goto _f91; // 45 cmpl $0x14, %r14d } // 49 jg 224 else if () { // 45 (r14d > 0x14) // gen jmp 224 goto _f224; // 55 cmpl $0xb, %r14d } // 59 jne 445 else if () { // 55 (r14d != 0xb) // gen jmp 445 goto _f445; } else { // 59 next // 65 rdi = & "CALAYER_ALLOWS_EDGE_ANTIALIASING"; // 72 r13 = & __cfs("CALayerAllowsEdgeAntialiasing"); // 79 rbx = & __cfs("UIViewEdgeAntialiasing"); // 86 goto _f476; } // 91 _f91: // from 43 // 91 cmpl $0x187, %r14d // 98 jg 322 if () { // 91 (r14d > 0x187) // gen jmp 322 goto _f322; // 104 cmpl $0x126, %r14d } // 111 jg 523 else if () { // 104 (r14d > 0x126) // gen jmp 523 goto _f523; // 117 cmpl $0x87, %r14d } // 124 jg 849 else if () { // 117 (r14d > 0x87) // gen jmp 849 goto _f849; // 130 cmpl $0x63, %r14d } // 134 jg 924 else if () { // 130 (r14d > 0x63) // gen jmp 924 goto _f924; // 140 cmpl $0x2e, %r14d } // 144 jne 1262 else if () { // 140 (r14d != 0x2e) // gen jmp 1262 goto _f1262; // 150 r13 = +[CALayer defaultValueForKey:]::defPhase; // 157 testq %r13, %r13 } // 160 jne 1739 else if () { // 157 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 160 next // 166 rdi = (void *)0x000000010337f2f0: NSValue; // 173 rsi = "valueWithSize:"; // 180 rbx = (void *)0x000000010357d800: objc_msgSend; // 187 xmm0 = 0.; ; // 191 xmm1 = 0.; ; // 195 call objc_msgSend(NSValue, "valueWithSize:", ...); // 197 rsi = "retain"; // 204 rdi = rax; // 207 call objc_msgSend(rax, "retain"); // 209 r13 = rax; // 212 +[CALayer defaultValueForKey:]::defPhase = r13; } // 219 // 219 goto _f1739; _f224: // from 49 // 224 cmpl $0x15, %r14d // 228 je 1341 if () { // 224 (r14d == 0x15) // gen jmp 1341 goto _f1341; // 234 cmpl $0x16, %r14d } // 238 jne 1689 else if () { // 234 (r14d != 0x16) // gen jmp 1689 goto _f1689; // 244 r13 = +[CALayer defaultValueForKey:]::defAnchor; // 251 testq %r13, %r13 } // 254 jne 1739 else if () { // 251 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 254 next // 260 rdi = (void *)0x000000010337f2f0: NSValue; // 267 rsi = "valueWithPoint:"; // 274 rbx = (void *)0x000000010357d800: objc_msgSend; // 281 xmm0.sd = (double&); ; // 289 xmm1.pd[0] = xmm0.pd[0]; xmm1.pd[1] = xmm0.pd[1]; ; // 293 call objc_msgSend(NSValue, "valueWithPoint:", ...); // 295 rsi = "retain"; // 302 rdi = rax; // 305 call objc_msgSend(rax, "retain"); // 307 r13 = rax; // 310 +[CALayer defaultValueForKey:]::defAnchor = r13; } // 317 // 317 goto _f1739; _f322: // from 98 // 322 cmpl $0x19e, %r14d // 329 jg 659 if () { // 322 (r14d > 0x19e) // gen jmp 659 goto _f659; // 335 eax = r14 - 0x188; // 342 cmpl $0x8, %eax } // 345 ja 1689 else if () { // 342 (eax > 0x8) // gen jmp 1689 goto _f1689; // 351 rcx = & <+1768>; // 358 rax = (int64_t)(int32_t&)((int32_t*)rcx)[rax]; // 362 rax = rax + rcx; // 365 jmpq *%rax // 367 r13 = +[CALayer defaultValueForKey:]::defOffset; // 374 testq %r13, %r13 } // 377 jne 1739 else if () { // 374 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 377 next // 383 rdi = (void *)0x000000010337f2f0: NSValue; // 390 rsi = "valueWithSize:"; // 397 rbx = (void *)0x000000010357d800: objc_msgSend; // 404 xmm1.sd = (double&) CAPoint3DZero + 184; ; // 412 xmm0 = 0.; ; // 416 call objc_msgSend(NSValue, "valueWithSize:", ...); // 418 rsi = "retain"; // 425 rdi = rax; // 428 call objc_msgSend(rax, "retain"); // 430 r13 = rax; // 433 +[CALayer defaultValueForKey:]::defOffset = r13; } // 440 // 440 goto _f1739; _f445: // from 59 // 445 cmpl $0xf, %r14d // 449 jne 1689 if () { // 445 (r14d != 0xf) // gen jmp 1689 goto _f1689; // 455 rdi = & "CALAYER_ALLOWS_GROUP_OPACITY"; // 462 r13 = & __cfs("CALayerAllowsGroupOpacity"); // 469 rbx = & __cfs("UIViewGroupOpacity"); _f476: // from 86 // 476 call getenv; // 481 testq %rax, %rax } // 484 je 680 else if () { // 481 (0 == rax) // gen jmp 680 goto _f680; } else { // 484 next // 490 rdi = rax; // 493 call atoi; // 498 testl %eax, %eax // 500 rax = (void *)0x0000000103d29ca8: kCFBooleanFalse; // 507 rax = (0 != eax) ? (void *)0x0000000103d29ca0: kCFBooleanTrue : rax; // 515 r13 = rax->_0; } // 518 // 518 goto _f1739; _f523: // from 111 // 523 cmpl $0x14a, %r14d // 530 jg 893 if () { // 523 (r14d > 0x14a) // gen jmp 893 goto _f893; // 536 cmpl $0x138, %r14d } // 543 jg 1091 else if () { // 536 (r14d > 0x138) // gen jmp 1091 goto _f1091; // 549 cmpl $0x12c, %r14d } // 556 jg 1328 else if () { // 549 (r14d > 0x12c) // gen jmp 1328 goto _f1328; // 562 cmpl $0x127, %r14d } // 569 je 1680 else if () { // 562 (r14d == 0x127) // gen jmp 1680 goto _f1680; // 575 cmpl $0x12b, %r14d } // 582 jne 1689 else if () { // 575 (r14d != 0x12b) // gen jmp 1689 goto _f1689; // 588 r13 = +[CALayer defaultValueForKey:]::corners; // 595 testq %r13, %r13 } // 598 jne 1739 else if () { // 595 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 598 next // 604 rdi = (void *)0x000000010337f278: NSNumber; // 611 rsi = "alloc"; // 618 rbx = (void *)0x000000010357d800: objc_msgSend; // 625 call objc_msgSend(NSNumber, "alloc"); // 627 rsi = "initWithUnsignedInt:"; // 634 edx = 0xf; // 639 rdi = rax; // 642 call objc_msgSend(rax, "initWithUnsignedInt:", ...); // 644 r13 = rax; // 647 +[CALayer defaultValueForKey:]::corners = r13; } // 654 // 654 goto _f1739; _f659: // from 329 // 659 eax = r14 - 0x19f; // 666 cmpl $0x1, %eax // 669 jbe 1341 if () { // 666 (eax <= 0x1) // gen jmp 1341 goto _f1341; } else { // 669 next } // 675 // 675 goto _f1689; _f680: // from 484 // 680 _78 = rbx; // 684 rdi = (void *)0x000000010337b380: NSBundle; // 691 rsi = "mainBundle"; // 698 rbx = (void *)0x000000010357d800: objc_msgSend; // 705 call objc_msgSend(NSBundle, "mainBundle"); // 707 rsi = "infoDictionary"; // 714 rdi = rax; // 717 call objc_msgSend(rax, "infoDictionary"); // 719 r12 = rax; // 722 rsi = "objectForKey:"; // 729 rdi = r12; // 732 rdx = r13; // 735 call objc_msgSend(r12, "objectForKey:", ...); // 737 r13 = rax; // 740 testq %r13, %r13 // 743 jne 773 if () { // 740 (0 != r13) // gen jmp 773 goto _f773; // 745 rsi = "objectForKey:"; // 752 rdi = r12; // 755 rdx = _78; // 759 call objc_msgSend(r12, "objectForKey:", ...); // 765 r13 = rax; // 768 testq %r13, %r13 } // 771 je 822 else if () { // 768 (0 == r13) // gen jmp 822 goto _f822; } else { // 771 next } // 773 _f773: // from 743 // 773 rdi = (void *)0x000000010337f278: NSNumber; // 780 rsi = "class"; // 787 rax = (void *)0x000000010357d800: objc_msgSend; // 794 rbx = rax; // 797 call objc_msgSend(NSNumber, "class"); // 799 rsi = "isKindOfClass:"; // 806 rdi = r13; // 809 rdx = rax; // 812 call objc_msgSend(r13, "isKindOfClass:", ...); // 814 testb %al, %al // 816 jne 1739 if () { // 814 (0 != al) // gen jmp 1739 goto _f1739; } else { // 816 next _f822: // from 771 // 822 ebx = 0; // 824 cmpl $0xf, %r14d // 828 jne 1689 if () // 824 (r14d != 0xf) // gen jmp 1689 goto _f1689; // 834 rax = (void *)0x0000000103d29ca0: kCFBooleanTrue; // 841 r13 = rax->_0; // 844 goto _f1739; // #### // 849 island till 1739 {} if (0) { // _f849: // from 124 // 849 cmpl $0x98, %r14d // 856 jg 1178 if () { // 849 (r14d > 0x98) // gen jmp 1178 goto _f1178; } else { // 856 next // 862 cmpl $0x88, %r14d // 869 je 1341 if () // 862 (r14d == 0x88) // gen jmp 1341 goto _f1341; // 875 cmpl $0x98, %r14d // 882 jne 1689 if () // 875 (r14d != 0x98) // gen jmp 1689 goto _f1689; // 888 goto _f1104; // #### // 893 island till 1104 {924island1086,} if (0) { // _f893: // from 530 // 893 cmpl $0x14b, %r14d // 900 je 1341 if () // 893 (r14d == 0x14b) // gen jmp 1341 goto _f1341; // 906 cmpl $0x16c, %r14d // 913 je 1341 if () // 906 (r14d == 0x16c) // gen jmp 1341 goto _f1341; // 919 goto _f1689; // #### // 924 island till 1086 {} if (0) { // _f924: // from 134 // 924 cmpl $0x72, %r14d // 928 jg 1412 if () {// 924 (r14d > 0x72) // gen jmp 1412 goto _f1412; // 934 eax = r14 - 0x64; // 938 cmpl $0x9, %eax } // 941 ja 1689 else if () { // 938 (eax > 0x9) // gen jmp 1689 goto _f1689; // 947 r13 = & __cfs("resize"); // 954 rcx = & <+1804>; // 961 rax = (int64_t)(int32_t&)((int32_t*)rcx)[rax]; // 965 rax = rax + rcx; // 968 jmpq *%rax // 970 r13 = +[CALayer defaultValueForKey:]::unitRect; // 977 testq %r13, %r13 } // 980 jne 1739 else if () { // 977 (0 != r13) // gen jmp 1739 goto _f1739; } else { // 980 next // 986 rdi = (void *)0x000000010337f2f0: NSValue; // 993 xmm0 = 0.; ; // 996 ((float*)&_50)[0] = xmm0.ps[0]; ((float*)&_50)[1] = xmm0.ps[1]; ((float*)&_50)[2] = xmm0.ps[2]; ((float*)&_50)[3] = xmm0.ps[3]; ; // 1000 xmm0.pd[0] = ((double*)& CA::RectTraits<double>::infinity + 94)[0]; xmm0.pd[1] = ((double*)& CA::RectTraits<double>::infinity + 94)[1]; ; // 1008 ((double*)&_40)[0] = xmm0.pd[0]; ((double*)&_40)[1] = xmm0.pd[1]; ; // 1013 rsi = "valueWithRect:"; // 1020 rax = _38; // 1024 rsp->_18 = rax; // 1029 rax = _40; // 1033 rsp->_10 = rax; // 1038 rax = _50; // 1042 rcx = _48; // 1046 rsp->_8 = rcx; // 1051 rsp->_0 = rax; // 1055 rbx = (void *)0x000000010357d800: objc_msgSend; // 1062 call objc_msgSend(NSValue, "valueWithRect:", ...); // 1064 rsi = "retain"; // 1071 rdi = rax; // 1074 call objc_msgSend(rax, "retain"); // 1076 r13 = rax; // 1079 +[CALayer defaultValueForKey:]::unitRect = r13; } // 981 } // 1086 island form 924 // 1086 goto _f1739; _f1086: // from 924 _f1091: // from 543 // 1091 cmpl $0x139, %r14d // 1098 jne 1689 if () // 1091 (r14d != 0x139) // gen jmp 1689 goto _f1689; } // 1104 island form 893 _f1104: // from 893 _f1104: // from 888 // 1104 r13 = +[CALayer defaultValueForKey:]::inf; // 1111 testq %r13, %r13 // 1114 jne 1739 if () // 1111 (0 != r13) // gen jmp 1739 goto _f1739; // 1120 rdi = (void *)0x000000010337f278: NSNumber; // 1127 rsi = "alloc"; // 1134 rbx = (void *)0x000000010357d800: objc_msgSend; // 1141 call objc_msgSend(NSNumber, "alloc"); // 1143 rsi = "initWithDouble:"; // 1150 xmm0.sd = (double&); ; // 1158 rdi = rax; // 1161 call objc_msgSend(rax, "initWithDouble:", ...); // 1163 r13 = rax; // 1166 +[CALayer defaultValueForKey:]::inf = r13; // 1173 goto _f1739; } // 1178 _f1178: // from 856 // 1178 cmpl $0x99, %r14d // 1185 jne 1545 if () // 1178 (r14d != 0x99) // gen jmp 1545 goto _f1545; // 1191 r13 = +[CALayer defaultValueForKey:]::defEdges; // 1198 testq %r13, %r13 // 1201 jne 1739 if (!) { // 1198 (0 != r13) // 1207 rdi = (void *)0x000000010337f278: NSNumber; // 1214 rsi = "alloc"; // 1221 rbx = (void *)0x000000010357d800: objc_msgSend; // 1228 call objc_msgSend(NSNumber, "alloc"); // 1230 rsi = "initWithUnsignedInt:"; // 1237 edx = 0xf; // 1242 rdi = rax; // 1245 call objc_msgSend(rax, "initWithUnsignedInt:", ...); // 1247 r13 = rax; // 1250 +[CALayer defaultValueForKey:]::defEdges = r13; // 1257 goto _f1739; // #### // 1262 island till 1739 {} if (0) { // _f1262: // from 144 // 1262 cmpl $0x39, %r14d // 1266 jne 1689 if () // 1262 (r14d != 0x39) // gen jmp 1689 goto _f1689; // 1272 r13 = +[CALayer defaultValueForKey:]::black; // 1279 testq %r13, %r13 // 1282 jne 1739 if (!) { // 1279 (0 != r13) // 1288 edi = 0x4; // 1293 call CAGetColorSpace(0x4); // 1298 rsi = & +[CALayer defaultValueForKey:]::values; // 1305 rdi = rax; // 1308 call CGColorCreate; // 1313 r13 = rax; // 1316 +[CALayer defaultValueForKey:]::black = r13; // 1323 goto _f1739; // #### // 1328 island till 1739 {} if (0) { // _f1328: // from 556 // 1328 cmpl $0x12d, %r14d // 1335 jne 1671 if () // 1328 (r14d != 0x12d) // gen jmp 1671 goto _f1671; _f1341: // from 913 _f1341: // from 900 _f1341: // from 869 _f1341: // from 228 // 1341 r13 = +[CALayer defaultValueForKey:]::one; // 1348 testq %r13, %r13 // 1351 jne 1739 if (!) { // 1348 (0 != r13) // 1357 rdi = (void *)0x000000010337f278: NSNumber; // 1364 rsi = "alloc"; // 1371 rbx = (void *)0x000000010357d800: objc_msgSend; // 1378 call objc_msgSend(NSNumber, "alloc"); // 1380 rsi = "initWithInt:"; // 1387 edx = 0x1; // 1392 rdi = rax; // 1395 call objc_msgSend(rax, "initWithInt:", ...); // 1397 r13 = rax; // 1400 +[CALayer defaultValueForKey:]::one = r13; // 1407 goto _f1739; // #### // 1412 island till 1739 {} if (0) { // _f1412: // from 928 // 1412 cmpl $0x73, %r14d // 1416 jne 1689 if () // 1412 (r14d != 0x73) // gen jmp 1689 goto _f1689; // 1422 r13 = +[CALayer defaultValueForKey:]::fullRect; // 1429 testq %r13, %r13 // 1432 jne 1739 if (!) { // 1429 (0 != r13) // 1438 rdi = (void *)0x000000010337f2f0: NSValue; // 1445 xmm0.pd[0] = ((double*)& .memset_pattern + 318)[0]; xmm0.pd[1] = ((double*)& .memset_pattern + 318)[1]; ; // 1453 ((double*)&_70)[0] = xmm0.pd[0]; ((double*)&_70)[1] = xmm0.pd[1]; ; // 1458 xmm0 = 0.; ; // 1462 ((double*)&_60)[0] = xmm0.pd[0]; ((double*)&_60)[1] = xmm0.pd[1]; ; // 1467 rsi = "valueWithRect:"; // 1474 rax = _58; // 1478 rsp->_18 = rax; // 1483 rax = _60; // 1487 rsp->_10 = rax; // 1492 rax = _70; // 1496 rcx = _68; // 1500 rsp->_8 = rcx; // 1505 rsp->_0 = rax; // 1509 rbx = (void *)0x000000010357d800: objc_msgSend; // 1516 call objc_msgSend(NSValue, "valueWithRect:", ...); // 1518 rsi = "retain"; // 1525 rdi = rax; // 1528 call objc_msgSend(rax, "retain"); // 1530 r13 = rax; // 1533 +[CALayer defaultValueForKey:]::fullRect = r13; // 1540 goto _f1739; // #### // 1545 island till 1739 {1573island1739,} if (0) { // _f1545: // from 1185 // 1545 cmpl $0xb1, %r14d // 1552 jne 1689 if () // 1545 (r14d != 0xb1) // gen jmp 1689 goto _f1689; // 1558 rax = & kCAFillModeRemoved; // 1565 r13 = rax->_0; // 1568 goto _f1739; // #### // 1573 island till 1739 {} if (0) { // // 1573 r13 = +[CALayer defaultValueForKey:]::three; // 1580 testq %r13, %r13 // 1583 jne 1739 if (!) { // 1580 (0 != r13) // 1589 rdi = (void *)0x000000010337f278: NSNumber; // 1596 rsi = "alloc"; // 1603 rbx = (void *)0x000000010357d800: objc_msgSend; // 1610 call objc_msgSend(NSNumber, "alloc"); // 1612 rsi = "initWithInt:"; // 1619 edx = 0x3; // 1624 rdi = rax; // 1627 call objc_msgSend(rax, "initWithInt:", ...); // 1629 r13 = rax; // 1632 +[CALayer defaultValueForKey:]::three = r13; // 1639 goto _f1739; // #### // 1641 island till 1739 {1671island1739,} if (0) { // // 1641 rdi = (void *)0x000000010337f278: NSNumber; // 1648 rsi = "numberWithInt:"; // 1655 edx = 0x1f4; // 1660 call objc_msgSend(NSNumber, "numberWithInt:", ...); // 1666 r13 = rax; // 1669 goto _f1739; // #### // 1671 island till 1739 {} if (0) { // _f1671: // from 1335 // 1671 cmpl $0x134, %r14d // 1678 jne 1689 if (!) { // 1671 (r14d != 0x134) _f1680: // from 569 // 1680 r13 = & __cfs("linear"); // 1687 goto _f1739; } // 1689 _b1689: // from 1708 _f1689: // from 1552 _f1689: // from 1416 _f1689: // from 1266 _f1689: // from 1098 _f1689: // from 941 _f1689: // from 919 _f1689: // from 882 _f1689: // from 828 _f1689: // from 675 _f1689: // from 582 _f1689: // from 449 _f1689: // from 345 _f1689: // from 238 // 1689 cmpl %r14d, (%r15) // 1692 je 1712 if (!) { // 1689 ((int32_t&)r15->_0 == r14d) // 1694 ++rbx; // 1697 r15 = r15 + 0x20; // 1701 r13d = 0; // 1704 cmpq $0x1d, %rbx // 1708 if () // 1704 (rbx < 0x1d) goto _b1689; // 1710 goto _f1739; } // 1712 // 1712 rax = (void *)0x0000000103d29ca8: kCFBooleanFalse; // 1719 ecx = 0x4920a8; // 1724 btq %rbx, %rcx // 1728 rax = (0 != (rcx & (1<<rbx))) ? (void *)0x0000000103d29ca0: kCFBooleanTrue : rax; // 1736 r13 = rax->_0; } // 1739 island form 1671 } // 1739 island form 1641 } // 1739 } // 1739 island form 1573 } // 1739 island form 1545 } // 1739 } // 1739 island form 1412 } // 1739 } // 1739 island form 1328 } // 1739 } // 1739 island form 1262 } // 1739 } // 1739 island form 849 } // 1739 _b1739: // from 1764 _f1739: // from 1710 _f1739: // from 1687 _f1739: // from 1669 _f1739: // from 1639 _f1739: // from 1568 _f1739: // from 1545 _f1739: // from 1540 _f1739: // from 1412 _f1739: // from 1407 _f1739: // from 1328 _f1739: // from 1323 _f1739: // from 1262 _f1739: // from 1257 _f1739: // from 1178 _f1739: // from 1173 _f1739: // from 1114 _f1739: // from 1086 _f1739: // from 980 _f1739: // from 844 _f1739: // from 816 _f1739: // from 654 _f1739: // from 598 _f1739: // from 518 _f1739: // from 440 _f1739: // from 377 _f1739: // from 317 _f1739: // from 254 _f1739: // from 219 _f1739: // from 160 // 1739 rax = r13; // 1742 rsp = rsp + 0x78; // 1746 popq %rbx // 1747 popq %r12 // 1749 popq %r13 // 1751 popq %r14 // 1753 popq %r15 // 1755 popq %rbp // 1756 ret return; // 1757 r13 = & __cfs("stretch"); // 1764 goto _b1739; // 1766 nop // 1768 dh = dh + bh + eflags.c; }
在第七版（二）要完成的事就是，如何代替人手正确地内联孤岛到goto点。
逆向深入objc,c++
windows下仿objc动画层UI引擎
