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.CAST.ARRAY.TEMP : Array to Pointer Conversion on Temporary Object

要旨

An array member of a temporary struct or union is cast or coerced to a pointer.

Modifying an array element in this situation will result in undefined behavior.

プロパティ

クラス名 Array to Pointer Conversion on Temporary Object
日本語クラス名 Array to Pointer Conversion on Temporary Object
クラス分類 信頼性 (reliability)
ニーモニック LANG.CAST.ARRAY.TEMP
カテゴリー
MisraC2025 MisraC2025:18.9 An object with temporary lifetime shall not undergo array-to-pointer conversion
MisraC2023 MisraC2023:18.9 An object with temporary lifetime shall not undergo array-to-pointer conversion
Misra2012 Misra2012:18.9 An object with temporary lifetime shall not undergo array-to-pointer conversion
AUTOSARC++14 AUTOSARC++14:A18-1-1 C-style arrays shall not be used.
CERT-C CERT-C:ARR00-C Understand how arrays work
  CERT-C:EXP35-C Do not modify objects with temporary lifetime
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += allow class="Array to Pointer Conversion on Temporary Object"

例 

struct S1 {
    int arr[10];
};

struct S1 svar;
struct S1 getS1(void);

void lang_cast_array_temp( struct S1 sparam ){
    int *p;

    p = svar.arr;                     /* ok: svar is not temporary */
    p[0]++;                           /* this operation has defined behavior */

    p = sparam.arr;                     /* ok: sparam is not temporary */

    p = getS1().arr;         /* 'Array to Pointer Conversion on Temporary Object' warning issued here
                              * - getS1() returns a temporary struct, whose arr field is then coerced to int*
                              */
    p[0]++;                  /* this operation has undefined behavior */

    p = (int*)getS1().arr;   /* 'Array to Pointer Conversion on Temporary Object' warning issued here
                              * - as for previous warning, but casting to int* instead of coercing
                              */
}

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

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

 

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