Type Mismatch: Negative to Unsigned

この関数は符号なしの値を返すように宣言されていますが、場合によっては負の値を返そうとすることがあります。

符号付き数値と符号なし数値の間の暗黙的なキャストを信頼するのは危険です。キャストの結果、予期しない値が発生し、プログラムの別の場所での貧弱な想定が破られる可能性があるためです。

例 1: この例では、変数 amount は返されるときに負の値を保持する可能性があります。関数で符号なし int を返すよう宣言されているため、amount は暗黙で符号なしに変換されます。

unsigned int readdata () {
	int amount = 0;
    ...
	if (result == ERROR)
		amount = -1;
	...
	return amount;
}

Example 1 のエラー条件が満たされると、readdata() の戻り値は、32 ビット整数を使用するシステムで 4,294,967,295 になります。

符号付き値と符号なし値の変換は、さまざまなエラーにつながる可能性がありますが、セキュリティに関するものとしては、Integer Overflow と Buffer Overflow の脆弱性に関連するエラーが最も頻繁に発生します。