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 行目にフラグを立てます。