为什么我通过这种无条件跳转获得了SIGSEGV？

Question

我试图在Linux上运行此代码以查看会发生什么：

int fn(void) { return 0; }
int main(void) { __asm__("jmp fn;"); }

我看不到SIGSEGV终止执行的任何原因，但这就是我得到的。 我希望将流重定向到_start因为在main和fn内部不会对堆栈进行任何修改，并且激活记录内的返回地址仍应是“可用的”。

您能解释一下背后的原因吗？

Answer 1

return 0生成类似

mov $0x0, %eax
ret

ret 从堆栈中弹出返回地址，然后跳转到那里。 一个简单的jmp不会压入任何返回地址，因此ret将弹出堆栈中的所有内容。