ISO/IEC TS 17961 [strmod]

文字列リテラルの変更

このページをすべて展開する

説明

ルール定義

文字列リテラルの変更。1

Polyspace 実装

このチェッカーは、定数制限付きオブジェクトに書き込んでいますをチェックします。

例

すべて展開する

問題

const で修飾されたオブジェクトに書き込んでいますは、次のいずれかが行われる場合に発生します。

  • const 修飾子付きのオブジェクトを代入先として使用する。

  • const 修飾子付きのオブジェクトを、引数を変更する関数に渡す。

たとえば、この欠陥は次のような状態で発生します。

  • const 修飾子付きのオブジェクトが、次に挙げるいずれかの関数で最初の引数として渡されている。

    • mkstemp

    • mkostemp

    • mkostemps

    • mkdtemp

  • const 修飾子付きのオブジェクトが、次に挙げるいずれかの関数の適用先引数として渡されている。

    • strcpy

    • strncpy

    • strcat

    • memset

  • const 修飾子付きのオブジェクトに対し、書き込み操作が実行されている。

リスク

リスクは、const 修飾子付きオブジェクトに対する変更内容によって異なります。

状態リスク
mkstemp、mkostemp、mkostemps、mkdtemp などに渡すこれらの関数では、最初の引数の最後の 6 文字が文字列に置き換えられる。したがって、変更可能な char 配列が最初の引数として必要とされる。
strcpy、strncpy、strcat、memset などに渡すこれらの関数では、適用先引数が変更される。したがって、変更可能な char 配列が適用先引数として必要とされる。
オブジェクトへの書き込みconst 修飾子には、そのオブジェクトの値は変更されないという取り決めが含意されている。const 修飾子付きのオブジェクトへの書き込みは、その取り決めに違反する。操作の結果は未定義となる。
修正方法

修正方法は、const 修飾子付きオブジェクトに対する変更内容によって異なります。

状態修正方法
mkstemp、mkostemp、mkostemps、mkdtemp などに渡す関数の最初の引数として、非 const オブジェクトを渡す。
strcpy、strncpy、strcat、memset などに渡す関数の適用先引数として、非 const オブジェクトを渡す。
オブジェクトへの書き込み書き込み操作を、非 const オブジェクトに対して実行する。

以下の修正例を参照してください。

問題を修正しない場合は、改めてレビューされないように結果またはコードにコメントを追加します。詳細は、以下を参照してください。

例 - const 修飾子付きオブジェクトへの書き込み
#include <string.h>

const char* buffer = "abcdeXXXXXXX";

void func(char* string) {
    char *ptr = (char*)strchr(buffer,'X');
    if(ptr)
        strcpy(ptr,string);
}

この例では、buffer が const で修飾されているため、strchr(buffer,'X') は const で修飾された char* ポインターを返します。この char* ポインターが strcpy の適用先引数として使用されると、エラー [定数制限付きオブジェクトに書き込んでいます] が発生します。

修正 — const 修飾子付きのオブジェクトを非 const オブジェクトにコピー

1 つの修正方法として、定数文字列を非 const オブジェクトに代入し、その非 const オブジェクトを strchr の適用先引数として使用します。

#include <string.h>

char buffer[] = "abcdeXXXXXXX";

void func(char* string) { 
    char *ptr = (char*)strchr(buffer,'X');
    if(ptr)
        strcpy(ptr,string);
}

チェック情報

決定可能性:決定不可能

バージョン履歴

R2019a で導入

参考

トピック

1 Extracts from the standard "ISO/IEC TS 17961 Technical Specification - 2013-11-15" are reproduced with the agreement of AFNOR. Only the original and complete text of the standard, as published by AFNOR Editions - accessible via the website www.boutique.afnor.org - has normative value.