CERT.EXPR.VOLATILE.ADDR.PARAM

非 volatile ポインターを介して関数に volatile オブジェクトを渡さないでください。

脆弱性とリスク

非 volatile lvalue による volatile 修飾された型の参照は、定義されていない動作です。

たとえば、コンパイラは一度テストされた変数が変化できないと判断すると、最適化中に重要なコードを削除する場合があります。

このチェッカーは、volatile オブジェクトのアドレスを非 volatile ポインター (*) 関数の引数に代入するコードを探します。

volatile オブジェクトを指すポインターに "volatile" 修飾子を使用してください。

コピー


extern void someFunc(int *ip1);
    
  void func(void) {
     static volatile int i_v = 0;
     
     someFunc(&i_v);
  }

6 行目で違反が報告されます。