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 行目で違反が報告されます。