CWARN.IMPLICITINT

古い用法の implicit int

CWARN.IMPLICITINT チェッカーは、エンティティの型を指定しない場合に int が仮定される、古い用法の 'implicit int' 規則のインスタンスを検出します。この規則は C にのみ適用されます。

脆弱コード例

コピー
  #include <stdio.h>
       foo(char c) 
       {
         char x = c + 1;
         printf("Foo says: %c\n", c);
         return 1;
       }

Klocwork は、implicit int を示す 2 行目にフラグを立てます。

関連チェッカー