返回导向编程
| 「返回导向编程」的各地常用名稱 | |
|---|---|
| 中国大陸 | 面向返回程序设计、面向返回编程 |
| 臺灣 | 返回導向程式設計 |
| 港澳 | 返回導向程式設計、返回導向編程 |
 | 此條目需要擴充。 (2013年9月21日) |
 | 此條目没有列出任何参考或来源。 (2013年9月21日) |
面向返回编程（英語：Return-Oriented Programming，缩写：ROP）是计算机安全漏洞利用技术，该技术允许攻击者在安全防御的情况下执行代码，如不可执行的内存和代码签名。攻击者控制堆栈调用以劫持程序控制流并执行针对性的机器语言指令序列（称为Gadgets）。 每一段gadget通常结束于return指令，并位于共享库代码中的子程序。系列调用这些代码，攻击者可以在拥有更简单攻击防范的程序内执行任意操作。
背景
堆栈溢出攻击
ROP 是一种高级的堆栈溢出攻击。这类攻击往往利用操作堆栈调用时的程序漏洞，通常是缓冲区溢出。在缓冲区溢出中，在将数据存入内存前未能正确检查适当范围的函数会收到多于正常承受范围的数据，如果数据将写入栈，多余的数据会溢出为函数变量分配的空间并覆盖替换返回地址（return address）。在原本用以重定向控制流并返回给调用者的地址被覆盖替换后，控制流将改写到新分配的地址。
标准的缓冲区溢出攻击，攻击者只需要写出针对堆栈部分的代码（有效载荷） 。直到 1990 年代后期，主流操作系统没有为该类攻击作出任何防范，微软直到 2004 年才提供了缓冲区溢出保护。 操作系统最终使用数据执行保护技术来修补这个漏洞，该技术标记内存数据不可执行。 启用数据执行保护，机器将拒绝执行任何内存中 user 级别可写区域的代码。该技术的硬件支持不久用以加强该防范。