搞清楚C標準庫緩沖區溢出的問題

大家好，今天給大家分享一篇文章。在開發的過程中，如果遇到C標準庫緩沖區溢出的問題，那么內心肯定是崩潰的。

下面我們來看看有哪些辦法來避免這種情況吧。

C中大多數緩沖區溢出問題可以直接追溯到標準 C 庫。最有害的罪魁禍首是不進行自變量檢查的、有問題的字符串操作strcpy、strcat、sprintf?和?gets。

大部分程序員仍然會使用這些函數，因為從來沒有人教開發人員避免使用它們。某些人從各處獲得某個提示，但即使是優秀的開發人員也會被這弄糟，下面就來分析一下。

第一位公共的“敵人”是?gets()。建議不要使用?gets()。該函數從標準輸入讀入用戶輸入的一行文本，它在遇到?EOF字符或換行字符之前，不會停止讀入文本。也就是：gets()?根本不執行邊界檢查。

因此，使用?gets()總是有可能使任何緩沖區溢出。作為一個替代方法，可以使用?fgets()。它可以做與?gets()所做的同樣的事情，但它接受用來限制讀入字符數目的大小參數，因此，提供了一種防止緩沖區溢出的方法。例如，不要使用以下代碼：

void main()
{
    char buf[1024];
    gets(buf);
}

而使用以下代碼：

#define BUFSIZE 1024
void main()
{
    char buf[BUFSIZE];
    fgets(buf, BUFSIZE, stdin);
}

C語言中一些標準函數很有可能使你陷入困境。但不是所有函數使用都不好。通常，利用這些函數之一需要任意輸入傳遞給該函數。這個列表包括：

• strcpy()
• strcat()
• sprintf()
• scanf()
• sscanf()
• fscanf()
• vfscanf()
• vsprintf
• vscanf()
• vsscanf()
• streadd()
• strecpy()
• strtrns()

strcpy()函數將源字符串復制到緩沖區。沒有指定要復制字符的具體數目。復制字符的數目直接取決于源字符串中的數目。如果源字符串碰巧來自用戶輸入，且沒有專門限制其大小，則有可能會陷入大的麻煩中！

如果知道目的地緩沖區的大小，則可以添加明確的檢查：

if(strlen(src) >= dst_size)
{
  /* Do something appropriate, such as throw an error. */
}
else
{
  strcpy(dst, src);
}

完成同樣目的的更容易方式是使用 strncpy() 庫例程：

strncpy(dst, src, dst_size-1);
dst[dst_size-1] = '\0'; /* Always do this to be safe! */

如果 src 比 dst 大，則該函數不會拋出一個錯誤；當達到最大尺寸時，它只是停止復制字符。注意上面調用?strncpy()中的 -1。如果 src 比 dst 長，那給我們留有空間，將一個空字符放在 dst 數組的末尾。

當然，可能使用strcpy()不會帶來任何潛在的安全性問題，正如在以下示例中所見：

strcpy(buf, "Hello!");

即使這個操作造成 buf 的溢出，但它只是對幾個字符這樣而已。由于我們靜態地知道那些字符是什么，并且很明顯，由于沒有危害，所以這里無須擔心 ― 當然，除非可以用其它方式覆蓋字符串Hello所在的靜態存儲器。

確保strcpy()不會溢出的另一種方式是，在需要它時就分配空間，確保通過在源字符串上調用 strlen() 來分配足夠的空間。例如：

dst = (char *)malloc(strlen(src));
strcpy(dst, src);

strcat()函數非常類似于strcpy()，除了它可以將一個字符串合并到緩沖區末尾。它也有一個類似的、更安全的替代方法strncat()。如果可能，使用strncat()而不要使用strcat()。

函數sprintf()和vsprintf()是用來格式化文本和將其存入緩沖區的通用函數。它們可以用直接的方式模仿strcpy()行為。換句話說，使用sprintf()和vsprintf()與使用strcpy()一樣，都很容易對程序造成緩沖區溢出。例如，考慮以下代碼：

void main(int argc, char **argv)
{
    char usage[1024];
    sprintf(usage, "USAGE: %s -f flag [arg1]\n", argv[0]);
}

我們經常會看到類似上面的代碼。它看起來沒有什么危害。它創建一個知道如何調用該程序字符串。那樣，可以更改二進制的名稱，該程序的輸出將自動反映這個更改。

雖然如此, 該代碼有嚴重的問題。文件系統傾向于將任何文件的名稱限制于特定數目的字符。那么，您應該認為如果您的緩沖區足夠大，可以處理可能的最長名稱，您的程序會安全，對嗎？只要將1024改為對我們的操作系統適合的任何數目，就好了嗎？

但是，不是這樣的。通過編寫我們自己的小程序來推翻上面所說的，可能容易地推翻這個限制：

void main()
{
  execl("/path/to/above/program",
        <>,
        NULL);
}

函數execl()啟動第一個參數中命名的程序。第二個參數作為argv[0]傳遞給被調用的程序。我們可以使那個字符串要多長有多長！

那么如何解決sprintf()帶來的問題呢？遺憾的是，沒有完全可移植的方法。

某些體系結構提供了snprintf()方法，即允許程序員指定將多少字符從每個源復制到緩沖區中。例如，如果我們的系統上有snprintf，則可以修正一個示例為：

void main(int argc, char **argv)
{
    char usage[1024];
    char format_string = "USAGE: %s -f flag [arg1]\n";
    snprintf(usage, format_string, argv[0],1024-strlen(format_string) + 1);
}

注意，在第四個變量之前，snprintf()與sprintf()是一樣的。第四個變量指定了從第三個變量中應被復制到緩沖區的字符最大數目。

注意，1024 是錯誤的數目！我們必須確保要復制到緩沖區使用的字符串總長不超過緩沖區的大小。

所以，必須考慮一個空字符，加上所有格式字符串中的這些字符，再減去格式說明符 %s。

該數字結果為1000,但上面的代碼是更具有可維護性，因為如果格式字符串偶然發生變化，它不會出錯。

sprintf()的許多（但不是全部）版本帶有使用這兩個函數的更安全的方法。可以指定格式字符串本身每個自變量的精度。例如，另一種修正上面有問題的sprintf()的方法是：

void main(int argc, char **argv)
{
    char usage[1024];
    sprintf(usage, "USAGE: %.1000s -f flag [arg1]\n", argv[0]);
}

注意，百分號后與 s 前的 .1000。該語法表明，從相關變量（本例中是?argv[0]）復制的字符不超過 1000 個。

如果任一解決方案在您的程序必須運行的系統上行不通，則最佳的解決方案是將snprintf()的工作版本與您的代碼放置在一個包中。可以找到以sh歸檔格式的、自由使用的版本；請參閱 參考資料。

繼續，scanf系列的函數也設計得很差。在這種情況下，目的地緩沖區會發生溢出。考慮以下代碼：

void main(int argc, char **argv)
{
  char buf[256];
  sscanf(argv[0], "%s", &buf);
}

如果輸入的字大于 buf 的大小，則有溢出的情況。幸運的是，有一種簡便的方法可以解決這個問題。考慮以下代碼，它沒有安全性方面的薄弱環節：

void main(int argc, char **argv)
{
  char buf[256];
  sscanf(argv[0], "%255s", &buf);
}

百分號和 s 之間的 255 指定了實際存儲在變量 buf 中來自 argv[0] 的字符不會超過 255 個。其余匹配的字符將不會被復制。

接下來，我們討論streadd()和strecpy()。由于，不是每臺機器開始就有這些調用，那些有這些函數的程序員，在使用它們時，應該小心。這些函數可以將那些含有不可讀字符的字符串轉換成可打印的表示。例如，考慮以下程序：

#include 

void main(int argc, char **argv)
{
    char buf[20];
    streadd(buf, "\t\n", "");
    printf(%s\n", buf);
}

該程序打印：

\t\n

而不是打印所有空白。如果程序員沒有預料到需要多大的輸出緩沖區來處理輸入緩沖區（不發生緩沖區溢出），則streadd()?和?strecpy()函數可能有問題。

如果輸入緩沖區包含單一字符 ― 假設是?ASCII 001（control-A）―則它將打印成四個字符\001。這是字符串增長的最壞情況。如果沒有分配足夠的空間，以至于輸出緩沖區的大小總是輸入緩沖區大小的四倍，則可能發生緩沖區溢出。

另一個較少使用的函數是strtrns()，因為許多機器上沒有該函數。函數strtrns()取三個字符串和結果字符串應該放在其內的一個緩沖區，作為其自變量。第一個字符串必須復制到該緩沖區。

一個字符被從第一個字符串中復制到緩沖區，除非那個字符出現在第二個字符串中。如果出現的話，那么會替換掉第三個字符串中同一索引中的字符。這聽上去有點令人迷惑。讓我們看一下，將所有小寫字符轉換成大寫字符的示例：

#include 
void main(int argc, char **argv)
{
    char lower[] = "abcdefghijklmnopqrstuvwxyz";
    char upper[] = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
    char *buf;
    if(argc < 2) {
      printf("USAGE: %s arg\n", argv[0]);
      exit(0);
    }
    buf = (char *)malloc(strlen(argv[1]));
    strtrns(argv[1], lower, upper, buf);
    printf("%s\n", buf);
}

以上代碼實際上不包含緩沖區溢出。但如果我們使用了固定大小的靜態緩沖區，而不是用malloc()分配足夠空間來復制argv[1]，則可能會引起緩沖區溢出情況。

該函數取兩個自變量，第一個作為要規范化的字符串，第二個作為將存儲結果的緩沖區。當然，需要確保結果緩沖區足夠大，以處理任何大小的路徑。分配的MAXPATHLEN緩沖區應該足夠大。

然而，使用realpath()有另一個問題。如果傳遞給它的、要規范化的路徑大小大于MAXPATHLEN，則realpath()實現內部的靜態緩沖區會溢出！雖然實際上沒有訪問溢出的緩沖區，但無論如何它會傷害您的。

結果是，應該明確不使用realpath()，除非確保檢查您試圖規范化的路徑長度不超過MAXPATHLEN。

其它廣泛可用的調用也有類似的問題。經常使用的syslog()調用也有類似的問題，直到不久前，才注意到這個問題并修正了它。

大多數機器上已經糾正了這個問題，但您不應該依賴正確的行為。最好總是假定代碼正運行在可能最不友好的環境中，只是萬一在哪天它真的這樣。getopt()系列調用的各種實現，以及getpass()函數，都可能產生內部靜態緩沖區溢出問題。

如果你不得不使用這些函數，最佳解決方案是設置傳遞給這些函數的輸入長度的閾值。

自己模擬gets()的安全性問題以及所有問題是非常容易的。例如，下面這段代碼：

char buf[1024];
int i = 0;
char ch;
while((ch = getchar()) != '\n')
{
    if(ch == -1) break;
    buf[i++] = ch;
}

哎呀！可以用來讀入字符的任何函數都存在這個問題，包括getchar()、fgetc()、getc()?和?read()。

緩沖區溢出問題的準則是：總是確保做邊界檢查。

C 和 C++ 不能夠自動地做邊界檢查，這實在不好，但確實有很好的原因，來解釋不這樣做的理由。邊界檢查的代價是效率。一般來講，C 在大多數情況下注重效率。然而，獲得效率的代價是，C 程序員必須十分警覺，并且有極強的安全意識，才能防止他們的程序出現問題，而且即使這些，使代碼不出問題也不容易。

在現在，變量檢查不會嚴重影響程序的效率。大多數應用程序不會注意到這點差異。所以，應該總是進行邊界檢查。在將數據復制到您自己的緩沖區之前，檢查數據長度。同樣，檢查以確保不要將過大的數據傳遞給另一個庫，因為您也不能相信其他人的代碼！（回憶一下前面所討論的內部緩沖區溢出。）

與我們目前所討論的相比，往往很難犯這些錯誤，但您應該仍然意識到它們。當使用這類調用時，要仔細考慮。如果不仔細留意緩沖區大小，包括bcopy()、fgets()、memcpy()、snprintf()、strccpy()、strcadd()、strncpy()?和?vsnprintf()，許多函數會行為失常。

另一個要避免的系統調用是?getenv()。使用getenv()?的最大問題是您從來不能假定特殊環境變量是任何特定長度的。我們將在后續的專欄文章中討論環境變量帶來的種種問題。

到目前為止，我們已經給出了一大堆常見 C 函數，這些函數容易引起緩沖區溢出問題。當然，還有許多函數有相同的問題。

特別是，注意第三方 COTS 軟件。不要設想關于其他人軟件行為的任何事情。還要意識到我們沒有仔細檢查每個平臺上的每個常見庫（我們不想做那一工作），并且還可能存在其它有問題的調用。

即使我們檢查了每個常見庫的各個地方，如果我們試圖聲稱已經列出了將在任何時候遇到的所有問題，則您應該持非常非常懷疑的態度。我們只是想給您起一個頭。其余全靠您了。

可以使用一些靜態工具來查找潛在的緩沖區溢出問題。很糟糕的是，沒有一個工具對一般公眾是可用的！許多工具做得一點也不比自動化 grep 命令多，可以運行它以找到源代碼中每個有問題函數的實例。由于存在更好的技術，這仍然是高效的方式將幾萬行或幾十萬行的大程序縮減到只有數百個“潛在的問題”。（在以后的專欄文章中，將演示一個基于這種方法的、草草了事的掃描工具，并告訴您有關如何構建它的想法。）

較好的靜態工具利用以某些方式表示的數據流信息來斷定哪個變量會影響到其它哪個變量。用這種方法，可以丟棄來自基于 grep 的分析的某些“假肯定”。

David Wagner 在他的工作中已經實現了這樣的方法（在“Learning the basics of buffer overflows”中描述；請參閱 參考資料），在 Reliable Software Technologies 的研究人員也已實現。當前，數據流相關方法的問題是它當前引入了假否定（即，它沒有標志可能是真正問題的某些調用）。

第二類方法涉及動態分析的使用。動態工具通常把注意力放在代碼運行時的情況，查找潛在的問題。一種已在實驗室使用的方法是故障注入。這個想法是以這樣一種方式來檢測程序：對它進行實驗，運行“假設”游戲，看它會發生什么。有一種故障注入工具 ― FIST（請參閱 參考資料）已被用來查找可能的緩沖區溢出脆弱性。

最終，動態和靜態方法的某些組合將會給您的投資帶來回報。但在確定最佳組合方面，仍然有許多工作要做。

關注【一起學嵌入式】，回復“加群”進技術交流群。

覺得文章不錯，點擊“分享”、“贊”、“在看” 唄！