staticを付けないとコアダンプ

Question

ネット上で見つけたコードに変更を加えて実行するとコアダンプになるので、原因を教えてください。
プログラムはファイル内の文字列の変更です。
コードは以下になります。

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

int main(void)
{
FILE *fp,*fo;
int a;
char *search = "FLG=0"; //←検索前の文字列
char *string = "FLG=1"; //←置換後の文字列
char *buff,*seek,*find;
char one[256];
fp = fopen("test.txt","r");
fo = fopen("test1.txt","w");

while ( fgets(buff,sizeof(buff),fp) != NULL ){
 for ( seek = buff ; (find = strstr(seek,search)) != NULL ; seek = find ){
	a=(find-seek);
  fprintf( fo, "%.*s",a ,seek );
  fputs( string, fo );
  find += strlen( search );
 }
 if ( find == NULL ){
  fputs( seek, fo );
 }
}
fclose(fp);
fclose(fo);
return 0;
}

これを実行すると、「 Segmentation fault (コアダンプ) 」
と表示されて実行できません。

10行目の

char one[256];

を

static char one[256];

とすると実行できます。

どうして失敗したり成功したりするのか教えてください。

パソコンは ubuntu コンパイラは gccです。

Answer 1

こんにちは。

oneをstaticにするかどうかで変化するのはたまたまです。

fgets(buff,sizeof(buff),fp)

でbuffへ読み込んでいるつもりと思いますが、不適切です。
buffはchar型へのポインタですが、初期化していませんので、あらぬメモリを指しています。そこに何があるか分かりませんのでメモリを破壊します。
運が悪ければ継続して動作しますし、運が良ければ落ちます。（メモリを破壊しつつ動作継続するのは本当に怖いので、落ちないのは運が「悪い」です。）

Comments

[cingyan]

char *buf=one;
と初期化するとできました。
ありがとうございました。

Answer 2

static を付けると大丈夫かどうかは言わば結果論で、原因はそこではなさそうです。

恐らくfgets()を呼び出した時点でSegmentation fault で落ちています。
fgets() で使用している変数buffはchar*のポインターで宣言していて、
しかも初期化していません。ポインターの値として不正になっている可能性大です。

バッファー／領域として使用するつもりのbuffと、位置を参照する為のポインターの意識が
混在しているようです。その辺の整理を先にすることをお薦めします。

Comments

[cingyan]

仰る通りです。
配列で領域確保ですね。
ありがとうございました。

Answer 3

どこかにバッファ領域を取ってbufがそれを指すように初期化しないといけません。
あとsizeof(buf)もこのままだとバッファサイズではなく ポインタのサイズになります。

一番修正が少ないのは
char *buf
を
char buf[10240]
とかに変えることかな。バッファサイズがいくつが適切かは処理するデータによります。

Comments

[cingyan]

回答ありがとうございました。
仰る通りです。コードをコピペして検証していませんでした。
配列にすると成功しました。

Answer 4

そもそも変数oneは定義されているだけで使用されておりません。この変数によってプログラムに影響が出るならば「動作未定義」の状態になっている可能性があります。

以下、参考情報（C言語の規格で定められているものではないです）
ちなみにstaticを付けた場合、ヒープ領域にメモリ確保される傾向にあります。（通常はスタック領域）例えば、スタック領域がヒープよりも小さい場合、staticを付けるだけで挙動が変わるということはありえます。繰り返しますが、C言語の規格ではなく、「傾向が強い」というだけです。

Comments

[cingyan]

fclose(fp);
fclose(fo);

fgets(one,256,stdin);
remove("test.txt");
fgets(one,256,stdin);
rename("test1.txt","test.txt");

return 0;
}

コードの終わりにこのようにしていたのですが、これをコメントアウトしても
$ ./a.out
Segmentation fault (コアダンプ)

となるので、省略していました。

勉強になりました。
ありがとうございました。