C and C++

LANG.TYPE.NCS : constでない文字列リテラル

要旨

文字列リテラルが const 修飾されていない char* 型のオブジェクトに代入されています。

プロパティ

クラス名 Non-const String Literal
日本語クラス名 constでない文字列リテラル
クラス分類 スタイル (style)
ニーモニック LANG.TYPE.NCS
カテゴリー
MisraC2023 MisraC2023:7.4 A string literal shall not be assigned to an object unless the object's type is "pointer to const-qualified char"
Misra2012 Misra2012:7.4 A string literal shall not be assigned to an object unless the object's type is "pointer to const-qualified char"
AUTOSARC++14 AUTOSARC++14:A1-1-1 All code shall conform to ISO/IEC 14882:2014 - Programming Language C++ and shall not use deprecated features.
  AUTOSARC++14:A2-13-4 String literals shall not be assigned to non-constant pointers.
MisraC++2023 MisraC++2023:4.1.2 Deprecated features should not be used
CWE CWE:1076 Insufficient Adherence to Expected Conventions
TS17961 TS17961:5.27-strmod 5.27. Modifying string literals
CERT-C CERT-C:STR05-C Use pointers to const when referring to string literals
JSF++ JSF++:151.1 A string literal shall not be modified.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっており、プロジェクトには非正規の C向けAST が必要になります。有効にするにはプロジェクト設定ファイル （configuration file） に以下の WARNING_FILTER ルールと RETAIN_UNNORMALIZED_C_AST 設定を追加してください。 
RETAIN_UNNORMALIZED_C_AST = Yes
WARNING_FILTER += allow class="Non-const String Literal"
注：非正規化された AST を継続して使用した場合、使用ディスク容量が増加し解析時間が長くなる可能性があります。

例 

char *strA = "January";  /* 'Non-const String Literal' warning issued here */ 

const char *strB = "February";                    /* const-qualified */ 
const volatile char *strC = "March";              /* const-qualified */ 

extern void f_ch ( char *c );
extern void f_constch ( const char *cc );

void f_caller ( void ){
    f_ch ( "April" );    /* 'Non-const String Literal' warning issued here */                  
    f_constch ( "May" );                          /* parameter is const-qualified */ 
}

char *f_ch_ret ( void ){
    return ( "June" );   /* 'Non-const String Literal' warning issued here */     
}

const char *f_constch_ret ( void ){
    return ( "July" );                            /* return type is const-qualified */ 
}

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

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