標準ライブラリ文字列ルーチンの無効な使用

無効な引数での標準ライブラリ文字列関数の呼び出し

説明

この欠陥は、文字列ライブラリ関数が無効な引数で呼び出された場合に発生します。

リスク

リスクは無効な引数のタイプによって異なります。たとえば、コピー先引数より大きいコピー元引数を指定して関数 strcpy を使用すると、バッファーオーバーフローが発生する可能性があります。

修正方法

修正方法は欠陥に関連する標準ライブラリ関数に依存します。場合によっては、関数呼び出しの前に関数の引数を制約することができます。たとえば、次の関数 strcpy を考えます。

char * strcpy(char * destination, const char* source)

これが、使用可能なバッファーに比べて大きすぎるバイト数をコピー先引数にコピーしようとする場合、strcpy を呼び出す前にコピー元引数を制約します。場合によっては、代替となる関数を使用してエラーを回避できます。たとえば、strcpy の代わりに strncpy を使用するとコピーされるバイト数を制御できます。

以下の修正例を参照してください。

問題を修正しない場合は、改めてレビューされないように結果またはコードにコメントを追加します。詳細は、以下を参照してください。

Polyspace ユーザーインターフェイスでのバグ修正または正当化による結果への対処 (Polyspace ユーザーインターフェイスで結果をレビューする場合)。
Polyspace Access でのバグ修正または正当化による結果への対処 (Polyspace Access) (Web ブラウザーで結果をレビューする場合)。
コードへの注釈付けと既知の結果または許容可能な結果の非表示 (IDE で結果をレビューする場合)

例

すべて展開する

標準ライブラリ文字列ルーチンの無効な使用によるエラー

 #include <string.h>
 #include <stdio.h>
 
 char* Copy_String(void)
 {
  char *res;
  char gbuffer[5],text[20]="ABCDEFGHIJKL";

  res=strcpy(gbuffer,text); 
  /* Error: Size of text is less than gbuffer */

  return(res);
 }

文字列 text はサイズが gbuffer より大きくなっています。したがって、関数 strcpy は text を gbuffer にコピーできません。

修正 — 有効な引数を使用

1 つの修正方法として、コピー先の文字列 gbuffer をソース文字列 text 以上のサイズで宣言するとします。

#include <string.h>
 #include <stdio.h>
 
 char* Copy_String(void)
 {
  char *res;
  /*Fix: gbuffer has equal or larger size than text */
  char gbuffer[20],text[20]="ABCDEFGHIJKL";

  res=strcpy(gbuffer,text);

  return(res);
 }

結果情報

グループ: 静的メモリ

言語: C | C++

既定値: オン

コマンドライン構文: STR_STD_LIB

影響度: High

バージョン履歴

R2013b で導入

すべて展開する

R2021b: C++ `std::string` メソッドの無効な使用には、チェッカーがフラグを設定する

チェッカーが、C++ std::string メソッドをチェックするようになりました。

const char* 引数 str を取るメソッドについては、str が NULL であるか、無効な文字列を指している場合、チェックで欠陥が報告されます。
次に例を示します。
```
   std::string str = "";
   const char txt[3] = {'n','o','p'};
   str.append(txt);  //txt is not a valid string
```
const char* 引数 str および size_t 引数 n を取るメソッドについては、str が NULL であるか、n 文字を超えるバッファーを指している場合、チェックで欠陥が報告されます。
次に例を示します。
```
    std::string str = "";
    const char txt[3] = {'n','o','p'}; 
    str.append(txt,4); //txt points to a 3-character buffer
```

参考

欠陥の検出 (-checkers) | 標準ライブラリメモリルーチンの無効な使用