CERT.MATH.RANGE.CHECK

範囲エラーを発生させる可能性のあるライブラリ数学関数の呼び出し後にエラー条件をチェックする必要がある

CERT.MATH.RANGE.CHECK チェッカーは、標準ライブラリの数学関数によって範囲エラーがトリガーされる可能性があるが、エラー条件の検証または処理が失敗するという、潜在的な欠陥を識別します。

脆弱性とリスク

範囲エラーは、計算結果がオーバーフローまたはアンダーフローになった場合にのみ発生します。以下の表に、標準数学関数の倍精度バリアントの概要と共に、C 標準で指定されている範囲エラーをトリガーできるかどうかを示します。

このようなエラーは、通常は防ぐことができないため、確実に検出することが重要です。これには、errno、math_errhandling、浮動小数点例外など、複数のエラーインジケーターのチェックが含まれます。

これらの条件を調べることで、プログラムは範囲エラーを識別し、適切に対応することができます。

軽減と防止

準拠アプローチには、範囲エラーを引き起こす可能性のある標準ライブラリ数学関数を呼び出した後に発生する場合があるエラー条件を検証および処理することが含まれます。

脆弱コード例

1
2
3
4
void func(double x)
{
    double res = sinh(x);
}

sinh(x) 関数呼び出しの結果として範囲エラーが発生する可能性があるため Klocwork で CERT.MATH.RANGE.CHECK が報告されますが、エラー条件がチェックされません。

修正コード例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
void func1(double x) {
    double result;

#pragma STDC FENV_ACCESS ON

    if (math_errhandling & MATH_ERREXCEPT) {
        feclearexcept(FE_ALL_EXCEPT);
    }

    errno = 0;
    result = sinh(x);
    if ((math_errhandling & MATH_ERRNO) && errno != 0) {
        // Handle range error via errno
    }
    if ((math_errhandling & MATH_ERREXCEPT) &&
        fetestexcept(FE_INVALID | FE_DIVBYZERO |
            FE_OVERFLOW | FE_UNDERFLOW)) {
        // Handle range error via floating-point exceptions
    }

    // Use result...
    result = 89.67;
}

11 行目で sinh(x) の呼び出し後にエラー条件が適切にチェックされるので、この場合、CERT.MATH.RANGE.CHECK が報告される可能性はありません。

外部参考資料

• FLP32-C: 数学関数のドメインエラーと範囲エラーを防止または検出する