DIAG.UNEX.CALL : 解析されない呼び出し

要旨

CodeSonarの解析では、関数内のいくつかのコードは解析されません；解析されないもののなかで最も重要な命令文の形式は呼び出しとなります。

これと、その他の解析されないコードのワーニングクラスは一般的に全てのコードの解析を許可する SEARCH_BOUND 設定パラメータの値が十分に高くないために起こります。

これらのワーニングを減らすためにこの値を高くすると、解析時間が長くなります。

実際のプログラムの多くでは、解析されないコードの全てのワーニングを出力しないように search bound を高くすると、実用的ではないほど解析時間が長くなります。

これらのクラスは、パスカバレッジよりもコードカバレッジに関係しています。いくつかの場合では、プロシージャを介した可能性のあるパスの厳密なサブセットのプロシージャ内の全てのコードを網羅することは可能です。

プロパティ

WARNING_FILTER += allow class="Unexercised Call"

例

簡潔な説明のために、設定値を減らすために、設定ファイルで以下の設定を加えたとします。

SEARCH_BOUND=3

SEARCH_BOUND=3の場合、CodeSonarはunex_call()のプロシージャの3つのパスのみ探索します。

しかしながら、プロシージャには4つのパスがあり、3つのパスのみが探索された場合、switch caseの一つは解析されません。

各々の switch caseで最も重要な命令文の形式は呼び出しなので、解析されない呼び出しワーニングはそれらの文のいずれか一つで発生します。

ソースコードの中でどの一つなのかを正確に予想することはできません。それはCodeSonarのビルドと解析のいくつかの現象によります。

void f(void);
int g(void);

void unex_call(int j)
{
    int i=g();
    switch( j )
    {
    case __LINE__: f(); j++; if (i) i=4; return; break;  /* 'Unexercised Call' warning issued either here... */
    case __LINE__: f(); j++; if (i) i=4; return; break;  /* ...or here... */
    case __LINE__: f(); j++; if (i) i=4; return; break;  /* ...or here... */
    default: f(); j++; if (i)  i=4; return; break;       /* ...or here. */ 
    }
}

注釈

以下のテーブルリストは重要度に応じた解析されないワーニングクラスで、最も重要な（”解析されない呼び出し”）が最初に来ています。実行されない呼び出しブロックに関連したワーニングクラスはブロック内の命令文で最も重要なクラスに適用されます。

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

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

• REPORT_INTER_PARTIAL_UQ_WARNINGS
• REPORT_SIMILAR_WARNINGS
• SEARCH_BOUND
• TIME_LIMIT_INTRA_EXPLORE
• WARNING_FILTER