STRONG.TYPE.ASSIGN
別の強い型の割り当て
チェッカーの STRONG.TYPE ファミリーは、プログラマーが行う強い型指定 (型が定義された抽象型) が違反または無視され、基礎となる ANSI 型セマンティックスが優先される状況を検出します。
STRONG.TYPE.ASSIGN チェッカーは、強い型が一致しない割り当てを検出します。
脆弱性とリスク
ANSI 規格対応のコンパイラは、表面の (プログラマーが定義する) 型ではなく、基底型をチェックするだけであるため、このような指摘に関する警告を報告しません。この結果、論理エラーが発生する可能性があります。
脆弱コード例
コピー
typedef int Weight;
typedef int Speed;
int main() {
Weight w;
Speed s;
w = s;
return 0;
}Klocwork は、異なる強い型 Speed の変数からの強い型 Weight の変数への割り当てがあることを示す 7 行目にフラグを立てます。