EN JP CN

SV.FMT_STR.UNKWN_FORMAT.SCAN

SV.FMT_STR.UNKWN_FORMAT.SCAN

scan 関数呼び出しの書式指定子が不明です

scan 関数呼び出しの書式文字列は、多数の % で始まる書式指定子を受け付けます。最も広く使用されている指定子は、d、i、o、u、x、X、f、g、G、c、s、(スペース)、lf、および Lf です。SV.FMT_STR.UNKNOWN_FORMAT.SCAN チェッカーは、書式文字列に無効な書式指定子がある場合、コードにフラグを立てます。

脆弱性とリスク

変換指定の構文が不正確な場合は、動作が未定義となり、予期しない出力を生じる場合があります。

脆弱コード例

1   void foo(FILE* f, char* pc, int i, char c) {
2       fscanf(f, "%c %4s %k", &c, pc);      // unknown specifier 'k'
3       fscanf(f, "%o", &i);
4   }

Klocwork は、%k が無効な書式指定子のため、2 行目でエラーを報告します。

修正コード例

1   void foo(FILE* f, char* pc, int i, char c) {
2       fscanf(f, "%c %4s", &c, pc);
3       fscanf(f, "%o", &i);
4   }

修正されたコードでは、無効な書式指定子は削除されました。