C and C++ Binaries

IO.UT.LIB : 信頼されないライブラリ名引数

要旨

ライブラリロード関数が、 信頼されないライブラリ名を引数として呼出されています。

次のような場合、ライブラリ名引数は信頼されません:

プロパティ

クラス名 Untrusted Library Load
日本語クラス名 信頼されないライブラリ名引数
クラス分類 セキュリティ (security)
ニーモニック IO.UT.LIB
カテゴリー
MisraC2023 MisraC2023:D.4.14 The validity of values received from external sources shall be checked
Misra2012 Misra2012:D.4.14 The validity of values received from external sources shall be checked
AUTOSARC++14 AUTOSARC++14:A27-0-1 Inputs from independent components shall be validated.
CWE CWE:114 Process Control
CERT-C CERT-C:STR02-C Sanitize data passed to complex subsystems
DISA-6r1 DISA-6r1:V-222604 The application must protect from command injection.
  DISA-6r1:V-222606 The application must validate all input.
  DISA-6r1:V-222609 The application must not be subject to input handling vulnerabilities.
DISA-5r3 DISA-5r3:V-70261 The application must protect from command injection.
  DISA-5r3:V-70265 The application must validate all input.
  DISA-5r3:V-70271 The application must not be subject to input handling vulnerabilities.
DISA-4r3 DISA-4r3:V-70261 The application must protect from command injection.
  DISA-4r3:V-70265 The application must validate all input.
  DISA-4r3:V-70271 The application must not be subject to input handling vulnerabilities.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += allow class="Untrusted Library Load"

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

CodeSonar ships with library models that allow it to functions such as libc dlopen() that take a library name argument. If one of these functions is called with an untrusted value in the library name parameter position, a warning will be issued.

If you have created a custom library model for some function f() in terms of one of these existing models, calls to f() will also be capable of triggering Untrusted Library Load warnings.

例

プロジェクトコンフィギュレーションファイルが、以下のルールを持つ場合。

WARNING_FILTER += allow class="Untrusted Library Load"
UNTRUSTED_LIB_BLACKLIST += ^.*hack.*$

この時、以下のコードにおいて、CodeSonar は、 Untrusted Library Load ワーニングを発行します。

#include <dlfcn.h>

void * io_ut_lib_bad(void){
  return dlopen("./myhackylibrary.so", RTLD_LAZY); /* 'Untrusted Library Load' warning issued here */
}

void * io_ut_lib_ok(void){
  return dlopen("./myproperlibrary.so", RTLD_LAZY);           /* ok: does not include blacklisted substring "hack" */
}

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

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