緩衝區溢位

緩衝區溢位（buffer overflow），在電腦學上是指標對程式設計缺陷，向程式輸入緩衝區寫入使之溢位的內容（通常是超過緩衝區能儲存的最巨量資料量的資料），從而破壞程式執行、趁著中斷之際並取得程式乃至系統的控制權。

「buffer overflow」的各地常用名稱
中國大陸	緩衝區溢出
臺灣	緩衝區溢位

緩衝區溢位原指當某個資料超過了處理程式回傳堆疊位址限制的範圍時，程式出現的異常操作。造成此現象的原因有：

• 存在缺陷的程式設計
• 尤其是C語言，不像其他一些高階語言會自動進行陣列或者指標的堆疊區塊邊界檢查，增加溢位風險。
• C語言中的C標準庫還具有一些非常危險的操作函式，使用不當也為溢位創造條件。
• 不當的堆積操作可能造成迷途指標，可以透過特殊的堆排佈(heap feng shui)取得緩衝區的堆區塊(heap chunk)，改變緩衝區邊界並創造堆溢位的條件。

因駭客在Unix的核心發現通過緩衝區溢位可以控制核心空間劫持控制流程獲得系統的最高等級權限，而成為攻擊手段之一。也有人發現相同的問題也會出現在Windows作業系統上，以致其成為駭客最為常用的攻擊手段，蠕蟲病毒利用作業系統高危漏洞進行的破壞與大規模傳播均是利用此技術。比較知名的蠕蟲病毒衝擊波蠕蟲，就基於Windows作業系統的緩衝區溢位漏洞。

例如一個用途是對SONY的掌上遊戲機PSP-3000的破解，通過特殊的溢位圖片，PSP可以執行非官方的程式與遊戲。同樣在諾基亞智慧型手機作業系統Symbian OS中發現漏洞使用者可以突破限制執行需要DRM權限或檔案系統權限等系統權限的應用程式。

緩衝區溢位攻擊從理論上來講可以用於攻擊任何有相關缺陷的程式，包括對防毒軟體、防火牆等安全產品的攻擊以及對銀行程式的攻擊。在嵌入式裝置系統上也可能被利用，例如PSP、智慧型手機等。

在部分情況下，當一般程式（除了驅動和作業系統核心）發生此類問題時，C++執行時庫通常會終止程式的執行。

作業系統層級的保護

目前OpenBSD、Linux、Windows、Mac OS等作業系統都具有buffer overflow protection（緩衝區溢位保護/記憶體位置重新定向）功能，Linux 提供了參數 CONFIG_CC_STACKPROTECTOR 來啟用 stack canary 的對核心進行保護，這類機制可以用於檢測堆疊緩衝區是否發溢位，其他的保護機制基於記憶體位址重新定向，如Linux在4.12版本預設啟用核心位址空間組態隨機載入（KASLR），在某種程度上可以保護作業系統，但仍還是有辦法讓溢位的代碼到正確的位置上。其作用原理是：記憶體跟處理程式在memory中受到保護。內對外的access memory對象位置會被核心（排程器）隨機定向，使其無法正確溢位。

參見

• 溢位
• 電腦蠕蟲
• 殭屍網路
• 程式錯誤
• 堆疊緩衝區溢位
• 堆溢位
• 衝擊波蠕蟲
• NX位，一種對抗緩衝區溢位攻擊的硬體層面技術

外部連結

• An Overview and Example of the Buffer-Overflow Exploit. pps. 16-21.
• CERT Secure Coding Standards （頁面存檔備份，存於網際網路檔案館）
• CERT Secure Coding Initiative （頁面存檔備份，存於網際網路檔案館）
• Secure Coding in C and C++ （頁面存檔備份，存於網際網路檔案館）
• SANS: inside the buffer overflow attack
• More Security Whitepapers about Buffer Overflows
• (PDF) Chapter 12: Writing Exploits III （頁面存檔備份，存於網際網路檔案館） from Sockets, Shellcode, Porting & Coding: Reverse Engineering Exploits and Tool Coding for Security Professionals by James C. Foster (ISBN 1-59749-005-9). Detailed explanation of how to use Metasploit to develop a buffer overflow exploit from scratch.