Out-of-Bounds Read

程式從分配的記憶體邊界之外讀取資料。

Buffer overflow 可能是軟體安全性弱點最為人知的一種形式。大部分軟體開發人員都知道什麼是 Buffer overflow 弱點，但傳統和新開發的應用程式仍常遭到 Buffer overflow 攻擊。此問題的部份原因是，發生 Buffer overflow 的方式很多，部分原因是人們常常用不恰當的方式來防範 Buffer overflow。

在典型的 Buffer overflow 攻擊中，攻擊者會將資料傳送到程式，而程式會將其儲存在一個較小的堆疊緩衝區內。結果就是呼叫這個堆疊的資訊超出了它的邊界，其中包括函數的回傳指標。該資料設定了回傳指標的值，當函數回傳時，會將控制傳送到攻擊者資料所包含的惡意程式碼。

這類型的堆疊 Buffer overflow 在一些平台和開發社群中仍然很常見，但卻還有多種其他類型的 Buffer overflow，包括堆積 Buffer overflow 和差一錯誤 (off-by-one-error) 等等。有許多優秀的著作提供了關於堆疊 Buffer overflow 如何攻擊的具體資訊，包括 Building Secure Software[1]、Writing Secure Code[2]和 The Shellcoder's Handbook[3]。

在程式碼層級，會發生 Buffer overflow 弱點通常是因為程式設計師的假設被推翻。C 和 C++ 中的很多記憶體處理函數都沒有執行邊界值檢查，並會輕易地超出操作中緩衝區被配置的邊界值。甚至如 strncpy() 的範圍函數，使用不正確時也會引起弱點。大多數 Buffer overflow 弱點的根本原因，都是緩衝區的處理，加上對資料的大小或組成假設錯誤。

在此案例中，程式會從分配記憶體邊界以外進行讀取，此舉會允許敏感資訊的存取，導致運作方式異常或程式當機。

範例 1：在以下程式碼中，memcpy() 呼叫會從 cArray 的分配邊界之外讀取記憶體，其包含了 char 類型的 MAX 元素，而 iArray 則包含了 int 類型的 MAX 元素。

void MemFuncs() {
   char array1[MAX];
   int  array2[MAX];
   memcpy(array2, array1, sizeof(array2));
}

範例 2： 以下的簡短程式，在固定的位元長度內，呼叫 memchr()，使用不被信賴的指令行引數做為搜尋緩衝區，進行分析。

int main(int argc, char** argv) {
  char* ret = memchr(argv[0], 'x', MAX_PATH);
  printf("%s\n", ret);
}

程式可藉由搜尋固定位元長度以內的 argv[0] 資料，列印 argv[0] 的子字串。但是，(固定) 長度的位元可能會比配置給 argv[0] 的資料長，執行搜尋時，可能會超出配置給 argv[0] 的資料範圍。在 argv[0] 找不到 x 時，正是如上所述的情況。