PRECISION.LOSS
精度の損失
PRECISION.LOSS チェッカーは、もっと小さいデータ型に対する暗黙的なキャストによってデータ精度の損失が起こる可能性のあるインスタンスを検出します。
脆弱性とリスク
詳細な環境によっては、インスタンスのこの状況は、バッファオーバーフローになる場合、悪用される可能性があります。
脆弱コード例
コピー
void foo(int i) {
char c;
c = i;
}
Klocwork は、もっと小さいデータ型に対する暗黙的なキャスト char 'c' がある 3 行目にフラグを立てます。
関連チェッカー
外部参考資料
セキュリティトレーニング
Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。