退出程序 x86

Question

我正在学习 x86 汇编。我试图了解“退出程序”如何在 x86 上工作。我们有一个代码：

push ebp
mov ebp,esp
//Some stuff here
mov esp, ebp
pop ebp
ret

当处理器执行“ret”指令时：

EIP 将有值，从堆栈中弹出，即 0。 因此处理器将转到 0 地址并尝试执行不包含程序代码/可执行代码的指令。 那么，处理器到底发生了什么？是否有条件检查，例如if EIP = 0 -> exit program?Or if ESP out of bounds -> exit program?`处理器如何理解这条RET指令是程序的结束？

Answer 1

main() 从正常的 C 运行时初始化函数中调用。用任何语言（包括 asm）编写 main 与编写任何其他函数没有什么不同。

从_start 开始执行。如果你自己写_start，它就没有什么可返回的了，所以你需要进行_exit(2)或exit_group(2)系统调用。

（否则，当执行超出代码末尾时会出现段错误，或者如果您尝试ret，它将从堆栈中弹出一个值到程序计数器（EIP）中，并且可能会在代码获取时出现段错误可能是无效的地址。）

当您使用 C 编译器编译 + 链接时，它会链接 CRT（C 运行时）启动代码，该代码提供一个 _start，它初始化 libc 然后调用 main。 main 返回后，调用它的 CRT 代码运行 atexit 函数，然后将 main 的返回值传递给退出系统调用。

_start 不是函数，它是进程入口点。例如，在 Linux 下，在进入 _start 时，ESP 指向 argc，而不是返回地址。 （请参阅 i386 System V ABI。）

---

这个问题是从不同的角度提出的，但my answer 对另一个最近的问题更详细。

与往常一样，使用调试器单步执行是查看正在发生的事情并测试您的理解的好方法。

Answer 2

进程被操作系统终止。如果您看到返回指令，则在您的函数之前有一个（“隐藏”）函数，然后返回执行。

在 Linux（32 位）环境中终止进程的一种方法是调用特定的系统调用：sys_exit

mov     eax, 0 // interrupt code
mov     ebx, 0 // argument, in this case: return value
int     0x80

这可能是你的函数之前的函数。以上代码将命令返回给操作系统，然后操作系统退出您的进程。