CWARN.BOOLOP.INC

ブール値の増分を試行します

CWARN.BOOLOP.INC チェッカーは、ブール値の増分または減分の試行を検出します。

脆弱性とリスク

ブール値 true/false の増分または減分の演算の使用は無意味です。

脆弱コード例

コピー

1
2
3
4
5
6
7
8
9
10
  #include <iostream>
  using namespace std;
  void foo() {
    bool b = true;
    b++;
  }
  int main() { 
    foo();
    return 0;
 }

Klocwork は、5 行目のブール変数 'b' の増分の試行にフラグを立てます。