上一篇《block函数块为何物？》介绍了在函数中定义的block函数块的反汇编实现，我在文中再三指出__block变量和block函数块自始还都是stack-based的，还不完全适合在离开定义它们的范围之外使用，包括异步回调。本篇贴上我手工逆向的函数

libsystem_blocks.dylib`_Block_copy_internal。从名字可以看出blocks编程由系统提供的编程框架，_Block_copy_internal也就是block函数块的copy方法，是令block函数块适合用于异步回调必要的操作。

NSStackBlock的逆向定义请参考上一篇《block函数块为何物？》，下面是函数的逆向Ｃ＋＋代码：

附上逆向时参照的反汇编片段快照：

libsystem_blocks.dylib`_Block_copy_internal:

    0x10ce28458 <+>:   pushq  %rbp

    0x10ce28459 <+>:   movq   %rsp, %rbp

    0x10ce2845c <+>:   pushq  %r15

    0x10ce2845e <+>:   pushq  %r14

    0x10ce28460 <+>:   pushq  %r13

    0x10ce28462 <+>:  pushq  %r12

    0x10ce28464 <+>:  pushq  %rbx

    0x10ce28465 <+>:  pushq  %rax

    0x10ce28466 <+>:  movq   %rdi, %rbx

    0x10ce28469 <+>:  xorl   %eax, %eax

    0x10ce2846b <+>:  testq  %rbx, %rbx

    0x10ce2846e <+>:  je     0x10ce28534               ; <+220>

    0x10ce28474 <+>:  leaq   0x8(%rbx), %rcx

    0x10ce28478 <+>:  testl  $0x1000000, 0x8(%rbx)

    0x10ce2847f <+>:  jne    0x10ce284db               ; <+131>

    0x10ce28481 <+>:  testl  $0x8000000, (%rcx)

    0x10ce28487 <+>:  jne    0x10ce284f8               ; <+160>

    0x10ce28489 <+>:  testl  $0x10000000, (%rcx)

    0x10ce2848f <+>:  jne    0x10ce28531               ; <+217>

    0x10ce28495 <+>:  movb   0xbad(%rip), %al          ; isGC

    0x10ce2849b <+>:  testb  %al, %al

    0x10ce2849d <+>:  je     0x10ce28543               ; <+235>

    0x10ce284a3 <+>:  movl   0x8(%rbx), %r13d

    0x10ce284a7 <+>:  movl   %r13d, %r12d

    0x10ce284aa <+>:  andl   $0x4000000, %r12d

    0x10ce284b1 <+>:  movq   0xb48(%rip), %r8          ; _Block_allocator

    0x10ce284b8 <+>:  movq   0x18(%rbx), %rax

    0x10ce284bc <+>: movq   0x8(%rax), %rdi

    0x10ce284c0 <+>: movb   $0x1, %dl

    0x10ce284c2 <+>: jne    0x10ce285b8               ; <+352>

    0x10ce284c8 <+>: testl  $0x40000000, (%rcx)

    0x10ce284ce <+>: jne    0x10ce285a2               ; <+330>

    0x10ce284d4 <+>: xorl   %edx, %edx

    0x10ce284d6 <+>: jmp    0x10ce285b8               ; <+352>

    0x10ce284db <+>: movl   (%rcx), %eax

    0x10ce284dd <+>: movl   %eax, %edx

    0x10ce284df <+>: andl   $0xfffe, %edx

    0x10ce284e5 <+>: cmpl   $0xfffe, %edx

    0x10ce284eb <+>: je     0x10ce28531               ; <+217>

    0x10ce284ed <+>: leal   0x2(%rax), %edx

    0x10ce284f0 <+>: lock

    0x10ce284f1 <+>: cmpxchgl %edx, (%rcx)

    0x10ce284f4 <+>: jne    0x10ce284db               ; <+131>

    0x10ce284f6 <+>: jmp    0x10ce28531               ; <+217>

    0x10ce284f8 <+>: testb  %sil, %sil

    0x10ce284fb <+>: je     0x10ce28531               ; <+217>

    0x10ce284fd <+>: movl   (%rcx), %eax

    0x10ce284ff <+>: movl   %eax, %edx

    0x10ce28501 <+>: andl   $0xfffe, %edx

    0x10ce28507 <+>: cmpl   $0xfffe, %edx

    0x10ce2850d <+>: je     0x10ce28531               ; <+217>

    0x10ce2850f <+>: leal   0x2(%rax), %edx

    0x10ce28512 <+>: lock

    0x10ce28513 <+>: cmpxchgl %edx, (%rcx)

    0x10ce28516 <+>: jne    0x10ce284fd               ; <+165>

    0x10ce28518 <+>: andl   $0xfffe, %edx

    0x10ce2851e <+>: cmpl   $0x2, %edx

    0x10ce28521 <+>: jne    0x10ce28531               ; <+217>

    0x10ce28523 <+>: movl   $0x1, %esi

    0x10ce28528 <+>: movq   %rbx, %rdi

    0x10ce2852b <+>: callq  *0xae7(%rip)              ; _Block_setHasRefcount

    0x10ce28531 <+>: movq   %rbx, %rax

    0x10ce28534 <+>: addq   $0x8, %rsp

    0x10ce28538 <+>: popq   %rbx

    0x10ce28539 <+>: popq   %r12

    0x10ce2853b <+>: popq   %r13

    0x10ce2853d <+>: popq   %r14

    0x10ce2853f <+>: popq   %r15

    0x10ce28541 <+>: popq   %rbp

    0x10ce28542 <+>: retq

    0x10ce28543 <+>: movq   0x18(%rbx), %r15

    0x10ce28547 <+>: movq   0x8(%r15), %rdi

    0x10ce2854b <+>: callq  0x10ce28b34               ; symbol stub for: malloc

    0x10ce28550 <+>: movq   %rax, %r14

    0x10ce28553 <+>: xorl   %eax, %eax

    0x10ce28555 <+>: testq  %r14, %r14

    0x10ce28558 <+>: je     0x10ce28534               ; <+220>

    0x10ce2855a <+>: movq   0x8(%r15), %rdx

    0x10ce2855e <+>: movq   %r14, %rdi

    0x10ce28561 <+>: movq   %rbx, %rsi

    0x10ce28564 <+>: callq  0x10ce28b52               ; symbol stub for: memmove

    0x10ce28569 <+>: andl   $0xffff0000, 0x8(%r14)

    0x10ce28571 <+>: orl    $0x1000002, 0x8(%r14)

    0x10ce28579 <+>: leaq   0xbd0(%rip), %rax         ; _NSConcreteMallocBlock

    0x10ce28580 <+>: movq   %rax, (%r14)

    0x10ce28583 <+>: testl  $0x2000000, 0x8(%rbx)

    0x10ce2858a <+>: je     0x10ce28629               ; <+465>

    0x10ce28590 <+>: movq   0x18(%rbx), %rax

    0x10ce28594 <+>: movq   %r14, %rdi

    0x10ce28597 <+>: movq   %rbx, %rsi

    0x10ce2859a <+>: callq  *0x10(%rax)

    0x10ce2859d <+>: jmp    0x10ce28629               ; <+465>

    0x10ce285a2 <+>: leaq   0x10(%rax), %rdx

    0x10ce285a6 <+>: testl  $0x2000000, (%rcx)

    0x10ce285ac <+>: cmoveq %rax, %rdx

    0x10ce285b0 <+>: cmpq   $0x0, 0x18(%rdx)

    0x10ce285b5 <+>: setne  %dl

    0x10ce285b8 <+>: movzbl %sil, %r15d

    0x10ce285bc <+>: movzbl %dl, %edx

    0x10ce285bf <+>: movl   %r15d, %esi

    0x10ce285c2 <+>: callq  *%r8

    0x10ce285c5 <+>: movq   %rax, %r14

    0x10ce285c8 <+>: xorl   %eax, %eax

    0x10ce285ca <+>: testq  %r14, %r14

    0x10ce285cd <+>: je     0x10ce28534               ; <+220>

    0x10ce285d3 <+>: movq   0x18(%rbx), %rax

    0x10ce285d7 <+>: movq   0x8(%rax), %rdx

    0x10ce285db <+>: movq   %r14, %rdi

    0x10ce285de <+>: movq   %rbx, %rsi

    0x10ce285e1 <+>: callq  0x10ce28b52               ; symbol stub for: memmove

    0x10ce285e6 <+>: andl   $0xf6ff0000, %r13d

    0x10ce285ed <+>: addl   %r15d, %r15d

    0x10ce285f0 <+>: orl    %r13d, %r15d

    0x10ce285f3 <+>: orl    $0x8000000, %r15d

    0x10ce285fa <+>: movl   %r15d, 0x8(%r14)

    0x10ce285fe <+>: testl  $0x2000000, 0x8(%rbx)

    0x10ce28605 <+>: je     0x10ce28614               ; <+444>

    0x10ce28607 <+>: movq   0x18(%rbx), %rax

    0x10ce2860b <+>: movq   %r14, %rdi

    0x10ce2860e <+>: movq   %rbx, %rsi

    0x10ce28611 <+>: callq  *0x10(%rax)

    0x10ce28614 <+>: testl  %r12d, %r12d

    0x10ce28617 <+>: leaq   0xc32(%rip), %rax         ; _NSConcreteAutoBlock

    0x10ce2861e <+>: cmovneq 0x19ea(%rip), %rax        ; (void *)0x000000010ce29350: _NSConcreteFinalizingBlock

    0x10ce28626 <+>: movq   %rax, (%r14)

    0x10ce28629 <+>: movq   %r14, %rax

    0x10ce2862c <+>: jmp    0x10ce28534               ; <+220>

PS:博客园图片服务器不正常工作，数据上传后服务器返回http500，园方怡慢，迟迟还没解决。在此先占个placehoder。待园方解决问题后再上图。

objc反汇编分析，手工逆向libsystem_blocks.dylib的更多相关文章

  1. objc反汇编分析，block函数块为何物？

    上一篇向大家介绍了__block变量的反汇编和它的伪代码,本篇函数块block,通常定义成原型(^){},它在反汇编中是什么东西. 我们先定义将要反汇编的例子,为减少篇幅例子采用non-arc环境. ...

  2. objc反汇编分析__strong和__weak

    如题所说反汇编看__strong和__weak的真实样子,代码列举自然多,篇幅长不利于阅读,我就先搬出结论,后面是分析. 在NON-ARC环境,__strong和__weak不起作用.相反在ARC环境 ...

  3. 反汇编分析objc函数枢纽objc_msgSend

    在分析objc_msgSend之前,先来搞清楚另一个问题. 函数是什么?可能会答 void foo(void) {} 像这样就是一个函数.或者函数包括函数原型和函数定义,是一段执行某样功能的机器代码. ...

  4. Linux下简单C语言小程序的反汇编分析

    韩洋原创作品转载请注明出处<Linux内核分析>MOOC课程http://mooc.study.163.com/course/USTC-1000029000 写在开始,本文为因为参加MOO ...

  5. hopper反汇编工具的逆向伪代码功能并不理想

    hopper的逆向代码功能并不如想象中那么好,尤其是在逆向c++代码时.对于从ObjC进入iOS开发又不太清楚运行时的人员来说,hopper可以将反汇编码输出成[obj selector:what]这 ...

  6. 反汇编分析NSString，你印象中的NSString是这样吗

    我们先来定义三个NSString -(void) testNSString { NSString* a = @"abc"; NSString* b = [NSString stri ...

  7. SG Input 软件安全分析之逆向分析

    前言 通过本文介绍怎么对一个 windows 程序进行安全分析.分析的软件版本为 2018-10-9 , 所有相关文件的链接 链接:https://pan.baidu.com/s/1l6BuuL-HP ...

  8. mingw32 exception在sjlj与dwarf差别-反汇编分析

    sjlj (setjump/longjump)与dwarf-2为mingw32两种异常处理模型的实现.sjlj有着开销,而随linux发行的mingw32开发库包都是用sjlj版编译的,而Qt却采用d ...

  9. 实验4 汇编应用编程和c语言程序反汇编分析

    1. 实验任务1 教材「实验9 根据材料编程」(P187-189)编程:在屏幕中间分别显示绿色.绿底红色.白底蓝色的字符串'welcome to masm!'. 解题思路:根据学习的知识,我知道该页在 ...

随机推荐

  1. python中如何通过报错信息定位问题（异常传播轨迹）

    class SelfException(Exception): pass def main(): firstMethod() def firstMethod(): secondMethod() def ...

  2. 百万年薪python之路 -- MySQL数据库之 MySQL行(记录)的操作(二) -- 多表查询

    MySQL行(记录)的操作(二) -- 多表查询 数据的准备 #建表 create table department( id int, name varchar(20) ); create table ...

  3. UITabView

    UITabView可是实现列表功能,此文转自https://www.cnblogs.com/longiang7510/p/5367080.html,讲述很详细,都有注视,但是注释解释不太确切,可以自行 ...

  4. 存储路径与文件目录操作ZT

    转自:https://www.cnblogs.com/zrr-notes/p/5953445.html (一)基本存储位置 我们的app在手机中存放的路径是:/var/mobile/Applicati ...

  5. unity message

    再用unity进行开发过程中,不可避免的用到消息的传递问题,以下介绍几种消息传递的方法: (一)拖动赋值 此方法即为最普通的方法,即把需要引用的游戏物体或者需要引用的组件拖动到相关公有变量的槽上,然后 ...

  6. django-模板之自定义模板路径（一）

    一般情况下我们的模板路径是位于app下的templates,我们可以根据实际情况自己定义模板的路径. 我们在与app的同级目录下建立一个templates,并在settings.py中进行路径配置. ...

  7. SpringBoot整合MybatisPlus3.X之Sequence(二)

    数据库脚本 DELETE FROM user; ​ INSERT INTO user (id, name, age, email) VALUES (, , 'test1@baomidou.com'), ...

  8. 在VMware下通过挂载系统光盘搭建本地yum仓库的方法

    一.虚拟机的安装 首先你要有一个VMware虚拟机,没有软件的朋友可以看我的前几篇博客 安装VMware虚拟机 二.进入虚拟机(在这里我们进入一个Linux虚拟机下的CentOS操作系统进行演示) 首 ...

  9. 为什么磁盘慢会导致Linux负载飙升？

    一.CPU利用率和负载率的区别 这里要区别CPU负载和CPU利用率,它们是不同的两个概念,但它们的信息可以在同一个top命令中进行显示.CPU利用率显示的是程序在运行期间实时占用的CPU百分比,这是对 ...

  10. lua程序设计（一）

    摘要:lua程序设计第二版学习笔记 脚本语言的基础语法大都比较简单,这里只列举一些lua独有,或者需要特别注意的语法点. 书中前三章的内容是一些惯常的引言,基础数据类型,运算符等内容,相对简单,这里就 ...