0

書籍の「C言語本格入門: 基礎知識からコンピュータの本質まで」を参考にして、strcpy の動きを見ています。

書籍では8行目のchar string_2[16] = "";char string_2[2] = "";に変更することで、以下のような実行結果になるとされていました。

書籍の実行結果:

$ ./strcpy_test
string_2 is = 
Segmentation fault (core dumped)

string_1 よりもサイズの小さい string_2 にコピーしているのでバグが発生することを期待しているのですが、このようにコピーできた結果が返ってきます。

実際の実行結果:

string_2 is = 
string_2 is = hello, world
sizeof(string_2) is 2

実行環境は Window 11 (wsl2-Ubuntu) と Arch Linux で、コンパイラはどちらもgccを使用しました。

ソースコード:

#include <stdio.h>
#include <string.h>

int
main(int argc, char *argv[])
{
    char string_1[16] = "hello, world";
    char string_2[2] = "";

    printf("string_2 is = %s\n", string_2);
    
    strcpy(string_2, string_1);

    printf("string_2 is = %s\n", string_2);
    printf("sizeof(string_2) is %ld\n",sizeof(string_2));
    
    return 0;
}
3
  • 1
    使っているOS・コンパイラ・関連するツール・開発環境などが何であるか、とその版数や、コンパイル・リンク時のオプション指定などの情報も追記してください。それからこちらのヘルプ記事を参考に内容を改善してみてください。良い質問をするには?, 再現可能な短いサンプルコードの書き方 ちなみにVisual Studio Community 2022では、そのままではコンパイル出来なかったり、コンパイル出来るように対応してデバッグモードでコンパイルしてデバッグ実行してみれば、問題が発生していることを示してくれますよ。他の環境やコンパイラ・ツールでもデバッグモードでコンパイルしてデバッグ実行してみれば良いのでは?
    – kunif
    Commented 2023年5月11日 16:33
  • FYI: ja.stackoverflow.com/questions/15206
    – 774RR
    Commented 2023年5月11日 23:23
  • 1
    @lnkn 「……になる可能性がある」や「……に筆者の環境ではなった」ではなく、本当に「以下のような実行結果になる」と書いてありますか?本当にそう書いてあるなら、筆者には基礎知識が無いので、参考にするのはやめた方が良いです。
    – alpha
    Commented 2023年5月12日 13:20

3 件の回答 3

4

言語仕様に基づいて説明します。 以下に記述する項目の番号は C99 での説明箇所ですが後の規格改定でも内容は変更されていません。

まず 7.21.1 の「文字列関数の規約」にはこうあります。

If an array is accessed beyond the end of an object, the behavior is undefined.
(配列へのアクセスがオブジェクトの終端を越える場合,その動作は,未定義とする。)

そして「未定義」という言葉の説明は 3.4.3 にあります。

behavior, upon use of a nonportable or erroneous program construct or of erroneous data, for which this International Standard imposes no requirements
(可搬性がない若しくは正しくないプログラム構成要素を使用したときの動作,又は正しくないデータを使用したときの動作であり,この規格が何ら要求を課さないもの。)

つまり未定義とされていることをした場合は「何が起きても良い」ことを意味します。 もちろんデタラメな動作を引き起こすプログラムを書きたいわけではないでしょうから事実上は「起こしてはならないこと」です。

偶然にも他の用途で使われていないメモリであればなんともなく動作するかもしれませんし、他の変数に割り当てられている領域ならその変数の内容がデタラメになるかもしれませんし、保護された領域なら不正なアクセスとして検出されるかもしれません。 あるいは可能ならコンパイル時に検出されることもあるでしょう。

1

書籍は「C言語本格入門: 基礎知識からコンピュータの本質まで」です。

サポートページ:C言語本格入門 〜基礎知識からコンピュータの本質まで:|技術評論社 からサンプルファイルをダウンロードして内容を確認してみると、コンパイルオプションには -g -Wall が指定されています。

sample/Chapter_09/Makefile.strcpy_test

PROGRAM =       strcpy_test
OBJS    =       strcpy_test.o
SRCS    =       $(OBJS:%.o=%.c)
CC      =       gcc
CFLAGS  =       -g -Wall
LDFLAGS =

ところで gcc の場合、この様なプログラムに対して buffer overflow を検出する機能があります。その機能は、最適化オプション(-O)を指定すると有効になります。具体的には、__strcpy_chk() ルーチンが付加されます。

char * __strcpy_chk ()
gcc.gnu.org Git - gcc.git/blob - gcc/testsuite/gcc.c-torture/execute/builtins/lib/chk.c

void __chk_fail ()
gcc.gnu.org Git - gcc.git/blob - libssp/ssp.c

$ lsb_release -ir
Distributor ID: Ubuntu
Release:    23.04

$ gcc --version
gcc (Ubuntu 12.2.0-17ubuntu1) 12.2.0

$ gcc -g -Wall -o strcpy_test strcpy_test.c
$ ./strcpy_test
string_2 is = 
string_2 is = hello, world
sizeof(string_2) is 2

# optimize
$ gcc -O -o strcpy_test strcpy_test.c
$ ./strcpy_test
string_2 is =
*** buffer overflow detected ***: terminated
Aborted (core dumped)

アセンブリコード上の違い

$ gcc -S -o strcpy_test.S strcpy_test.c
$ gcc -O -S -o strcpy_test_optimize.S strcpy_test.c
$ diff -u strcpy_test.S strcpy_test_optimize.S                                                                                                                            
--- strcpy_test.S       2023-05-12 21:15:01.671658547 +0900
+++ strcpy_test_optimize.S      2023-05-12 21:15:04.667704581 +0900
@@ -1,6 +1,6 @@
        .file   "strcpy_test.c"
        .text
           :

+       call    __strcpy_chk@PLT
           :
0

既にコメントが付いているように「エラーになることを期待している」が具体的にどのようなこと期待しているのか説明していただきたいです。

それとは別にstrcpyの各種説明を読むとわかることがあります。

特にVisual C++では

エラーを示す戻り値は予約されていません。

と説明されているように、strcpyがエラーを返すことはありません。


Visual C++ でコード分析を行うと

warning C6386: Buffer overrun while writing to 'string_2'.

とコードに問題があることが指摘されます。他のコンパイラーにも同様に解析する機能があり指摘されるはずです。

2
  • 期待していた動きはstring_2の配列が2つしかないのにも関わらず、string_1に入った"hello world"をコピーしていることから、string_2では「he」とか「h」といったエラーを期待していました
    – lnkn
    Commented 2023年5月12日 3:15
  • @lnkn それはエラーではありません。また質問に対するコメントにも答えてください。
    – sayuri
    Commented 2023年5月12日 6:31

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。