CWARN.CONSTCOND.DO
do ステートメントの条件は定数です
CWARN.CONSTCOND.DO チェッカーは、do ステートメントの条件が定数であるインスタンスを検出します。
脆弱性とリスク
ステートメントの条件が定数である場合、通常、プログラムの意図が達成されず、予期しない結果になります。
脆弱コード例
1 void foo() {
2 int x = 3;
3 do {
4 x++;
5 } while (x = 10);
6 }
この例では、Klocwork は、条件 (x=10) が定数である 5 行目にフラグを立てます。
修正コード例
1 void foo() {
2 int x = 3;
3 do {
4 x++;
5 } while (<10);
6 }
修正例では、条件は定数ではなくなりました。
