代碼注入漏洞的關鍵方面是：
該程序將數據視為代碼并對其進行編譯
在大多數情況下，程序故意像執行代碼一樣執行數據是不尋常的，但將數據用于構造有意執行的對象卻很常見。
1、格式化字符串漏洞
大多數C程序員熟悉printf函數。大體上，這些格式字符串后跟一個其他參數的列表，并且該格式字符串被解釋為一組指令，用于將剩余的參數呈現為字符串。
大多數用戶知道如何編寫最常用的格式說明符：例如字符串，整數和浮點數——％s，％d，％f，但是不知道還有其他格式字符串指令可以被濫用。
以下是printf函數通常被濫用的一種方式。有些程序員習慣編譯字符串如下：
printf（str）;
雖然這將在大部分時間內都具有所期望的效果，但它是錯誤的，因為printf的第一個參數將被編譯為格式字符串。所以，如果str包含任何格式說明符，它們就將被這樣編譯。
例如，如果str包含'％d'，它會將printf參數列表中的下一個值解釋為整數，并將其轉換為字符串。在這種情況下，沒有更多的參數，但機器在執行的時候并不了解這一點; 它所知道的全部是，函數的一些參數已經被推送到堆棧。
因為在C運行時沒有機制可以告訴機器已經沒有更多的參數了，所以printf將簡單地選擇恰好在堆棧中的下一個項目，將其編譯為一個整數并打印出來。
很容易看出，這可以用來從棧中打印任意數量的信息。例如，如果str包含'％d％d％d％d'，則將會打印堆棧上接下來四個字的值。
雖然這是一個代碼注入安全漏洞，但由于它唯一可能造成的傷害就是可以被用來獲取棧中的數據，所以它還是可以被原諒的。
可如果位于那里的是敏感數據（如密碼或證書密鑰），情況就會變得很糟；而且由于攻擊者還可以在那里寫入任意內存地址，因此情況還可能會變得更糟。
使這種糟糕情況的發生成為可能的是格式說明符'％n'。通常，相應的參數是指向整數的指針。當格式字符串為了建立結果字符串而被編譯時，一遇到'％n'，到目前為止寫入的字節數就被放置到由該指針所指示的存儲單元中了。
例如，在下面的printf完成之后，i中的值將為4：
應該遵循的兩個黃金規則以防止代碼注入漏洞：
1.如果你可以避免的話，盡量不要將數據像代碼一樣編譯；
2.如果你無法避免的話，請確保在使用數據之前驗證數據是否良好。
為避免格式字符串的漏洞，這些規則中的第一個是最合適的; 你可以編寫代碼如下：
測試這些類型的漏洞可能很困難; 即使能實現非常高的代碼覆蓋率的測試也不能觸發這些問題。
測試安全漏洞時，測試人員必須采取一個攻擊者的心態。
諸如模糊測試的技術可能是有用的，但是該技術通常太隨機，無法高度可靠。
來源：電子伊甸園
文章來源于網絡，版權歸原作者所有，如有侵權，請聯系刪除。
覺得文章不錯，點擊“分享”、“贊”、“在看” 唄！
