JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.
If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.
If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.
| CodeSonar® 9.2p0 | CONFIDENTIAL | CodeSecure Inc |
ネットワーク関数が、信頼されない ネットワークホスト (名前又はアドレス)を引数として呼出されています。
次のような場合、ネットワークホスト引数は信頼されません:
| クラス名 | Untrusted Network Host | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 日本語クラス名 | 信頼されないネットワークホスト | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| クラス分類 | セキュリティ (security) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ニーモニック | IO.UT.HOST | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| カテゴリー |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 対応言語 | C および C++ で利用可能です。 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 有効/無効設定 | このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル
(configuration file)に以下の WARNING_FILTER ルールを追加してください。
WARNING_FILTER += allow class="Untrusted Network Host" |
CodeSonar ships with library models that allow it to functions such as libc getaddrinfo() that take a network host argument. If one of these functions is called with an untrusted value in the network host 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 Network Host warnings.
プロジェクトコンフィギュレーションファイルが、以下のルールを持つ場合 (これらは、NETWORK_HOST_BLACKLIST の初期設定の一部です)。
NETWORK_HOST_BLACKLIST += allow ^0:0:0:0:0:0:0:1$
NETWORK_HOST_BLACKLIST += .+\.[a-zA-Z]{2,6}($|\s+|\\|/|:)
この時、以下のコードにおいて、CodeSonar は、 Untrusted Network Host ワーニングを発行します。
#include <stdlib.h>
#include <netdb.h>
int ut_host(void){
int status;
struct addrinfo *res;
/* 0:0:0:0:0:0:0:1 is permitted by NETWORK_HOST_BLACKLIST rule */
status = getaddrinfo("0:0:0:0:0:0:0:1", "80", NULL, &res);
if (status != 0) {return status;}
freeaddrinfo(res);
/* 2001:DB8:1:2:3:4:5:6 is forbidden by NETWORK_HOST_BLACKLIST rule */
status = getaddrinfo("2001:DB8:1:2:3:4:5:6", "80", NULL, &res); /* 'Untrusted Network Host' warning issued here */
if (status != 0) {return status;}
freeaddrinfo(res);
/* ... */
return 0;
}
設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。
To report problems with this documentation, please visit https://support.codesecure.com/.