CXX.ERRNO.NOT_CHECKED
ライブラリ関数を呼び出した後に、errno の条件チェックが欠落している
CXX.ERRNO.NOT_CHECKED チェッカーは、値を設定するライブラリ関数を呼び出した後に errno の値がチェックされないケースにフラグを立てます。
脆弱性とリスク
ライブラリ関数の以前の呼び出しから、errno の値が設定される可能性があります。errno 値を設定するライブラリ関数を呼び出した後に errno の値をチェックしないと、コードは間違って実行される可能性があります。
軽減と防止
値を設定するライブラリ関数を呼び出した後は、errno の値を常にチェックします。
脆弱コード例
コピー
#include <errno.h>
#include <limits.h>
#include <stdlib.h>
void func(const char *c_str) {
unsigned long number;
char *endptr;
errno=0;
number = strtoul(c_str, &endptr, 0);
}この準拠していない例では、コードは strtoul() を呼び出した後に、errno の値をチェックすることに失敗します。エラーが発生した場合、strtoul() は有効な値 (ULONG_MAX) を返すため、strtoul() が正常に実行されたかどうかを判断する唯一の手段は errno になります。
修正コード例
コピー
#include <errno.h>
#include <limits.h>
#include <stdlib.h>
void func(const char *c_str) {
unsigned long number;
char *endptr;
errno = 0;
number = strtoul(c_str, &endptr, 0);
if (errno == ERANGE) {
/* Handle error */
} else {
/* Computation succeeded */
}
}この修正された例では、コードは strtoul() を呼び出した後に errno の値をチェックします。
拡張機能
このチェッカーは、Klocwork ナレッジベース (KB) を利用して拡張できます。詳細については、C/C++ 解析のチューニングを参照してください。