JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

CodeSonar® 9.2p0 CONFIDENTIAL CodeSecure Inc
C and C++

LANG.STRUCT.SE.SIZEOF : 副作用を含むsizeof

要旨

sizeof 演算子のオペランドに副作用があるか、それが評価されたとき副作用がある可能性があります。

例外：sizeof(volLval) は、もし volLval が volatile 修飾された左辺値 （かつ可変長配列でない）の場合はこのクラスのワーニングを検出しません。

このチェックの目的は以下の通りです。

プロパティ

クラス名 Side Effects in sizeof
日本語クラス名 副作用を含むsizeof
クラス分類 スタイル (style)
ニーモニック LANG.STRUCT.SE.SIZEOF
カテゴリー
MisraC2025 MisraC2025:13.6 The operand of the sizeof operator shall not contain any expression which has potential side effects
MisraC2023 MisraC2023:13.6 The operand of the sizeof operator shall not contain any expression which has potential side effects
Misra2012 Misra2012:13.6 The operand of the sizeof operator shall not contain any expression which has potential side effects
Misra2004 Misra2004:12.3 The sizeof operator shall not be used on expressions that contain side effects
AUTOSARC++14 AUTOSARC++14:M5-3-4 Evaluation of the operand to the sizeof operator shall not contain side effects.
MisraC++2008 MisraC++2008:5-3-4 Evaluation of the operand to the sizeof operator shall not contain side effects.
CERT-C CERT-C:EXP44-C Do not rely on side effects in operands to sizeof, _Alignof, or _Generic
CERT-CPP CERT-CPP:EXP52-CPP Do not rely on side effects in unevaluated operands
JSF++ JSF++:166 The sizeof operator will not be used on expressions that contain side effects.
JPL JPL:19 Do not use expressions with side effects.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっており、プロジェクトには非正規の C向けAST が必要になります。有効にするにはプロジェクト設定ファイル （configuration file） に以下の WARNING_FILTER ルールと RETAIN_UNNORMALIZED_C_AST 設定を追加してください。 
RETAIN_UNNORMALIZED_C_AST = Yes
WARNING_FILTER += allow class="Side Effects in sizeof"
注：非正規化された AST を継続して使用した場合、使用ディスク容量が増加し解析時間が長くなる可能性があります。

例 

#include <stddef.h>
int f(int i);

int lang_struct_se_sizeof(int a, volatile long int *vp){
      size_t i;

      i = sizeof(a);                                    /* no side effects in operand */

      i += sizeof(++a);                 /* 'Side Effects in sizeof' warning issued here */

      i += sizeof(*vp++);                                /* *vp++ is a volatile-qualified lvalue */
          
      i += sizeof(int[a]);                               /* no side effects in operand */

      i += sizeof(int[++a]);            /* 'Side Effects in sizeof' warning issued here */

      i += sizeof(f(a));                /* 'Side Effects in sizeof' warning issued here
                                         *  - a function call is always considered to be a side effect */

      i += sizeof((1==1)? *vp : *vp++); /* 'Side Effects in sizeof' warning issued here
                                         * - even though the increment will not be executed */
      return i;
}

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。

 

To report problems with this documentation, please visit https://support.codesecure.com/.