Double Free

當不止一次地在同一個記憶體位址將 free() 做為一個引數來呼叫，就會出現 double free (釋放相同的記憶體空間兩次) 錯誤。



以相同值呼叫 free() 兩次，會導致 Buffer overflow。當程式使用相同引數呼叫 free() 兩次，就會毀損程式中的記憶體管理資料結構。這樣的毀損會使程式當機，或者在某些情況下，還會導致之後兩次的 malloc() 呼叫回傳相同的指標。如果 malloc() 兩次回傳值都相同，且程式之後讓攻擊者控制整個已經寫入雙倍分配記憶體的資料，此程式就變得容易受到 Buffer overflow 攻擊。

範例 1：以下程式碼顯示關於 double free (釋放相同的記憶體空間兩次) 弱點的簡單範例。

	char* ptr = (char*)malloc (SIZE);
	...
	if (abrt) {
	  free(ptr);
	}
	...
	free(ptr);

Double free 弱點的產生有兩個常見的原因 (有時候這兩個原因會同時出現)：

- 錯誤條件以及其他異常情況。

- 對於程式中負責釋放記憶體的部分混淆了。

雖然某些 double free (釋放相同的記憶體空間兩次) 弱點的複雜程度不會比之前這個範例高出太多，但是其中大部分弱點分散在好幾百行的程式碼中，甚至是不同的檔案中。程式設計師似乎特別容易受到多次釋放全域變數的影響。