C and C++ Binaries

BADFUNC.BO.STRLEN : strlenの使用

要旨

バッファオーバーランに対して脆弱な strlen() もしくは同様の関数を使用しています。

プロパティ

クラス名 Use of strlen
日本語クラス名 strlenの使用
クラス分類 セキュリティ (security)
ニーモニック BADFUNC.BO.STRLEN
カテゴリー
MisraC2023 MisraC2023:21.17 Use of the string handling functions from <string.h> shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters
Misra2012 Misra2012:21.17 Use of the string handling functions from <string.h> shall not result in accesses beyond the bounds of the objects referenced by their pointer parameters
AUTOSARC++14 AUTOSARC++14:A5-2-5 An array or container shall not be accessed beyond its range.
  AUTOSARC++14:M18-0-5 The unbounded functions of library <cstring> shall not be used.
MisraC++2008 MisraC++2008:18-0-5 The unbounded functions of library <cstring> shall not be used.
MisraC++2023 MisraC++2023:21.2.2 The string handling functions from <cstring>, <cstdlib>, <cwchar> and <cinttypes> shall not be used
CWE CWE:120 Buffer Copy without Checking Size of Input ('Classic Buffer Overflow')
  CWE:676 Use of Potentially Dangerous Function
CERT-C CERT-C:STR07-C Use the bounds-checking interfaces for string manipulation
CERT-CPP CERT-CPP:CTR52-CPP Guarantee that library functions do not overflow
DISA-6r1 DISA-6r1:V-222612 The application must not be vulnerable to overflow attacks.
DISA-5r3 DISA-5r3:V-70277 The application must not be vulnerable to overflow attacks.
DISA-4r3 DISA-4r3:V-70277 The application must not be vulnerable to overflow attacks.
DISA-3r10 DISA-3r10:V-6165 The designer will ensure the application does not have buffer overflows, use functions known to be vulnerable to buffer overflows, and does not use signed values for memory allocation where permitted by the programming language.
BSI BSI:STRLEN Use of strlen
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += allow class="Use of strlen"
全ての BSI 固有の BADFUNC クラスを含む BSI 関連クラスを有効にするには、 bsi 設定プリセットを使用してください。

ワーニングを引き起こす関数

解決法

ユーザーの供給した文字列や静的に割り当てられた文字列のバッファの最後に NULL が存在することを、これらの関数が呼ばれる前に確認してください。
問題がないことを確認できた場合は、ワーニングの state を Suppressed （抑制）に変更して除外することができます。

もしくはこれらの関数の代わりに strlen_s(), StringCchLength() を使用してください。

関連のある設定ファイルパラメータ

このクラスは一般テンプレート設定ファイルで BAD_FUNCTION_* ルールセットによって実装されています。

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。