X86-64和ARM64用户栈的结构 (3) ---_start到__libc_start_main

最新推荐文章于 2024-11-07 10:18:26 发布
转载 最新推荐文章于 2024-11-07 10:18:26 发布 · 926 阅读 · 4 ·
CC 4.0 BY-SA版权
原文链接：http://blog.51cto.com/iamokay/2155957
文章标签：

#嵌入式 #操作系统

本文深入探讨X86-64和ARM64架构下的用户栈结构，从栈帧、寄存器和参数传递规则到_start函数。在X86-64中，栈帧要求16字节对齐以支持SSE，函数参数通过特定寄存器传递。而在ARM64，栈帧结构和adr、ldr、adrp指令有独特之处，adrp指令提升了相对寻址能力。_start函数在两种架构中都负责调用初始化函数，传递参数。

1 x86-64

本节主要核心是介绍x86-64体系结构下的_start函数，该函数是由x86-64汇编写成；调用__libc_start_main函数向其传递参数。因此需要先了解一些x86-64的栈帧结构、寄存器、以及参数传递规则。

1.1 栈帧(Stack Frame)

Linux使用System V Application Binary Interface的函数调用规则。在《System V Applocation Binary Interface》中3.2.2 The Stack Frame中写道：
In addition to registers, each function has a frame on the run-time stack. This stack grows downwards from high addresses. Figure 3.3 shows the stack organization. The end of the input argument area shall be aligned on a 16 (32 or 64, if __m256 or __m512 is passed on stack) byte boundary. In other words, the value (%rsp + 8) is always a multiple of 16 (32 or 64) when control is transferred to the function entry point. The stack pointer, %rsp, always points to the end of the latest allocated stack frame.
X86-64和ARM64用户栈的结构 (3) ---_start到__libc_start_main

在输入参数的结尾处rsp必须对齐到16字节，当调用函数时，首先rsp会减8，rip会压栈，在栈中占8个字节，然后rip指向另一个函数的entry point，也即控制转移到了函数的entry point。由于rip压栈了，rsp+8应该是16字节对齐。

至于为什么需要16字节对齐？查了一些资料发现和Sreaming SIMD Extensions(SSE)有关,它是一组CPU指令，用于像信号处理、科学计算或者3D图形计算一样的应用(SSE入门)。SIMD 也是几个单词的首写字母组成的： Single Instruction, Multiple Data。 一个指令发出后，同一时刻被放到不同的数据上执行。16个128bit XMM寄存器可以被SSE指令操控，SSE利用这些寄存器可以同时做多个数据的运算，从而加快运算速度。但是数据被装进XMM寄存器时，要求数据的地址需要16字节对齐，而数据经常会在栈上分配，因此只有要求栈以16字节对齐，才能更好的支持数据的16字节对齐。

1.2 寄存器和参数传递(Parameter Passing)

X86-64的寄存器相对于X86有扩展，主要不同体现在：

  • 通用寄存器：X86-64有16个64bit通用寄存器
  • 状态寄存器：1个64bit状态寄存器RFLAGS，仅仅低32bit被使用
  • 指令寄存器：1个64bit指令寄存器RIP
  • MMX寄存器：8个64bitMMX寄存器，16个128bitXMM寄存器。当使用这些寄存器时，数据的地址必须对齐到64bit、128bit。

16个64bit寄存器 为：RAX,RBX,RCX,RDX,RDI,RSI,RBP,RSP,R8,R9,R10,R11,R12,R13,R14,R15
在X86-64架构的处理器上，Windows和Linux的函数调用规则不一样。

  • rax 作为函数返回值使用。
  • r
最低0.47元/天 解锁文章

新学期VIP享超值加赠
利用反汇编手段解析C语言函数
bcbobo21cn的专栏
08-29 293
利用反汇编手段解析C语言函数 通过在 Visual C++6.0 下反汇编一个 32 位 C语言程序的部分代码来解析解释函数调用的具体过程。 函数调用过程 函数调用过程主要由参数传递、地址跳转、局部变量分配和赋初值、执行函数体，结果返回等几个步骤组成。 参数传递及函数跳转 参数由实参传递给形参。在底层实现上，即是实参按照函数调用规定压入堆栈。参数传递完成后就通过CALL指令由当前程序跳转到子程序处。 局部变量分配并赋值 函 数的“{”被认为是分配局部变量空间的时机。在汇编层面局部变量分配体现为.
函数参数入栈解析
会飞的鱼的博客
08-04 5561
栈：用于维护函数调用的上下文，通常在用户空间的最高地址处分配，增长方向向低地址增长。在i386下，栈顶由esp寄存器进行定位，压栈的操作使栈顶的地址减小，即esp减小；弹出的操作使栈顶地址增大，即esp增大。 栈保存了函数调用所需要的维护信息，这被称为堆栈帧（Stack Frame）或活动记录（Active Record），其包括如下内容： 函数的返回地址和参数 临时变量：包括函数的非静态局部变...
Fuse内核死锁导致的Android系统死机问题分析
宋金时的专栏
03-14 6164
19.7 案例7：Fuse内核死锁导致的系统死机问题 1. 问题现象 问题发生的Android系统版本是7.1(Nougat)； 界面定住，没有任何刷新，所有输入事件无效，包括电源键； watchdog没有重启system_server； 问题现场可以连接adb； 执行ps命令卡住； 2. 初步分析 对于死机问题，我们需要做一些分析前的准备工作： （1）拿到问题现场，及时充电以保证问题...
反汇编C语言的函数
leolinux的专栏
09-30 594
objdump -D main > dump.txt | grep function
C语言的反汇编
DOTM的专栏
09-12 1625
先贴一个寄存器的表格： 寄存器 用途 EAX，EBX，EDX，ECX 通用寄存器，由程序员自己指定用途，也有一些不成文的用法： EAX：常用于运算。 EBX：常用于地址索引。 ECX：常用于计数。 EDX：常用于数据传递。 EIP 指令寄存器，指出当前指令所在的地址。 ESP
安卓逆向_16 --- ARM 静态分析（ 使用 IDA Pro 分析 ARM 汇编【java_ 和 JNI_OnLoad】 ）...
墨鱼菜鸡
07-11 930
菜鸟总结 so 分析，arm 汇编，IDA 静态分析：https://www.52pojie.cn/thread-695063-1-1.html JNI 静态注册 so 和 IDA 导入的 JNI.h 文件.zip：https://download.youkuaiyun.com/download/freeking101/12571373 ARM静态分析： 代...
Arm架构函数调用和栈结构分析（1）
qq_39827740的博客
11-07 2028
经过对示例代码的每一个汇编指令的详细解析，我们现在能够构建出Arm架构下的函数调用和栈结构了，后期我会补上从f 0到f 3调用栈的栈结构图，届时就能一目了然了！在下一篇文章中，我将探究main函数执行之前，glibc做的初始化工作究竟有啥？
aarch64 arm上交叉编译mysql-2.7.35
heliangbin87的专栏
12-15 1930
mysql交叉编译及移植
手动编译、搭建arm 64-bit交叉编译链工具（详细）
birencs的博客
05-06 5290
环境： 主机：windows 10 ,64bit VMware: Pro 15 linux: ubuntu 18.04 , 64bit 下载4个源码包到/home/biren/crossbuild/src/目录下： binutils-2.31.tar.bz2 ， gcc-8.5.0.tar.gz ， glibc-2.28.tar.bz2 ， linux-5.5.15.tar.gz 新建3个对应编译用的文件夹： build-binutils , build-gcc , build-glibc 解压4个源
【C语言-函数栈帧】从反汇编的角度，剖析函数调用全流程
BaconZzz的博客
05-28 576
前言 初学编程，大多有疑问： 函数是怎么调用的呀？局部变量出了作用域是怎么销毁的呀？函数传参是怎么传的呀？函数的形参为什么不能改变到实参呀… 今天，我们就从反汇编的角度观察“函数栈帧的创建和销毁” ， 细细品味 编程沉淀几十年后精密巧妙 1. 函数栈帧（stack frame） C的编程中，常常把独立的功能抽象为函数，也能说C的程序是以函数为基本单位的 函数栈帧，就是函数调用过程中，在程序的调用栈（call stack）中开辟的空间 来了解一下它的定义和作用 定义： 栈帧也叫过程活动记录，是编译器用来实现
反汇编深入分析函数调用
04-13 1836
函数：int fun(int a, int b) {   char var[128] = "A";   a = 0x4455;   b = 0x6677;   return a + b;}int main() {    fun(0x8899,0x1100);    return 0;}F11跟踪到fun,alt+8看反汇编代码：00401078  
【逆向】第十章 C语言函数格式及反汇编
qq_46441427的博客
01-22 636
文章目录前言一、HELLO WORLD新建文件下断点打开寄存器窗口内存窗口二、C语言函数格式1.无参数，无返回值2.有参数，有返回值 前言 基于VC6来实现C语言学习，这里能装在WIN10上是下载了VC6绿色版 一、HELLO WORLD 新建文件 文件 新建 输入名称 win32应用 建立helloworld程序 点开fileview 找到source file 图中//后面是注释，而int main开始可以看成函数的入口 这个时候按下F7（build建立），发现根目录下有一个hello.exe
Linux Debugging（一）: 使用反汇编理解C++程序函数调用栈
iteye_18891的博客
01-24 271
拿到CoreDump后，如果看到的地址都是？？？？，那么基本上可以确定，程序的栈被破坏掉了。GDB也是使用函数的调用栈去还原“事故现场”的。因此理解函数调用栈，是使用GDB进行现场调试或者事后调试的基础，如果不理解调用栈，基本上也从GDB得不到什么有用的信息。当然了，也有可能你非常“幸运”， 一个bt就把哪儿越界给标出来了。但是，大多数的时候你不够幸运，通过log，通过简单的code walkt...
函数反汇编
云淡风轻
05-01 1839
内容如题。将函数反汇编后看看都有些什么东西。。。代码如下：void f() { int j; j = 0xfffffff; } void main() { int i; i = 0xeeee; f(); } 上面这个代码简单的不能再简单了吧。这里主要分析一下函数f（）的代码（main的很类似，注意是类似不是相同）void f() { 0042D680 push ebp 0042D681 mov ebp,esp 0042D683
函数调用反汇编
distancening的博客
10-28 528
windows堆栈：向低地址扩展。 堆栈平衡： windows堆栈就是一块普通的内存，主要用来存储一些临时数据和参数等，可以想象成一个公共的箱子，大家都会用，每个人用完都要使它和用之前一样。main函数中的调用：0100176E 6A 02 push 2 01001770 6A 01 push 1
反汇编系列（三）——函数篇
牧秦丶
10-18 2800
汇编中的函数调用我们需要着重讲述一下。一般我们用 call 发起调用，最后需要用 ret/retn/retf 来返回。我们逐个来看汇编中的函数调用。 1、相关指令 call  ADDRESS: 发起调用，根据 ADDRESS 的地址决定是发起段内调用还是段间调用。当是段内调用时，将 eip 入栈，然后 jmp 到 ADDRESS 处；当是段间调用时，将 cs、eip 依次入栈
函数调用过程（反汇编分析）
u010762216的专栏
06-05 1739
1： 将函数的实参压栈（值传递是将值压榨，引用传递是将其偏移量，即有效地址压栈---对应于内存的分段管理模式）   2.call 函数名 这一步具体的操作就是将当前执行指令的地址压栈，为了函数结束后能够还原现场，（如果是near call，就将函数调用时的指令偏移量压栈，然后再将被调用函数的入口 地址的偏移量送入指令指针寄存器ip，即实现了程序的转移；如果是远调用，压栈时多压入该指令下的
以反汇编角度浅析【函数栈帧的建立与销毁】
qq_62696027的博客
04-08 582
以反汇编的角度浅析函数栈帧的创建和销毁
反汇编中生成的函数
pl2597758的专栏
05-14 508
BOOL VirtualFree(   LPVOID lpAddress,   // 区域地址   SIZE_T dwSize,      // 区域大小   DWORD dwFreeType    // 类型 );说明该函数的功能是取消或者释放调用进程的虚地址空间页的一个区域 如果想释放一块调用VirtualAllocEx函数分配的内存(包括虚拟内存),就使用VirtualFreeEx函
macos AArch64汇编 调用_printf打印整数只能用栈传参数吗
最新发布
07-29
<think>首先，用户的问题是关于macOS AArch64汇编中调用printf打印整数时是否只能通过栈传递参数。用户引用了几个参考内容，但主要是关于系统架构和代码片段的。 关键点是：用户想知道在macOS AArch64汇编中，调用printf函数打印整数时，是否只能通过栈来传递参数，或者是否可以使用寄存器。 在AArch64架构中，参数传递通常遵循AAPCS64（AArch64 Procedure Call Standard）。根据这个标准，前8个整数或指针参数通过寄存器X0到X7传递，浮点参数通过V0到V7传递。如果参数超过这些寄存器，额外的参数通过栈传递。 然而，printf是一个可变参数函数（variadic function），这意味着它接受可变数量的参数。在AAPCS64中，对于可变参数函数，前8个参数仍然通过寄存器传递，但编译器可能会要求所有参数都通过栈传递，以确保正确性。这是因为可变参数函数需要访问所有参数，而使用寄存器可能使这变得复杂。 在macOS上，AArch64（即Apple Silicon）的实现可能有一些特定行为。我需要回忆或推断macOS的具体调用约定。 参考用户提供的引用： - 引用[1]是关于ARM、AArch64、AMD64、x86_64的区别，但可能不直接相关。 - 引用[2]显示用户检查了cc编译器的位置和版本，显示是Apple clang，目标arm64-apple-darwin。 - 引用[3]是一个C++代码片段，关于线程状态修改，似乎不相关。 所以，我应该专注于AArch64在macOS上的调用约定。 在macOS（Darwin）上的AArch64，调用约定基本遵循AAPCS64，但对于可变参数函数，如printf，它可能有所不同。在Apple的文档中，可变参数函数通常要求所有参数都通过栈传递，以简化实现。 实际上，在标准C库实现中，可变参数函数通常使用va_list机制，这可能需要参数在栈上以便va_start等宏工作。 在汇编中调用printf时，为了可移植性和正确性，最好将所有参数都通过栈传递，尤其是当使用可变参数时。 但用户问的是“是否只能通过栈传递”，意思是是否必须或只能这样做。 在AAPCS64中，对于可变参数函数，前8个参数仍然通过寄存器传递，但callee必须保存寄存器状态，以便va_list可以访问它们。然而，在实践中，许多系统（包括macOS）可能推荐或要求使用栈来传递参数，以避免问题。 我回想一下：在Linux AArch64上，printf通常通过寄存器传递参数。例如，在GCC中，汇编代码可以使用寄存器。 但在macOS上，由于是Clang编译器，行为可能类似。 为了验证，我可以考虑一个简单的C程序： ```c #include <stdio.h> int main() { int x = 42; printf("%d\n", x); return 0; } ``` 在macOS上编译为汇编，看看如何调用printf。 用户是问在汇编中，所以我可以建议用户查看编译器生成的汇编。 在汇编中，调用printf时，参数应该放在哪里。 在AArch64 macOS上，根据Apple的文档，调用约定是： - 整数参数：X0到X7 - 浮点参数：V0到V7 - 对于可变参数函数，前8个参数仍然通过寄存器，但callee必须处理va_list。 然而，在实现中，为了安全，汇编程序员可能被建议将所有参数压栈，但这不是必须的。 实际上，在AArch64 Linux上，我可以使用寄存器。例如： ``` mov x0, #1 // file descriptor (stdout) ldr x1, =message // message address mov x2, len // message length mov x8, #64 // syscall number for write svc #0 // call kernel ``` 但printf是C函数，不是系统调用。 对于printf： ``` adrp x0, format@PAGE add x0, x0, format@PAGEOFF mov x1, #42 // the integer to print bl _printf ``` 在AArch64，参数通过X0、X1等传递。 但在可变参数函数中，由于参数类型未知，所有参数可能需要8字节对齐或类似处理。 在macOS上，AArch64调用printf时，应该可以使用寄存器。 用户指定了“通过栈传递”，意思是只通过栈。 问题：用户问“是否只能通过栈传递”，即是否必须或只能通过栈。 答案是否定的。在AArch64上，包括macOS，参数通常通过寄存器传递，除非参数太多。 对于printf，第一个参数是格式字符串，通过X0传递，第二个参数（整数）通过X1传递，等等。 例如，打印一个整数： ``` .section __TEXT,__text,regular,pure_instructions .build_version macos, 14, 0 .globl _main .p2align 2 _main: stp x29, x30, [sp, #-16]! ; save fp and lr mov x29, sp ; set fp adrp x0, format@PAGE ; load format string address add x0, x0, format@PAGEOFF mov x1, #42 ; the integer to print bl _printf mov w0, #0 ; return 0 ldp x29, x30, [sp], #16 ; restore fp and lr ret .section __TEXT,__cstring,cstring_literals format: .asciz "%d\n" ``` 在这个例子中，整数42通过X1寄存器传递，而不是通过栈。 所以，在macOS AArch64汇编中，调用printf打印整数时，不需要通过栈传递参数；可以通过寄存器。 用户问“是否只能通过栈”，意思是是否只能通过栈，不能通过寄存器。 从上面的例子，可以看出可以通过寄存器。 但用户可能遇到了问题，或者有误解。 用户提到“via stack only”，所以可能在某些上下文看到过。 在引用中，没有直接相关的内容。 引用[2]显示用户有ARM64 Mac，引用[3]是线程代码，不相关。 所以，我应该回答：不，不一定只能通过栈传递；参数可以通过寄存器传递。 但为了完整性，解释调用约定。 在可变参数函数中，所有参数在寄存器中传递，但callee必须将它们保存到栈上以便va_list访问，但这不影响调用者；调用者仍然使用寄存器。 所以，在汇编中，调用者应该使用寄存器传递参数。 如果参数是float，在AArch64，浮点参数使用V寄存器。 对于整数，使用X寄存器。 在macOS上，行为应该与Linux类似，但使用下划线前缀，如_printf。 在汇编中，需要处理PIC（位置无关代码），使用adrp/add。 回答结构： 1. 澄清调用约定：在AArch64 macOS上，参数传递遵循AAPCS64，前8个整数参数通过X0-X7。 2. 对于printf，是可变参数，但调用者仍然通过寄存器传递。 3. 给出一个示例汇编代码。 4. 解释为什么用户可能认为只能通过栈：可能在某些教程或特定上下文看到，但标准方式是通过寄存器。 5. 如果用户想通过栈，也是可能的，但不必要。 用户问“是否只能”，所以重点是否定。 最终答案：不，在macOS AArch64汇编中调用printf打印整数时，不是只能通过栈传递参数；参数可以通过寄存器（如X1）传递。 生成相关问题： 根据系统指令，需要生成相关问题。 相关问题应该基于主题：汇编、调用约定、macOS AArch64编程。 例如： 1. 在AArch64汇编中，如何传递浮点数给printf？ 2. macOS AArch64调用约定与Linux AArch64有何不同？ 3. 如何在汇编中处理可变参数函数？ 4. 为什么在调用printf时需要对齐栈指针？ 确保回答用中文。 回答结构： - 先直接回答问题。 - 然后解释。 - 提供示例。 - 最后相关问题。</think>### 回答：macOS AArch64汇编中调用printf打印整数的参数传递方式 在macOS AArch64（即Apple Silicon）汇编中调用`printf`函数打印整数时，**参数不是只能通过栈传递**。根据AAPCS64（AArch64 Procedure Call Standard）和macOS（Darwin）的具体实现，参数传递通常优先使用寄存器（如`X0`-`X7`用于整数），只有当参数数量超过寄存器容量时，才需要栈传递。以下是详细解释： #### 1. **参数传递规则** - **标准调用约定**：在AArch64架构中，包括macOS平台，函数调用的前8个整数或指针参数通过寄存器`X0`-`X7`传递。浮点参数则通过`V0`-`V7`传递[^1]。 - **`printf`的特殊性**：`printf`是可变参数函数（variadic function），但调用约定未强制要求栈传递。寄存器传递完全可行，且是高效的标准做法。 - **栈传递的场景**：仅当参数超过8个时，额外参数才需通过栈传递。对于简单的整数打印（如单个整数），寄存器传递足够且更高效。 #### 2. **为什么不是只能通过栈传递？** - **寄存器传递的可行性**：在汇编中，您可以将格式字符串地址放入`X0`，整数值放入`X1`，然后直接调用`printf`。编译器生成的代码也遵循此方式（见下文示例）。 - **潜在误解来源**：某些教程或旧文档可能强调栈传递，原因包括： - 可变参数函数在内部使用`va_list`机制时，callee（如`printf`实现）可能需要将寄存器参数保存到栈上，但这不影响调用者的传递方式。 - 在x86_64等架构中，可变参数函数有时需栈对齐，但AArch64无此强制要求。 - **macOS的兼容性**：Apple的Clang编译器（如您的引用中`cc`版本所示）完全支持AAPCS64，寄存器传递在macOS AArch64上有效[^2]。 #### 3. **示例汇编代码** 以下是一个完整的macOS AArch64汇编程序，演示通过寄存器`X1`传递整数参数给`printf`： ```assembly .section __TEXT,__text,regular,pure_instructions .build_version macos, 14, 0 .globl _main ; 入口函数 .p2align 2 _main: stp x29, x30, [sp, #-16]! ; 保存帧指针和返回地址 mov x29, sp ; 设置帧指针 adrp x0, format@PAGE ; 格式字符串地址加载到X0（第一参数） add x0, x0, format@PAGEOFF mov x1, #42 ; 整数值42加载到X1（第二参数），通过寄存器传递 bl _printf ; 调用printf mov w0, #0 ; 返回值0 ldp x29, x30, [sp], #16 ; 恢复帧指针和返回地址 ret .section __TEXT,__cstring,cstring_literals format: .asciz "%d\n" ; 格式字符串 ``` - **关键点**： - 整数`42`通过`mov x1, #42`直接放入寄存器`X1`，未使用栈。 - 编译运行： ```bash as -o test.o test.s # 汇编 clang -o test test.o # 链接（需libc） ./test # 输出: 42 ``` #### 4. **通过栈传递的替代方案（不推荐但可行）** 虽然寄存器是标准方式，但您也可以强制通过栈传递参数（例如，出于学习目的）。以下是修改后的片段： ```assembly ; ...（省略相同的前导代码） sub sp, sp, #16 ; 分配栈空间 mov w8, #42 str w8, [sp, #8] ; 将整数存入栈（地址sp+8） adrp x0, format@PAGE add x0, x0, format@PAGEOFF ldr x1, [sp, #8] ; 从栈加载到X1（仍需寄存器，但值来自栈） bl _printf add sp, sp, #16 ; 释放栈空间 ``` - **注意**：即使参数值在栈上，调用时仍需加载到寄存器（如`ldr x1, [sp, #8]`）。直接使用寄存器更高效。 #### 5. **总结** - **是否只能通过栈？** 否，在macOS AArch64汇编中，调用`printf`打印整数时，参数**完全可以通过寄存器传递**（如`X1`），栈传递仅用于额外参数或特定优化场景。 - **最佳实践**：优先使用寄存器传递，以提升性能并减少代码复杂度。编译器生成的代码（如Clang）也默认采用此方式[^2]。 如果您在实现中遇到问题（如链接错误），请检查格式字符串对齐或确保正确链接libc（编译时加`-lc`）。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值